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: A Judgmental Embedding of Session Types in Rust...
Organized in the context of the AWESOME Project: Awareness While Experiencing and Surfing On Movies through Emotions When: Thursday, July 14, 14h-18h Where: Ciências.ULisboa – C6. 6.2.48 and online Registration link: https://forms.gle/8NB677K5y32X1rYM6 (free)...
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: Modeling and Specifying Interaction in...
Title: Science Communication and The Media Speaker: Catarina Gamboa (LASIGE/FCUL and ISR/CMU) Date: July 05, 2022, 15h00 Where: FCUL, C6.3.27 (Coffee break included) Abstract: Sharing research moves the world forward. Each informal conversation, conference...
Title: Vectorial Genetic Programming for Symbolic Regression with Timeseries Speaker: Philipp Fleck (Heuristic and Evolutionary Algorithms Laboratory, University of Applied Sciences Upper Austria) Date: June 27, 2022, 14h00 Where: FCUL, C6.3.27 Abstract: Using...
