FIRST Graduate School: Courses (Archive)

Previous Courses and Seminars

Below is a list of course and seminar activites from previous semesters. Some of the links may be broken.

2006

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic by Hongseok Yang, Seoul National University. At the ITU, Thursday, August 10th, 13:00-14:00

PhD Seminar 20 March 2-4 pm in Aud. 4 at ITU: Process Discovery and Conformance: New challenges for process-aware information systems by Wil van der Aalst, Eindhoven University of Technology

Generative software development by Jyrki Katajainen, DIKU, 30/1 - 3/2 2006.

Strategic Game Playing by Peter Bro Miltersen, DAIMI, AU, 16 and 18 Jan. 2006

PhD mini course: A Derivational Approach to Calculi, Evaluation, and Abstract Machines by Olivier Danvy. Dates: May 4th, 8th and 11th, 2006 at ITU

PhD mini course: Proof Search and Computation by Dale Miller. Dates: 31 May - 2 June 2006.

PhD course: Computation and Deduction by Carsten Schürmann and Andrzej Filinski. Dates: 26 April - 7 June

PhD course: Linear programming Kent Anderseon, 12-15 June 2006.

FIRST PhD seminar: Lower Bound Techniques for Data Structures by Mihai Patrascu (MIT) and Mikkel Thorup (AT&T), 3 - 4 August.

2005

Advanced Algorithms

Mondays 9-16. Teachers: Anna Pagh and Philip Bille
Course description

PhD Seminar: Algorithmic Topics in Constraint Programming by Irit Katriel, BRICS, AU. 17-18 Oct. + 11 Nov.

PhD Course: Denotational Foundations of Functional Programming

Computability and Complexity from a Programming Perspective by Neil Jones. 09:15 - 11:00 Tuesdays Block 3 (7. february - 15. april) (Times can be re-scheduled if necessary). Contact neil@diku.dk to sign up.

PhD mini course: Introduction to Infinite-State Systems by Jiri Srba, AUC. 30 Nov.-1 Dec.

Fall 2004

4+4	VLSI Optimization (DIKU), Martin Zachariasen Advanced Topics in Computational Complexity (ITU), Vladimir Shavrukov Program transformation and program analysis Neil Jones and Robert Glück
All PhD students	Randomized Algorithms (ITU), Anna Östlin, Rasmus Pagh Category Theory (ITU) Thomas Hildebrandt, Rasmus Møgelberg Finite Metric Spaces and their Algorithmic Applications (ITU) Moses Charikar and Piotr Indyk Mini course: Logical Frameworks, 22-24 November 2004 (ITU) Carsten Schürmann Mini course: Probabilistic Models for Concurrency, 10 and 12 November 2004 (ITU) Daniele Varacca

Spring 2004

4+4 PhD students, part A	Modelbased Design for Concurrent, Distributed and Mobile Systems (ITU) Thomas Hildebrandt Formal Semantics of Programming Language (DIKU) Andrzej Filinski Logic in Computer Science: modelling and reasoning about systems (DIKU) Julia Lawall Program inversion and reversible computation Also take a look at the practical information (DIKU), Robert Glück
All PhD students	Designs and Techniques to make Software Adaptable (ITU), Yvonne Dittrich, Kasper Østerbye Advanced Database Technology (ITU), Anna Östlin, Rasmus Pagh Combinatorial Optimization (DIKU), David Pisinger

Autumn 2003

Algorithms, Optimization, Complexity Theory

Advanced Data Structures (ITU),
Stephen Alstrup, Theis Rauhe
Approximation Algorithms (DIKU),
Martin Zachariasen
SAT-solving: From Davis-Putnam to ZChaff (ITU),
Lintao Zhang (Mini course November 24-26, 2003)

Logic, Semantics, Language Technologies, Verification, ...

Logic and Computability
(needs approval from the ITU PhD study board) (ITU),
Volodya Shavrukov
Curry-Howard Isomorphism (DIKU) (approved by the ITU PhD study board as PhD course)
Pawel Urzyczyn
Behavioural Type Systems (DIKU)
Jakob Rehof October 21-24. Course description Danish, English
Second-Order Lambda Calculus mini-course December 1st - 5th, 2003 (ITU),
Lars Birkedal and Rasmus Ejlers Møgelberg
Advanced Language Implementation and Language-based Security (needs approval from the ITU PhD study board),
Martin Elsman, Henning Niss
Porgram transformation and partial evaluation (DIKU)
Neil D. Jones and Arne J. Glenstrup
SAT-solving: From Davis-Putnam to ZChaff (ITU),
Lintao Zhang (Mini course November 24-26, 2003)
Model Checking mini-course. (ITU),
Cancelled, moved to Sprint 2004 Henrik Reif Andersen, Jens Chr. Godskesen, Kåre Jelling Kristoffersen

Spring 2003

Algorithms, Optimization, Complexity Theory

Advanced Algorithms (ITU),
Stephen Alstrup, Theis Rauhe
Advanced Database Technology (ITU),
Anna Östlin, Rasmus Pagh
Computability and Complexity from a Programming Perspective (DIKU),
Neil Jones and Nils Andersen
Computational Geometry, Data Structures, and Paradigms (DIKU),
Pawel Winter
Graph Matching and Object Recognition mini-course May 26-29 (ITU),
Sven Dickinson (University of Toronto), Ali Shokoufandeh (Drexel University)
Advanced Complexity Theory mini-course (ITU),
June 13th and June 24th, Peter Bro Miltersen (Aarhus)
The Discrepancy Method Study group (ITU),
Stephen Alstrup

Logic, Semantics, Language Technologies, Verification, ...

Recursion Theory (ITU),
Volodya Shavrukov
Models and Languages for Distributed and Mobile Systems (ITU),
Thomas Hildebrandt, Simon Mørk
Computability and Complexity from a Programming Perspective (DIKU),
Neil Jones
Formal Semantics of Programming Languages (DIKU),
Andrzej Filinski
Topos Theory Seminar Study group (ITU),
Lars Birkedal, Carsten Butz
Formal Approaches to Software Test Study group (ITU),
Peter Sestoft, Jens Chr. Godskesen
Models for Context-Dependent Mobile Communication Study group (ITU),
Thomas Hildebrandt
Other Object-Oriented Languages Study group (ITU),
Kasper Bilsted, Kasper Østerbye