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...
The NavTalks are a series of informal talks given by Navigators members or some special guests. Title: Consensual Data Structures Speaker: Inês Gouveia (Citrix) When: Thursday, March 26 2020, at 13:00 (14:00 CET) Where: online Abstract: “Inês Pinto...
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: Escaping ADA Speaker: Guilherme Espada (LASIGE/DI)...
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: Evolutionary Program Synthesis from Refined and...
