7th International Conference on
Logic for Programming and
Automated Reasoning

       Quick links:

    General information
    Invited speakers
    Programme committee
    Organizing committee
    Submission of papers
    Important dates
    Reunion Island
    Travel Information
    Accommodation and conference site
    History of LPAR
    Home page of LPAR'99
    The list of accepted papers
    Registration information

General information

LPAR'2000 will be held November 6-10, 2000, on Reunion Island, a small french island in the Indian Ocean, to the east of Madagascar. It will be followed by a Workshop on Implementations of Logic, November 11-12, 2000.


  • automated reasoning
  • interactive theorem proving
  • implementations of logic
  • design of logical frameworks
  • program and system verification
  • model checking
  • rewriting
  • logic programming
  • constraints programming
  • logic and databases
  • logic and computational complexity
  • specification using logics
  • lambda and combinatory calculi
  • constructive logic and type theory
  • computional interpretations of logic
  • logical foundations of programming
  • logical aspects of concurrency
  • program extraction from proofs
  • linear logic
  • modal and temporal logics
  • knowledge representation and reasoning
  • reasoning about actions
  • description logics
  • nonmonotonic reasoning

Invited speakers

This list will be extended.

BrunoCourcelle (Bordeaux-1 University)
Georg Gottlob (Technische Universität Wien)
Erich Grädel (RWTH Aachen)
Michael Rusinowitch (LORIA-INRIA-Lorraine)

Programme Committee

Stefano Berardi (Università di Torino)
Manfred Broy (Technische Universität München)
Maurice Bruynooghe (Catholic University of Leuven)
Hubert Comon (Ecole Normale Supérieure de Cachan)
Gilles Dowek (INRIA)
Harald Ganzinger (Max-Planck-Institute)
Mike Gordon (University of Cambridge)
Yuri Gurevich (Microsoft Research)
Neil Jones (DIKU University of Copenhagen)
Teodor Knapik (Université de la Réunion)
Yves Lafont (Université de la Méditerrannée)
Daniel Leivant (Indiana University)
Maurizio Lenzerini (Università di Roma)
Giorgio Levi (Pisa University)
Leonid Libkin (Bell Laboratories)
Patrick Lincoln (SRI International)
David McAllester (AT&T Labs Research)
Robert Nieuwenhuis (Technical University of Catalonia)
Mitsuhiro Okada (Keio University)
Catuscia Palamidessi (Pennsylvania State University)
Leszek Pacholski (University of Wroclaw)
Michel Parigot (University of Paris VII), co-chair
Frank Pfenning (Carnegie Mellon University)
Helmut Schwichtenberg (Lüdwig-Maximilian University, Munich)
Jan Smith (Chalmers University)
Wolfgang Thomas (RWTH Aachen)
Pascal van Hentenryck (Brown University)
Andrei Voronkov (University of Manchester), co-chair

Organizing Committee

Teodor Knapik (University of Reunion)
Pascal Manoury (University of Paris VI)
Andrei Voronkov (University of Manchester)

Submission of papers

Submitted papers must be original and not submitted concurrently for publication to a journal or to another conference. Submission by members of the Program Committee is not allowed.

Both "theoretical" papers and "experimental" papers are welcome. The first category is intended to contain new theoretical results, the second one to describe implementations of systems, to report experiments with implemented systems, or to compare implemented systems.

Submitted "theoretical" papers should not be longer than 15 proceedings pages. If proofs do not fit in 15 pages, add an appendix with proofs or refer to a full version of the article on the Web. Submitted "experimental" papers should not be longer than 10 proceedings pages.

The proceedings of LPAR'2000 will be published by Springer-Verlag in the LNAI series. Authors of accepted papers will be requested to sign a form transfering copyright of their contribution to Springer-Verlag. Authors are encouraged to use LaTeX2e and the Springer llncs class files. If you use this style, turn on page numbers using \pagestyle{plain}.

Papers in the postscript or PDF format, preferably uuencoded and zipped or gzipped, should be sent by email to lpar00-submission@cs.man.ac.uk. Title, abstract, and the list of authors with their email addresses should be sent to the same address in a separate message.

All questions related to submission should be sent to the program chairs Michel Parigot (parigot@logique.jussieu.fr) and Andrei Voronkov (voronkov@cs.man.ac.uk)


The proceedings will be published in the series Lecture Notes in Artificial Intelligence by Springer Verlag and available at the conference. The proceedings of the previous LPAR conferences have appeared as LNAI volumes 592, 624, 698, 822, and 1705.

Important dates

Submission: June 1
Notification: July 15
Final version: August 10
Conference: November 6-10
Worskhop on implementations of logic: November 11-12.

Reunion Island

Between Mauritius and Madagascar, Reunion Island is the only part of the European Union in the southern hemisphere.  Great, intense and spectacular, it is not one a typical tropical island with just white sandy beaches and coconut palms, but one with breathtaking contrasts between the three cirques (Mafate, Salazie and Cilaos) covered by a dense vegetation and surrounded by vertiginous mountains, a moonlike countryside at La Plaine des Sables, the summit of Piton des Neiges (3070m), an active volcano called le Piton de la Fournaise and some white or black sandy beaches.

Growing longer with repeated volcanic eruptions, the island has currently the surface area of 2512 square km and a population of 660 000. It is probably one of the most successful melting-pots of the world, where Christians, Muslims and Hindus live side by side in perfect harmony. The mixture of culture and origins (Europeans, Africans, Indians, Chinese) contributes to the richness of tradition and cuisine.

In November, the climate is mild, with daily temperatures between 26 deg. C and 30 deg. C at sea level. The outdoor activities offered by the island include surfing, windsurfing, sailing, diving, hiking, climbing, canyoning, rafting and paragliding.

More information about Reunion Island can be found on the Web pages by Corinne Narassiguin and Reunion Tourist Board.

Formalities: as  for France.
Health: no vacination or special medication are necessary.

Travel Information and Maps

Other than Singapore, France is the only country of the northern hemisphere which has direct flight connections with Saint Denis (the capital of Reunion). There are several flights daily from Paris and weekly from Lyon, Marseille and Toulouse. Here is the sample of the lowest fares of main companies assuming the departure from Paris on Nov 4 and return on Nov 12.
Air France
656 EUR
622 EUR
(Nouvelles Frontières)
561 EUR
Air Liberté
594 EUR

Note that these fares are often unknown to other companies or travel agencies. Thus, if you want to benefit from them, you may have to contact the aforementioned companies directly. Moreover, the number of places being limited, early booking is recommended.

Saint Denis has also direct connections provided by Air Austral with Africa (Johannesburg, Harare, Nairobi) and neighbouring islands (Mauritius, Madagascar, Seychelles).

Australia (Melbourne, Perth), India (Bombay, New Delhi) and South-eastern Asia (Hong Kong, Kuala Lumpur, Singapore) have connections to Reunion via Mauritius on Air Mauritius which also provides interesting connection to Africa. However their flights, especially from Australia are often fully booked half a year in advance.

Accommodation and conference site

The conference and the workshop will be held in Hotel les Aigrettes.

Some information on how to reach the hotel can be found below:

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.

It is recommended that you arrive on November 5 and/or depart on November 10 or 12, it may save you from having to change your hotel.

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 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.

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.

Payment Methods:

To register fill in the electronic registration form.

History of LPAR

LPAR grew out of the 1st and 2nd Russian Conferences on Logic Programming, held in Irkutsk, 1990 and St.Petersburg, 1991 on board the ship "Michail Lomonosov". The idea to organize the conference was largely due to Robert Kowalski who proposed to create Russian Association for Logic Programming.

In 1992 it has been decided to extend the scope of the conference. Due to considerable interest in automated reasoning in the Former Soviet Union, the conference was renamed to "Logic Programming and Automated Reasoning" (LPAR). Three more conferences were held in 1992 on board the ship "Michail Lomonosov", in 1993 in St.Petersburg, and in 1994 in Kiev, Ukraine, on board the ship "Marshal Koshevoi". They contributed to maintain and develop research in Automated Reasoning in these countries.

For 5 years later, there were no more conferences because of the difficulties of organizing conferences in Former Soviet Union at that time. In 1998 Geoff Sutcliffe was very close to putting on the conference in Cape Town, but at the last moment it did not work out.

LPAR was reactivated in 1999, thanks to Georgians, who organized it in Tbilisi. Following the suggestion of Michel Parigot, the conference has changed its name again to extend its logic part beyond logic programming: "Logic for Programming and Automated Reasoning" (with the same acronym LPAR).

This is the first time that the conference will be held not in a part of the former Soviet Union.

LPAR'2001 will be held in La Habana, Cuba.