Talks @LASIGE

Refinement Types

Sala 6.3.27, Ciências ULisboa
Banner do evento (incluindo título, hora, local e informações sobre a oradora)

Por Niki Vazou (IMDEA).

Refinement types are a type-based, static verification technique designed to be practical. They enrich the types of an existing programming language with logical predicates to specify program properties and automatically validate these specifications using SMT solvers. Refinement types are a promising verification technology that in the last decade has spread to mainstream languages (e.g., Haskell, C, Ruby, Scala, and the ML-family) to verify sophisticated properties of real world applications, e.g., safety of cryptographic protocols, memory and resource usage, and web security. But, the weakness of refinement types is that they do not meet the soundness standards set by theorem provers.

In this talk, we will see a brief overview of refinement types, the consequences of their practical design, and the presenter's future goals on the establishment of soundness.

Bio: Niki Vazou works on the theory and applications of refinement type based verification. Currently, he is a research assistant professor at IMDEA Software Institute in Madrid, Spain, before which she did her PhD in University of California, San Diego and a postdoc at University of Maryland. In 2014 she received the Microsoft Research Graduate Fellowship and in  2021 an ERC Starting Grant and a Wallenberg Foundation Fellowship.

16h30
LASIGE Computer Science and Engineering Research Centre

Lisbon Webinar in Analysis and Differential Equations, por Andreas Seeger (University of Wisconsin-Madison).

Título/local/data do evento e logótipo do LIP e entidades associadas à iniciativa

Uma viagem em que os visitantes irão conhecer o LIP e os lugares para onde viajamos diariamente no nosso trabalho.

Seminário por Salit Kark & Noam Levin (University of Queensland, AU).

Cartaz do evento

A 36.ª edição da feira terá um programa cultural dedicado ao tema “Os Minerais e a Transição Energética”.

Seminários em Recursos Naturais Vegetais, por Luís BonifácioJorge Faria (Instituto Nacional de Investigação Agrária e Veterinária).

Seminário E3GLOBAL, por Marta Macedo (IHC - NOVA FCSH/ IN2PAST).

Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Andreas Bender (Department of Statistics at LMU Munich and Senior Consultant at the Statistical Consulting Unit - StaBLab).

Oficina de Introdução à Estacaria.

Título/local/data do evento, logótipos das entidades promotoras e fotografia de árvore de natal

Dia 11 de dezembro, das 19h00 às 19h45, no Grande Auditório de Ciências ULisboa.

Título, local e data do evento, acompanhados de fotografias dos oradores

TWIN2PIPSA Expert Seminars, por Francesco Pesce Matteo Cagiaga (University of Copenhagen).

Título/data do evento e pormenor da exposição

Inez Wijnhorst (autora), Henrique Leitão e Pedro Freitas (curador) exploram a exposição "Cem Meias Medidas: desenhos e gravuras de Inez Wijnhorst".

Seminário do Centro de Física Teórica e Computacional, por Jesús Gómez-Gardeñes (University of Zaragoza, Spain).

Título/data do evento e fotografia da oradora

Masterclass com a presença de Teresa Vieira, que irá elucidar os vários passos de criar uma empresa.

Fotografia antiga de quatro ciclistas

Workshop no âmbito do projeto Hi-BicLab. Laboratório de História para as Mobilidades Urbanas Sustentáveis: Políticas Cicláveis de Lisboa.

Seminário Doutoral I no âmbito do Doutoramento em Biologia, por Celso José Miguel Paulo.

Ilustração representativa de produtos alimentares dentro de uma caixa

Participe nesta campanha solidária até ao dia 14 de dezembro.

Título, local e data do evento, acompanhados da fotografia da oradora

TWIN2PIPSA Expert Seminar, por Sandra Macedo-Ribeiro (Group Leader of the Biomolecular Structure & Function Lab at i3S - Instituto de Investigação e Inovação em Saúde da Universidade do Porto).

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Gloria Clifton (Royal Museums Greenwich).

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Carolina Resende (Universidade de Lisboa).

Título da iniciativa a fotografia de planta

The second call for funding measures on Student Activities is open until 15 December 2023.

Logótipo do projeto, sobre uma fotografia do mar em tons de verde

Apresentação de candidaturas até 15 de dezembro de 2023.

2.ª edição do workshop organizado por Luís Ribeiro e Francisco Malta Romeiras (CIUHCT), com a participação de investigadores cujo trabalho incide sobre o "early modern knowledge."

Título/data do evento e fotografia de orquestra em tons natalícios

Concerto de Natal da ULisboa / Alumni ULisboa.

Fotografia de objetos pretos e laranjas, representando pontos de interrogação

Inquérito disponível até 18 de dezembro.

Título/data/local do evento, sobre uma fotografia do Cais das Colunas (Lisboa) ao amanhecer

Algebra, Combinatorics, Differential Equations, Geometry, Logic, Matrix Theory and Operational Research.

Páginas