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
Cameleer: a Deductive Verification Tool for OCaml by Mário Pereira (FCT NOVA - NOVA LINCS)
Wed, 20 January 2021,
14:00
-
15:00
Tipo de evento:
Seminar
Organizador:
DI/NOVA LINCS
Local do evento:
Zoom (Link disponível abaixo)
MORE INFO
https://videoconf-colibri.zoom.us/j/88534151336?pwd=VXFKMjNORVEyeDZINkFlNW96bXJjQT09
