activities

programme and conference chair

  • places'17 _ Programming Language Approaches to Concurrency and Communication-cEntric Software 2017 | program co-chair
  • inforum'15 _ Ciência e Engenharia de Software | program 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

  • ecoop'22 _ 36th European Conference on Object Oriented Programming, 2006
  • esop'21 _ 30th European Symposium on Programming
  • programming'21 _ 1st International Conference on the Art, Science, and Engineering of Programming
  • coordination'17 _ 15th International Conference on Coordination Models and Languages
  • onward! 2016 essays
  • esop'16 _ 25th European Symposium on Programming | pc member
  • coordination'16
  • ictac'15 _ 12th International Colloquium on Theoretical Aspects of Computing
  • concur'15 _ 26th International Conference on Concurrency Theory
  • linearity _ Vienna Summer of Logic 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

  • betty summer school _ 2nd International Summer School on Behavioural Types | lecturer
  • popl'14 | tutorial
  • concur'14 _ 25th International Conference on Concurrency Theory | invited speaker
  • betty summer school _ 1st International Summer School on Behavioural Types| lecturer
  • 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

    • membership

  • rss _ {lasige} Reliable Software Systems
  • 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

  • lasige | director; from Jan 2018
  • 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