Not So Latest News

  • 27/08/2016 - Two short communications (including one on reactive implementations of sessions) accepted for presentation at ICTCS 2016.
  • 27/06/2016 - Together with Hu and Yoshida, I will deliver a tutorial on session types at FM 2016, the 21st Symposium on Formal Methods.
  • 14/06/2016 - Will be visiting Sophia-Antipolis. I will give a seminar on Multiparty Session Types Within A Canonical Binary Theory, and Beyond.
  • 23/05/2016 - Will be visiting Glasgow. I will give a FATA Seminar on The Challenge of Typed Expressiveness.
  • 26/04/2016 - Two papers at FORTE'16 and three new journal papers at Formal Aspects of Computing (on adaptation/security for behavioral types).
  • 10/01/2016 - I edit the conference report section in ACM SIGLOG News. The first installment is out; do contact me if you'd like to contribute a report.
  • 09/01/2016 - I will give a talk on "Expressiveness in Concurrency" at CWI (Amsterdam Coordination Group).
  • 21/12/2015 - New paper on Expressiveness of Higher-Order Session Processes (with Kouzapas and Yoshida) accepted at ESOP'16.
  • 23/10/2015 - I have been awarded the BKO (Basiskwalificatie Onderwijs), the Dutch University Teaching Qualification.
  • 24/07/2015 - New papers in EXPRESS/SOS: one concerns deadlock-free session processes, the other is about compensable and adaptable processes.
  • 15/06/2015 - New paper on Behavioral Equivalences for Higher-Order Session Processes (with Kouzapas and Yoshida) accepted at CONCUR'15.
  • 10/06/2015 - New paper on Declarative Interpretations of Sessions (with Cano, Lopez, and Rueda) accepted at PPDP'15.
  • 22/05/2015 - Will visit University of Brasilia (Theory of Computation group) for a week next July.
  • 30/04/2015 - Will give invited talks at departmental seminars in Novi Sad (RS) and IMT Lucca (IT) on adaptable processes.
  • 21/01/2015 - New paper on Expressiveness of Higher-Order Processes (with Kouzapas and Yoshida).
  • 11/11/2014 - Gave an invited talk at the Computer Science Seminar, University of Leicester (UK).
  • 02/10/2014 - Gave a talk on our recent I&C paper and this draft at the Formal Systems Analysis group at TU/Eindhoven.
  • 29/07/2014 - Journal paper on Logical Relations and Behavioral Equivalences for Sessions accepted at Information and Computation.
  • 16/07/2014 - Two papers on multiparty communications (one on self-adaptation, one on dynamic role authorization) accepted at BEAT'14.
  • 10/07/2014 - New paper on Event-Based Runtime Adaptation for Session Communication accepted at WS-FM 2014.
  • 18/06/2014 - Gave a talk on "Bridging the Gap between Binary and Multiparty Communications" at OPCT'14.
  • 07/05/2014 - Journal paper on Adaptable Processes for Session Communication accepted at Science of Computer Programming.
  • 13/04/2014 - Gave a talk on "Relating Multiparty and Binary Session Types via Linear Logic" at the BETTY meeting, Grenoble.
  • 07/11/2013 - Gave a talk on Logic-Based Domain-Aware Session Types at LIX, École Polytechnique, Paris.
  • 02/07/2013 - New paper on process calculi models of grid computing architectures, accepted at DCM 2013.
  • 04/05/2013 - Selected as one of the 200 young researchers participating in the 1st Heidelberg Laureate Forum.
  • 21/03/2013 - Slides for my presentations at ETAPS 2013 (ESOP 2013 and PLACES 2013) are available in Publications.
  • 15/12/2012 - New paper on "Behavioral Polymorphism and Parametricity in Session-Based Communication" at ESOP 2013.
  • 12/11/2012 - New paper on "Structured Communications with Consistent Runtime Adaptation" at SAC 2013 (SOAP track).
  • 24/09/2012 - New CMU Technical Report on Relational Parametricity in Polymorphic Structured Communications. 
  • 18/09/2012 - Paper on "Adaptable Processes" accepted for publication at Logical Methods in Computer Science (LMCS).
  • 11/08/2012 - Gave a mini-course on "Formal Models of Concurrency" at the 26th ECI School. More in Teaching.
  • 21/06/2012 - Gave a talk on our ESOP'12 paper at PPS, Université Paris Diderot.
  • 23/05/2012: A paper on the verification of Adaptable Processes (with Bravetti, Di Giusto, and Zavattaro) has been accepted at ISoLA'12.
  • 28/03/2012: I have presented our ESOP'2012 paper. 
  • 16/12/2011: Paper accepted at ESOP'12: "Linear Logical Relations for Session-Based Concurrency " (Pérez, Caires, Pfenning, Toninho). The proceedings version appears in Springer LNCS 7211; see below for an extended version.
  • 02/11/2011: Back in September, Hugo presented an evolution of our joint work in WS-FM. We are now working on a revised version for the post-proceedings, which will appear in Springer LNCS.
  • 02/09/2011: The extended, revised version of our FMOODS-FORTE paper has now reached a rather stable status. See here for details.
  • 10/11/2010: Presentation of ongoing work on behavioral types for calculi with process suspension at the 22nd Nordic Workshop on Programming Theory - NWPT '10, Turku, Finland 14/10/2010:
  • 14/10/2010: Short paper presentation at the Doctoral Track of FACS 2010 (7th International Workshop on Formal Aspects of Component Software), Guimarães (Portugal).
  • 20/08/2010: Trip to Germany: Visit to Roland Meyer's Concurrency Theory Group at Kaiserslautern -- Sept 13-17.
  • 23/06/2010: Trip to France: visit to SARDES at INRIA Grenoble, and then ICALP at Bordeaux.
  • 14/06/2010: The revised version of our LICS'08 paper has been accepted for publication in Elsevier's Information and Computation.
  • 20/05/2010: A survey paper based on selected results of my PhD thesis has appeared in the June issue of the Concurrency Column of the Bulletin of the EATCS.
  • 13/05/2010: João has given a short presentation on our ongoing work (Type-based access control to database entities) at RADICAL 2010. See the slides here. A technical report will appear soon.
  • 05/05/2010: Returning to Bologna for the final thesis defense
  • 06/04/2010: Paper accepted at ICALP (Track B): On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Lanese, Pérez, Sangiorgi, Schmitt) 
  • 30/03/2010: Moved to Lisbon!