BRICS
BRICS MiniCourses
2005

Algorithmic Topics In Constraint Programming

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

Kolmogorov Complexity Theory and Derandomization

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

Cryptographic Protocols and Formal Methods

Birgit Pfitzmann gave a minicourse 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 minicourse 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 minicourse 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 minicourse on Process Calculi: Communication, Mobility, and Constraints. Lecture dates: April 2729, 2004
2003

Separation Logic

John C. Reynolds gave a minicourse 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 minicourse on Rational and Integer Matrix Games. Lecture dates: August 12 and 13, 2003

Semantics with Intersection Types

Steffen van Bakel gave a minicourse on Semantics with Intersection Types. Lecture dates: April 911, 2003

Domaintheoretic Models of Differential Calculus and Geometry

Abbas Edalat gave a minicourse on Domaintheoretic 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 minicourse 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 minicourse on Categorical Foundations in Domain Theory for Concurrency. Lecture dates: September 4 and 6, 2002

Spatial Logics for Querying Semistructured Data

Philippa Gardner gave a minicourse on Spatial Logics for Querying Semistructured Data. Lecture dates: May 14 and 16, 2002

Computable Analysis and its Applications

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

Automata and Logic

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

Continuations, ContinuationPassing Style, and the CPS Transformation

Olivier Danvy gave a minicourse on Continuations, ContinuationPassing Style, and the CPS Transformation. Lecture dates: March 14, 19 and 21, 2002
2001

Events in Security Protocols

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

Further Reasoning about Shared Mutable Data Structure

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

Graph Colourings

Zsolt Tuza gave a minicourse 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 minicourse 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 minicourse 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 minicourse on Model Checking Java Source Code Using the Bandera Tool Set. Lecture dates: October 24, 2000

Proof Theory for the Working Category Theorist!

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

Games and Free muLattices

Luigi Santocanale gave a minicourse on Games and Free muLattices. Lecture dates: June 7 and 9, 2000

The Java Security Model

Tommy Thorn gave a minicourse on The Java Security Model. Lecture dates: February 29, March 7, 2000
1999

Logic of Proofs. Uniform Provability Semantics for the Modality and lambdaTerms

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

Denotational Semantics of Types

John C. Reynolds gave a minicourse 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 minicourse on A Taster of Descriptive Set Theory. Lecture dates: September 9, 14 and 16, 1999

Introduction to Computer Vision

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

Randomization and Abstraction: Useful Tools for Optimization

Bernd Gärtner gave a minicourse 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 minicourse 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 minicourse on Optimal Graph Reduction: Computation, Continuations, Complexity. Lecture dates: May 2528, 1999

Randomization and Approximation Algorithms in Combinatorial Optimization

Devdatt Dubhashi gave a minicourse 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 minicourse on Modelling and Verifying Authentication Protocols. Lecture dates: March 2, 4, 9 and 11, 1999

An Overview of LambdaCalculus Optimal Reductions and of their Implementation

Stefano Guerrini gave a minicourse on An Overview of LambdaCalculus Optimal Reductions and of their Implementation. Lecture dates: February 2426, 1999

Control Flow Analysis for the picalculus with Applications to Security

Pierpaolo Degano gave a minicourse on Control Flow Analysis for the picalculus with Applications to Security. Lecture dates: February 16 and 18, 1999
1998

Which piCalculus are we Talking About?

Paola Quaglia gave a minicourse on Which piCalculus are we Talking About? Lecture dates: November 30, December 2, 7 and 9, 1998

A Formal Calculus for Distributed Agents

Matthew Hennessy gave a minicourse 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 minicourse on Biological Concepts for Adaptive and Distributed Algorithms. Lecture dates: November 911, 16 and 17, 1998

Introduction to Evolutionary Computation

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

Advanced Data Structures

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

Normalisation in LambdaCalculus and Type Theory

Morten H. Sørensen gave a minicourse on Normalisation in LambdaCalculus and Type Theory. Lecture dates: April 29 and 30, 1998

Expressiveness and Complexity of Program Logics

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

2Categories and Bicategories

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

Quantum Computation and Quantum Cryptology

Peter Hoeyer and Louis Salvail gave a minicourse on Quantum Computation and Quantum Cryptology. Lecture dates: December 1517, 1997

Temporal Data Bases

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

Pure Type Systems and Applications

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

Functional Programming with Effects

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

Systems Programming in Scheme

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

The StateExplosion Problem

Antti Valmari gave a minicourse on The StateExplosion 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 minicourse on Concentration of Measure and Applications to Analysis of Algorithms. Lecture dates: September 5, 8, 10, 15, 17 and 19, 1997

ReductionFree Normalization

Philip Scott gave a minicourse on ReductionFree Normalization. Lecture dates: June 3 and 4, 1997

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

Michael Makkai gave a minicourse 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 minicourse on Inductive Logic Programming. Lecture dates: May 20, 21 and 23, 1997

Information Theoretic Security in Cryptography

Ueli Maurer gave a minicourse 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 minicourse on Algebraic Theory of Automata, Temporal Logic and Expressiveness. Lecture dates: April 29 and 30, 1997

Distributed Logics

P. S. Thiagarajan gave a minicourse on Distributed Logics. Lecture dates: January 20 and 21, 1997
1996

Introduction to Linear Logic

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

Explicit Substitution

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

NonInterleaving Transition Systems

Vladimiro Sassone gave a minicourse on NonInterleaving Transition Systems. Lecture dates: October 3 and 4, 1996

Competitive Online Algorithms

Susanne Albers gave a minicourse on Competitive Online Algorithms. Lecture dates: August 2729, 1996

Set Constraints

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

Distributed Algorithms

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

Approximation Algorithms

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

Quantum Computation

André Berthiaume gave a minicourse 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 minicourse on Quantum Mechanics: Aspects of Relevance for Computing & Chryptography. Lecture dates: December 11 and 18, 1995

Secure MultiParty Computation

Michael BenOr gave a minicourse on Secure MultiParty Computation. Lecture dates: August 24 and 25, 1995

Analysis and Transformation of SetTheoretic Languages

Bob Paige gave a minicourse on Analysis and Transformation of SetTheoretic Languages. Lecture dates: August 1417, 1995

Evolving Algebras

Yuri Gurevich and Egon Börger gave a minicourse on Evolving Algebras. Lecture dates: August 710, 1995

Dynamic Graph Algorithms

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

Randomness and Computation

Aravind Srinivasan gave a minicourse on Randomness and Computation. Lecture dates: May 25, 8 and 9, 1995

A Tutorial on CoInduction and Functional Programming

Andrew D. Gordon gave a minicourse on A Tutorial on CoInduction and Functional Programming. Lecture dates: March 22 and 23, 1995

Synthetic Domain Theory

Pino Rosolini gave a minicourse on Synthetic Domain Theory. Lecture dates: March 68, 10 and 13, 1995

Modal muCalculus

Igor Walukiewicz gave a minicourse on Modal muCalculus. Lecture dates: February, 1995
1994

Inductive and CoInductive Techniques in the Semantics of Functional Programs

Andrew Pitts gave a minicourse on Inductive and CoInductive 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 minicourse 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 minicourse on Introduction to Categories. Lecture dates: September, 1994

Induction Based on Rippling and Proof Planning

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