RSS Meetup

LiquidJava - Extending Java with Refinements

Transmissão através de Videoconferência
Título, data, orador e localização do evento

Por Catarina Gamboa (LASIGE, DI-FCUL).

This talk presents LiquidJava, a project that aims to integrate Refinement Types in Java, one of the most popular programming languages in the world, while adapting their design to the language features and the developer’s common problems. We have developed a refinement type checker and an editor plugin that provide Java developers with the ability to gradually adopt refinements and detect and fix bugs in their programs before even running the test suite.

Bio: Catarina Gamboa is a Masters student at the Faculty of Sciences, University of Lisbon, and a student researcher at LASIGE. She received her BSc in Computer Science from the same faculty. Her current research focuses on the development of an additional type-system with Refinement Types on top of Java, to allow developers to express better restrictions on the code and discover more bugs before executing the programs.


Transmissão em direto via Zoom.

14h00
LASIGE
Banner do evento

Talk @LASIGE, por Bruno Loff (Faculdade de Ciências, Universidade do Porto).

Logótipo do evento

The main goal of this annual conference is to expose students, engineers, scientists and the overall academic and scientific communities to the greatest recent advances in the fields of Technology, Health and Biomedical Engineering taking place in some of the most prestigious research institutions.

Banner do evento

Visionamento do filme "A Febre das Partículas", seguido de debate.

Seminário no âmbito da unidade curricular “Impacto Ambiental e Análise de Ciclo de Vida”, por Paulo Silva (Valorpneu).

Banner do evento

Participe até 12 de outubro / Submit you application until 12 October.

Banner do evento

Ciências ULisboa estará presente, de 13 a 16 de outubro, no Festival Internacional de Ciência - FIC.A

Seminário do Centro de Física Teórica e Computacional, por Daniel Passos

(CFTC, Lisbon University).

Seminário Permanente de Filosofia das Ciências, por James Ladyman (University of Bristol).

Logótipo da iniciativa, sobre imagem alusiva à cibersegurança

A ciência rege-se por diferentes escalas de tempo. Diferentes áreas do conhecimento estudam processos a diferentes escalas: dos nanossegundos aos milhões de anos. Quais são os Andamentos da Ciência?

Cartaz do evento

Um evento repleto de atividades científicas, culturais e educativas, com jogos, demonstrações, palestras, entre muitas outras atividades. 

Research at the Faculty of Sciences

Join us on 26 October 2022 - registration now available!