Linkedin
11th LASIGE Workshop (2026)

11th LASIGE Workshop (2026)

Date:May 13, 2026, 14:30h Where:CIÊNCIAS ULisboa, C6.1.36 Program: 14:30 – Registration 14:45 – Welcoming Session by CE 15:00 – Keynote Talk by Helena Aidos 15:40 – Poster Session & Coffee Break 16:50 – Keynote Talk by João Guerreiro 17:30 – Awards Ceremony 18:30...
LASIGE Talks: Alan Oliveira and André Souto

LASIGE Talks: Alan Oliveira and André Souto

LASIGE Talks are fortnightly/monthly events to publicize recently distinguished publications or ongoing cutting-edge work by researchers from the research centre, consolidating the scientific culture of the LASIGE community. Speakers: Alan Oliveira and André Souto...
RSS meetup: Filipe Côgo

RSS meetup: Filipe Côgo

RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Dependency Management in the Era of Foundation...
RSS meetup: Filipe Côgo

RSS meetup: Afonso Bitoque

RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: What if your web server could prove that it works?...
11th LASIGE Workshop: Poster submissions

11th LASIGE Workshop: Poster submissions

Poster submissions are now open! Poster Submission Details: • Deadline: April 30th • Format: PDF (A0 size) • Submission: Send to lauraolhb89 (at) gmail.com and pgtrindade (at) ciencias.ulisboa.pt • Email subject: “LASIGE Workshop – Poster submission” • Email...