Seminário Doutoral

FreeST: A functional programming language with context-free session types

Sala 6.3.27, Ciências ULisboa

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

Communication plays a significant role in software systems. Therefore, it is essential to define protocols that account for the order and form of the messages exchanged between different system agents. Session types offer mechanisms to model these interactions. FreeST is a functional concurrent programming language where messages are exchanged on bidirectional channels governed by context-free session types. The first FreeST version (1.0) features a predicative polymorphic type system (also known as a prenex polymorphic system), which does not allow type variables to be instantiated with polymorphic types. In this seminar, we introduce FreeST 2.0, in which we lift the previous restriction and thus have an impredicative polymorphic type system. Furthermore, we highlight the major changes regarding FreeST's first version.

12h00-13h00
Departamento de Informática | Ciências ULisboa

Seminário do Departamento de Física de CIÊNCIAS ULisboa, por Ricardo Ferreira da Silva (FCUL, NUC-RIA, LIP).

Seminário em Biologia Humana e Ambiente, por Miguel Soares (Gulbenkian Institute for Molecular Medicine - GIMM).

Nesta sessão, apresentada por Lídia André (PhD), serão discutidos novos modelos de dependência capazes de representar simultaneamente as regiões centrais e extremas de distribuições multivariadas, com especial ênfase em métodos de inferência modernos baseados em redes neuronais.

Earth Systems Seminar, por Diogo Quirino (IA-FCUL).

Seminário da Unidade Curricular de Neurociências e Neuromodelação, por Simão Teixeira da Rocha (Department of Bioengineering and Institute for Bioengineering and Biosciences, Instituto Superior Técnico, University of Lisbon, Lisbon, Portugal; Associate Laboratory i4HB, Institute for Health and Bioeconomy, Lisbon, Portugal).

Estás indeciso sobre fazer Erasmus? Tens vontade, mas também receios? Este workshop ajuda-te a pensar com clareza.

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Luís Simões, Marília Simões e Nikki Grens (ML Analytics).

Fachada do edifício C5 de CIÊNCIAS

O Presidente do Conselho de Escola, Professor Luís Correia, informa todos os membros da Ciências ULisboa que a audição pública da candidata admitida ao procedimento de eleição para o cargo de Diretor realizar-se-á no dia 10 de dezem

Natal 2025

Uma oportunidade única de estudantes e professores do ensino secundário dialogarem diretamente com especialistas de várias áreas científicas.

Representação de navios do tempo dos Descobrimentos

Concerto pela Orquestra Académica da Universidade de Lisboa (OAUL).

Vida marinha

O Projeto ULISSES está de volta para a 6.ª edição! As candidaturas decorrem até 15 de dezembro.

Bolsas de Doutoramento Unite! ULisboa

O concurso decorre até 20 de dezembro.

Computador portátil a projetar imagem de sequência biológica

Curso com candidaturas até 12 dezembro.

Representação de pessoa a interagir com tecnologia

O curso introduz o conceito de Digital Twins e a sua aplicação estratégica no contexto do serviço público, com foco na modernização digital, otimização de processos e apoio à decisão - candidaturas até 11 de janeiro.

Bola de cristal colocada no solo

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Duas pessoas a interagirem num contexto de realidade virtual

O curso explora o potencial da Realidade Virtual (VR) e Aumentada (AR) como ferramentas inovadoras nos processos de onboarding e desenvolvimento de competências - candidaturas até 25 de janeiro.

Ginásio "inundado" de tecnologia

Um programa único na Europa, com o objetivo de capacitar para a integração crítica, segura e eficaz de ferramentas digitais na intervenção clínica - candidaturas até 30 de janeiro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.

Pessoas a analisarem dados

Candidaturas até 13 de fevereiro.

Um curso prático, limitado a um pequeno número de participantes, destinado a quem procura formação básica em teoria e estatística macroecológica e deseja familiarizar-se com algumas das potenciais utilizações de vários métodos avançado - candidaturas até 13 de fevereiro.