???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Vasco Manuel Thudichum de Serpa Vasconcelos

Nomes de citação

  • Vasco T. Vasconcelos

Identificadores de autor

Ciência ID
1A13-F831-DC4F
ORCID iD
0000-0002-9539-8861
Google Scholar ID
https://scholar.google.pt/citations?user=dsRKl04AAAAJ&hl=
Researcher Id
AAL-4532-2020
Scopus Author Id
7004649078

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A2)
Japonês Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador independente (B1)
Formação
Grau Classificação
2013
Concluído
 Informática (Título de Agregado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Types for Communication and Concurrency" (TESE/DISSERTAÇÃO)
1995
Concluído
 Computer Science and Engineering (Doutoramento)
Keio Gijuku Daigaku, Japão
"A process calculus approach to typed concurrent objects" (TESE/DISSERTAÇÃO)
1992
Concluído
 Computer Science and Engineering (Mestrado)
Keio Gijuku Daigaku, Japão
"Trace Semantics for Concurrent Objects" (TESE/DISSERTAÇÃO)
1989
Concluído
 Engenharia Informática (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2012/12 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2001/06 - 2012/12 Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1996/03 - 2001/06 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/01/05 - 2022/01/10 Presidente Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015/07/01 - 2018/01/04 Vice-Presidente Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009/07/01 - 2012/09/01 Presidente de Unidade Orgânica Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2008/01/01 - 2011/12/01 Vice-Presidente Association Internationale pour les Technologies Objets, Alemanha
2003/01/01 - 2007/12/01 Secretário Association Internationale pour les Technologies Objets, Alemanha

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2009/01/01 - Atual Member of Steering Committee International Conference on Coordination Models and Languages (COORDINATION), Dinamarca
Projetos

Bolsa

Designação Financiadores
1994/07 - 1996/03 Coordination
9102
Bolseiro de Pós-Doutoramento
European Commission, Bélgica
Concluído
1987/10 - 1988/06 Funota _ Functional Notation for a Programming Language
Junta Nacional de Investigação Científica e Tecnológica
Bolseiro de Iniciação Científica
Fundação para a Ciência e a Tecnologia, Portugal
Concluído

Projeto

Designação Financiadores
2021/03/01 - 2024/02/28 Safe Concurrent Programming with Session Types
PTDC/CCI-COM/6453/2020
Investigador responsável
Fundação para a Ciência e a Tecnologia
Em curso
2016/05/01 - 2019/10/31 Confident, Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2016/01/31 - 2016/12/31 Static Verification of Safe Parallelism
301/2015
Investigador responsável
Fundação Luso-Americana
2012/10/01 - 2016/10/31 Betty, Behavioural Types for Reliable Large-Scale Software Systems
IC1201
Investigador
European Commission
Concluído
2012/03/20 - 2014/03/19 Liveness, statically
PTDC/EIA-CCO/117513/2010
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2010/01/01 - 2012/12/31 Quest for Reliability in Generic Software Components
PTDC/EIA-EIA/103103/2008
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2009/05/01 - 2012/12/31 INTERFACES—Certified Interfaces for Integrity and Security in Extensible Web Based Applications
CMU-PT/NGN/0044/2008
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2012/01/01 - 2012/06/30 Advanced Type Systems for Multicore Programming
PTDC/EIA-CCO/122547/2010
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2010/01 - 2012/06/30 Assertion Types for Object-Oriented Programming
PTDC/EIA-CCO/105359/2008
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2005/09/01 - 2009/08/31 SENSORIA—Software Engineering for Service-Oriented Overlay Computers
IST–2005–016004
Investigador
European Commission
Concluído
2005/09 - 2009/08 SENSORIA¿Software Engineering for Service-Oriented Overlay Computers
IST2005016004
 European Commission
2008/05/01 - 2009/04/30 Language Design for Web Services
B4/08
Investigador responsável
British Council Portugal
Concluído
2005/03/01 - 2008/02/29 Space-Time-Types—Behavioural and Spatial Type Systems
POSI/EIA/55582/2004
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2007/01/01 - 2007/12/31 CAMS—Context Aware Mobile Systems
Proc. 4.1.1
Investigador
Concluído
2004/06/01 - 2006/05/01 Contract Based System Development
POSI/CHS/48015/2002
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2005/01/01 - 2005/12/31 Communication Protocols in Session Types
B29/05
Investigador responsável
British Council Portugal
Concluído
2002/01/01 - 2005/04/30 MIKADO—Mobile Calculi Based on Domains
IST–2001–32222
Investigador
European Commission
Concluído
2002/01 - 2005/04 MIKADO¿Mobile Calculi Based on Domains
IST200132222
 European Commission
2002/01/01 - 2003/12/31 MIMO—Models and Infra-Structures for Mobile cOmputing
POSI/CHS/39789/2001
Investigador
Fundação para a Ciência e a Tecnologia
2002/11/01 - 2003/08/31 Design and implementation of a distributed object based calculus
GR/S24510/01
Investigador
Engineering and Physical Sciences Research Council
Concluído
2002/01/01 - 2002/12/31 Typing the Behavior of Corba Objects
E15/02
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
2002/01/01 - 2002/12/31 Typed Programming Languages for Communicating Object Systems
B29/02
Investigador responsável
British Council Portugal
Concluído
1998/05/01 - 2002/10/31 LINEAR—Linear Logic in Computer Science, Training and Mobility of Researchers
ERB4061PL97–0244
Investigador
European Commission
Concluído
1998/05 - 2002/10 LINEAR¿Linear Logic in Computer Science, Training and Mobility of Researchers
ERB4061PL970244
 European Commission
1998/01/01 - 2001/12/31 Sémantique des Objets Concurrents
263 J4
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
1999/11/01 - 2001/10/30 DICOMO—Concorrência, Distribuição e Mobilidade
PRAXIS/C/EEI/12059/1998
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
1997/01/01 - 1999/12/31 DOLPHIN—Ambiente de Computação Paralela para Sistemas de Alto-Desempenho
PRAXIS/2/2.1/TIT/1577/95
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
1998/01/01 - 1998/12/31 High-Level Concurrent Programming Languages
423/BC
Investigador responsável
British Council Portugal
Concluído
1997/10/01 - 1998/11/30 Insuficiência Cardíaca Avançada
163/97
Investigador
Concluído
1995/09/01 - 1998/08/31 ESCOLA—Especificações Executáveis e Verificáveis de Sistemas Concorrentes: Linguagens e Aplicações
PRAXIS/2/2.1/MAT/46/94
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
1994/07/01 - 1995/12/31 COORDINATION—Linguistic Support for Multiple Cooperating Agents
9102
Investigador
European Commission
Concluído
Produções

Publicações

Artigo em conferência
  1. Silva, Gil; Mordido, Andreia; Vasco T. Vasconcelos. Autor correspondente: Silva, Gil. "Subtyping Context-Free Session Types". Trabalho apresentado em 34th International Conference on Concurrency Theory (CONCUR), Antuérpia, 2023.
    Publicado
  2. Bernardo Almeida; Mordido, Andreia; Vasco T. Vasconcelos. Autor correspondente: Bernardo Almeida. "Kind Inference for the FreeST Programming Language". Trabalho apresentado em 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Paris, 2023.
    Publicado
  3. Costa, Diana; Mordido, Andreia; Diogo Poças. "Higher-order Context-free Session Types in System F". Trabalho apresentado em 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Munique, 2022.
    Publicado
  4. Gay, Simon J.; Poças, Diogo; Thudichum Vasconcelos, V.; Simon J. Gay; Diogo Poças; Vasco T. Vasconcelos. "The Different Shades of Infinite Session Types". Trabalho apresentado em Foundations of Software Science and Computation Structure (FoSSaCS), 2022.
    No prelo • 10.1007/978-3-030-99253-8_18
  5. Costa, Diana; Mordido, Andreia; Poças, Diogo; T. Vasconcelos, Vasco. "Polymorphic Higher-Order Context-Free Session Types". Trabalho apresentado em Polymorphic Higher-Order Context-Free Session Types, 2022.
    Aceite para publicação
  6. Vasco T. Vasconcelos. "Dependent Types for Class-based Mutable Objects". 2018.
    10.4230/LIPIcs.ECOOP.2018.13
  7. Vasconcelos, V.T.; Haller, P.. "Preface". 2017.
  8. Martins, F.; Vasconcelos, V.T.; Hüttel, H.. "Inferring types for parallel programs". 2017.
    10.4204/EPTCS.246.6
  9. López, H.A.; Marques, E.R.B.; Martins, F.; Ng, N.; Santos, C.; Vasconcelos, V.T.; Yoshida, N.. "Protocol-based verification of message-passing parallel programs". 2015.
    10.1145/2814270.281430
  10. Campos, J.; Vasconcelos, V.T.. "Imperative objects with dependent types". 2015.
    10.1145/2786536.2786538
  11. Santos, C.; Martins, F.; Vasconcelos, V.T.. "Deductive verification of parallel programs using why3". 2015.
    10.4204/EPTCS.189.11
  12. Marques, E.R.B.; Martins, F.; Vasconcelos, V.T.; Ng, N.; Martins, N.. "Towards deductive verification of MPI programs against session types". 2013.
    10.4204/EPTCS.137.9
  13. Lopes, L.; Figueira, A.; Silva, F.; Vasconcelos, V.T.. "A concurrent programming environment with support for distributed computations and code mobility". 2000.
    10.1109/CLUSTR.2000.889083
Artigo em revista
  1. Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T. Vasconcelos. "Parameterized Algebraic Protocols". Proceedings of the ACM on Programming Languages (2023): https://doi.org/10.1145/3591277.
    10.1145/3591277
  2. Vasco T. Vasconcelos; Francisco Martins; Hugo-Andrés López; Nobuko Yoshida. "A Type Discipline for Message Passing Parallel Programs". ACM Transactions on Programming Languages and Systems (2022): https://doi.org/10.1145/3552519.
    10.1145/3552519
  3. Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T. Vasconcelos. "Polymorphic lambda calculus with context-free session types". Information and Computation (2022): 104948-104948. https://doi.org/10.1016/j.ic.2022.104948.
    10.1016/j.ic.2022.104948
  4. Casal, Filipe; Mordido, Andreia; Vasconcelos, Vasco T.. "Mixed sessions". Theoretical Computer Science 897 (2022): 23-48. http://dx.doi.org/10.1016/j.tcs.2021.08.005.
    Publicado • 10.1016/j.tcs.2021.08.005
  5. Gay, Simon J.; Thiemann, Peter; Vasconcelos, Vasco T.. "Duality of Session Types: The Final Cut". Electronic Proceedings in Theoretical Computer Science 314 (2020): 23-33. http://dx.doi.org/10.4204/eptcs.314.3.
    10.4204/eptcs.314.3
  6. Casal, Filipe; Mordido, Andreia; T. Vasconcelos, Vasco. "Mixed Sessions: the Other Side of the Tape". Electronic Proceedings in Theoretical Computer Science 314 (2020): 46-60. http://dx.doi.org/10.4204/eptcs.314.5.
    10.4204/eptcs.314.5
  7. Thiemann, Peter; Vasconcelos, Vasco T.. "Label-dependent session types". Proceedings of the ACM on Programming Languages 4 POPL (2020): 1-29. http://dx.doi.org/10.1145/3371135.
    10.1145/3371135
  8. Giunti, M.; Vasconcelos, V.T.. "Linearity, session types and the Pi calculus". Mathematical Structures in Computer Science 26 2 (2016): 206-237. http://www.scopus.com/inward/record.url?eid=2-s2.0-84953885719&partnerID=MN8TOARS.
    10.1017/S0960129514000176
  9. Hüttel, H.; Lanese, I.; Vasconcelos, V.T.; Caires, L.; Carbone, M.; Deniélou, P.-M.; Mostrous, D.; et al. "Foundations of session types and behavioural contracts". ACM Computing Surveys 49 1 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-84964545102&partnerID=MN8TOARS.
    10.1145/2873052
  10. Donaldson, A.; Vasconcelos, V.T.. "Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)". Journal of Logical and Algebraic Methods in Programming 84 5 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84938697404&partnerID=MN8TOARS.
    10.1016/j.jlamp.2015.06.004
  11. Gay, S.J.; Gesbert, N.; Ravara, A.; Vasconcelos, V.T.. "Modular session types for objects". Logical Methods in Computer Science 11 4 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84957899589&partnerID=MN8TOARS.
    10.2168/LMCS-11(4:12)2015
  12. Torres Vieira, H.; Thudichum Vasconcelos, V.. "Typing progress in communication-centred systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7890 LNCS (2013): 236-250. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885011159&partnerID=MN8TOARS.
    10.1007/978-3-642-38493-6_17
  13. Baltazar, P.; Caires, L.; Vasconcelos, V.T.; Vieira, H.T.. "A type system for flexible role assignment in multiparty communicating systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8191 LNCS (2013): 82-96. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886414647&partnerID=MN8TOARS.
    10.1007/978-3-642-41157-1_6
  14. Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Thudichum Vasconcelos, V.. "The stream-based service-centred calculus: a foundation for service-oriented programming". Formal Aspects of Computing (2013): 1-54. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880944826&partnerID=MN8TOARS.
    10.1007/s00165-013-0284-5
  15. Cogumbreiro, T.; Martins, F.; Thudichum Vasconcelos, V.. "Coordinating phased activities while maintaining progress". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7890 LNCS (2013): 31-44. http://www.scopus.com/inward/record.url?eid=2-s2.0-84884995466&partnerID=MN8TOARS.
    10.1007/978-3-642-38493-6_3
  16. Ravara, A.; Resende, P.; T. Vasconcelos, V.. "An algebra of behavioural types". Information and Computation 212 (2012): 64-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856326236&partnerID=MN8TOARS.
    10.1016/j.ic.2011.12.005
  17. Field, J.; Vasconcelos, V.T.. "Selected papers from the eleventh international conference on coordination models and languages". Science of Computer Programming 77 6 (2012): 661-662. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859000563&partnerID=MN8TOARS.
    10.1016/j.scico.2011.10.013
  18. Vasconcelos, V.T.. "Fundamentals of session types". Information and Computation 217 (2012): 52-70. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861396373&partnerID=MN8TOARS.
    10.1016/j.ic.2012.05.002
  19. Honda, K.; Marques, E.R.B.; Martins, F.; Ng, N.; Vasconcelos, V.T.; Yoshida, N.. "Verification of MPI programs using session types". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7490 LNCS (2012): 291-293. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867649399&partnerID=MN8TOARS.
    10.1007/978-3-642-33518-1_37
  20. Mostrous, D.; Vasconcelos, V.T.. "Session typing for a featherweight Erlang". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6721 LNCS (2011): 95-109. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959693345&partnerID=MN8TOARS.
    10.1007/978-3-642-21464-6_7
  21. Caires, L.; De Nicola, R.; Pugliese, R.; Vasconcelos, V.T.; Zavattaro, G.. "Core calculi for service-oriented computing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6582 (2011): 153-188. http://www.scopus.com/inward/record.url?eid=2-s2.0-80455158279&partnerID=MN8TOARS.
    10.1007/978-3-642-20401-2_8
  22. Crispim, P.; Lopes, A.; Vasconcelos, V.T.. "Runtime verification for generic classes with ConGu 2". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6527 LNCS (2011): 33-48. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953031047&partnerID=MN8TOARS.
    10.1007/978-3-642-19829-8_3
  23. Gay, S.J.; Vasconcelos, V.T.. "Linear type theory for asynchronous session types". Journal of Functional Programming 20 1 (2010): 19-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-77951136536&partnerID=MN8TOARS.
    10.1017/S0956796809990268
  24. Gay, S.J.; Vasconcelos, V.T.; Ravara, A.; Gesbert, N.; Caldeira, A.Z.. "Modular session types for distributed object-oriented programming". Conference Record of the Annual ACM Symposium on Principles of Programming Languages 45 1 (2010): 299-312. http://www.scopus.com/inward/record.url?eid=2-s2.0-77950900887&partnerID=MN8TOARS.
    10.1145/1706299.1706335
  25. Caires, L.; Vasconcelos, V.T.. "Preface: 18th international conference on concurrency theory". Information and Computation 208 6 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-77955337516&partnerID=MN8TOARS.
    10.1016/j.ic.2009.01.008
  26. Giunti, M.; Vasconcelos, V.T.. "A linear account of session types in the pi calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6269 LNCS (2010): 432-446. http://www.scopus.com/inward/record.url?eid=2-s2.0-78249233237&partnerID=MN8TOARS.
    10.1007/978-3-642-15375-4_30
  27. Nunes, I.; Lopes, A.; Vasconcelos, V.T.. "Bridging the gap between algebraic specification and object-oriented generic programming". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5779 LNCS (2009): 115-131. http://www.scopus.com/inward/record.url?eid=2-s2.0-70549084008&partnerID=MN8TOARS.
    10.1007/978-3-642-04694-0_9
  28. Vasconcelos, V.T.. "Fundamentals of session types". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5569 LNCS (2009): 158-186. http://www.scopus.com/inward/record.url?eid=2-s2.0-70450268566&partnerID=MN8TOARS.
    10.1007/978-3-642-01918-0_4
  29. Vasconcelos, V.T.; Yoshida, N.. "Preface". Electronic Notes in Theoretical Computer Science 241 C (2009): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650159656&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.06.001
  30. Cogumbreiro, T.; Martins, F.; Vasconcelos, V.T.. "Compiling the p-calculus into a Multithreaded Typed Assembly Language". Electronic Notes in Theoretical Computer Science 241 C (2009): 57-84. http://www.scopus.com/inward/record.url?eid=2-s2.0-67649425345&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.06.004
  31. Honda, K.; Vasconcelos, V.T.; Yoshida, N.. "Type-Directed Compilation for Multicore Programming". Electronic Notes in Theoretical Computer Science 241 C (2009): 101-111. http://www.scopus.com/inward/record.url?eid=2-s2.0-67649438782&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.06.006
  32. Field, J.; Vasconcelos, V.T.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5521 LNCS (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-68749108531&partnerID=MN8TOARS.
  33. Yoshida, N.; Vasconcelos, V.; Paulino, H.; Honda, K.. "Session-based compilation framework for multicore programming". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5751 LNCS (2009): 226-246. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349303446&partnerID=MN8TOARS.
    10.1007/978-3-642-04167-9_12
  34. Vasconcelos, V.T.. "Session types for linear multithreaded functional programming". PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (2009): 1-6. http://www.scopus.com/inward/record.url?eid=2-s2.0-70450253214&partnerID=MN8TOARS.
    10.1145/1599410.1599411
  35. Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Vasconcelos, V.T.. "Behavioural theory at work: Program transformations in a service-centred calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5051 LNCS (2008): 59-77. http://www.scopus.com/inward/record.url?eid=2-s2.0-46049114910&partnerID=MN8TOARS.
    10.1007/978-3-540-68863-1_5
  36. Lanese, I.; Martins, F.; Vasconcelos, V.T.; Ravara, A.. "Disciplining orchestration and conversation in service-oriented computing". Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 (2007): 305-314. http://www.scopus.com/inward/record.url?eid=2-s2.0-45849148094&partnerID=MN8TOARS.
    10.1109/SEFM.2007.13
  37. Yoshida, N.; Vasconcelos, V.T.. "Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication". Electronic Notes in Theoretical Computer Science 171 4 (2007): 73-93. http://www.scopus.com/inward/record.url?eid=2-s2.0-34250810712&partnerID=MN8TOARS.
    10.1016/j.entcs.2007.02.056
  38. Vallecillo, A.; Vasconcelos, V.T.; Ravara, A.. "Typing the behavior of software components using session types". Fundamenta Informaticae 73 4 (2006): 583-598. http://www.scopus.com/inward/record.url?eid=2-s2.0-33751098013&partnerID=MN8TOARS.
  39. Vasconcelos, V.T.; Gay, S.J.; Ravara, A.. "Type checking a multithreaded functional language with session types". Theoretical Computer Science 368 1-2 (2006): 64-87. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750708529&partnerID=MN8TOARS.
    10.1016/j.tcs.2006.06.028
  40. Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; et al. "SCC: A service centered calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4184 LNCS (2006): 38-57. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845218651&partnerID=MN8TOARS.
  41. Nunes, I.; Lopes, A.; Vasconcelos, V.; Abreu, J.; Reis, L.S.. "Checking the conformance of Java classes against algebraic specifications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS (2006): 494-513. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845266262&partnerID=MN8TOARS.
  42. Vasconcelos, V.T.. "Lambda and pi calculi, CAM and SECD machines". Journal of Functional Programming 15 1 (2005): 101-127. http://www.scopus.com/inward/record.url?eid=2-s2.0-11444264545&partnerID=MN8TOARS.
    10.1017/S0956796804005386
  43. Bettini, L.; De Nicola, R.; Falassi, D.; Lacoste, M.; Lopes, L.; Oliveira, L.; Paulino, H.; Vasconcelos, V.T.. "A software framework for rapid prototyping of run-time systems for mobile calculi". Lecture Notes in Computer Science 3267 (2005): 179-208. http://www.scopus.com/inward/record.url?eid=2-s2.0-23944436421&partnerID=MN8TOARS.
  44. Martins, F.; Vasconcelos, V.. "History-based access control for distributed processes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3705 LNCS (2005): 98-115. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646199968&partnerID=MN8TOARS.
    10.1007/11580850_7
  45. Vasconcelos, V.; Ravara, A.; Gay, S.. "Session types for functional multithreading". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3170 (2004): 497-511. http://www.scopus.com/inward/record.url?eid=2-s2.0-28844481697&partnerID=MN8TOARS.
  46. Martins, F.; Lopes, L.; Vasconcelos, V.T.. "The impact of linearity information on the performance of TyCO". Electronic Notes in Theoretical Computer Science 75 (2003): 43-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944371995&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)80778-3
  47. Vallecillo, A.; Vasconcelos, V.T.; Ravara, A.. "Typing the behavior of objects and components using session types". Electronic Notes in Theoretical Computer Science 68 3 (2003): 439-456. http://www.scopus.com/inward/record.url?eid=2-s2.0-17044383882&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80382-2
  48. Ravara, A.; Matos, A.G.; Vasconcelos, V.T.; Lopes, L.. "Lexically scoped distribution: What you see is what you get". Electronic Notes in Theoretical Computer Science 85 1 (2003): 61-79. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944401258&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80088-X
  49. Paulino, H.; Marques, P.; Lopes, L.; Vasconcelos, V.; Silva, F.. "A multi-threaded asynchronous language". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2763 (2003): 316-323. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750689020&partnerID=MN8TOARS.
  50. Lopes, L.; Vasconcelos, V.T.; Silva, F.; Lopes, Luis; Silva, Fernando; Vasconcelos, Vasco T.. "Fine-grained multithreading with process calculi". IEEE Transactions on Computers 50 8 (2001): 852-862. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035415695&partnerID=MN8TOARS.
    10.1109/12.947014
  51. Ravara, A.; Vasconcelos, V.T.. "Typing non-uniform concurrent objects". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1877 LNCS (2000): 474-489. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885216303&partnerID=MN8TOARS.
  52. Vasconcelos, Vasco T.. "Processes, functions, and datatypes". Theory and Practice of Object Systems 5 2 (1999): 97-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032648686&partnerID=MN8TOARS.
    10.1002/(SICI)1096-9942(1999)5:2<97::AID-TAPO3>3.0.CO;2-G
  53. Vasconcelos, V.T.; Ravara, A.. "Communication errors in the p-calculus are undecidable". Information Processing Letters 71 5 (1999): 229-233. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033321996&partnerID=MN8TOARS.
    10.1016/S0020-0190(99)00109-X
  54. Vasconcelos, V.T.; Lopes, L.; Silva, F.. "Distribution and mobility with lexical scoping in process calculi". Electronic Notes in Theoretical Computer Science 16 3 (1998): 189-204. http://www.scopus.com/inward/record.url?eid=2-s2.0-0012717860&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)00142-2
  55. Ravara, A.; Vasconcelos, V.. "Behavioural types for a calculus of concurrent objects". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1300 LNCS (1997): 554-561. http://www.scopus.com/inward/record.url?eid=2-s2.0-0343355848&partnerID=MN8TOARS.
  56. Vasconcelos, V.T.. "Unification of kinded infinite trees". Information Processing Letters 55 6 (1995): 323-328. http://www.scopus.com/inward/record.url?eid=2-s2.0-28144437812&partnerID=MN8TOARS.
    10.1016/0020-0190(95)00100-Q
Capítulo de livro
  1. Diogo Poças; Diana Costa; Andreia Mordido; Vasco T. Vasconcelos. "System $$F^\mu _\omega $$ with Context-free Session Types". 2023.
    10.1007/978-3-031-30044-8_15
  2. Afonso Falcão; Andreia Mordido; Vasco T. Vasconcelos. "Protocol-Based Smart Contract Generation". 2023.
    10.1007/978-3-031-32415-4_34
  3. Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos. "Deciding the Bisimilarity of Context-Free Session Types". 2020.
    10.1007/978-3-030-45237-7_3
  4. Vasco T. Vasconcelos; Filipe Casal; Bernardo Almeida; Andreia Mordido. "Mixed Sessions". 715-742. Springer International Publishing, 2020.
    10.1007/978-3-030-44914-8_26
  5. Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos. "Statically Checking REST API Consumers". 2020.
    10.1007/978-3-030-58768-0_15
  6. Vasco T. Vasconcelos; Francisco Martins; Antónia Lopes; Nuno Burnay. "HeadREST: A Specification Language for RESTful APIs". 428-434. Springer International Publishing, 2019.
    10.1007/978-3-030-21485-2_23
Edição de número de revista
  1. Santiago Escobar; Vasco T. Vasconcelos. "International Symposium on Principles and Practice of Declarative Programming (PPDP)". ACM (2023): https://doi.org/10.1145/3610612.
    Publicado • Co-editor
Livro
  1. Mostrous, D.; Vasconcelos, V.T.. Affine sessions. 2014.
    10.1007/978-3-662-43376-8_8
  2. Franco, J.; Vasconcelos, V.T.. A concurrent programming language with refined session types. 2014.
    10.1007/978-3-319-05032-4_2
  3. Padovani, L.; Vasconcelos, V.T.; Vieira, H.T.. Typing liveness in multiparty communicating systems. 2014.
    10.1007/978-3-662-43376-8_10
  4. Vasconcelos, V.T.. The progress of session types. 2014.
  5. Honda, K.; Vasconcelos, V.; Yoshida, N.. Secure information flow as typed process behaviour. 2000.
  6. Lopes, L.; Silva, F.; Vasconcelos, V.T.. A virtual machine for a process calculus. 1999.
  7. Honda, K.; Vasconcelos, V.T.; Kubo, M.. Language primitives and type discipline for structured communication-based programming. 1998.
  8. Vasconcelos, V.T.. Predicative polymorphism in p-calculus. 1994.
  9. Vasconcelos, V.T.. Typed concurrent objects. 1994.
  10. Vasconcelos, V.T.; Tokoro, M.. A typing system for a calculus of objects. 1993.
  11. Vasconcelos, V.T.; Honda, K.. Principal typing schemes in a Polyadic p-calculus. 1993.
  12. Vasconcelos, V.; Tokoro, M.. Trace semantics for actor systems. 1992.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2020 - Atual Context-free Session Types
Coorientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2018/01 Verifying Object Invariants with Dependent Types
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
2000 - 2006 Controlling Security Policies in a Distributed Environment
Orientador
Universidade de Lisboa Faculdade de Ciências, Portugal
1996 - 2000 Typing Non-Uniform Concurrent Objects
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
1996 - 1999 Design and Implementation of an Object Oriented Language Based on a Process Calculus
Coorientador
Universidade do Porto Faculdade de Ciências, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021/10/01 - 2023/10/31 ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. Cascais, Hotel Miragem, 8 conferências, 10 workshops, 12 tracks, 657 participantes. (2023/10/22 - 2023/10/27)
Conferência (Presidente da Comissão Organizadora)
2019/01/13 - 2019/01/19 46th ACM Sigplan Symposium on Programming Languages. Cascais, Hotel Miragem, 12 workshops, 4 tutorials, 627 participantes. (2019/01/13 - 2019/01/19)
Congresso (Presidente da Comissão Organizadora)
2007 - 2007 18th International Conference on Concurrency Theory. Fundação Calouste Gulbenkian e Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa, 5 oradores convidados, 30 comunicações escolhidas entre 112, 8 workshops, 151 participantes. (2007/09/03 - 2007/09/03)
Conferência (Coorganizador)
2005 - 2005 32th International Colloquium on Automata, Languages and Programming. Fundação Calouste Gulbenkian e Instituto Superior Técnico (2005/07/11 - 2015/07/15)
Conferência (Coorganizador)
1999 - 1999 The 13th European Conference on Object-Oriented Programming. Fundação Calouste Gulbenkian e Faculdade de Ciências, Universidade de Lisboa, 3 oradores convidados, 21 comunicações escolhidas entre 180, 24 tutoriais, 21 workshops, 2 paineis de discussão, 7 expositores, 5 demonstrações de software, 11 posters, 480 participantes. (1999/06/14 - 1999/06/18)
Conferência (Presidente da Comissão Organizadora)

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2019/03 Ramo de Sistemas Sustentáveis de Energia
Presidente do júri
 Miguel Brito (Agregação)
2018/01 Informática
Orientador
 Joana Campos (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2017/01/01 Informática
Arguente
 António Branco (Agregação)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016/11 Informática
Vogal
 Ana Moreira (Agregação)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/05 Informática
Arguente
 Francisco Couto (Agregação)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016/01 Informática
Vogal
 Luís Carriço (Agregação)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/12 Informática
Vogal
 Filipe Militão (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/10 Informática
Vogal
 Luisa Lourenço (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/09 Informática
Vogal
 Mateus Padoca Calado (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/03 Informática
Presidente do júri
 Francisco Campos (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/01 Informática
Vogal
 Gonçalo Marques (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014/12 Informática
Vogal
 José Fragoso Santos (Doutoramento)
Inria Centre de Recherche Sophia Antipolis Méditerranée, França
2014/07 Informática
Arguente
 Nuno Lopes (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/02 Informática
Arguente
 Hugo Simões (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2014/02 Informática
Vogal
 João Craveiro (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014/01 Informática
Arguente
 Ornela Dardha (Doutoramento)
Università degli Studi di Bologna Biblioteca Universitaria di Bologna, Itália
2014/01 Informática
Vogal
 Nuno Neves (Agregação)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012/04 Informática
Presidente do júri
 Rui Lopes (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/11 Informática
Presidente do júri
 Mônica Dixit (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 Informática
Presidente do júri
 Carlos Grilo (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 Informática
Presidente do júri
 Pedro Santana (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/12 Informática
Presidente do júri
 Giuliana Veronese (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/11 Informática
Arguente
 Raymond Hu (Doutoramento)
Imperial College London, Reino Unido
2010/11 Informática
Presidente do júri
 Henrique Moniz (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/10 Informática
Presidente do júri
 Marcírio Chaves (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/09 Informática
Arguente
 Michaël Lienhardt (Doutoramento)
Inria Centre de Recherche Grenoble Rhone-Alpes, França
2010/09 Informática
Presidente do júri
 António Ferreira (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009/03 Informática
Arguente
 Leonardo Mezzina (Doutoramento)
Università di Pisa Sistema Bibliotecario di Ateneo, Itália
2009 Informática
Presidente do júri
 Marco de Sá (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 Informática
Vogal
 André L. Santos (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2008/06 Informática
Vogal
 João Alcântara (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/03 Informática
Arguente
 Daniele Falassi (Doutoramento)
Università degli Studi di Firenze Sistema Bibliotecario di Ateneo, Itália
2007/01 Informática
Arguente
 Samuele Carpineti (Doutoramento)
Università degli Studi di Bologna Biblioteca Universitaria di Bologna, Itália
2006/12 Informática
Arguente
 Hervé Paulino (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/01 Informática
Arguente
 Karol Ostrovský (Doutoramento)
Chalmers tekniska högskola, Suécia
2006/01 Informática
Vogal
 Ana Matos (Doutoramento)
Inria Centre de Recherche Sophia Antipolis Méditerranée, França
2006/01 Informática
Orientador
 Francisco Martins (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa Faculdade de Arquitectura, Portugal
2005/12 Informática
Arguente
 Philipe Bidinger (Doutoramento)
Inria Centre de Recherche Grenoble Rhone-Alpes, França
2002/06 Informática
Arguente
 Cédric Lhousssaine (Doutoramento)
Inria Centre de Recherche Sophia Antipolis Méditerranée, França
2000/11 Informática
Orientador
 António Ravara (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2000/05 Informática
Arguente
 Artur Dias (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
1999/11 Informática
Orientador
 Luís Lopes (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
1999/05 Informática
Vogal
 Antónia Lopes (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
1998/06 Informática
Arguente
 Isabel Nunes (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
1998/04 Informática
Arguente
 António Pina (Doutoramento)
Universidade do Minho, Portugal
1998/01 Informática
Arguente
 António Florido (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2018 - 2018 Avaliador de projeto de investigação científica. Swiss National Science Foundation.
Avaliador
 Schweizerischer Nationalfonds zur Förderung der wissenschaftlichen Forschung, Suiça
2017 - 2017 Avaliador de projeto de investigação científica. Netherlands Organisation for Scientific Research.
Avaliador
 Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Países Baixos
2017 - 2017 Avaliador de projeto de investigação científica. European Research Council, Starting Grant. European Commission, Bélgica
2017 - 2017 Avaliador de projeto de investigação científica. Netherlands Organisation for Scientific Research.
Avaliador
 Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Países Baixos
2016 - 2016 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Avaliador
 Engineering and Physical Sciences Research Council, Reino Unido
2015 - 2015 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Avaliador
 Engineering and Physical Sciences Research Council, Reino Unido
2015 - 2015 Avaliação de Relatórios Finais de Projetos na Área EIA.
Avaliador
 Fundação para a Ciência e a Tecnologia, Portugal
2014 - 2014 Avaliação de Relatórios Finais de Projetos na Área EIA.
Avaliador
 Fundação para a Ciência e a Tecnologia, Portugal
2014 - 2014 Avaliador de projeto de investigação científica. European Research Council, Starting Grant. European Commission, Bélgica
2013 - 2013 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Avaliador
 Engineering and Physical Sciences Research Council, Reino Unido
2012 - 2012 Avaliador de projeto de investigação científica. European Research Council, Advanced Grant. European Commission, Bélgica
2012 - 2012 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Avaliador
 Engineering and Physical Sciences Research Council, Reino Unido

Membro de associação

Nome da associação Tipo de participação
2015 - Atual IFIP WG1.8, International Federation for Information Processing, working group: Concurrency Theory. Membro
2009 - Atual IFIP WG 6.1, International Federation for Information Processing, working group: Architectures and Protocols for Distributed Systems. Membro
2009 - Atual Steering Committee da International Conference on Coordination Models and Languages (Coordination). Membro
2007 - Atual Steering Committee do Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Membro
2000 - Atual Association Internationale pour les Technologies Objets (AITO). Membro
1999 - Atual Conselho Consultivo da Euro-Par Conference. Membro
2008 - 2011 Association Internationale pour les Technologies Objets (AITO). Vice-presidente
2003 - 2007 Association Internationale pour les Technologies Objets (AITO). Secretário

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2022 - Atual Membro fundador e membro da direção da Sociedade Portuguesa de Lógica (SPL)
Membro
2021 - Atual Membro do Steering Committee do ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH).
Membro
2023 - 2028 Membro do Steering Committee do International Symposium on Principles and Practice of Declarative Programming (PPDP)
Membro
2017 - 2017/04 Presidente de comissão de programa. 10th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Uppsala, Suécia.
Presidente / Vice-presidente
2015 - 2015 Presidente de comissão de programa. 7 INForum, Ciência e Engenharia de Software (SOFT-PT). Covilhã, Portugal.
Presidente / Vice-presidente
2014 - 2014 Presidente de comissão de programa. 7th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Grenoble, França.
Presidente / Vice-presidente
2011 - 2011 Presidente de comissão de programa. 4th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Saarbrücken, Alemanha.
Presidente / Vice-presidente
2009 - 2009 Presidente de comissão de programa. 10th International Conference on Coordination Models and Languages (COORDINATION). Oslo, Noruega.
Presidente / Vice-presidente
2008 - 2008 Presidente de comissão de programa. 1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Oslo, Noruega
Presidente / Vice-presidente
2007 - 2007 Presidente de comissão de programa. 18th International Conference on Concurrency Theory (CONCUR). Lisboa, Portugal.
Presidente / Vice-presidente
Distinções

Prémio

2019 ETAPS 2019 Test of Time Award
European Joint Conferences on Theory and Practice of Software, Alemanha
2014 Computing Reviews’ Notable Books and Articles
Association for Computing Machinery, Estados Unidos