Linkedin
RSS meetup: Filipe Côgo

RSS meetup: Filipe Côgo

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: Dependency Management in the Era of Foundation...
RSS meetup: Filipe Côgo

RSS meetup: Afonso Bitoque

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: What if your web server could prove that it works?...
11th LASIGE Workshop: SAVE the DATE !

11th LASIGE Workshop: SAVE the DATE !

Right now: SAVE THE DATE and remember that: Poster submissions are now open! Poster Submission Details: • Deadline: April 30th • Format: PDF (A0 size) • Submission: Send to lauraolhb89 (at) gmail.com and pgtrindade (at) ciencias.ulisboa.pt • Email subject: “LASIGE...
Distinguished Talk: Wendy Ju

Distinguished Talk: Wendy Ju

Title: How to run a design-forward HCI/HRI lab Speaker: Wendy Ju (Jacobs Technion-Cornell Institute (Cornell Tech)) When: April 20, 11h  |  coffee break 10:30 Where: Ciências ULisboa, C6.3.27 Invited by: Isabel Neto Abstract: In this talk on “How to run a...