activities

programme and conference chair

  • places'14 _ Programming Language Approaches to Concurrency and Communication-cEntric Software 2014 | program co-chair
  • places'11 _ Programming Language Approaches to Concurrency and Communication-cEntric Software 2011 | program co-chair
  • coordination'09 _ 11th International Conference on Coordination Models and Languages 2009 | program co-chair
  • places'08 _ Programming Language Approaches to Concurrency and Communication-cEntric Software 2008 | program co-chair
  • concur'07 _ 14th International Conference on Concurrency Theory 2007 | program & Organizing co-chair
  • icalp'05 _ 32th International Colloquium on Automata, Languages and Programming 2005 | workshops chair
  • ecoop'99 _ 13th European Conference on Object-Oriented Programming 1999 | organizing chair
  • programme committee

  • linearity 2014
  • 4pad _ 1st special session on formal approaches to parallel and distributed systems
  • beat II _ 2nd International Workshop on Behavioural Types
  • coordination'13 _ 15th International Conference on Coordination Models and Languages
  • coordination'12 _ 14th International Conference on Coordination Models and Languages
  • inforum'12 _ ciência e engenharia de software
  • esop'11 _ 14th European Symposium on Programming
  • coordination'11 _ 13th International Conference on Coordination Models and Languages
  • inforum'11 _ ciência e engenharia de software
  • coordination'10 _ 12th International Conference on Coordination Models and Languages
  • places'10 _ 3rd Programming Language Approaches to Concurrency and Communication-cEntric Software
  • inforum'10 _ ciência e engenharia de software
  • ws-fm'09 _ 6th International Workshop on Web Services and Formal Methods
  • places'09 _ 2nd Programming Language Approaches to Concurrency and Communication-cEntric Software
  • inforum'09 _ Compilers, Programming Languages, Related Technologies and Applications
  • ecoop'06 _ 20th European Conference on Object Oriented Programming, 2006
  • fmoods'06 _ 8th Methods for Open Object-based Distributed Systems, 2006
  • fmoods'05 _ 7th Methods for Open Object-based Distributed Systems, 2005
  • fgc'04 _ 2nd EATCS Workshop Foundations of Global Computing, 2003
  • icalp'02 _ 29th International Colloquium on Automata, Languages and Programming, 2002
  • wcdpo'99 _ Euro-Par'99 Workshop on Concurrent and Distributed Programming with Objects, 1999
  • epcm _ Encontro Português de Computação Móvel, 1999
  • talks

  • concur'14 _ 25th International Conference on Concurrency Theory | invited speaker
  • betty summer school 2014 | lecturer
  • open problems in concurrency theory
  • etaps'13 _ European Joint Conferences on Theory & Practice of Software Systems, "Kohei and Session Types" | Honda tribute (video)
  • beat I _ 1st International Workshop on Behavioural Types, "Linearity and Affinity in Refined Session Types" | invited speaker
  • ppdp'09 _ 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, "Session Types for Linear Multithreaded Functional Programming" | invited speaker
  • sfm'09 _ 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, "Fundamentals of Session Types" | lecturer
  • globan _ The Global Computing Approach to Analysis of Systems International Summer School at DTU, August 21-25, 2006, "Type systems" | lecturer
  • wednesday morning club | founder; moderator since 1996 (see also talks 1996-2007)
  • courses on mobile processes by Kohei Honda, that took place in Lisbon during the month of February 1997.
  • advisory board

  • from data types to session types - a basis for concurrency and distribution | from 2013
  • memberships

  • gloss _ {Lasige} Group of Software Systems | head; founding member in 2007
  • aito _ Association Internationale pour les Technologies Objets | member (vice-president 2008-11; secretary 2003-07)
  • coordination _ International Conference on Coordination Models and Languages | member of the steering committee since 2009
  • europar _ Euro-Par conference series | member of the advisory board since 1999
  • acm _ Association for Computing Machinery | member since 1990
  • eatcs _ European Association for Theoretical Computer Science | member since 1997
  • citi _ Research Center for Informatics and Information Technologies | member from 2003 to 2007
  • labmac _ Laboratory of Computational Architectures (LabMAC) | member from 1998 to 2002
  • university

  • head of department | from Fri Jul 3 12:30:04 WEST 2009 to Fri Aug 31 23:59:59 WEST 2012
  • student and teaching staff mobility (including eramus) | coordinator from 2007 to 2009
  • technical reports | founder; editor from 1997 to 2006
  • post graduate studies | coordinator from 2003 to 2005