Talks
edited
... Nov 20 (3A08): No talk
Dec 4 (3A08): Marco Carbone:An Introduction to Multiparty Session Type…
...
Nov 20 (3A08): No talk
Dec 4 (3A08): Marco Carbone:An Introduction to Multiparty Session Types and their Logical Interpretation
...
to presheaf semantics.semantics of type theory.
In the Spring of 2018 PLS lunch talk are usually every other Tuesday 12-13
Feb 27: No talk, just discussions
Talks
edited
... Sept 18 (2A08): Patrick Bahr: Strict Ideal Completions of the Lambda Calculus
Oct 2 (4A05): N…
...
Sept 18 (2A08): Patrick Bahr: Strict Ideal Completions of the Lambda Calculus
Oct 2 (4A05): Niccolo Veltri: Bisimulation as path type for guarded recursive types
...
20 (3A08): No talk
Dec 4 (3A08): Marco Carbone:An Introduction to Multiparty Session Types and their Logical Interpretation
Dec 18 (3A08): Rasmus Møgelberg: An invitation to presheaf semantics.
In the Spring of 2018 PLS lunch talk are usually every other Tuesday 12-13
Feb 27: No talk, just discussions
People
edited
... Marco Carbone
Søren Debois
Thomas Hildebrandt Rosario Giustolisi
Rasmus Ejlers Møgelberg…
...
Marco Carbone
Søren Debois Thomas HildebrandtRosario Giustolisi
Rasmus Ejlers Møgelberg, research interests: denotational semantics, category theory, type theory, computational effects, guarded recursion
Willard Rafnsson
Carsten Schuermann
Post. doc.'s Rosario Giustolisi
Bassel Mannaa
Niccolò Veltri
Hugo A. López
...
Sonia Marin
PhD students Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
Christian Uldal Graulund. Supervisor: Rasmus Møgelberg.
Jonas Kastberg Hinrichsen. Supervisor: Jesper Bengtson Håkon Norman. Supervisor: Thomas Hildebrandt.
Past Post. doc.'s
Nicolas Guenot
Lorena Ronquillo
Nicolas Pouillard
Graduated PhD students
Håkon Norman. Supervisor: Thomas Hildebrandt.
Marco Paviotti, Denotational Semantics in Guarded Type Theory. Supervisor: Rasmus Ejlers Møgelberg. Co-supervisor: Jesper Bengtson.
Jian Wang. Supervisor: Carsten Schuermann.
Talks
edited
... Sept 4 (2A08): No talk, just discussions
Sept 18 (2A08): Patrick Bahr: Strict Ideal Completio…
...
Sept 4 (2A08): No talk, just discussions
Sept 18 (2A08): Patrick Bahr: Strict Ideal Completions of the Lambda Calculus
Oct 2 (4A05)
Nov 6 (3A08):(4A05): Niccolo Veltri: Bisimulation as path type for guarded recursive types
Nov 20 (3A08):
Dec 4 (3A08):
home
edited
... The PLS group conducts research in the theory of programming languages and logic. The aim of t…
...
The PLS group conducts research in the theory of programming languages and logic. The aim of this research is to provide the tools allowing for future software to be safe, reliable and trustworthy, and the compentences of the group span from mathematical modelling and reasoning to implementation of tools. The research interests of the group currently span the following areas: Logics for reasoning about programming languages, programming language design, proof assistants, type theory, denotational semantics, concurrency and security as well as applications of these topics to digital elections, business process modeling and other topics.
Recent and upcoming news
Andrea Vezzosi visits PLS, 23-26 Oct, 2018. Host: Rasmus Møgelberg
Jorge Perez visits PLS, 25-26 June, 2018. Host: Agata Murawska and Marco Carbone
Graham Hutton visits PLS, 13-15 June, 2018. Host: Patrick Bahr
Type theory seminar
edited
This is Fall 2018
Sep 17, 24 and Oct 1: Iris from the seminar on models ground up (Jonas)
Oc…
This isFall 2018
Sep 17, 24 and Oct 1: Iris from the seminar on modelsground up (Jonas)
Oct 22 and 29: RustBelt: Securing the Foundations of type theory. We meet Fridays 13-15.the Rust Programming Language (Jesper)
Spring 2018
Feb 23: Guarded Cubical Type Theory (Rasmus) in 4A20
Mar 2 and 9: The clocks they are adjunctions (Bassel) in 4A54