• Graham Hutton visits PLS, December 6-9, 2016. Host: Patrick Bahr
  • Alex Simpson and Nick Benton visit PLS, October 13, 2016. Host: Rasmus Møgelberg
  • Nobuko Yoshida, Julien Lange and Bernardo Toninho visit PLS, August 15-19, 2016. Host: Marco Carbone.
  • Michael Denzel visits PLS, June 9-10, 2016. Host: Alessandro Bruni.
  • Peter Ryan visits PLS. April 11 - August 14 2016. Host: Carsten Schürmann.
  • Hans Bugge Grathwohl visits March 16-18, 2016. Host: Rasmus Møgelberg.
  • Rasmus Møgelberg has been awarded a Villum Young Investigator grant for the project Type Theories for Reactive Programming. The grant is 6.4 mill. DKR and the project will run for 5 years.
  • Alessandro Bruni joins the PLS group as a postdoc with Carsten Schurmann. January 3rd, 2016.Seminar on Semantics of Linear Logic. Start Date November 26th, 2015. Organiser: Rasmus Møgelberg.
  • Mike Mislove visits the PLS, November 24th, 2015. Host : Thomas Hildebrandt.
  • Ralf Sasse will give a PhD mini course on the Tamarin tool, January 25-29, 2016. Host: Carsten Schuermann
  • Aleš Bizjak visits November 30 - December 2, 2015. Host: Rasmus Møgelberg.
  • Robbert Krebbers visits November 11-12, 2015. Host: Jesper Bengtson
  • Marie Kerjean visits from November 1st, 2015 to November 1st, 2016. Host: Rasmus Møgelberg.
  • Enrico Tassi and Cinzia Di Giusto visit September 28- October 2. Hosts: Jesper Bengtson and Marco Carbone
  • Hugo Vieira visits September 10-11, 2015. Host: Marco Carbone
  • Fabrizio Montesi wins the EAPLS Best PhD Dissertation Award 2014 for his thesis "Choreographic Programming" supervised by Marco Carbone, August 30th, 2015.
  • Håkon Normann vistits Uwe Nestman at TU Berlin from Sept 7th to Dec 18th 2015.
  • Peter Brottveit Bock visits Iliano Cervesato at CMU Qatar from Sept 15 to Dec 15, 2015.
  • Paul Blain Levy visits September 21 - 24, 2015. Host: Rasmus Møgelberg.
  • David Basin visits August 26 - September 2, 2015. Hosts: Carsten Schuermann and Thomas Hildebrandt.
  • Patrick Bahr joins the PLS group as a post doc with Rasmus Møgelberg. August 1st, 2015.
  • Aleš Bizjak visits June 8-15, 2015. Host: Rasmus Møgelberg.
  • Bas Spitters visits May 22, 2015. Host: Rasmus Møgelberg.
  • Jasmin Blanchette visits March 19, 2015 -- Host: Jesper Bengtson.
  • Benedikt Ahrens visits February 2-6, 2015 -- Host: Rasmus Møgelberg.
  • Rasmus Møgelberg has been awarded 2.5 mill DKR to the project Guarded Recursive Types in the Foundations of Programming Languages by The Danish Council for Independent Research. The project is to run for 3 years.
  • Agata Anna Murawska visits Brigitte Pientka and the Computation and Logic group at McGill University, Montreal, from February 1 to August 1, 2015
  • Jesper Bengtson is having a sabbatical at Princeton University from September 1st to December 13 2014 -- Host: Andrew Appel.
  • Thierry Coquand and Simon Huber visit December 1-3, 2014. They will give a mini course on Cubical Sets -- Host: Rasmus Møgelberg.
  • Ales Bizjak visits October 20-December 19, 2014 -- Host: Rasmus Møgelberg.
  • PhD course on Structural Proof Theory November 5 - December 17, 2014. Organised by Nicolas Guenot and Taus Brock-Nannestad.
  • Marco Paviotti visits Lars Birkedal at Aarhus University September 2014 - March 2015.
  • Mario Bravetti, Jorge Perez and Gianluigi Zavattaro visit end of July 2014. -- Host: Marco Carbone.
  • Andreas Abel visits August 20-22, 2014 -- Host: Rasmus Møgelberg.
  • Peter Dybjer visits April 28, 2014 -- Host: Rasmus Møgelberg.
  • Riccardo Scandariato visits April 23, 2014 -- Host: Carsten Schuermann. See schedule 2014-04-23-Riccardo.
  • Gregory Malecha visit March 24-27. Host Jesper Bengtson
  • Seminar on Homotopy Type Theory February - May 2014. Organised by Rasmus Møgelberg.
  • Philippa Gardner and Matthew Parkinson visit Dec 17-18, 2013. Host: Rasmus Møgelberg.
  • Joachim Parrow visits Aug. 19-23, 2013 and holds a PhD course. Host: Jesper Bengtson.
  • Antonio Ravara visits Aug. 5 - 9, 2013. Host: M. Carbone and T. Hildebrandt.
  • Maxime Gamboni visits Aug. 5 - 9, 2013. Host: M. Carbone and T. Hildebrandt.
  • Nobuko Yoshida visits Jul. 29 - Aug. 12, 2013. Host: M. Carbone/T. Hildebrandt.