Talks by Martin Henz

The following material serves as a source of references to slides and other material for the convenience of attendants of my talks and other interested people. See copyright notice below.

2002

Lecture on Event Scheduling using Constraint Programming as Guest Lecturer of the Singapore-MIT-Alliance as part of the SOC and SMA Computer Science Joint Seminar. November 22, 2002. All material available online.
Artificial Chemistries, Seminar talk at School of Computing, National University of Singapore, February 6, 2002. Slides in PDF (color), Slides in PDF (b/w), Slides in PostScript (color), Slides in PostScript (b/w), and LaTeX source available.

2001

Components for State Restoration in Tree Search, talk at the conference Principles and Practice of Constraint Programming, CP2001, Cyprus, November 29, 2001. Slides in PDF (color), Slides in PDF (b/w), Slides in PostScript (color), Slides in PostScript (b/w), and LaTeX source available.
One Flip per Clock Cycle, research talk at Saarland University Saarbrücken, Germany, June 25 2001. Slides in PowerPoint available.
Lectures on finite domain constraint programming as Guest Lecturer of the Singapore-MIT-Alliance; part of the course Systems Optimisation by Robert Freund (MIT) and Teo Chung Piaw (NUS) in the programme High Performance Computing for Engineered Systems, Spring 2001, March 2001. All material available online.

2000

Overview of Finite Domain Constraint Programming, Tutorial at the Malaysian National Conference on Management Science / Operations Research at Penang, Malaysia, November 21 2000. All material available online.
Overview of Constraint Programming, Tutorial at Fifth Conference of the Association of Asia-Pacific Operational Research Societies within IFORS at Singapore, July 7 2000. All material available online.
Lectures on finite domain constraint programming as Guest Lecturer of the Singapore-MIT-Alliance; part of the course Systems Optimisation by Robert Freund (MIT) and Teo Chung Piaw (NUS) in the programme High Performance Computing for Engineered Systems Spring 2000, February 2000. All material available online.

1999

Constraint-based Round Robin Tournament Planning, given at the International Conference on Logic Programming 1999, Las Cruces, New Mexico, November 29 - December 4, 1999. Slides in postscript and in PPT available.
Figaro: Yet Another Constraint Programming Library, given at the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Las Cruces, New Mexico, December 1, 1999. Slides in postscript and in PPT available.
Constraint-based Round Robin Tournament Planning, Hong Kong, November 5 1999. Slides in postscript and in PPT available.

1998

Constraint Programming - An Oz Perspective, Tutorial at PRICAI'98, NUS, Singapore, November 23 1998. available: Slides in postscript and in html, programs, programs in zip and in tar.
Constraint-based Round Robin Tournament Planning, Mini-Workshop on Techniques for Combinatorial Optimization, NUS, Singapore, September 18 1998. Slides in postscript and in html available.
Scheduling a Major College Basketball Conference - Revisited, invited talk at 16th European Conference on Operational Research, Brussels, Belgium, July 12, 1998. Slides in postscript and in html available.
Objects for Concurrent Constraint Programming, Yonezawa Lab, University of Tokyo, Tokyo, July 3, 1998. Slides in postscript and in html available.
Finite Domain Constraint Programming in Oz - A Programmer's Perspective, Ueda Lab, Waseda University, Tokyo, June 29, 1998.
Programming in Oz - A Programmer's Perspective, Ueda Lab, Waseda University, Tokyo, June 24, 1998.
From Functional Programming to Concurrent Constraint Programming in 4 Easy Steps, Workshop on Theory and Practices of Programming Languages, NUS, Singapore, March 13 1998. Slides in postscript and in html available.

1997

Objects in Oz, Promotionskolloquium, Saarbrücken, Germany, June 23 1997. Slides in postscript and in html and available.
Stålmarck's Method as an Oz Program, given at the Swedish company Logikkonsult, Stockholm, Sweden, January 24 1997.
Objects in Oz, given at the National University of Singapore, Singapore, January 16 1997. Slides in postscript and in html available.

1996

COMPOzE---Intention-based Music Composition through Constraint Programming, given at the 8th International Conference on Tools with Artificial Intelligence, Toulouse, France, November 16-19 1996. Slides in postscript and in html plus some screen shots available.
Panel discussion on Constraints and Agents during CP'96, at Cambridge, Massachusetts, August 19-23 1996.
Don't Be Puzzled! given at the Workshop on Constraint Programming Applications: An Inventory and Taxonomy, at Cambridge, Massachusetts, August 19 1996.
COMPOzE, talk and demo, at SICS, Tuesday, June 25 1996.
Don't Be Puzzled...by Constraint Programming in Oz, at the Swedish company Logikkonsult, Wednesday, July 3.

1995

Glinda: A Meta-Circular Interpreter for Oz, given at the First International Workshop on Oz Programming, WOz'95, on December 1, 1995, at Martigny, Switzerland. Slides available.
Munchkins: A Shell for Distributed Multi-user Games, given at the First International Workshop on Oz Programming, WOz'95, at Martigny, Switzerland, on November 30, 1995. Slides available.
Getting Started in Oz: Functions, Objects, Concurrency. A Two Hour Tutorial, given at the First International Workshop on Oz Programming, WOz'95, at Martigny, Switzerland, on November 30, 1995. Material available
An Oz Tutorial, Introduction to Oz for the Programmer, given together with Christian Schulte and Jörg Würtz at DFKI on April 25, 1995.

1994

Objects in Higher-order Concurrent Constraint Programming with State, given at the ECOOP'94 Workshop W4 on The logical Foundations of Object-Oriented Programming, on July 4, 1994, at Bologna, Italy.
Objects in Higher-order Concurrent Constraint Programming with State, given at the ECOOP'94 Workshop W9 on Coordination Models and Languages for Parallelism and Distribution, at Bologna, Italy, on July 5, 1994.

1992

Objekte in Oz, given at the Workshop Logisches Programmieren, at Darmstadt, Germany, on October 12-14 1992.
Refining Completion Modulo AC1, given at the 3rd International Workshop on Conditional Term Rewriting Systems, at Pont-à-Mousson, France, on July 8-10 1992.