Society Liaison
Companies / Partners
NOVA Student Talks
High School Cooperation
News
Latest News
News Archive
Events
Latest Events
Events Archive
Department
Welcome
Organization
People
Contacts
Media
Research
Research at DI
Distinguished Lecture Series
Research for Students
Education
Candidate
Programs
Português
English
Society Liaison
Companies / Partners
NOVA Student Talks
High School Cooperation
News
Latest News
News Archive
Events
Latest Events
Events Archive
Department
Welcome
Organization
People
Contacts
Media
Research
Research at DI
Distinguished Lecture Series
Research for Students
Education
Candidate
Programs
Society Liaison
News
Events
Department
Media
Research
Education
MENU
Society Liaison
Companies / Partners
NOVA Student Talks
High School Cooperation
News
Latest News
News Archive
Events
Latest Events
Events Archive
Department
Welcome
Organization
People
Contacts
Media
Research
Research at DI
Distinguished Lecture Series
Research for Students
Education
Candidate
Programs
Events
Department
»
Home
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols by Léon Gondelman (Aarhus University, Denmark)
Wed, 12 April 2023,
14:00
-
15:00
Tipo de evento:
Seminar
Organizador:
DI/NOVA LINCS
Local do evento:
Sala de Reuniões do DI e ZOOM
MORE INFO
URL:
https://videoconf-colibri.zoom.us/j/92950889155?pwd=YXN6MFNwaDVxbGh4RHQ5d3N0VWhLUT09
