Reunion Workshop on
Implementations of Logic

Quick links:     General information     Topics     Speakers and attendance     Accommodation     Registration

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.

Topics

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

• how to prune search space;
• algorithms and data structures;
• implementation heuristics;
• experiments and case studies.

• Model checking
• Software and hardware verification systems
• First-order logic
• Constraint systems
• Propositional logic (SAT)
• Higher-order logic
• Description logics
• Large knowledge bases

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)

Accommodation

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 Pascal.Manoury@pps.jussieu.fr. 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.

Registration

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:

* All fees include the workshop dinner and coffee breaks.

The registration fees for LPAR are:

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

Payment Methods:

• Personal/Bank check must be in pound sterling (British pounds) drawn on a U.K. bank, made payable to AcademSoft Ltd. Checks should be mailed to: Andrei Voronkov, The University of Manchester, Oxford Road, Manchester M13 9PL.

• Transfers should be made to AcademSoft Ltd. The bank account details are as follows. Bank: NatWest. Account no.: 14194104. Branch sort code: 01-0657. Bank address: NatWest, University Precinct Branch, 9/11 Precinct Centre, Oxford Road, Manchester M13 9RN, UK

• Payment by card is unfortunately not accepted.

To register fill in the electronic registration form.