In the Spring of 2017 PLS lunch talks usually take place on every other Thursday 12-13 in 3A08.
  • February 2: No talk, just discussions
  • February 16: Rosario Giustolisi
  • March 16: Christian Uldal Graulund
  • March 24, 14-15 in 4A05: Bas Spitters (Aarhus): Colimits in homotopy type theory.
  • March 30: Agata Murawska
  • Arpil 20
  • May 4
  • May 18: 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
  • September 29. Peter Brottveit Bock.
  • October 13. Meeting cancelled.
  • Nov 10. Håkon Normann: Non-interleaving opperational semantics for late and early Pi-calculus
  • Nov 24. Bassel Mannaa.

Talks from Spring 2016:
  • February 4. Alessandro Bruni: AIF-ω: Set-based Protocol Abstraction with Countable Families.
  • February 18. Robin Kaarsgaard (U. Copenhagen)
  • March 17. Hans Bugge Grathwohl (Aarhus).
  • March 31. Alec Faithful: Coqoon: an IDE for interactive proof development in Coq
  • April 28. Søren Debois.
  • June 10. Michael Denzel (U. Birmingham).

Talks from Fall 2015:
  • August 27, 13-13:30, 3A08. Patrick Bahr: Certified Symbolic Management of Financial Multi-party Contracts
  • September 3, 12-13, 3A08. Peter Brottveit Bock: A linear contextual logical Framework.
  • September 17, 12-13, 3A08. Marco Carbone: Multiparty Session Types as Coherence Proofs
  • September 18, 12-13, 3A08. Thomas Bolander (DTU): Building Planning Agents with Higher-Order Reasoning Capabilities
  • September 21, 10-11, 3A08. Paul Blain Levy (Birmingham): Transition systems over games
  • October 1, 12-13, 3A18. Cinzia Di Giusto (Nice, Sophia Antipolis): A Multyparty Session Type discipline for Event-Based Runtime Adaptation
  • October 19, 12-13, 2A08. Marco Paviotti: Formally verifying exceptions for low-level code with Separation Logic
  • October 29, 12-13. TBD.
  • November 11, 10-11, 4A09. Robbert Krebbers (Aarhus): Formalizing C in Coq
  • November 12, 12-13. Agata Anna Murawska: Towards an happy marriage: Linear Logic and Beluga
  • November 26, 12-13. Marie Kerjean (PPS Paris): The computational content of derivation
  • December 10, 12-13. Marco Paviotti. Synthetic Guarded Domain Theory: Recursion in Guarded Recursion.
  • December 17, 12-13. Lorena Ronquillo