NEWS

All News

EVENTS

All events

NOVA LINCS Seminar

"Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols" by Léon Gondelman (Aarhus University, Denmark) 12 April 2023, 14h00 - 15h00

Read more >

NOVA LINCS Seminar

"The Many Faces of Randomness Generation" by João Ribeiro (DI-FCT NOVA/NOVA LINCS) 5 April 2023, 14h00 - 15h00

Read more >

NOVA LINCS Seminar

"Towards improving the strength and user experience of the Tor anonymity network" by Kevin Gallagher (FCT NOVA - NOVA LINCS) 22 March 2023, 14h00 - 15h00

Read more >

RESEARCH HIGHLIGHTS

All Highlights

HEALTH CARE / HEALTH INFORMATICS

READ MORE

COMPETITION, VOTING, AND COOPERATION IN THE ARGUMENT WEB

READ MORE

COLLABORATIVE GEO-AWARE PLATFORMS

READ MORE

MODEL DRIVEN DEVELOPMENT AND SOFTWARE PRODUCT LINES

READ MORE