Recent Changes

Friday, December 7

  1. page 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
    (view changes)
    4:35 am
  2. page 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
    (view changes)
    4:34 am

Monday, November 12

  1. page People edited ... Niccolò Veltri Hugo A. López Agata Murawska Sonia Marin PhD students ... Graduated PhD…
    ...
    Niccolò Veltri
    Hugo A. López
    Agata Murawska
    Sonia Marin
    PhD students
    ...
    Graduated PhD students
    Håkon Norman. Supervisor: Thomas Hildebrandt.
    Agata Murawska
    Marco Paviotti, Denotational Semantics in Guarded Type Theory. Supervisor: Rasmus Ejlers Møgelberg. Co-supervisor: Jesper Bengtson.
    Jian Wang. Supervisor: Carsten Schuermann.
    (view changes)
    3:30 am
  2. page 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.
    (view changes)
    3:29 am
  3. page 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):
    (view changes)
    3:26 am

Tuesday, October 23

  1. page 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
    (view changes)
    7:00 am

Monday, October 22

  1. page Type theory seminar edited Fall 2018 Sep 17, 24 and Oct 1: Iris from the ground up (Jonas) Oct 22 29 and Nov Spring 2018…
    Fall 2018
    Sep 17, 24 and Oct 1: Iris from the ground up (Jonas)
    Oct 2229 and Nov
    Spring 2018
    Feb 23: Guarded Cubical Type Theory (Rasmus) in 4A20
    (view changes)
    12:31 am

Monday, October 1

  1. page Type theory seminar edited Fall 2018 Sep 17, 24 and Oct 1: Iris from the ground up (Jonas) ... 22 and 29: Nov 5: RustBe…
    Fall 2018
    Sep 17, 24 and Oct 1: Iris from the ground up (Jonas)
    ...
    22 and 29:Nov 5: RustBelt: Securing
    Spring 2018
    Feb 23: Guarded Cubical Type Theory (Rasmus) in 4A20
    (view changes)
    2:17 am

Wednesday, September 26

  1. page 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
    (view changes)
    7:23 am

Thursday, August 30

  1. page Talks edited In the Autumn of 2018 PLS lunch talk are usually every other Tuesday 12-13 Sept 4 (2A08): No talk,…
    In the Autumn of 2018 PLS lunch talk are usually every other Tuesday 12-13
    Sept 4 (2A08): No talk, just discussions
    ...
    (2A08): Patrick BahrBahr: Strict Ideal Completions of the Lambda Calculus
    Oct 2 (4A05)
    Nov 6 (3A08):
    (view changes)
    6:20 am

More