Reunion Workshop on Implementations of Logic

Reunion Workshop on
Implementations of Logic

       Quick links:

    General information
    Speakers and attendance

General information

Reunion Workshop on Implementations on Logic will be held on Reunion Island, November 11-12, 2000, shortly after LPAR'2000, November 6-10, 2000.


The main theme of the workshop is how to implement logic efficiently. Typical topics of interest are:

The following areas will be represented.

Speakers and attendance

All speakers will be invited, and there is prebooked accommodation for them, up to a maximum of 25. If you would like attend without giving a talk, send email to Alexandre Riazanov.

The following people have given their preliminary agreement to give a talk:

Maurice Bruynooghe (Catholic University of Leuven)
Patrick Cousot (ENS)
John Harrison (Intel)
Ian Horrocks (University of Manchester)
Neil Jones (DIKU University of Copenhagen)
Bernd Löchner (Universität Kaiserslautern)
Robert Nieuwenhuis (Technical University of Catalonia)
Frank Pfenning (Carnegie Mellon University)
Stephan Schulz (Technische Universität München)
John Slaney (Australian National University)
Andrei Voronkov (University of Manchester)


The workshop will be held in Hotel les Aigrettes. Since most hotels were fully booked several month ago, we had to make preliminary booking which may cause some inconvenience for the participants (for example, changing a hotel may be required). To book the hotel for LPAR and/or the workshop, please contact Pascal Manoury at You should inform him of your arrival and departure dates and general requirements. Unfortunately (both for you and for the organizers) you cannot book a room directly. We cannot guarantee rooms in the main conference hotel, moreover PhD students may be asked to share a double room.

The prices in the main hotel are approximately 510FF (78E) a night per person occupying a room alone and 390FF (60E) a night per person for those who share a double room. These prices includes breakfast and dinner.

We are sorry for the inconvenience caused by the high tourist season.


The registration desk will be open in Hotel les Aigrettes on Sunday, Novemebr 5, 15:00-18:00, Monday, November 6, 9:00-12:30 and 14:00-17:00, Tuesday, November 7, 9:00-10:30, and Friday, November 10, 18:00-19:30.

The registration fees for the workshop are:

Registration Fees*Early RegistrationLate Registration
Regular Fee£80£100
Accompanying Persons£40£40
All payments for early registration must arrive by October 20.

* All fees include the workshop dinner and coffee breaks.

The registration fees for LPAR are:

Registration Fees*Early RegistrationLate Registration
Regular Fee£245£265
Accompanying Persons£70£70
All payments for early registration must arrive by October 20.

* All fees include reception, conference dinner and coffee breaks. Regular and Student fees also include the conference proceedings.

Payment Methods:

To register fill in the electronic registration form.