Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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
File Attached
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