CPP 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala VII
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 14 Jan

opct-2019-papers
09:00 - 10:30: OPCT 2019 - Session Types at Sala VII
Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France
opct-2019-papers09:00 - 09:15
Day opening
opct-2019-papers09:15 - 09:40
Talk
Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
opct-2019-papers09:40 - 10:05
Talk
Adrian FrancalanzaUniversity of Malta
opct-2019-papers10:05 - 10:30
Talk
Hans HüttelDepartment of Computer Science, Aalborg University
File Attached
opct-2019-papers
11:15 - 12:30: OPCT 2019 - Causality, Reversibility at Sala VII
Chair(s): Thomas H. Hildebrandt
opct-2019-papers11:15 - 11:40
Talk
Georgiana CaltaisUniversity of Konstanz
File Attached
opct-2019-papers11:40 - 12:05
Talk
opct-2019-papers12:05 - 12:30
Talk
Irek UlidowskiUniversity of Leicester
opct-2019-papers
13:50 - 15:30: OPCT 2019 - Session Types, Graph-Rewriting at Sala VII
Chair(s): Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
opct-2019-papers13:50 - 14:15
Talk
opct-2019-papers14:15 - 14:40
Talk
Giovanni BernardiUniversité Paris Diderot
File Attached
opct-2019-papers14:40 - 15:05
Talk
Cinzia Di GiustoLaboratoire I3S
File Attached
opct-2019-papers15:05 - 15:30
Talk
opct-2019-papers
16:00 - 17:15: OPCT 2019 - Concurrent Programming, Memory Models at Sala VII
Chair(s): Gustavo PetriIRIF, Université Paris Diderot
opct-2019-papers16:00 - 16:25
Talk
Kirsten WinterThe University of Queensland
File Attached
opct-2019-papers16:25 - 16:50
Talk
Carla FerreiraUniversidade Nova Lisboa
opct-2019-papers16:50 - 17:15
Talk
Emanuele D'OsualdoImperial College London, UK
Pre-print File Attached

Tue 15 Jan

opct-2019-papers
09:00 - 10:30: OPCT 2019 - Equational Characterisations, Transactions at Sala VII
Chair(s): Mohammad MousaviUniversity of Leicester, UK
opct-2019-papers09:15 - 09:40
Talk
Bas LuttikEindhoven University of Technology
File Attached
opct-2019-papers09:40 - 10:05
Talk
Marco BernardoUniversity of Urbino
opct-2019-papers10:05 - 10:30
Talk
Andrea CeroneImperial College London
opct-2019-papers
11:15 - 12:30: OPCT 2019 - Cyberphysical Systems, Hybrid Systems at Sala VII
Chair(s): Philippa GardnerImperial College London
opct-2019-papers11:15 - 11:40
Talk
Erika AbrahamRWTH Aachen University
opct-2019-papers11:40 - 12:05
Talk
opct-2019-papers12:05 - 12:30
Talk
Michele LoretiUniversity of Camerino
opct-2019-papers
13:50 - 15:30: OPCT 2019 - Algebra, Coalgebra, Model Checking at Sala VII
Chair(s): Barbara KönigUniversity of Duisburg-Essen
opct-2019-papers13:50 - 14:15
Talk
Joost-Pieter KatoenRWTH Aachen University
File Attached
opct-2019-papers14:15 - 14:40
Talk
Paolo BaldanUniversity of Padova
File Attached
opct-2019-papers14:40 - 15:05
Talk
Helle Hvid HansenDelft University of Technology
File Attached
opct-2019-papers15:05 - 15:30
Talk
Simone TiniUniversity of Insubria
opct-2019-papers
16:00 - 17:20: OPCT 2019 - Algebra, Coalgebra at Sala VII
Chair(s): Alexandra SilvaUniversity College London
opct-2019-papers16:00 - 16:25
Talk
Jurriaan RotRadboud University Nijmegen
opct-2019-papers16:25 - 16:50
Talk
Valentina CastiglioniInria Saclay - Ile de France
File Attached
opct-2019-papers16:50 - 17:15
Talk
Renato NevesUniversity of Minho & INESC TEC
File Attached
opct-2019-papers17:15 - 17:20
Day closing

Mon 14 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VII
09:00 - 10:30

Tue 15 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VII