Past news

• The first Copenhagen Programming Languages Workshop will take place at ITU June 7, 2023
• Natalia Slusarz and Ekaterina Komendantskaya (Heriot-Watt) visit May 15-25 and 22-25, 2023. Host: Alessandro Bruni
• Reynald Affeldt (AIST) and Takafumi Saikawa (Nagoya) visit March 20-24, 2023. Host: Alessandro Bruni
• Graham Hutton (Nottingham) visits Nov 23-24, 2022. Host: Patrick Bahr
• Jon Sterling (Aarhus) visits Nov 8-11, 2022. Host: Rasmus Møgelberg
• Adele Veschetti (University of Bologna) visits Oct 7 - Nov 6, 2022. Host: Marco Carbone
• Philip Munksgaard (DIKU) visits Oct 3-14, 2022. Host: Marco Carbone
• Philipp Stassen (Aarhus) visits Sept 29-30, 2022. Host: Rasmus Møgelberg
• Danish Hub for Cybersecurity (Cyber Hub, now Digital Lead) funds the project Practical Static Analysis for Information-Flow Control of JavaScript. PI: Willard Rafnsson. Duration: 1. July 2022 - 30. June 2023.
• The Independent Research Fund Denmark funds the project Algebraic Effects and Guarded Recursion, 2022-2025. The project will fund one postdoc for 3 years. PI: Rasmus Møgelberg
• Magnus Baunsgaard Kristensen graduates his PhD, June 15, 2022. The committee consists of Andrew Pitts, Bas Spitters and Carsten Schürmann.
• Alejandro Aguirre visits April 7-8. Host: Rasmus Møgelberg
• Patricia Johann visits Dec 13-15, 2021. Hosts: Rasmus Møgelberg and Carsten Schürmann.
• Niccolo Veltri visits PLS, Dec 6-10, 2021. Hosts: Rasmus Møgelberg and Andrea Vezzosi.
• Dawit Tirore joins PLS as PhD student, Oct 2021.
• Antoine van Muylder visits PLS, Sept - Nov 2021. Host: Andrea Vezzosi.
• Maaike Zwart joins PLS as postdoc Sept 1, 2021.
• Frederik Haagensen joins PLS as a PhD student, July 2021.
• The Independent Research Fund Denmark funds the project MECHANIsation of Session Types (MECHANIST). PI: Marco Carbone, Co-PI: Jesper Bengtson, funded by the Independent Research Fund Denmark, 2021-2024. The project will fund one postdoc.
• Christian Uldal Graulund graduates his PhD, Feb 12, 2021. The committee consisted of Andreas Abel, Bob Atkey, Carsten Schürmann
• Ieva Daukantas joins PLS as a PhD student, Jan 2021
• Christian Sattler visits Dec 2-6, 2019. Host: Andrea Vezzosi
• Andreas Nuyts visits Sep 23-24, 2019. Host Rasmus Møgelberg
• Guillaume Munch-Maccagnoni visits Aug 1, 2019. Host: Sonia Marin
• Adrien Guatto visits May 13-16, 2019. Host: Rasmus Møgelberg
• Dima Szamozvancev visits April 8-12, 2019. Host: Christian Graulund
• Robbert Krebbers and Fabrizio Montesi visit March 21-22, 2019. Host: Jesper Bengtson
• Andrea Vezzosi joins PLS as a postdoc, Feb 2019
• Magnus Baunsgaard Kristensen joins PLS as a PhD student, Feb 2019
• Andrea Vezzosi visits PLS, 23-26 Oct, 2018. Host: Rasmus Møgelberg
• 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.
• Yves Bertot visits PLS April 9-10, 2018. Host: Jesper Bengtson
• Prof. Nobuko Yoshida and her PhD student, Eva Graversen visit PLS 5-12 March 2018. Host: Marco Carbone
• Danel Ahman visits PLS, Nov 13-16 2017. Host: Rasmus Møgelberg
• Sonia Marin joins PLS as a postdoc, Nov 2017
• Hugo A. López joins PLS as a postdoc, Oct 2017
• Niccolò Veltri joins PLS as a postdoc, Sept 2017
• Jonas Kastberg Hinrichsen joins PLS as a PhD student, Sept 2017
• 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
• Rasmus Møgelberg organises a seminar on models of type theory in Spring 2017.
• Rosario Giustolisi joins the PLS group as a postdoc working with Carsten Schurmann. February 2017.
• Johannes Åman Pohjola visits the PLS group January 23-27, 2017. Host: Jesper Bengtson
• 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 Gardnerand 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.
• Peter Sewell visits Nov. 5 - 7, 2012;
  Host: Lars Birkedal.
• Mark Batty visits Nov. 5 - 7, 2012;
  Host: Lars Birkedal.
• Susmit Sarkar visits Nov. 5 - 7, 2012;
  Host: Lars Birkedal.
• Naohiko Hoshino visits Oct 22 - Oct 27, 2012;
  Host: Lars Birkedal.
• Robert Bocchino is presenting his PhD thesis work on Deterministic Parallel Java (DPJ), the 22 of Juni, 10-11AM in 2A14.
• Derek Dreyer visits June 13 – June 15, 2012;
  Host: Lars Birkedal
• Matthew Parkinson visits May 29 – June 1, 2012;
  Host: Lars Birkedal Guilhem Jaber visits Mar. 19 - Mar. 23, 2012;
  Hosts: Lars Birkedal and Jacob Thamsborg.
• Matthew Parkinson visits Mar. 19 - Mar. 22, 2012;
  Host: Lars Birkedal
• Aaron Turon visits Mar. 12 - Mar. 17, 2012;
  Host: Lars Birkedal.
• Robert Atkey visits Mar. 5 - Mar. 9, 2012;
  Host: Lars Birkedal.
• Derek Dreyer visits Dec. 4 - Dec. 9, 2011;
  Host: Lars Birkedal.
• Lennart Beringer visits Nov 30 - Dec 2, 2011;
  Host: Lars Birkedal.
• Marino Miculan visits Oct 31 - Nov 2, 2011;
  Host: Thomas Hildebrandt. [14 Bart Jacobs] visits Oct 31 - Nov 3, 2011;
  Host: Lars Birkedal.
• Aquinas Hobor visits last week of October, 2011;
  Host: Lars Birkedal.
• Thomas Dinsdale-Young visits Sep 19–23, 2011;
  Host: Lars Birkedal.
• Chris Martens visits August 11, 2011;
  Host: Carsten Schuermann. See schedule 2011-11-08-Martens.
• Aslan Askarov visits May 30, 2011;
  Host: Lars Birkedal.
• Christian Urban visits May 23, 2011;
  Host: Lars Birkedal.
• Mike Dodds visits May 16, 2011;
  Host: Lars Birkedal.
• Xinyu Feng vistis May 16 – May 20, 2011;
  Host: Lars Birkedal. Guilhem Jaber visits May 2 – May 6, 2011;
  Host: Lars Birkedal.
• Nicolas Tabareau visits May 2 – May 6, 2011;
  Host: Lars Birkedal.
• Aleks Nanevski visits Apr. 14 – Apr. 20, 2011;
  Host: Lars Birkedal.
• Noam Zeilberger visits Apr 12 – Apr 14, 2011;
  Host: Lars Birkedal.
• Paul-Andre Mellies visits Apr 03 – Apr 17, 2011;
  Hosts: Rasmus Mogelberg and Lars Birkedal.
• Derek Dreyer visits Jan 17 - Jan 21, 2011;
  Host: Lars Birkedal.
• John Reynolds visits Dec. 14-17, 2010;
  Host: Lars Birkedal.
• Mike Dodds visits Nov. 29 - Dec. 3, 2010;
  Host: Lars Birkedal. Louis-Marie Traonouez visits Nov 9, 2010;
  Host: Andrzej Wąsowski [29 Talk] [30 Neel Krishnaswami] visits Nov. 8 - Nov. 12, 2010;
  Host: Lars Birkedal.
• Andrew Pitts visits Nov 1, 2010;
  Host: Lars Birkedal. [Guilhem Jaber] visits Oct. 26 – Oct. 29, 2010;
  Host: Lars Birkedal.
• Jan Schwinghammer visits Sep 27 - Oct 01, 2010;
  Host: Lars Birkedal.
• Adam Chlipala visits August 27, 2010;
  Host: Carsten Schuermann. See schedule here
• Kohei Honda and
• Nobuko Yoshida visit PLS, August 16-18, 2010;
  Host: Marco Carbone. See schedule [37 here] Huiping LIN of Peking University visits the Genie project, June 17-August 2010;
  Host: Søren Debois.
• Henrik Nilsson gives a PhD course on Functional Reactive Programming, June 21-25 2010. Organiser: Arne Glenstrup
• Peter Dybjer visits the PLS group, June 15-16, 2010;
  Host: Lars Birkedal.
• Martin Hofmann visits the PLS group, June 16, 2010;
  Host: Lars Birkedal.
• Jean Krivine visits the PLS group June 15–18, 2010;
  Host: Espen Højsgaard. Schedule Demtech Workshop June 3, 2010. Organizer Carsten Schuermann and Jacob Gyldenkærne. Forian Rabe visits the PLS group June 1–26, 2010;
  Host: Carsten Schuermann.
• Noam Zeilberger visits the PLS group April 19–26, 2010;
  Host: Lars Birkedal.
• Jochen Kuster visits the PLS group March 15, 2010;
  Host: Lars Birkedal. Schedule
• Jurgen Vinju visits the PLS group February 18–19, 2010;
  Host: Claus Brabrand.
• Bartek Klin visits the PLS group January 25–29, 2010;
  Host: Rasmus Møgelberg.
• Sam Staton visits the PLS group November 23–27, 2009;
  Host: Rasmus Møgelberg.
• Derek Dreyer visits the PLS group December 1–4, 2009;
  Host: Lars Birkedal.
• Carsten Varming visits the PLS group Nov. 2 – 6, 2009;
  Host: Lars Birkedal. [51 Sriram Rajamani] visits the PLS group November 2 – 3, 2009. [52 Schedule;
  Host: Claus Brabrand.
• Brigitte Pientka visits the PLS group October 18 – 30, 2009;
  Host: Carsten Schuermann. Dermot Cochran visists the SDG/PLS groups October 27, - [ Schedule](Cochran2009#Cochran2009 “wikilink”;
  Host: Carsten Schuermann. PhD Course on Contextual Modal Type Theory and Applications. Brigitte Pientka. ITU. 21-23 October 2009.
• Viktor Vafeiadis visits the PLS group October 19 – 22, 2009;
  Host: Lars Birkedal. Josu Martinez visits the SDG/PLS groups October 19, - [ Schedule](Martinez2009#Martinez2009 “wikilink”;
  Host: Carsten Schuermann.
• David Basin visits the PLS group September 24 – 25, 2009;
  Host: Carsten Schuermann.
• Hongseok Yang visits the PLS group September 21–25, 2009;
  Host: Lars Birkedal.
• Bernhard Reus visits the PLS group September 21–23, 2009;
  Host: Lars Birkedal.
• Franois Pottier visits the PLS group September 21–23, 2009;
  Host: Lars Birkedal.
• Jan Schwinghammer visits the PLS group September 21–25, 2009;
  Host: Lars Birkedal.
• Bob Harper visits the PLS group September 7–8, 2009;
  Host: Lars Birkedal.
• Benoit Delahaye visits the group to collaborate within the MT-LAB project, June 11th. Host: Andrzej Wasowski.
• FMWS09 Formal Methods for Wireless Systems, workshop at [63 CONCUR 2009], Sebastian Nanz and Jens Chr. Godskesen. [64 Jean Krivine] visits the PLS group April 14–17, - Schedule;
  Host: Arne Glenstrup. MLPA-09 Modules and Libraries for Proof Assistants, workshop at [65 CADE-22], Florian Rabe and Carsten Schuermann.
• Joseph Kiniry visits the PLS group March 24, 2009;
  Host: Lars Birkedal.
• Eijiro Sumii visits the PLS group March 19–23, 2009;
  Host: Lars Birkedal.
• Marino Miculan visits the PLS group March 16–18, 2009;
  Hosts: Thomas Hildebrandt and Lars Birkedal.
• Gianluigi Zavattaro visits the PLS group March 17–19, 2009;
  Hosts: Thomas Hildebrandt and Lars Birkedal. [70 Aleks Nanevski] vists the PLS group March 9–14, 2009;
  Host: Lars Birkedal.
• Matthew Parkinson visits the PLS group March 9–14, 2009;
  Host: Lars Birkedal.
• Jan Schwinghammer visits the PLS group March 9–14, 2009;
  Host: Lars Birkedal.
• Nick Benton visits the PLS group March 2–6, 2009;
  Host: Lars Birkedal. [74 Andrew Kennedy] visits the PLS group March 2–6, 2009;
  Host: Lars Birkedal. [75 Martin Hofmann] visits the PLS group March 2–6, 2009;
  Host: Lars Birkedal. [76 Lennart Beringer] visits the PLS group March 2–6, 2009;
  Host: Lars Birkedal.
• Jesús Almansa visits the PLS group February 24-25, - [ Schedule](Jesus2009 “wikilink”;
  Host: Marco Carbone.
• Stephen Magill visits the PLS group February 19-20, 2009;
  Host: Lars Birkedal.
• Andreas Abel visits the PLS group January 30, 2009;
  Host: Carsten Schuermann.
• Robin Milner visits the PLS group January 26–30, - [ Schedule](Milner2009#Milner2009 “wikilink”;
  Hosts: Lars Birkedal and Thomas Hildebrandt.
• Stephen Gilmore visits the PLS group January 26–27, - [ Schedule](Milner2009#Gilmore2009 “wikilink”;
  Host: Thomas Hildebrandt.
• Hichem Boudali visits the PLS group January 15-16, 2009;
  Host: Andrzej Wąsowski (MT-LAB)
• Florian Rabe visits the PLS group January 5-January 31, 2009;
  Host: Carsten Schuermann.
• Geoff Wasburn visits the PLS group November 10 and 11, 2008;
  Host: Carsten Schuermann.
• Hongseok Yang visits the PLS group October 25-November 1, 2008;
  Host: Lars Birkedal. [86 Carlos Olarte] visits the PLS group October 24–30, 2008;
  Host: Thomas Hildebrandt and Hugo Lopez. [87 Ph.D school on Logics and Semantics of State] October 20–24, 2008. Organizers: Lars Birkedal and Kristian Stoevring.
• Geoff Sutcliffe visits the PLS group October 9-10, - [Schedule](Sutcliffe2008 “wikilink”;
  Host: Carsten Schuermann. [89 Shin-ya Katsumata] visits the PLS group September 8–12, 2008;
  Host: Rasmus Møgelberg.
• Derek Dreyer visits the PLS group September 1–3, 2008;
  Host: Lars Birkedal.
• Paul Blain Levy visits the PLS group August 12–30, 2008;
  Host: Lars Birkedal and Kristian Stoevring.
• Daniel Lee visits the PLS group August 25-26, 2008;
  Host: Carsten Schuermann. Schedule
• Jorge A. Pérez visits the PLS group August 11-30, 2008. Jorge will be in 3C.16. Two talks: 1) Timed Concurrent Constraint Programming for Biological Systems, Monday August 11, 13.00-14.30, 4A.09, [94 Bio seminar]. 2) On the Expresiveness and Decidability of Higher-Order Process Calculi (LICS’08), Tuesday August 12, 13.15-14.00, Aud. 4 (4th floor), [95 COPLAS talk];
  Host: Ebbe Elsborg. Edmund Lam visits the PLS group June 30 - July 11;
  Host: Martin Sulzmann. [96 Davide Grohmann] visits the PLS group June 11 - July 4, 2008.
• Carsten Varming visits the PLS group June 1 - July 1, 2008;
  Host: Lars Birkedal.
• Anton Setzer visits the PLS group May 27-29, 2008. Host: Carsten Schuermann.
• Pieter Hofstra visits the PLS group June 5-6, 2008;
  Host: Lars Birkedal.
• Alex Simpson visits the PLS group June 5-6, 2008;
  Host: Lars Birkedal.
• Philipp Haller visits the PLS group May 29-June 3, 2008;
  Host: Martin Sulzmann. Bastien Maubert, student at ENS Cachan at Bretagne, visits the PLS group as an intern from May 19 - July 19, 2008;
  Host: Lars Birkedal.
• Aleks Nanevski visits the PLS group May 14-15, 2008;
  Host: Lars Birkedal.
• Tom Schrijvers visits the PLS group April 21-April 25, 2008;
  Host: Martin Sulzmann.
• Frank Pfenning visits the PLS group April 14-April 18, 2008;
  Host: Carsten Schuermann.
• Julia Padberg visits the PLS group March 13, 2008. Host: Lars Birkedal.
• Jean Krivine visits the PLS group March 6-7, 2008;
  Host: Troels Damgaard.
• Derek Dreyer visits the PLS group Feb 18 - Feb 21, - [ Schedule](Dreyer20080218 “wikilink”;
  Host: Carsten Schuermann
• Vladimiro Sassone visits the PLS group Jan 30, 2008;
  Hosts: Lars Birkedal and Thomas Hildebrandt.
• Marino Miculan visits the PLS group Jan 30-31, 2008;
  Hosts: Lars Birkedal and Thomas Hildebrandt.
• Aleks Nanevski visits the PLS group Jan 21-25, 2008;
  Host: Lars Birkedal.
• Nick Benton visits the PLS group December 18-19, 2007;
  Host: Lars Birkedal. [112 Hongseok Yang] visits the PLS group December 16-20, 2007;
  Host: Lars Birkedal. [113 Bernhard Reus] visits the PLS group December 8-10, 2007;
  Host: Lars Birkedal.
• Steve Awodey visits the PLS group December 5-7, 2007;
  Host: Lars Birkedal.
• Christoph Benzmueller visits PLS group October 1-4, 2007. He is giving a PhD course on Semantics for Higher-Order Logics Course materials;
  Host: Carsten Schuermann
• Ian Stark visits the PLS group October 3-4, 2007;
  Hosts: Lars Birkedal and Thomas Hildebrandt.
• Kohei Honda visits the PLS group October 3-4, 2007;
  Hosts: Lars Birkedal and Thomas Hildebrandt.
• Nobuko Yoshida visits the PLS group October 3-4, 2007;
  Hosts: Lars Birkedal and Thomas Hildebrandt.
• Claus Brabrand joins the PLS group as Associate Professor September 1, 2007.
• Matthew Parkinson visits the PLS group August 20-21, 2007;
  Host: Lars Birkedal.
• Henrik Nilsson visits the PLS group August 1, 2007;
  Host: Carsten Schuermann.
• Alberto Momigliano visits the PLS group August 5-August 15, 2007;
  Host: Carsten Schuermann.
• Nikolaj Bjørner visits the PLS group August 28, 2007;
  Host: Carsten Schuermann. [126 Hongseok Yang] visits the PLS group Aug 24 - Sep 8, 2007;
  Host: Lars Birkedal.
• Neel Krishnaswami visits the PLS group Aug 1 - Sep 1, 2007;
  Host: Lars Birkedal.
• Carsten Varming visits the PLS group June 15 - Sep 1, 2007;
  Host: Lars Birkedal. [129 Bernhard Reus] visits the PLS group April 11-13, 2007;
  Host: Lars Birkedal.
• Jean Krivine visits the PLS group March 28-31, 2007;
  Host: Arne Glenstrup. Schedule.
• Andreas Abel vists the PLS group in the week of March 5;
  Host: Carsten Schuermann.
• Peter Dybjer visits the PLS group on Feb 22;
  Host: Carsten Schuermann. Schedule.
• John Reynolds and Neel Krishnaswami visit the PLS group on Dec. 7 - Dec. 9;
  Host: Lars Birkedal.
• Reiko Heckel visits the PLS group on Nov. 30. - Dec. 1;
  Host: Lars Birkedal and the BPL group.
• Kristian Støvring visits the PLS group on Thursday Nov. 30;
  Host: Lars Birkedal.
• Lucas Dixon visits the PLS group from October 1 November 30;
  Host Carsten Schuermann.
• Martin Hyland, Jaap van Oosten, Pino Rosolini and [Thomas Streicher(http://www.mathematik.tu-darmstadt.de:8080/ags/ag14/mitglieder/streicher-en.html) visit the PLS group Sep. 13 - Sep. 15;
  Hosts: Lars Birkedal and Carsten Butz.
• John C. Reynolds visits the PLS group Aug 23-24 2006;
  Host: Lars Birkedal.
• Nick Benton visits the PLS group Aug 17-18 2006;
  Host: Lars Birkedal.
• Amal Ahmed visits the PLS group Aug 15-20 2006;
  Host: Lars Birkedal.
• Hongseok Yang visits the PLS group for one month in August 2006;
  Host: Lars Birkedal.
• Dale Miller will give a FIRST PhD course on proof search, for three days, starting Wednesday 5/31-Friday 6/2. Lectures will be in the morning 9:00-12:00, and lab in the afternoon, from 13:00-16:00. More information is available at the [148 course] home page;
  Host: Carsten Schuermann.
• Olivier Danvy visits the PLS group from April 24th to May 17th. You may find him in office 4C12. He gives a
• FIRST PhD course on “A derivational approach to operational semantics” for 3 days, Thursday and Mondays on the dates 4th, 8th and 11th of May. Lectures will be in the afternoon 12:30-15:30, and labs in the morning, from 9:30-11:30 (first lab May 8th). More information is available at the course home page.