Está aqui

home / Atualidade / Eventos / Kind Inference for the FreeST Programming Language /
Voltar ao Topo
    
Seminário Doutoral do Departamento de Informática

Kind Inference for the FreeST Programming Language

Sala 6.2.44, Ciências ULisboa

Por Bernardo Almeida (orientadores: Vasco Vasconcelos / Andreia Mordido).

In this seminar, I will present a kind inference algorithm for the FreeST programming language. The input to the algorithm is FreeST source code with (possibly part of) kind annotations replaced by kind variables. The algorithm infers concrete kinds for all kind variables. We ran the algorithm on the FreeST test suite by first replacing kind annotation on all type variables by fresh kind variables, and concluded that the algorithm correctly infers all kinds. Non surprisingly, we found out that programmers do not choose the most general kind in 20% of the cases.

16h00
Departamento de Informática | Ciências ULisboa
DI
3.º Ciclo
Doutoramento
Informática
Programação
Temperature effects and the role of gut microbiota in nutrient acquisition by ectotherms

Seminário Doutoral I (Doutoramento em Biologia), por Sara Bento.
Cut elimination for a non-wellfounded system for the master modality

Seminário de Lógica Matemática, por Borja Sierra Miranda (University of Bern).
Título do evento, logótipos da ULisboa/DGES e fotografia de peças de xadrez
Aprende a ter Visão de Tabuleiro

Sentes-te perdido/a em relação ao teu futuro académico/profissional? Ainda não sabes qual a melhor área a seguir ou como definir a tua carreira? Este workshop é para ti!
Environmental Water as a Source of Fungal Infections

Seminário em Biologia Humana e Ambiente, por João Brandão (National Institute of Health Dr. Ricardo Jorge - INSA / Researcher at the Centre for Environmental and Marine Studies - CESAM_FCUL).
Projective structures and the geometry of the conformal limit

Geometry and Physics Seminar, por Pedro M. Silva (CMAFcIO).
Ensaios clínicos bayesianos - pequeno workshop baseado num ensaio muito conhecido

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 Miguel Pereira (Cogitars, UK).
Emergence in Condensed Matter Physics

Roundtable by the 2nd year MSc students.
Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras
Ansiedade já tenho eu a mais!

Uma conversa sobre ti, alguém amigo ou apenas acerca de ansiedade.
Machine learning-based protein design for bioengineering gene therapy vectors

Data Science Seminar, por Ana Filipa Rodrigues (LASIGE).
Logótipo do concurso
Medalhas de Honra L’Oréal Portugal para as Mulheres na Ciência

As candidaturas à 21.ª edição decorrem até 06 de dezembro.
Título da iniciativa, logótipos das entidades envolvidas e fotografias de dois jovens
Talent Bootcamp em CIÊNCIAS

Voa alto com o teu talento no Talent Bootcamp em CIÊNCIAS.
Título/data/local do evento e fotografia de cantor
Ao Encontro do Solstício

Concerto pelo Duo de canto e piano, no âmbito da Temporada Darcos, e que integra o programa Música na Universidade de Lisboa.
Logótipo do evento, sobre um fundo cor-de-rosa
23.ª Gala de Ópera da Universidade de Lisboa

Marcam presença neste concerto a Orquestra Sinfónica Juvenil, o Coro da Universidade de Lisboa (CUL) e o Coro do Instituto Gregoriano de Lisboa, com Direção de Christopher Bochmann.
Disease mechanisms in Lama2-deficiency: a multiorgan approach

Seminário Doutoral III (Doutoramento em Biologia), por Susana Martins.
Use of Earth Observations to assess the realism of Earth System Models

Seminário do Centro de Física Teórica e Computacional, por Emanuel Dutra (Instituto Português do Mar e da Atmosfera, Lisbon, Portugal).
Título do programa, fotografia de dois jovens e logótipo da Rede Alumni CIÊNCIAS
Programa de Mentorado CIÊNCIAS Alumni

As candidaturas estão abertas até dia 09 de dezembro.
Título/data/local do evento e fotografia de autocarro
DIGITAL TWIN em mobilidade porquê?

Evento no âmbito do Ciclo de Conferências "Conversas à Terça", promovido pela redeMOV da Universidade de Lisboa.
Archaeology Stinks! Finding ancient olfactory molecular evidence in archaeological material remains using Headspace analysis

Será que podemos cheirar o passado?
Fotografia do Professor Pedro Miranda
Jubilação do Professor Doutor Pedro Miranda

Lição de Jubilação "Wind and water: on-going research on climate processes".
Approximated Gaussian random field under different parameterizations for MCMC

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 Joaquin Cavieres (University of Gӧttingen, Germany).
Título/data/local do evento e fotografia de António Sampaio da Nóvoa
Jubilação e Cerimónia de entrega da insígnia de Professor Emérito a António Sampaio da Nóvoa

A sessão será presidida por Sua Excelência O Presidente da República, Marcelo Rebelo de Sousa.
Sessão de Natal em CIÊNCIAS
Sessão Especial de Natal de CIÊNCIAS

Uma iniciativa dedicada a sensibilizar toda a sociedade, em especial os jovens, para os desafios climáticos que enfrentamos e para o papel crucial que podem desempenhar na construção de um futuro sustentável. 
Exposição de Geologia

Conversas sobre a geologia rica e fascinante do Parque Natural Sintra-Cascais, com a participação de vários docentes de CIÊNCIAS.
Título "5th edition ULisses", sobre fotografia do mar
Projeto ULISSES (5.ª edição)

Apresentação de candidaturas até 15 de dezembro.
Oficina de Produção de Cogumelos

Um dia para aprender sobre produção caseira de cogumelos, da teoria à prática! Cada participante leva consigo um kit de cogumelos produzido nesta tarde e ainda todo o conhecimento para o fazer novamente de forma autónoma!

Páginas