Linkedin
RSS Meetup: Guilherme Espada

RSS Meetup: Guilherme Espada

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 Meetup: Paulo Santos

RSS Meetup: Paulo Santos

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...
Emilio Tuosto talk

Emilio Tuosto talk

“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...
LASIGE Workshop 2020

LASIGE Workshop 2020

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...
RSS Meetup: Carlos Mão de Ferro

RSS Meetup: Carlos Mão de Ferro

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: Safe programming of IoT devices Speaker: Carlos...