Linkedin
RSS Meetup: Francisco Medeiros

RSS Meetup: Francisco Medeiros

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: Developments on Specifying RESTful APIs with...
Ciência@Informática

Ciência@Informática

When: Thursday, June 4, 2019 Where: https://videoconf-colibri.zoom.us/j/93683451569 Ciência@Informática is an event that aims to present the research being developed at Ciências ULisboa’s Department of Informatics (DI). In this event, several of LASIGE members...
RSS Meetup: Alcides Fonseca

RSS Meetup: Alcides Fonseca

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: Proving theorems in Lean for mere mortals...
RSS Meetup: Bernardo Almeida

RSS Meetup: Bernardo Almeida

RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics.   Title: Agda as a Proof Assistant Speaker: Bernardo...
PhD in Informatics Seminar #2 2019/2020 | DI Ciências ULisboa

PhD in Informatics Seminar #2 2019/2020 | DI Ciências ULisboa

LASIGE’s PhD student Márcia Barros is presenting her research work at the second PhD in Informatics Seminar of 2019/2020, on this Thursday, May 14 at 12h. The PhD in Informatics Seminars are open to PhD students, faculty, MSc and BSc students and are an...