Linkedin
RSS Meetup: Diogo Poças

RSS Meetup: Diogo Poças

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: The Different Shades of Infinite Session Types....
RSS Meetup: Vasco T. Vasconcelos

RSS Meetup: Vasco T. Vasconcelos

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: The Different Shades of Infinite Session Types....
Tiago Guerreiro’s keynote lecture at BIOSTEC 2021

Tiago Guerreiro’s keynote lecture at BIOSTEC 2021

Date: February 13, 2021, 05:30PM (CET) Title: Democratizing Data-driven Healthcare Presenter: Tiago Guerreiro Where: Online Streaming About: The purpose of BIOSTEC is to bring together researchers and practitioners, including engineers, biologists, health...
RSS Meetup: Mário Pereira

RSS Meetup: Mário Pereira

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: Cameleer: a Deductive Verification Tool for...
Data Science Seminars | Casey Fiesler

Data Science Seminars | Casey Fiesler

Data Science Seminars is a Ciências ULisboa Master Programme in Data Science’s course that offers an overview of data science, with a focus in its application areas.  Title: Data is People – Ethics and Education for Data Science Speaker: Casey...