ZIC Colloquium

(Updated March 18, 2006)

The 250th and last ZIC took place on Tuesday March 14, 2006.

We thank the loyal audience, the speakers and the sponsors for their contributions during the long and successful runtime of the colloquium.
We especially thank Henk Barendregt, who gave the final talk on March 14, 2006, and the many colleagues and friends who were there to share memories of the last 20 years. Some pictures of the afternoon can be found here.

Here is a list (pdf) of all the ZIC-talks, from the start of the colloquium in 1986 until the end.
Some statistics about the ZIC can be found in this little document (pdf).
The more recent abstracts can still be found at this page.

With warm regards,

Rob Nederpelt and Francien Dechesne

About the ZIC:

The ZIC (Zuidelijk Interuniversitair Colloquium) was a bi-weekly colloquium, organized by the Formal Methods group of the department of computer science at the TU/e, and the Logic group of the department of philosophy at Tilburg University.

The subjects of the talks covered a vast area, including type theory, process algebra, game theory. model checking, term rewriting. The colloquium was held at the Technische Universiteit Eindhoven, on Tuesday afternoons from 14:15 either in one-hour format (until 15:00) or in two-hour format (until 16:00, with a 15 minute break). The audience varied from 5 to 20 people of several universities, more specifically Eindhoven, Tilburg, Nijmegen, and occasionaly also people from outside academia.