Seminário "Informática em Ciências"

Propositions as Sessions

Auditório da FCiências.ID, Lisboa

Por Philip Wadler (University of Edinburgh).

Abstract
Journal of Functional Programming, Best Papers of ICFP 2012, 24(2–3), 384–418. 
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions of classical linear logic correspond to session types. Continuing a line of work by Honda (1993), by Honda, Kubo, and Vasconcelos (1998), and by Gay and Vasconcelos (2010), among others, this paper presents GV, a linear functional language with session types, and presents a translation from GV into CP. The translation formalises for the first time a connection between a standard presentation of session types and linear logic, and shows how a modification to the standard presentation yield a language free from deadlock, where deadlock freedom follows from the correspondence to linear logic. 

Short Bio
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, a Fellow of the Royal Society of Edinburgh, and editor-in-chief of Proceedings of the ACM for Programming Languages. He is past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 66 with more than 22,000 citations to his work, according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.  

Sponsor
Palestra financiada pelo LASIGE, através do financiamento do projeto estratégico da Unidade, com a referência FCT UID/CEC/00408/2013.

16h00
Departamento de Informática

O “Pavilhão do Conhecimento dos Mares” reabriu em 1999 como “Pavilhão do Conhecimento - Centro Ciência Viva”, mas o oceano continua a fazer parte da sua identidade e oferta para o público.

Palestra e discussão por Joana Vieira.

Por Kenier Castillo (Universidade de Coimbra).

Durante o seminário será apresentado o relatório "Food from the Oceans Evidence Review Report" e discutida a sustentabilidade da exploração dos recursos dos oceanos.

Por Marija Dodig (Faculdade de Ciências da ULisboa).

Os oradores são alunos do DM-FCUL e bolseiros do programa “Novos Talentos em Matemática” da Fundação Calouste Gulbenkian.

Por Nuno Martins e Sara Freitas.

A ferramenta do astrólogo: a figura celeste ou mapa astrológico

Este novo seminário, organizado pelo CIUHCT e pelo Departamento de História e Filosofia das Ciências (FCUL), é dedicado à história da astronomia antiga, estendendo o conceito aos aspetos históricos da disciplina, ou de outras que com ela se relacionaram, até ao século XIX.

Por Cristina Sernadas (Instituto Superior Técnico, CMAF-CIO, Universidade de Lisboa).

Por Pedro Soares (IDL/DEGGE - Faculdade de Ciências da ULisboa).

Logótipo do H2020

O GPPQ, em parceria com o IAPMEI e a Enterprise Europe Network (EEN-Portugal), irá organizar, na tarde do dia 24 de maio (14h00-17h30, c/ registo a partir das 13h30), uma sessão de informação dedicada às oportunidades de financiamento para as bioindústrias no âmbito da

Por Carla Alegria (Post-Doc Researcher, cE3c - ESFE Group & UTI - INIAV).

Por Marco Dozzi (Institut Elie Cartan de Lorraine, Nancy, França).

Inês Silva Veríssimo defende a dissertação "Neuromodulation for Supporting Lower Limb Movement Rehabilitation".

Uma exposição interativa multissensorial

Esta exposição consiste num conjunto de experiências sensoriais, cognitivas e emocionais que têm por objetivo sensibilizar o público para as especificidades das necessidades educativas especiais.

Por Célia Borlido (Laboratoire J. A. Dieudonné, CNRS, Université Côte d'Azur).

Os desertos e as ourelas do Mar: uma carta atlântica portuguesa do século XVI da Biblioteca Centrale della Regione Siciliana

Por André Ferrand Almeida (Aluno de Doutoramento da FCUL, MEDEA-CHART/CIUHCT).

Por Filipa Soares (ISEL-IPL, CEMAT-Ciências).

Habitar noutros Planetas

Por Pedro Machado (IA - Instituto de Astrofísica e Ciências do Espaço / Faculdade de Ciências da Universidade de Lisboa).

A formação das coleções zoológicas vivas reais em Portugal durante o século XVIII: Resultados da Pesquisa de Tese

Estes seminários destinam-se à apresentação e discussão de estudos de caso em história de cultura material e coleções científicas, museus universitários e património científico em geral.

Cursos Avançados cE3c 2017/2018

Currently, climate changes or alterations are known to be reflected on the stable isotope ratios of Hydrogen, Nitrogen, Carbon, Oxygen and Sulphur present in atmospheric gas forms, fresh or ocean water, as well as in plants and animals and organic matter in the soil.

A iniciativa, a decorrer nos dias 28 e 29 de maio, visa promover a estratégia espacial Portuguesa - Portugal Space 2030 - e as iniciativas que lhe estão associadas, com ênfase na cooperação internacional e na mobilização de importantes atore

Por Juan Pablo Yanez.

Páginas