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
»
Home
»
Events
» Events Archive »
2019
»
June
Events Archive
18-06-2019
Workshop
Video Games Workshops by Ernest Adams (Uppsala University)
25-06-2019
Seminar
Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec by Yann Régis-Gianas (Paris University)
26-06-2019
Academic Event
Discussão da Proposta de tese de Doutoramento em Informática da Mestre Ana Catarina Gralha de Almeida