Recent Changes

Tuesday, June 6

  1. page Talks edited ... March 16: Christian Uldal Graulund March 24, 14-15 in 4A05: Bas Spitters (Aarhus): Colimits i…
    ...
    March 16: Christian Uldal Graulund
    March 24, 14-15 in 4A05: Bas Spitters (Aarhus): Colimits in homotopy type theory.
    ...
    30: Agata Murawska
    Arpil 20
    Murawska: Lincx: A Linear Logical Framework with First-class Context
    May 4
    May 18:
    23: Patrick orBahr: The clocks are ticking: No more delays! and Rasmus Møgelberg: Presheaf semantics for Guarded Dependent Type Theory
    June 8: Bassel Mannaa: Stack Semantics of Type Theory

    In the Fall of 2016 PLS lunch talks usually take place on every other Thursday 12-13 in 3A08.
    September 1. Marco Carbone: Coherence Generalises Duality: a logical explanation of multiparty session types
    (view changes)
    6:21 am

Wednesday, May 3

  1. page Type theory seminar edited ... Apr 19. Awodey and Warren: Homotopy theoretic models of identity types (Bassel) April 26 and …
    ...
    Apr 19. Awodey and Warren: Homotopy theoretic models of identity types (Bassel)
    April 26 and May 3. HoTT book Chp 2 (Marie)
    May 17.10. HoTT book
    May 24. HoTT book Chp 4 (Danil)
    Some day in the future. Marc Bezem, Thierry Coquand and Simon Huber: A model of type theory in cubical sets
    (view changes)
    6:56 am

Monday, May 1

  1. page Type theory seminar edited ... Apr 5. Martin Hofmann and Thomas Streicher: The groupoid interpretation of type theory (Bassel…
    ...
    Apr 5. Martin Hofmann and Thomas Streicher: The groupoid interpretation of type theory (Bassel)
    Apr 19. Awodey and Warren: Homotopy theoretic models of identity types (Bassel)
    ...
    Chp 2 (Marie)
    May 10.17. HoTT book Chp 3 (Christian)
    May 17.24. HoTT book Chp 4
    May 24.
    (Danil)
    Some day in the future.
    Marc Bezem,
    ...
    (view changes)
    1:04 am

Monday, April 3

  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
    Neelakantan Krishnaswami visits PLS, April 24-28. Host: Rasmus Møgelberg
    Bas Spitters visits PLS, March 24, 2017. Host: Rasmus Møgelberg
    João Costa Seco visits the PLS group February 12-23, 2017. Host: Thomas Hildebrandt
    (view changes)
    3:52 am
  2. page Type theory seminar edited ... Apr 5. Martin Hofmann and Thomas Streicher: The groupoid interpretation of type theory (Bassel…
    ...
    Apr 5. Martin Hofmann and Thomas Streicher: The groupoid interpretation of type theory (Bassel)
    Apr 19. Awodey and Warren: Homotopy theoretic models of identity types (Bassel)
    April 26.26 and May 3. HoTT book Chp 2 (maybe 2 weeks)
    May 3.10. HoTT book
    ...
    3
    May 10.17. HoTT book
    ...
    4
    May 17.24. Marc Bezem,
    ...
    (view changes)
    3:50 am

Thursday, March 23

  1. page Type theory seminar edited ... Mar 15. Bizjak et al: Guarded dependent type theory with coinductive types (Patrick) Mar 22 a…
    ...
    Mar 15. Bizjak et al: Guarded dependent type theory with coinductive types (Patrick)
    Mar 22 and 29. Ales Bizjak and Rasmus Møgelberg: Paper in progress (Rasmus)
    ...
    type theory (Bassel)
    Apr 19.
    ...
    identity types (Bassel)
    April 26. HoTT book Chp 2 (maybe 2 weeks)
    May 3. HoTT book Chp 3
    (view changes)
    6:00 am

Monday, March 20

  1. page Talks edited ... February 16: Rosario Giustolisi March 16: Christian Uldal Graulund March 24: 24, 14-15 in …
    ...
    February 16: Rosario Giustolisi
    March 16: Christian Uldal Graulund
    March 24:24, 14-15 in 4A05: Bas Spitters (Aarhus)(Aarhus): Colimits in homotopy type theory.
    March 30: Agata Murawska
    Arpil 20
    (view changes)
    6:42 am

Wednesday, March 15

  1. page Talks edited ... Arpil 20 May 4 May 18 18: Patrick or Rasmus In the Fall of 2016 PLS lunch talks usually …
    ...
    Arpil 20
    May 4
    May 1818: Patrick or Rasmus
    In the Fall of 2016 PLS lunch talks usually take place on every other Thursday 12-13 in 3A08.
    September 1. Marco Carbone: Coherence Generalises Duality: a logical explanation of multiparty session types
    (view changes)
    1:00 am

Friday, March 10

Tuesday, February 28

  1. page Talks edited ... February 2: No talk, just discussions February 16: Rosario Giustolisi ... 16: Christian U…
    ...
    February 2: No talk, just discussions
    February 16: Rosario Giustolisi
    ...
    16: Christian Uldal Graulund
    March 24: Bas Spitters (Aarhus)
    March 30: Agata Murawska
    (view changes)
    6:31 am

More