Algorithmic Topics In Constraint Programming

Irit Katriel gave a mini-course on Algorithmic Topics In Constraint Programming. Lecture dates: November 15, 22 and 29, 2005

2004

Kolmogorov Complexity Theory and Derandomization

Eric Allender gave a mini-course on Kolmogorov Complexity Theory and Derandomization. Lecture dates: August 17 and 18, 2004

Cryptographic Protocols and Formal Methods

Birgit Pfitzmann gave a mini-course on Cryptographic Protocols and Formal Methods. Lecture dates: August 10 and 11, 2004

Applications of Type Constraints in Software Engineering Tools

Frank Tip gave a mini-course on Applications of Type Constraints in Software Engineering Tools. Lecture dates: June 14, 2004

Proving Correctness of Program Transformations Based on Free Theorems

Patricia Johann gave a mini-course on Proving Correctness of Program Transformations Based on Free Theorems. Lecture dates: June 10 and 11, 2004

Process Calculi: Communication, Mobility, and Constraints

Frank D. Valencia gave a mini-course on Process Calculi: Communication, Mobility, and Constraints. Lecture dates: April 27-29, 2004

2003

Separation Logic

John C. Reynolds gave a mini-course on Separation Logic. Lecture dates: November 11, 13, 18, 20, 25 and 27, December 2 and 4, 2003

Rational and Integer Matrix Games

K. Subramani gave a mini-course on Rational and Integer Matrix Games. Lecture dates: August 12 and 13, 2003

Semantics with Intersection Types

Steffen van Bakel gave a mini-course on Semantics with Intersection Types. Lecture dates: April 9-11, 2003

Domain-theoretic Models of Differential Calculus and Geometry

Abbas Edalat gave a mini-course on Domain-theoretic Models of Differential Calculus and Geometry. Lecture dates: February 21, 24 and 25, 2003

Cryptography in the Quantum Computing Era

Claude Crépeau gave a mini-course on Cryptography in the Quantum Computing Era. Lecture dates: February 4 and 6, 2003

2002

Categorical Foundations in Domain Theory for Concurrency

Glynn Winskel gave a mini-course on Categorical Foundations in Domain Theory for Concurrency. Lecture dates: September 4 and 6, 2002

Spatial Logics for Querying Semi-structured Data

Philippa Gardner gave a mini-course on Spatial Logics for Querying Semi-structured Data. Lecture dates: May 14 and 16, 2002

Computable Analysis and its Applications

Margarita Korovina gave a mini-course on Computable Analysis and its Applications. Lecture dates: April 23, 25 and 30, 2002

Automata and Logic

Igor Walukiewicz gave a mini-course on Automata and Logic. Lecture dates: April 9, 11, 16 and 18, 2002

Continuations, Continuation-Passing Style, and the CPS Transformation

Olivier Danvy gave a mini-course on Continuations, Continuation-Passing Style, and the CPS Transformation. Lecture dates: March 14, 19 and 21, 2002

2001

Events in Security Protocols

Glynn Winskel gave a mini-course on Events in Security Protocols. Lecture dates: September 11 and 13, 2001

Further Reasoning about Shared Mutable Data Structure

John C. Reynolds gave a mini-course on Further Reasoning about Shared Mutable Data Structure. Lecture dates: June 18, 20 and 22, 2001

Graph Colourings

Zsolt Tuza gave a mini-course on Graph Colourings. Lecture dates: May 17, 18, 29 and 31, 2001

Hypersearching the Web: Or How Algebra and Probability can help you surf better

Devdatt Dubhashi gave a mini-course on Hypersearching the Web: Or How Algebra and Probability can help you surf better. Lecture dates: May 9, 10, 14 and 15, 2001

2000

Challenges in Combinatorics

Zsolt Tuza gave a mini-course on Challenges in Combinatorics. Lecture dates: October 24, 26 and 31, November 2 and 7, 2000

Model Checking Java Source Code Using the Bandera Tool Set

John Hatcliff gave a mini-course on Model Checking Java Source Code Using the Bandera Tool Set. Lecture dates: October 2-4, 2000

Proof Theory for the Working Category Theorist!

Robin Cockett gave a mini-course on Proof Theory for the Working Category Theorist!. Lecture dates: June 19 and 21, 2000

Games and Free mu-Lattices

Luigi Santocanale gave a mini-course on Games and Free mu-Lattices. Lecture dates: June 7 and 9, 2000

The Java Security Model

Tommy Thorn gave a mini-course on The Java Security Model. Lecture dates: February 29, March 7, 2000

1999

Logic of Proofs. Uniform Provability Semantics for the Modality and lambda-Terms

Tatiana Yavorskaja (Sidon) gave a mini-course on Logic of Proofs. Uniform Provability Semantics for the Modality and lambda-Terms. Lecture dates: October 21, 26 and 28, 1999

Denotational Semantics of Types

John C. Reynolds gave a mini-course on Denotational Semantics of Types. Lecture dates: October 14, 22 and 27, November 3, 1999

A Taster of Descriptive Set Theory

Julian Bradfield gave a mini-course on A Taster of Descriptive Set Theory. Lecture dates: September 9, 14 and 16, 1999

Introduction to Computer Vision

John Hallam gave a mini-course on Introduction to Computer Vision. Lecture dates: August 19 and 20, 1999

Randomization and Abstraction: Useful Tools for Optimization

Bernd Gärtner gave a mini-course on Randomization and Abstraction: Useful Tools for Optimization. Lecture dates: July 6 and 7, 1999

Incrementalization: a Powerful Approach to Efficiency Improvement

Y. Annie Liu gave a mini-course on Incrementalization: a Powerful Approach to Efficiency Improvement. Lecture dates: June 28 and 29, 1999

Optimal Graph Reduction: Computation, Continuations, Complexity

Julia Lawall and Harry Mairson gave a mini-course on Optimal Graph Reduction: Computation, Continuations, Complexity. Lecture dates: May 25-28, 1999

Randomization and Approximation Algorithms in Combinatorial Optimization

Devdatt Dubhashi gave a mini-course on Randomization and Approximation Algorithms in Combinatorial Optimization. Lecture dates: May 18, 20 and 26, June 7, 14 and 16, 1999

Modelling and Verifying Authentication Protocols

Sanjiva Prasad gave a mini-course on Modelling and Verifying Authentication Protocols. Lecture dates: March 2, 4, 9 and 11, 1999

An Overview of Lambda-Calculus Optimal Reductions and of their Implementation

Stefano Guerrini gave a mini-course on An Overview of Lambda-Calculus Optimal Reductions and of their Implementation. Lecture dates: February 24-26, 1999

Control Flow Analysis for the pi-calculus with Applications to Security

Pierpaolo Degano gave a mini-course on Control Flow Analysis for the pi-calculus with Applications to Security. Lecture dates: February 16 and 18, 1999

1998

Which pi-Calculus are we Talking About?

Paola Quaglia gave a mini-course on Which pi-Calculus are we Talking About? Lecture dates: November 30, December 2, 7 and 9, 1998

A Formal Calculus for Distributed Agents

Matthew Hennessy gave a mini-course on A Formal Calculus for Distributed Agents. Lecture dates: November 12, 18, 20 and 23, 1998

Biological Concepts for Adaptive and Distributed Algorithms

Thiemo Krink, Per Bak, Freddy B. Christiansen, and Erik Baatrup gave a mini-course on Biological Concepts for Adaptive and Distributed Algorithms. Lecture dates: November 9-11, 16 and 17, 1998

Introduction to Evolutionary Computation

Zbigniew Michalewicz gave a mini-course on Introduction to Evolutionary Computation. Lecture dates: September 14, 16, 21 and 23, 1998

Advanced Data Structures

Arne Andersson gave a mini-course on Advanced Data Structures. Lecture dates: May 26, 27 and 29, June 2 and 3, 1998

Normalisation in Lambda-Calculus and Type Theory

Morten H. Sørensen gave a mini-course on Normalisation in Lambda-Calculus and Type Theory. Lecture dates: April 29 and 30, 1998

Expressiveness and Complexity of Program Logics

Igor Walukiewicz gave a mini-course on Expressiveness and Complexity of Program Logics. Lecture dates: April 23, 24 and 27, May 6, 1998

2-Categories and Bicategories

Anthony J. Power gave a mini-course on 2-Categories and Bicategories. Lecture dates: March 4, 11 and 18, 1998

1997

Quantum Computation and Quantum Cryptology

Peter Hoeyer and Louis Salvail gave a mini-course on Quantum Computation and Quantum Cryptology. Lecture dates: December 15-17, 1997

Temporal Data Bases

David Toman gave a mini-course on Temporal Data Bases. Lecture dates: November 21 and 24, 1997

Pure Type Systems and Applications

Gilles Barthe gave a mini-course on Pure Type Systems and Applications. Lecture dates: November 7 and 8, 1997

Functional Programming with Effects

Andrzej Filinski gave a mini-course on Functional Programming with Effects. Lecture dates: October 24 and 27, 1997

Systems Programming in Scheme

Olin Shivers gave a mini-course on Systems Programming in Scheme. Lecture dates: October 13, 14 and 16, 1997

The State-Explosion Problem

Antti Valmari gave a mini-course on The State-Explosion Problem. Lecture dates: October 6, 8 and 10, 1997

Concentration of Measure and Applications to Analysis of Algorithms

Devdatt Dubhashi and Alessandro Panconesi gave a mini-course on Concentration of Measure and Applications to Analysis of Algorithms. Lecture dates: September 5, 8, 10, 15, 17 and 19, 1997

Reduction-Free Normalization

Philip Scott gave a mini-course on Reduction-Free Normalization. Lecture dates: June 3 and 4, 1997

First Order Logic with Dependent Sorts, (Bi)Simulation, and Higher Dimensional Categories

Michael Makkai gave a mini-course on First Order Logic with Dependent Sorts, (Bi)Simulation, and Higher Dimensional Categories. Lecture dates: May 20 and 22, 1997

Inductive Logic Programming

Nada Lavrac and Peter Flach gave a mini-course on Inductive Logic Programming. Lecture dates: May 20, 21 and 23, 1997

Information Theoretic Security in Cryptography

Ueli Maurer gave a mini-course on Information Theoretic Security in Cryptography. Lecture dates: May 1 and 2, 1997

Algebraic Theory of Automata, Temporal Logic and Expressiveness

Denis Thérien gave a mini-course on Algebraic Theory of Automata, Temporal Logic and Expressiveness. Lecture dates: April 29 and 30, 1997

Distributed Logics

P. S. Thiagarajan gave a mini-course on Distributed Logics. Lecture dates: January 20 and 21, 1997

1996

Introduction to Linear Logic

Torben Braüner gave a mini-course on Introduction to Linear Logic. Lecture dates: December 18, 1996

Explicit Substitution

Kristoffer Høgsbro Rose gave a mini-course on Explicit Substitution. Lecture dates: October 27, 1996

Non-Interleaving Transition Systems

Vladimiro Sassone gave a mini-course on Non-Interleaving Transition Systems. Lecture dates: October 3 and 4, 1996

Competitive Online Algorithms

Susanne Albers gave a mini-course on Competitive Online Algorithms. Lecture dates: August 27-29, 1996

Set Constraints

Dexter Kozen gave a mini-course on Set Constraints. Lecture dates: August 14 and 15, 1996

Distributed Algorithms

Richard Tan gave a mini-course on Distributed Algorithms. Lecture dates: June 12 and 13, 1996

Approximation Algorithms

Alessandro Panconesi gave a mini-course on Approximation Algorithms. Lecture dates: March 7, 12 and 13, 1996

Quantum Computation

André Berthiaume gave a mini-course on Quantum Computation. Lecture dates: January 22, 24 and 26, 1996

1995

Quantum Mechanics: Aspects of Relevance for Computing & Chryptography

Klaus Mølmer gave a mini-course on Quantum Mechanics: Aspects of Relevance for Computing & Chryptography. Lecture dates: December 11 and 18, 1995

Secure Multi-Party Computation

Michael Ben-Or gave a mini-course on Secure Multi-Party Computation. Lecture dates: August 24 and 25, 1995

Analysis and Transformation of Set-Theoretic Languages

Bob Paige gave a mini-course on Analysis and Transformation of Set-Theoretic Languages. Lecture dates: August 14-17, 1995

Evolving Algebras

Yuri Gurevich and Egon Börger gave a mini-course on Evolving Algebras. Lecture dates: August 7-10, 1995

Dynamic Graph Algorithms

Giuseppe Italiano gave a mini-course on Dynamic Graph Algorithms. Lecture dates: May 29, June 2, 1995

Randomness and Computation

Aravind Srinivasan gave a mini-course on Randomness and Computation. Lecture dates: May 2-5, 8 and 9, 1995

A Tutorial on Co-Induction and Functional Programming

Andrew D. Gordon gave a mini-course on A Tutorial on Co-Induction and Functional Programming. Lecture dates: March 22 and 23, 1995

Synthetic Domain Theory

Pino Rosolini gave a mini-course on Synthetic Domain Theory. Lecture dates: March 6-8, 10 and 13, 1995

Modal mu-Calculus

Igor Walukiewicz gave a mini-course on Modal mu-Calculus. Lecture dates: February, 1995

1994

Inductive and Co-Inductive Techniques in the Semantics of Functional Programs

Andrew Pitts gave a mini-course on Inductive and Co-Inductive Techniques in the Semantics of Functional Programs. Lecture dates: November 22, 24 and 29, December 1, 1994

Linear Time Temporal Logic, Buchi Automata, Decision Procedures, and Model Checking Algorithms

P.S. Thiagarajan gave a mini-course on Linear Time Temporal Logic, Buchi Automata, Decision Procedures, and Model Checking Algorithms. Lecture dates: October 11 and 13, 1994

Introduction to Categories

Jaap van Osten gave a mini-course on Introduction to Categories. Lecture dates: September, 1994

Induction Based on Rippling and Proof Planning

David Basin gave a mini-course on Induction Based on Rippling and Proof Planning. Lecture dates: August 11, 1994