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
SPOF 2018 Summer School on “Topics in Optics for Space & Ground Based Astronomical Instruments”

The SPOF 2018 Summer School on “Topics in Optics for Space & Ground Based Astronomical Instruments” will happen in 10 and 11 of September 2018 at the Physics Department of the Faculdade de Ciências da Universidade de Lisboa.

Orçamento Participativo Portugal

O Orçamento Participativo Portugal é um processo democrático deliberativo, direto e universal, através do qual as pessoas apresentam propostas de investimento e que escolhem, através do voto, quais os projetos q

SPINON Workshop 2018

A platform that brings together renowned scientists and young researchers in the field of molecular magnetism.

EuCheMSIL 2018 - 27th Conference on Molten Salts and Ionic Liquids

This series of meetings initiated in 1966 as EUCHEM Conference on Molten Salts in Norway. After molten salt and ionic liquid communities joined forces in 2006, it developed to a true European event organized every two years.

O Encontro Nacional de Biologia Evolutiva tem como objetivo principal juntar Biólogos Evolutivos a trabalhar em Portugal e no estrangeiro, de modo a promover coesão e excelência científica.

Cursos Avançados cE3c 2018/2019

The course “Entomological Collections, Insect Systematics and Evolution” will comprehend a general introduction to entomology and entomological collections, covering the steps various steps for the creation of such a collection: specimen capture and preparation, cataloguing, di

Cursos Avançados cE3c 2018/2019

O programa detalhado de Cursos Avançados disponibilizados pelo cE3c - Centro de Ecologia, Evolução e Alterações Ambientais para o ano letivo 2018/2019 já está disponível.

Cursos Avançados cE3c 2018/2019

There are thousands of totally sequenced genomes freely available in the Internet. The number keeps on growing as at least one genome sequence is released every day.

Natural History Collections and Biodiversity

Natural history museums are privileged spaces for seminal research on different subjects of biological sciences such as biodiversity, evolution, ecology, biogeography and taxonomy.

Cursos Avançados cE3c 2018/2019

Objectives: To introduce participants to the details of communicating science to non-specialized audiences, including, but not exclusive to, public and private stakeholders, students and teachers, and media professionals.

EIT Health

The European Institute of Innovation & Technology (EIT) Health promotes healthy living, active ageing and improvements in healthcare.

Marte 2030 - Ciclo de conversas com os pés assentes em Marte

Por Rui Agostinho (IA/Faculdade de Ciências da Universidade de Lisboa) e Pedro Fevereiro (ITQB-NOVA).

Congresso "Ciência, Cultura e Turismo Sustentável"

Inserido nas celebrações do Ano Internacional do Turismo Sustentável 2017 e do Ano Europeu do Património Cultural 2018, o congresso pretende lançar olhares cruzados sobre os temas da Ciência, Cultura e Turismo Sus

Marte 2030 - Ciclo de conversas com os pés assentes em Marte

Por Pedro Machado (IA/Faculdade de Ciências da Universidade de Lisboa) e Isabel Abreu (ITQB-NOVA).

Cursos Avançados cE3c 2018/2019

The objective of this course is to introduce participants to the details of communication and writing scientific publications. The main emphasis is on the most common form, the “primary scientific paper”, but other forms will be covered.

Cursos Avançados cE3c 2018/2019

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Cursos Avançados cE3c 2018/2019

This course introduces the field of island biogeography, a discipline that has long influenced other research areas such as macroecology, community ecology, evolution and conservation biology.

Cursos Avançados cE3c 2018/2019

Lack of fertile land to feed the exponentially growing population, insufficient water availability and quality, changes in the flow of nutrients through the bio-geo-cycles (especially N and P) and climate and land use changes are impacting ecosystems and their capacity to deliv

Cursos Avançados cE3c 2018/2019

Symbiosis is a key strategy for life on Earth. Nevertheless, although many research groups have long been committed to the study of symbiosis, its definition and functioning are not fully understood, and its ecological role and relevance are still underestimated.

Cursos Avançados cE3c 2018/2019

Phylogenetics is one of the scientific areas of Biology that has grown fast and evolved in methodological terms in the last years.

In preparation for the new decade, society urgently needs to implement actions that can make us more resilient to the challenges of the 21st century.

Plastics Heritage Congress

Under the aegis of the Plastics Heritage European Association (PHEA), the Portuguese Center for the History of Science and Technology (CIUHCT) will host the Plastics Heritage Congress 2019.