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

The continuous urban development associated with the growth of the world population has become one of the most important challenges of the present time. Today, cities accommodate more than 54% of the world's population, a proportion that is expected to increase to 70% by 2050.

The course starts with a short revision of multiple linear regression and generalised linear models, followed by an introduction to linear mixed effects models and generalised linear mixed effects models (GLMM) to analyse nested (also called hierarchical or clustered) data, e.g

Por Carlota Simões (DM-FCTUC e Museu da Ciência da Universidade de Coimbra).

Por Nuno Sepúlveda (London School of Hygiene and Tropical Medicine & CEAUL).

Biclustering, the discovery of sets of objects with coherent values/patterns on subsets of features, was shown to be key to unravel and characterize informative regions (biclusters) within matricial, time series and network data, in a wide-set of applications in biomedical and social data analysi

Por Carlos Florentino (Faculdade de Ciências da Universidade de Lisboa).

O primeiro dos workshops ScienceIN2Business é precisamente sobre Empreendedorismo e tem lugar no dia 21 de fevereiro de 2018.

Com esta certificação, o mergulhador fica habilitado a mergulhar até à profundidade de 30 metros.

Para a realização do curso, é necessário possuir a certificação de mergulho inical de Open Water Diver.

O Intituto Dom Luiz, a Faculdade de Ciências e a Editora Alfarroba, convidam-vos a estarem presentes no lançamento do livro Faça sol ou faça vento - histórias sobre energias renováveis.

Inês T. do Rosário 1, R.Rebelo 1, U. Caser 2, L. Vasconcelos 3 & M. Santos-Reis 1

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

A iniciativa conta com a participação de José M. F. Nogueira, do Departamento de Química e Bioquímica da FCUL.

Por João Lin Yun (IA - Instituto de Astrofísica e Ciências do Espaço / FCUL - Faculdade de Ciências da Universidade de Lisboa).

Estes cursos breves, dirigidos aos alunos de licenciatura (e mestrado) em Biologia da FCUL, têm como objetivo complementar o seu plano curricular e a oferta já existente para este público-alvo, e decorrem sobretudo aos fins de semana e feriados para evitar sobreposição com

Queres inovar o teu currículo e não sabes como?? Queres apostar na tua formação? Então esta é a oportunidade ideal para ti!!

Por Emma Berdan (Department of Marine Sciences, University of Gothenburg, Sweden).

Candidaturas abertas até 28 de fevereiro de 2018.

O 2.º workshop do ScienceIN2Business vai percorrer o caminho do empreendedor desde a ideia até à criação do negócio.

A Universidade de Lisboa atribuirá o título de Doutor Honoris Causa à Professora Doutora Bernadette Bensaude-Vincent, por proposta da Faculdade de Ciências da Universidade de Lisboa.

Candidaturas a decorrer até 02 de março de 2018, mediante preenchimento de formulário disponível em www.bluepharma.pt/innovationaward.

Estes cursos breves, dirigidos aos alunos de licenciatura (e mestrado) em Biologia da FCUL, têm como objetivo complementar o seu plano curricular e a oferta já existente para este público-alvo, e decorrem sobretudo aos fins de semana e feriados para evitar sobreposição com

Páginas