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 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...
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...
LASIGE’s PhD student João Batista is presenting his research work in the first PhD in Informatics Seminar of 2019/2020, on this Thursday, April 30 at 12h. The PhD in Informatics Seminars are open to PhD students, faculty, MSc and BSc students and are an...
Ana Pires, LASIGE researcher is the invited speaker for Talks@DI, on 16 of April at 14h., a regular event by Ciências ULisboa’s Department of Informatics (DI) that now takes places virtually. Title: Technology and Education for all: Enhancing learning...
