Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala VII
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:15 - 12:30: Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII
Chair(s): Philippa GardnerImperial College London
11:15 - 11:40
Talk
OPCT
Erika AbrahamRWTH Aachen University
11:40 - 12:05
Talk
OPCT
12:05 - 12:30
Talk
OPCT
Michele LoretiUniversity of Camerino
16:00 - 17:20: Algebra, CoalgebraOPCT at Sala VII
Chair(s): Alexandra SilvaUniversity College London
16:00 - 16:25
Talk
OPCT
Jurriaan RotRadboud University Nijmegen
16:25 - 16:50
Talk
OPCT
Valentina CastiglioniInria Saclay - Ile de France
File Attached
16:50 - 17:15
Talk
OPCT
Renato NevesUniversity of Minho & INESC TEC
File Attached
17:15 - 17:20
Day closing
OPCT

Mon 14 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change