Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

Coma: an intermediate verification language with explicit abstraction barriers

Seminars

DI Seminars Room and Google Meet - 18/03/2026 2:00 pm

Presenter

Paul Patault (Université Paris-Saclay and Laboratoire Méthodes Formelles),

World Logic Day 2026

Seminars

Uninova Auditorium and Online - 14/01/2026 2:00 pm

MENTOR: Automated Feedback for Introductory Programming Exercises

Seminars

DI Seminars Room and Zoom - 22/04/2025 2:00 pm

Presenter

Pedro Orvalho (Oxford University),

Iso-Recursive Multiparty Sessions and their Automated Verification

Seminars

DI Seminars Room and Zoom - 19/03/2025 2:00 pm

Presenter

Marco Giunti (University of Oxford, England),

The Session Abstract Machine

Seminars

DI Seminars Room and Zoom - 05/06/2024 3:00 pm

Presenter

Bernardo Toninho (NOVA LINCS - NOVA FCT),

MPC in the real world: financial applications of multiparty computation

Seminars

DI Seminars Room and Zoom - 20/03/2024 12:00 am

Presenter

Mariana Gama (COSIC, KU Leuven),

Extended Monitorability through Multiple Executions

Seminars

DI Seminars Room and Zoom - 14/12/2023 2:00 pm

Presenter

Adrian Francalanza (University of Malta),

The Dynamics of Remote Software Development Teams: Understanding the Experience of Novices and the Adoption of Feedback Practices

Seminars

DI Seminars Room and Zoom - 29/11/2023 2:00 pm

Presenter

Carina Alves (Universidade Federal de Pernambuco, Brazil),

The Communication Complexity of Oblivious Transfer

Seminars

DI Seminars Room and Zoom - 27/09/2023 2:00 pm

Presenter

Pedro Branco (Max Planck Institute for Security and Privacy),

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

Seminars

DI Seminars Room and Zoom - 12/04/2023 2:00 pm

Presenter

Léon Gondelman (Aarhus University, Denmark),

The Many Faces of Randomness Generation

Seminars

DI Seminars Room and Zoom - 05/04/2023 2:00 pm

Presenter

João Ribeiro,

Software Systems