Slides (opct19-mrs.pdf) | 1.62MiB |
Mon 14 Jan
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 | ||||||||||||||||||||||||||||||||||||||||||
13:50 - 14:15 Talk | Kirstin PetersTU Berlin | |||||||||||||||||||||||||||||||||||||||||
14:15 - 14:40 Talk | Giovanni BernardiUniversité Paris Diderot File Attached | |||||||||||||||||||||||||||||||||||||||||
14:40 - 15:05 Talk | Cinzia Di GiustoLaboratoire I3S File Attached | |||||||||||||||||||||||||||||||||||||||||
15:05 - 15:30 Talk |