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.
|
|
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)
|
|
Teodor Knapik
(University of Reunion)
Pascal Manoury
(University of Paris VI)
Andrei Voronkov
(University of Manchester)
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.
Submission: June 1
Notification: July 15
Final version: August 10
Conference: November 6-10
Worskhop on implementations of logic:
November 11-12.
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.
|
|
|
|
|
|
|
(Nouvelles Frontières) |
|
|
|
|
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.
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 Registration | Late Registration |
| Regular Fee | £245 | £265 |
| Students | £175 | £185 |
| Accompanying Persons | £70 | £70 |
* 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 Registration | Late Registration |
| Regular Fee | £80 | £100 |
| Accompanying Persons | £40 | £40 |
* All fees include the workshop dinner and coffee breaks.
Payment Methods:
To register fill in the electronic registration form.
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.
Michel Parigot
(University of Paris VII), co-chair
