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

Formações "Constrói o teu canteiro - técnicas de ecoconstrução" e "Uma Horta Permanente - cultivo em permacultura".

Composição de imagens do planeta terra e da orla costeira

O curso tem como objetivo explorar os conceitos de Sustentabilidade e Desenvolvimento Sustentável, com ênfase no papel do Conhecimento Geológico na promoção de práticas sustentáveis - candidaturas até 27 de setembro.

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 Renato Assunção (ESRI Inc., USA and Department of Computer Science, Universidade Federal de Minas Gerais, Brazil).

Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).

Seminário do Centro de Física Teórica e Computacional, por Arthur Hernandez (Instituut-Lorentz, Leiden University, Leiden, The Netherlands).

A ação de formação visa dar a conhecer globalmente os serviços da Biblioteca e iniciar os estudantes nos diversos recursos de informação disponibilizados.

Título "BioISI Mass Spectrometry Day" e gráfico de barras

Uma excelente oportunidade de networking e de descoberta do trabalho que está a ser desenvolvido, utilizando técnicas de espectrometria de massa, dentro e fora do BioISI.

Título "Luís de Camões: 500 anos do nascimento"

A exposição, patente ao público de 30 de outubro a 15 de janeiro, reúne algumas das obras mais notáveis da camoniana de D. Manuel II, bem como outras peças emblemáticas do património histórico e cultural da Fundação Casa de Bragança.

Globo terrestre, sobre um fundo amarelo

Decorrem até 31 de outubro as candidaturas para as Bolsas de Mérito da Fundação Gulbenkian, para estudantes que se candidatam ao primeiro ano.

Astronauta, banhado pela luz solar, no meio de uma floresta

Um evento único, que reunirá estudantes de mestrado e doutoramento com investigadores e líderes da indústria de toda a Europa para uma experiência inesquecível.

Grupo de pessoas

As inscrições para a primeira Ação de Formação "Construindo Comunidades de Investigação" decorrem até 21 de setembro.

Orquestra Wiener Concert-Verein

Neste concerto, que integra o programa Música na Universidade de Lisboa, a conceituada orquestra austríaca Wiener Concert-Verein atua pela primeira vez em Portugal.

Lupa e caneta sobre página com texto e gráfico

O curso visa dar formação inicial a estudantes de pós-graduação sobre o processo de escrita, submissão e publicação de trabalhos científicos, focando principalmente a publicação de artigos científicos em revistas internacionais com revisão por pares - candidaturas até 10 de outubro.

Os workshops destinam-se a todos os docentes e demais pessoas interessadas no desenvolvimento pedagógico na aliança Unite!

Logótipo C-Academy

O curso introduz os fundamentos da segurança em redes de computadores, abordando as principais vulnerabilidades, princípios e metodologias de proteção - candidaturas até 28 de outubro.

Representação de parte do esqueleto humano

Submissão de trabalhos de Mestrado e de Doutoramento realizados na ULisboa, ligados à temática da saúde, até 12 de novembro.

Iconografia relacionada com a temática do curso

O curso fornece uma exploração aprofundada de isótopos estáveis como uma ferramenta valiosa em Ecologia, usando assinaturas isotópicas para rastrear processos ecológicos e revelando insights sobre o ciclo de nutrientes e água, interações de espécies e condições ambientais em diversos ecossistemas e comunidades - candidaturas até 17 de outubro.

Composição de três imagens relativas à área da deteção remota

Este curso visa dar formação na área de Deteção Remota, abrangendo desde a Observação da Terra pelos satélites até à utilização de Drones - candidaturas até 02 de novembro.

Fotografia do mar e parque eólico

O curso propõe uma imersão nos princípios, desafios e oportunidades da Economia Azul, explorando o papel crucial dos oceanos nas transições ecológica e climática - candidaturas até 13 de novembro.

Fábrica

O evento pretende reunir investigadores que trabalhem sobre temas ligados à indústria e sobre património técnico e industrial, para uma reflexão prospetiva sobre o património industrial e atuais vias de colaboração no seu estudo, salvaguarda e preservação.

Título "Turin Staff Week 2025", sobre fotografia da cidade de Turim

Uma oportunidade única para desenvolver competências, criar redes internacionais e conhecer de perto uma das instituições parceiras da aliança Unite! - inscrições até 21 de setembro.

Workshop no âmbito do Programa de Saúde e Bem-Estar da ULisboa.

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 22 de novembro.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 22 de novembro.

Cesto com legumes

O curso tem como principal objetivo capacitar para a implementação e gestão sustentável de espaços de cultivo nas cidades, promovendo a segurança alimentar e a autonomia na produção de alimentos - candidaturas até 02 de novembro.

Páginas