Recent Changes

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
  2. 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, Classical Processes
    Based on:
    P. Wadler, "Propositions as Sessions" (available online)

    June 26. Guest talk
    Note: this meeting is on TUESDAY, 10-12, room TBD
    (view changes)
    4:50 am

Monday, June 4

  1. page Talks edited ... April 24: Jonas Kastberg Hinrichsen May 8: Jesper Bengtson May 22: 28: Willard Rafnsson …
    ...
    April 24: Jonas Kastberg Hinrichsen
    May 8: Jesper Bengtson
    May 22:28: Willard Rafnsson
    June 5:14: Rasmus Møgelberg
    In the Fall of 2017 PLS lunch talks usually take place on every other Tuesday 12-13 in 2A08.
    Sept 6: Oscar Toro: The Bitcoin Backbone Protocol
    (view changes)
    5:30 am

Tuesday, May 29

  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
    Graham Hutton visits PLS, 13-15 June, 2018. Host: Patrick Bahr
    Willard Rafnsson joins PLS as an assistant professor, May 2018.
    Yves Bertot visits PLS April 9-10, 2018. Host: Jesper Bengtson
    (view changes)
    12:25 am

Tuesday, May 22

  1. page Concurrency Theory Reading Group edited ... Apr. 19 Weak Bisimilarity in Psi Calculi Speaker: Jesper Bengtson Based on: M. Johansson, …
    ...
    Apr. 19 Weak Bisimilarity in Psi Calculi
    Speaker: Jesper Bengtson
    Based on:
    M. Johansson, J. Bengtson, J. Parrow, B. Victor, "Weak Equivalences in Psi-calculi" (available online)

    Apr 26. Binary Session Types
    Based on:
    (view changes)
    4:29 am

More