Recent Changes

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
  2. 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
    Sept 18 (2A08): Patrick Bahr
    Oct 2 (4A05)
    Nov 6 (3A08):
    Nov 20 (3A08):
    Dec 4 (3A08):
    Dec 18 (3A08):

    In the Spring of 2018 PLS lunch talk are usually every other Tuesday 12-13
    Feb 27: No talk, just discussions
    (view changes)
    6:02 am

Wednesday, July 4

  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
    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
    Willard Rafnsson joins PLS as an assistant professor, May 2018.
    (view changes)
    2:52 am

Friday, June 29

  1. page Concurrency Theory Reading Group edited ... The study of logical foundations for message-passing concurrency has attracted considerable at…
    ...
    The study of logical foundations for message-passing concurrency has attracted considerable attention. Indeed, the line of work started by Caires, Pfenning, Wadler, and several others, has been extended in multiple directions, including, for instance, dependent types, multiparty protocols, and run-time monitoring. In this presentation, I will discuss two developments: the first is a theory of logical relations for session-typed processes; the second is an extension of the interpretation based on classical linear logic with a form of non-deterministic behaviour. If time allows, I will discuss an open research problem in concurrency theory: how can we make sense of the "jungle" of typed process models?
    July 4. Declarative interpretations of session-based concurrency
    Note: this meeting is on WEDNESDAY, 10-12, 4A05
    Speaker: Alexander Asp Bock
    Based on:
    (view changes)
    6:14 am

Tuesday, June 26

  1. page Concurrency Theory Reading Group edited ... Abstract: The study of logical foundations for message-passing concurrency has attracted cons…
    ...
    Abstract:
    The study of logical foundations for message-passing concurrency has attracted considerable attention. Indeed, the line of work started by Caires, Pfenning, Wadler, and several others, has been extended in multiple directions, including, for instance, dependent types, multiparty protocols, and run-time monitoring. In this presentation, I will discuss two developments: the first is a theory of logical relations for session-typed processes; the second is an extension of the interpretation based on classical linear logic with a form of non-deterministic behaviour. If time allows, I will discuss an open research problem in concurrency theory: how can we make sense of the "jungle" of typed process models?
    July 5.4. Declarative interpretations
    Speaker: Alexander Asp Bock
    Based on:
    (view changes)
    7:25 am

Wednesday, June 20

  1. page Concurrency Theory Reading Group edited ... Abstract: The study of logical foundations for message-passing concurrency has attracted cons…
    ...
    Abstract:
    The study of logical foundations for message-passing concurrency has attracted considerable attention. Indeed, the line of work started by Caires, Pfenning, Wadler, and several others, has been extended in multiple directions, including, for instance, dependent types, multiparty protocols, and run-time monitoring. In this presentation, I will discuss two developments: the first is a theory of logical relations for session-typed processes; the second is an extension of the interpretation based on classical linear logic with a form of non-deterministic behaviour. If time allows, I will discuss an open research problem in concurrency theory: how can we make sense of the "jungle" of typed process models?
    July 5. Declarative interpretations of session-based concurrency
    Speaker: Alexander Asp Bock
    Based on:
    M. Cano, C. Rueda, H. A. López, J. A. Pérez "Declarative interpretations of session-based concurrency" (available online)

    Course description
    The course will focus on concurrency theory and its applications. The first part of the course will consist of 8-10 lectures given by experts in the field, and providing an in-depth introduction to the topic. The program for this part will include the following topics:
    (view changes)
    4:57 am

Tuesday, June 19

  1. page Concurrency Theory Reading Group edited ... P. Wadler, "Propositions as Sessions" (available online) June 14. (Cancelled, PLS l…
    ...
    P. Wadler, "Propositions as Sessions" (available online)
    June 14. (Cancelled, PLS lunch talk)
    June 21. Corecursion and Non-Divergence in Session Types
    Room: 4A05
    Speaker: Sonia Marin
    Based on:
    B. Toninho, L. Caires, F. Pfenning "Corecursion and Non-Divergence in Session Types" (available online)
    June
    26. Guest talktalk: Logical Foundations for Concurrency: Logical Relations, Non-Determinism, Open Problems
    Note: this
    ...
    TUESDAY, 10-12, room TBDAuditorium 4
    Speaker: Jorge A. PerezPerez, University of Groningen
    Abstract:
    The study of logical foundations for message-passing concurrency has attracted considerable attention. Indeed, the line of work started by Caires, Pfenning, Wadler, and several others, has been extended in multiple directions, including, for instance, dependent types, multiparty protocols, and run-time monitoring. In this presentation, I will discuss two developments: the first is a theory of logical relations for session-typed processes; the second is an extension of the interpretation based on classical linear logic with a form of non-deterministic behaviour. If time allows, I will discuss an open research problem in concurrency theory: how can we make sense of the "jungle" of typed process models?

    Course description
    The course will focus on concurrency theory and its applications. The first part of the course will consist of 8-10 lectures given by experts in the field, and providing an in-depth introduction to the topic. The program for this part will include the following topics:
    (view changes)
    5:02 am

Wednesday, June 6

  1. page Concurrency Theory Reading Group edited ... Based on: L. Caires, F. Pfening, B. Toninho, "Linear Logic Propositions as Session Types…
    ...
    Based on:
    L. Caires, F. Pfening, B. Toninho, "Linear Logic Propositions as Session Types" (available online)
    June 7,May 31. (Research Sharing Day)
    June 7.
    Classical Processes
    Room: 4A05

    Based on:
    P. Wadler, "Propositions as Sessions" (available online)
    June 14. (Cancelled, PLS lunch talk)
    June 26. Guest talk
    Note: this meeting is on TUESDAY, 10-12, room TBD
    (view changes)
    4:52 am

More