Linkedin
LASIGE FCT PTDC/PEx Project Proposal – Pitch to Peers Session

LASIGE FCT PTDC/PEx Project Proposal – Pitch to Peers Session

*************************************************************************************** What: LASIGE FCT PTDC/PEx Project Proposal – Pitch to Peers Session Who: PIs, team members, other researchers When: February 11, 15:30 Where: 6.3.27 Send topics until...
RSS meetup: Miguel Gamboa

RSS meetup: Miguel Gamboa

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: Type-Safe, Hypermedia-First DSL for Backend-Driven...
RSS meetup: Miguel Gamboa

RSS meetup: Tiago Ferreira

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: Automata Learning for Computer Networks Speakers:...