2008

• Smaller and faster: Succinct data structures (at ITU)
  Mini course, December 15 and 16, 2008
• FIRST Fall School in Logic and Semantics of State, Monday 20 - Friday 24 October, 2008 at the IT University of Copenhagen
• FIRST PhD Mini-course on Modern Virtual Machines, Meta-Programming, F#, May 26-30th, 22008, ITU
• FIRST Summer School in Algorithms for Advanced Processor Architectures - AFAPA, June 9-12, 2008, IT University of Copenhagen
• FIRST course in Category Theory

• FIRST Lunch/Network meeting, Friday, 28 November at DIKU (South Campus)
• FIRST Lunch/Network meeting, Friday, October 10, 12:30-15:30 at DTU
• FIRST Lunch/Network meeting, June 25, 2008, DIKU
• FIRST Retreat, April 28-29, 2008, Magleås Kursuscenter

2007

• FIRST seminar in Advanced Semantics
  September 5 to December 30, 2007 at ITU
• FIRST PhD Course in Process Calculi for Concurrency and Mobility
  September 7 to November 30, 2007 at ITU
• Formal Models for Business Process Execution and Service Oriented Computing - BPESO/CSCW
  October 20, 2007 at ITU
• International PhD School in Theory and Practice of Business Process Execution and Service Orientation - BPESO, October 16 - 19, 2007 at ITU
• COPLAS/PLS seminar: Resource Guarantees and PCC: 50 ways to say it with a proof
  Talk by Ian Stark, LFCS, University of Edinburgh, UK, October 3, 2007
• COPLAS/PLS seminar: An Observationally Complete Program Logic for Higher-Order Functions
  Talk by Kohei Honda, Queen Mary College, London, UK, October 3rd, 2007
• FIRST PhD Course in Semantics of Higher-Order Logic
  Lecturer: Christoph Benzmueller, The University of Cambridge, UK, October 1 - 3, 2007.
• Marriage, Honesty, and Stability for Matchmakers
  Talk by Nicole Immorlica, Microsoft Research, Redmond, USA, September 17, 2007.
• Algorithmic Issues in Sponsored Search
  Talk by Muthu Muthukrishnan, Google Research, New York, August 27, 2007.
• A Dr. Neil D. Jones Tribute Workshop and Festival
  DIKU, University of Copenhagen, August 25 - 26, 2007.
• Topics in the mechanisation of the meta-theory of formal systems
  Talk by Alberto Momigliano, School of Informatics, The University of Edinburgh, August 16, 2007.
• Advanced Semantics Seminar
  FIRST PhD Course organized by Lars Birkedal, ITU, February 7 to June 20, 2007.
• Japanese Humanoid Karate Robot
  Talk & Demonstration by Toshinobu KOGA and Tsutomu Etoh, Mechatrax, Japan, April 24, 2007.
• FIRST PhD Course: Integer Programming, March 13 - 15, 2007 at ITU.
• COPLAS Talk: Proof-carrying code from certified abstract interpretation, by Thomas Jensen, IRISA, Rennes, France, February 9th, 2007.
• FIRST talk: Language Integrated Query in C# 3.0 -- Leave Plumbing to the Plumbers, by Mads Torgersen, Microsoft, Redmond, US February 8, 2007 at DIKU.

2006 - 2003

• FIRST workshop: Software Evolution, December 14, 2006.
• FIRST retreat 2006, November 16-17.
• FIRST PhD School: Verification of Protocols for Security and Mobility (VPSM), October 9-13, 2006.
• PATH05 - Shortest Paths - Between Algorithms and Optimization, July 4-8, 2005 at DIKU, University of Copenhagen.
• PAT2005 - Program Analysis and Transformation, June 6-10, 2005 DIKU, University of Copenhagen.
• FIRST Career Day, February 10, 2005
• Summer School in Finite Metric Spaces and their Algorithmic Applications, August 30 - September 1, 2004 at ITU.
• 11th Workshop on Applied/Advanced Research in Combinatorial Optimization (ARCO), September 2, 2004 at ITU.
• Category Theory and Computer Science Graduate Student Summer School - in conjunction with CTCS 2004, August 9-11, 2004 at ITU.
• CTCS 2004 Category Theory and Computer Science, August 12-14, 2004 at ITU.
• SWAT 2004 Scandinavian Workshop on Algorithm Theory, July 8-10, 2004 at Louisiana Museum of Modern Art, Humlebæk, Denmark.
• Summer School on Experimental Algorithmics - in conjunction with SWAT 2004, July 5-7, 2004 at Rungstedgaard, Denmark. Report from the Summer School
• FIRST Retreat 2004, October 21-23
• FIRST Retreat 2003, July 25-26: slides / pictures / position paper