PLACES 2023 Programme and Proceedings
The PLACES 2023 proceedings are published in volume 378 of EPTCS.
22 April 2023
Institut Henri Poincaré, Amphitéâtre Darboux
| 8:00-8:50 | Arrival and registration | |
| 8:50-9:00 | Opening of PLACES 2023 | |
| 9:00-9:50 | Keynote talk | Marieke Huisman, University of Twente, NL. VerCors & Alpinist: Verification of Optimised GPU Programs |
| 9:50-10:10 | Session: Concurrency 1 | Felix Stutz. Multiparty Session Types Meet Message Sequence Charts |
| 10:10-10:30 | Coffee break | |
| 10:30-11:00 | Session: Concurrency 2 | Matteo Cimini. A Declarative Validator for GSOS Languages |
| 11:00-11:30 | Dominic Orchard, Mihail Munteanu and Paulo Torrens. Communicating Actor Automata: modelling Erlang processes as communicating machines | |
| 11:30-12:00 | Ton Smeele and Sung-Shik Jongmans. Choreographic Programming of Isolated Transactions | |
| 12:00-12:20 | Joseph Paulus, Daniele Nantes-Sobrinho and Jorge A. Pérez. Functions as Processes: The Non-Deterministic Case | |
| 12:20-12:40 | Åsmund Aqissiaq Arild Kløvstad. Concurrent Symbolic Execution with Trace Semantics in Coq | |
| 12:40-14:00 | Lunch break | |
| 14:00-14:50 | Keynote talk | Vasco T. Vasconcelos, University of Lisbon, PT. Thirty Years of Session Types |
| 14:50-15:20 | Session: Session types 1 | Ross Horne and Luca Padovani. A Logical Account of Subtyping for Session Types |
| 15:20-15:50 | Bernardo Almeida, Andreia Mordido and Vasco T. Vasconcelos. Kind inference for the FreeST Programming Language | |
| 15:50-16:10 | Matthew Alan Le Brun and Ornela Dardha. MAGπ: Types for Failure-Prone Communication | |
| 16:10-16:30 | Coffee break | |
| 16:30-16:50 | Session: Session types 2 | Carlos Alberto Ramirez Restrepo, Juan C. Jaramillo and Jorge A. Pérez. Session-Based Concurrency, Implemented in Maude |
| 16:50-17:10 | Diogo Poças, Diana Costa, Andreia Mordido and Vasco T. Vasconcelos. Polymorphic Sessions and Sequential Composition of Types | |
| 17:10-17:30 | Session: Programming languages | Mads Rosendahl, Maja H. Kirkeby, Mathias Larsen, Martin Sundman, Tjark Petersen and Martin Schoeberl. Language Support for Implementing Algorithms on Low Level Hardware Components |
| 17:30-17:40 | Closing | |