Skip to main content Link Search Menu Expand Document (external link)

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