???global.info.a_carregar???
Identification

Personal identification

Full name
Vasco Manuel Thudichum de Serpa Vasconcelos

Citation names

  • Vasco T. Vasconcelos

Author identifiers

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

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Advanced (C1) Advanced (C1)
Spanish; Castilian Beginner (A1) Advanced (C1) Elementary (A2)
Japanese Intermediate (B1) Beginner (A1) Beginner (A1) Intermediate (B1)
Education
Degree Classification
2013
Concluded
 Informática (Título de Agregado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Types for Communication and Concurrency" (THESIS/DISSERTATION)
1995
Concluded
 Computer Science and Engineering (Doutoramento)
Keio Gijuku Daigaku, Japan
"A process calculus approach to typed concurrent objects" (THESIS/DISSERTATION)
1992
Concluded
 Computer Science and Engineering (Mestrado)
Keio Gijuku Daigaku, Japan
"Trace Semantics for Concurrent Objects" (THESIS/DISSERTATION)
1989
Concluded
 Engenharia Informática (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2012/12 - Current Full Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2001/06 - 2012/12 Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1996/03 - 2001/06 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2018/01/05 - 2022/01/10 President Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015/07/01 - 2018/01/04 Vice-President Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2009/07/01 - 2012/09/01 Organic Unit President 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-President Association Internationale pour les Technologies Objets, Germany
2003/01/01 - 2007/12/01 Secretário Association Internationale pour les Technologies Objets, Germany

Others

Category
Host institution 		Employer
2009/01/01 - Current Member of Steering Committee International Conference on Coordination Models and Languages (COORDINATION), Denmark
Projects

Grant

Designation Funders
1994/07 - 1996/03 Coordination
9102
Post-doc Fellow
European Commission, Belgium
Concluded
1987/10 - 1988/06 Funota _ Functional Notation for a Programming Language
Junta Nacional de Investigação Científica e Tecnológica
Scientific Initiation Fellow
Fundação para a Ciência e a Tecnologia, Portugal
Concluded

Contract

Designation Funders
2021/03/01 - 2024/02/28 Safe Concurrent Programming with Session Types
PTDC/CCI-COM/6453/2020
Principal investigator
Fundação para a Ciência e a Tecnologia
Ongoing
2016/05/01 - 2019/10/31 Confident, Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2016/01/31 - 2016/12/31 Static Verification of Safe Parallelism
301/2015
Principal investigator
Fundação Luso-Americana
2012/10/01 - 2016/10/31 Betty, Behavioural Types for Reliable Large-Scale Software Systems
IC1201
Researcher
European Commission
Concluded
2012/03/20 - 2014/03/19 Liveness, statically
PTDC/EIA-CCO/117513/2010
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2010/01/01 - 2012/12/31 Quest for Reliability in Generic Software Components
PTDC/EIA-EIA/103103/2008
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2009/05/01 - 2012/12/31 INTERFACES—Certified Interfaces for Integrity and Security in Extensible Web Based Applications
CMU-PT/NGN/0044/2008
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2012/01/01 - 2012/06/30 Advanced Type Systems for Multicore Programming
PTDC/EIA-CCO/122547/2010
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2010/01 - 2012/06/30 Assertion Types for Object-Oriented Programming
PTDC/EIA-CCO/105359/2008
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2005/09/01 - 2009/08/31 SENSORIA—Software Engineering for Service-Oriented Overlay Computers
IST–2005–016004
Researcher
European Commission
Concluded
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
Principal investigator
British Council Portugal
Concluded
2005/03/01 - 2008/02/29 Space-Time-Types—Behavioural and Spatial Type Systems
POSI/EIA/55582/2004
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2007/01/01 - 2007/12/31 CAMS—Context Aware Mobile Systems
Proc. 4.1.1
Researcher
Concluded
2004/06/01 - 2006/05/01 Contract Based System Development
POSI/CHS/48015/2002
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2005/01/01 - 2005/12/31 Communication Protocols in Session Types
B29/05
Principal investigator
British Council Portugal
Concluded
2002/01/01 - 2005/04/30 MIKADO—Mobile Calculi Based on Domains
IST–2001–32222
Researcher
European Commission
Concluded
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
Researcher
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
Researcher
Engineering and Physical Sciences Research Council
Concluded
2002/01/01 - 2002/12/31 Typing the Behavior of Corba Objects
E15/02
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
2002/01/01 - 2002/12/31 Typed Programming Languages for Communicating Object Systems
B29/02
Principal investigator
British Council Portugal
Concluded
1998/05/01 - 2002/10/31 LINEAR—Linear Logic in Computer Science, Training and Mobility of Researchers
ERB4061PL97–0244
Researcher
European Commission
Concluded
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
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
1999/11/01 - 2001/10/30 DICOMO—Concorrência, Distribuição e Mobilidade
PRAXIS/C/EEI/12059/1998
Principal investigator
Fundação para a Ciência e a Tecnologia
Concluded
1997/01/01 - 1999/12/31 DOLPHIN—Ambiente de Computação Paralela para Sistemas de Alto-Desempenho
PRAXIS/2/2.1/TIT/1577/95
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
1998/01/01 - 1998/12/31 High-Level Concurrent Programming Languages
423/BC
Principal investigator
British Council Portugal
Concluded
1997/10/01 - 1998/11/30 Insuficiência Cardíaca Avançada
163/97
Researcher
Concluded
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
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
1994/07/01 - 1995/12/31 COORDINATION—Linguistic Support for Multiple Cooperating Agents
9102
Researcher
European Commission
Concluded
Outputs

Publications

Book
  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.
Book chapter
  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
Conference paper
  1. Silva, Gil; Mordido, Andreia; Vasco T. Vasconcelos. Corresponding author: Silva, Gil. "Subtyping Context-Free Session Types". Paper presented in 34th International Conference on Concurrency Theory (CONCUR), Antuérpia, 2023.
    Published
  2. Bernardo Almeida; Mordido, Andreia; Vasco T. Vasconcelos. Corresponding author: Bernardo Almeida. "Kind Inference for the FreeST Programming Language". Paper presented in 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Paris, 2023.
    Published
  3. Costa, Diana; Mordido, Andreia; Diogo Poças. "Higher-order Context-free Session Types in System F". Paper presented in 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), Munique, 2022.
    Published
  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". Paper presented in Foundations of Software Science and Computation Structure (FoSSaCS), 2022.
    In press • 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". Paper presented in Polymorphic Higher-Order Context-Free Session Types, 2022.
    Accepted
  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
Journal article
  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.
    Published • 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
Journal issue
  1. Santiago Escobar; Vasco T. Vasconcelos. "International Symposium on Principles and Practice of Declarative Programming (PPDP)". ACM (2023): https://doi.org/10.1145/3610612.
    Published • Coeditor
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2020 - Current Context-free Session Types
Co-supervisor
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2018/01 Verifying Object Invariants with Dependent Types
Supervisor
Universidade de Lisboa Faculdade de Ciências, Portugal
2000 - 2006 Controlling Security Policies in a Distributed Environment
Supervisor
Universidade de Lisboa Faculdade de Ciências, Portugal
1996 - 2000 Typing Non-Uniform Concurrent Objects
Co-supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
1996 - 1999 Design and Implementation of an Object Oriented Language Based on a Process Calculus
Co-supervisor
Universidade do Porto Faculdade de Ciências, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Conference (President of the Organising Committee)
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)
Congress (President of the Organising Committee)
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)
Conference (Co-organisor)
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)
Conference (Co-organisor)
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)
Conference (President of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2019/03 Ramo de Sistemas Sustentáveis de Energia
President of the jury
 Miguel Brito (Aggregation)
2018/01 Informática
Supervisor
 Joana Campos (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2017/01/01 Informática
(Thesis) Arguer
 António Branco (Aggregation)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016/11 Informática
Thesis Member
 Ana Moreira (Aggregation)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2016/05 Informática
(Thesis) Arguer
 Francisco Couto (Aggregation)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016/01 Informática
Thesis Member
 Luís Carriço (Aggregation)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/12 Informática
Thesis Member
 Filipe Militão (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/10 Informática
Thesis Member
 Luisa Lourenço (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2015/09 Informática
Thesis Member
 Mateus Padoca Calado (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/03 Informática
President of the jury
 Francisco Campos (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015/01 Informática
Thesis Member
 Gonçalo Marques (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014/12 Informática
Thesis Member
 José Fragoso Santos (PhD)
Inria Centre de Recherche Sophia Antipolis Méditerranée, France
2014/07 Informática
(Thesis) Arguer
 Nuno Lopes (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014/02 Informática
(Thesis) Arguer
 Hugo Simões (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2014/02 Informática
Thesis Member
 João Craveiro (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014/01 Informática
(Thesis) Arguer
 Ornela Dardha (PhD)
Università degli Studi di Bologna Biblioteca Universitaria di Bologna, Italy
2014/01 Informática
Thesis Member
 Nuno Neves (Aggregation)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012/04 Informática
President of the jury
 Rui Lopes (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/11 Informática
President of the jury
 Mônica Dixit (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 Informática
President of the jury
 Carlos Grilo (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011/09 Informática
President of the jury
 Pedro Santana (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/12 Informática
President of the jury
 Giuliana Veronese (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/11 Informática
(Thesis) Arguer
 Raymond Hu (PhD)
Imperial College London, United Kingdom
2010/11 Informática
President of the jury
 Henrique Moniz (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/10 Informática
President of the jury
 Marcírio Chaves (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010/09 Informática
(Thesis) Arguer
 Michaël Lienhardt (PhD)
Inria Centre de Recherche Grenoble Rhone-Alpes, France
2010/09 Informática
President of the jury
 António Ferreira (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009/03 Informática
(Thesis) Arguer
 Leonardo Mezzina (PhD)
Università di Pisa Sistema Bibliotecario di Ateneo, Italy
2009 Informática
President of the jury
 Marco de Sá (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 Informática
Thesis Member
 André L. Santos (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2008/06 Informática
Thesis Member
 João Alcântara (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/03 Informática
(Thesis) Arguer
 Daniele Falassi (PhD)
Università degli Studi di Firenze Sistema Bibliotecario di Ateneo, Italy
2007/01 Informática
(Thesis) Arguer
 Samuele Carpineti (PhD)
Università degli Studi di Bologna Biblioteca Universitaria di Bologna, Italy
2006/12 Informática
(Thesis) Arguer
 Hervé Paulino (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/01 Informática
(Thesis) Arguer
 Karol Ostrovský (PhD)
Chalmers tekniska högskola, Sweden
2006/01 Informática
Thesis Member
 Ana Matos (PhD)
Inria Centre de Recherche Sophia Antipolis Méditerranée, France
2006/01 Informática
Supervisor
 Francisco Martins (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal

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

Association member

Society Organization name Role
2015 - Current IFIP WG1.8, International Federation for Information Processing, working group: Concurrency Theory. Membro
2009 - Current IFIP WG 6.1, International Federation for Information Processing, working group: Architectures and Protocols for Distributed Systems. Membro
2009 - Current Steering Committee da International Conference on Coordination Models and Languages (Coordination). Membro
2007 - Current Steering Committee do Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Membro
2000 - Current Association Internationale pour les Technologies Objets (AITO). Membro
1999 - Current 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

Committee member

Activity description
Role 		Institution / Organization
2022 - Current Membro fundador e membro da direção da Sociedade Portuguesa de Lógica (SPL)
Member
2021 - Current Membro do Steering Committee do ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH).
Member
2023 - 2028 Membro do Steering Committee do International Symposium on Principles and Practice of Declarative Programming (PPDP)
Member
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.
President / Vice-president
2015 - 2015 Presidente de comissão de programa. 7 INForum, Ciência e Engenharia de Software (SOFT-PT). Covilhã, Portugal.
President / Vice-president
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.
President / Vice-president
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.
President / Vice-president
2009 - 2009 Presidente de comissão de programa. 10th International Conference on Coordination Models and Languages (COORDINATION). Oslo, Noruega.
President / Vice-president
2008 - 2008 Presidente de comissão de programa. 1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). Oslo, Noruega
President / Vice-president
2007 - 2007 Presidente de comissão de programa. 18th International Conference on Concurrency Theory (CONCUR). Lisboa, Portugal.
President / Vice-president

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2018 - 2018 Avaliador de projeto de investigação científica. Swiss National Science Foundation.
Evaluator
 Schweizerischer Nationalfonds zur Förderung der wissenschaftlichen Forschung, Switzerland
2017 - 2017 Avaliador de projeto de investigação científica. Netherlands Organisation for Scientific Research.
Evaluator
 Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Netherlands
2017 - 2017 Avaliador de projeto de investigação científica. European Research Council, Starting Grant. European Commission, Belgium
2017 - 2017 Avaliador de projeto de investigação científica. Netherlands Organisation for Scientific Research.
Evaluator
 Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Netherlands
2016 - 2016 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Evaluator
 Engineering and Physical Sciences Research Council, United Kingdom
2015 - 2015 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Evaluator
 Engineering and Physical Sciences Research Council, United Kingdom
2015 - 2015 Avaliação de Relatórios Finais de Projetos na Área EIA.
Evaluator
 Fundação para a Ciência e a Tecnologia, Portugal
2014 - 2014 Avaliação de Relatórios Finais de Projetos na Área EIA.
Evaluator
 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, Belgium
2013 - 2013 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Evaluator
 Engineering and Physical Sciences Research Council, United Kingdom
2012 - 2012 Avaliador de projeto de investigação científica. European Research Council, Advanced Grant. European Commission, Belgium
2012 - 2012 Avaliador de projeto de investigação científica. Engineering and Physical Sciences Research Council.
Evaluator
 Engineering and Physical Sciences Research Council, United Kingdom
Distinctions

Award

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