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...
“Behavioural APIs and choreographic development” is the talk that Emilio Tuosto, associate professor at Gran Sasso Science Institute (L’Aquila, Italy), will give next February 14, 2020 at 2:00PM. Choreography envisages distributed coordination as...
Next Thursday, February 13th, LASIGE is hosting its 5th annual workshop, featuring a variety of activities. Four talks headline the event. In the morning, Andreia Santos, a psychologist at GAPSI, will present techniques on how to live with rejection. Next, Marta...
