Society Liaison
News
- Latest News
- News Archive
Events
- Latest Events
- Events Archive
Department
- Welcome
- Organization
- People
- Contacts
Media
Research
Education
- Candidate
- Programs

Português
English

Society Liaison
News
- Latest News
- News Archive
Events
- Latest Events
- Events Archive
Department
- Welcome
- Organization
- People
- Contacts
Media
Research
Education
- Candidate
- Programs

Society Liaison
News
Events
Department
Media
Research
Education

MENU

Society Liaison
News
- Latest News
- News Archive
Events
- Latest Events
- Events Archive
Department
- Welcome
- Organization
- People
- Contacts
Media
Research
Education
- Candidate
- Programs

Events

Department

From Verification To Development of Message Passing Programs by Hugo Torres Vieira (IMT Lucca)

More info: http://nova-lincs.di.fct.unl.pt/seminar/362

Studying

Integrated Master in Computer Science
Master in Analysis and Engineering of Big Data
Doctoral Program in Digital Media
Doctoral Program in Computer Science

Researching

NOVA Laboratory for Computer Science and Informatics (NOVA LINCS)

Knowing

Contacts

Login

NOVA School of Science and Technology
Universidade NOVA de Lisboa
2024