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
100 days to ECCA...

Nesta cerimónia, que assinala os 100 dias para a conferência ECCA 2019 - European Climate Change Adaptation Conference, vários membros do

An Informal Workshop on Differential Equations and Algebraic Geometry (February 18th - February 22nd 2019).

Por Abílio Rodrigues (Universidade Federal de Minas Gerais).

We begin with an introduction to R and provide a protocol for data exploration to avoid common statistical problems. We will discuss how to detect outliers, deal with collinearity and transformations.

No âmbito do protocolo de cooperação estabelecido entre o Plano Nacional de Leitura (PNL2027) e o CEAUL em abril passado, irá realizar-se a 3.ª sessão de divulgação sobre Literatura e Ciência

Dia da Modelação Ecológica @ FCUL

Aprende com investigadores da comunidade científica e com os alunos de mestrado da FCUL.

Doutoramento em História e Filosofia das Ciências

Provas do Curso de Formação Avançada - 1.º ano de Doutoramento.

Doutorando: André Ferrand de Almeida.

Cursos Avançados cE3c 2018/2019

The goal of this course is to provide the participants with current and practical knowledge on urban ecology, including ecological and social aspects. It aims at providing an integrated approach on urban socio-ecological systems.

Por Lurdes Figueiral (Escola Artística de Soares dos Reis, Porto; APM).

Sei que seria possível construir a forma justa
De uma cidade humana que fosse 
Fiel à perfeição do universo
(Sophia de Mello Breyner Andresen)

Por Giuseppe Buttazzo (Università di Pisa).

Ciências na feira Unlimited Future

A feira Unlimited Future conta, uma vez mais, com a presença da Faculdade de Ciências, entre outras instituições.

Por Pedro Miguel Duarte (Faculdade de Ciências da Universidade de Lisboa).

60 Minutos de Ciência "Biologia e Cancro: mais próximos da cura?"

A biologia tumoral condiciona vários desafios aos clínicos que se dedicam ao tratamento do cancro.

Por Carlos da Camara (Departamento de Engenharia Geográfica, Geofísica e Energia / Instituto Dom Luiz ULisboa).

Por Luisa Fiorot (Università degli Studi di Padova).

VIII Jornadas APG - O novo paradigma energético

Nesta edição das Jornadas APG, pretende-se abordar o mix energético sob diferentes perspetivas, por especialistas com formação diferenciada, e discutir o papel de cada interveniente na procura de soluções de qualidade para as gerações futuras.

Noites no Observatório "Estranhas Formas de Vida"

Que vida poderá existir noutros planetas? Será que a “nossa” Terra, tão acolhedora, poderá albergar organismos capazes de sobreviver nas condições de outros lugares do Sistema Solar?

Alexandra Symeonides defende a tese "Statistical solutions and invariant measures in Hydrodynamics".

The course starts with a revision of multiple linear regression, followed by a basic introduction to generalised additive models (GAM) to analyse continuous data, count data and binary/proportional data.

Acorda! Da Conversão Ecológica à Transformação Social

A urgência das alterações climáticas tem chamado cada vez mais a atenção dos media na sequência de várias catástrofes naturais, enquanto se vem a notar uma crescente preocupação política e ativismo pelo desenvolvimento sustentável.

Páginas