lisplog@uklirb.informatik.uni-kl.de (Bernd Bachmann AG Richter) (04/26/91)
2nd Russian Conference on Logic Programming
SECOND ANNOUNCEMENT AND CALL FOR PAPERS
September 11-16, 1991, Leningrad
The 2nd Russian Conference on Logic Programming is organized
by the International Association for Logic Programming, Russian
Association for Logic Programming, Joint Venture "Intertech"
(Moscow), International Laboratory of Intelligent Systems
(Novosibirsk) and Eurobalt Corp (Leningrad). It will take place
from September 11 to September 16. The Conference starts in
Leningrad and continues on a boat travelling through beautiful
surroundings of Leningrad. The Conference program is a welcoming
party, 4 days of technical sessions and conference dinner. The
boat can accommodate 150 participants. We expect about 100
participants from the USSR and about 50 participants from abroad.
The conference fee is 400 USD for participants (200 USD for
students) and 450 USD for accompanying persons. The conference fee
includes full room and board on the ship from the afternoon of
September 11 to the morning of September 16. Participants from
Eastern Europe should contact one of the co-chairs of the
Organizing Committee about the possibility of paying in local
currency. The official language is English. Conference proceedings
will be published in a volume of the series Lecture Notes in
Artificial Intelligence by Springer Verlag. Papers in all areas of
Logic Programming are welcome. Following policy of the
International Logic Programming Symposium we consider logic
programming in a wider sense. Topics of interest besides
traditional include (but are not limited to):
Knowledge representation and reasoning;
Non-monotonic reasoning;
Programming in constructive logic;
Computational interpretation of various logics;
Applications;
Logic databases
Send 5 copies of an extended
abstract (up to 15 double spaced pages) to the Conference
Secretary at the following address:
Gorchinskaya O.Yu.
Institute of Control Systems
Profsoyuznaya 65
117342 Moscow
USSR
Important dates:
June 1 - deadline for submission of papers;
June 20 - notification of acceptance or rejection
Due to problems of communicating by mail the organizing
committee has decided to publish proceedings after the Conference.
Participants should deliver camera-ready copies at the beginning
of the Conference.
We recommend you send the paper by courier mail or else at
least one month before the deadline for submission. In other case
we can not guarantee that it will arrive on time. We also ask you
to send separately by email or fax the following information: full
name, address, title of the talk, phone and fax numbers to one of
the following addresses:
Andrei Voronkov
fax +7-383-2-350860
email voronkov@math.nsk.su
Eugene Dantsin
email dantsin@tor.spb.su
Those who wish to participate without presenting a paper should
send the same information except for the title of the talk to the
same fax number and/or email addresses. Ordinary mail can be
extremely slow (usually three weeks from Europe but sometimes much
longer. So the only reliable way to communicate is via fax,
telephone or email. For this reason we shall try to consider also
some late applications (but not very late).
Invited Speakers:
M.Bruynooghe (Katholieke Univ., Leuven, Belgium)
F.Bry (ECRC, Munich, Germany)
Yu.Gavrilenko (Computer Center, Moscow, Russia)
D.Miller (Univ. of Pennsylvania, PA, USA)
G.Mints (Inst. of Cybernetics, Tallinn, Estonia)
E.Shapiro (Weizmann Inst.of Sci., Rehovot, Israel)
Program Committee: Organizing Committee:
D.Yu.Boulanger Moscow E.Ya.Dantsin (Leningrad)
E.Ya.Dantsin (Leningrad) O.Yu.Gorchinskaya(Moscow)
A.I.Degtyarev (Kiev) R.Freidson (Leningrad) - co-chair
A.Ya.Dikovskii (Moscow) -chair A.A.Voronkov (Novosibirsk) - co-chair
Yu.Gavrilenko (Moscow)
N.I.Iliinski (Moscow)
G.E.Mints (Tallinn)
K.P.Vershinin (Kiev)
A.A.Voronkov (Novosibirsk)
Other information may be obtained by the following telephone
numbers:
Olga Gorchinskaya (Moscow) +7-095-431-22-48
+7-095-334-92-49
Eugene Dantsin (Leningrad) +7-812-511-30-52
+7-812-259-51-85
Robert Freidson (Leningrad) +7-812-233-62-91
Andrei Voronkov (Novosibirsk) +7-383-2-350860
Participants should send their registration fees to arrive
before September 1 to:
Cheryl Anderson
Association for Logic Programming
Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ
UK
Checks should be made payable to Association for Logic Programming
in US Dollars only.