JELIA 2000 Final call

Mon Apr 24 12:26:32 UTC 2000

Please see below the final call for papers for Jelia 2000

Apologies for multiple copies of this message

---

             Final Call for Papers

                 JELIA 2000

   7th European Workshop on Logics in Artificial Intelligence

        September 29--October 2, M\'alaga, Spain

           http://www.ctima.uma.es/jelia/

Scope:

 The European Workshop on Logics in AI provides a major biennial forum
for the discussion of logic-oriented approaches to artificial
intelligence.  Following previous meetings in France (1988), The
Netherlands (1990), Germany (1992), England (1994), Portugal (1996)
and Germany (1998), the seventh workshop will be held in M\'alaga,  Spain,
Sept.
29--Oct. 2, 2000.  It is organized by the Research Group of Mathematics
Applied
to Computing  (GIMAC) of the University of M\'alaga.

The workshop will include submitted contributions and four invited papers,
all of which will be presented in plenary
sessions.

As in previous workshops, the aim is to bring together researchers
involved in all aspects of logic in artificial intelligence.
 Papers are sought in areas which include (but are not
limited to) the following
topics:

- Foundations of logic programming and knowledge-based systems
- Automated theorem proving
-  Knowledge representation
-  Non-classical logics
-  Nonmonotonic reasoning and belief revision
-  Abductive and inductive reasoning
-  Reasoning about action and planning
-  Foundations of multi-agent systems
-  Program verfication
-  Hybrid reasoning systems
-  Applications of logic-based systems
-  Logics in machine learning

Submissions:

Authors are invited to
submit a draft of a full paper
(maximum 15 pages, the title page must contain a classification
of the topic covered, preferably using the list of topics above).
The paper should contain a succinct statement of the issues and
of their motivation, a summary of the main results, and a brief
explanation of their significance,
accessible to  non-specialist readers.
Electronic submission is  highly recommended.

Send postscript file by May 7, 2000 to:
Gerhard Brewka
Computer Science Institute
Universit\"at Leipzig
Augustusplatz 10-11 04109 Leipzig,
Germany
Email: brewka at informatik.uni-leipzig.de
Tel: ++49 341 9 73 22 35  Fax: ++49 341 9 73 22 99

In case of problems with access to internet,
it is possible to submit 4 copies
of the draft to Gerhard Brewka to the given address.

Invited Speakers:

- Johan van Benthem
- Thomas Eiter
- Reiner Haehnle
- Frank Wolter

Proceedings:

 The proceedings, containing all the accepted papers,  will appear in
the Lecture Notes in Artificial Intelligence series and will be
distributed in the workshop.  It is planned to publish a selection of
the best papers in the journal Studia Logica.

Simultaneous submission
to other conferences with published proceedings is not allowed.

On the venue:

M\'alaga is a cosmopolitan city and the capital of both the Costa del Sol
and the Province of M\'alaga. It was founded by the Phoenicians and since
then it has  been inhabited by Greeks, Romans and Moors.  The city was
conquered by the Reyes Cat\'olicos (Catholic Kings) in 1487. Famous for
its still uncompleted Cathedral, Alcazaba (Moorish Castle), Gibralfaro
(Fortress) and wonderful gardens, M\'alaga boasts many beautiful sights.
The famous painter Pablo Picasso was born in the City and today his house
is a popular tourist attraction.

Malaga has miles of beautiful sandy beaches and fantastic weather; there
are 320 sunny days per year and daily mean temperature at the end of
September is around 23° Celsius.  There is a modern and well organised
infrastructure and from here the
 major cities of Granada, Seville and C\'ordoba are easily accessible.
Malaga International Airport has regular flights to most major
destinations and is located just 10 minutes from the City centre.

Conference Chairs:

Inma P. de Guzm\'an
Manuel Ojeda Aciego

Programme Chairs:

Gerhard Brewka, Leipzig (D)
Lu\'\i s Moniz Pereira, Lisbon (P)

Programme Committee:

Jose Alferes, \'Evora (P)
Juergen Dix, Koblenz (D)
Patrice Enjalbert, Caen (F)
Luis Fari\~nas del Cerro, Toulouse (F)
Klaus Fischer, Saarbr\"ucken (D)
Uli Furbach, Koblenz (D)
Michael Gelfond,  Texas (USA)
Inma P. de Guzman, M\'alaga (E)
Petr H\'ajek, Prague (CZ)
Maurizio Lenzerini, Roma (I)
John-Jules Meyer, Utrecht (N)
Bernhard Nebel, Freiburg (D)
Ilkka Niemel\"a, Helsinki (FIN)
Manuel Ojeda Aciego, M\'alaga (E)
David Pearce, Saarbr\"ucken (D)
Henry Prakken, Utrecht (N)
Teodor Przymusinski, California (USA)
Michael Thielscher, Dresden (D)
V.S. Subrahmanian, Maryland (USA)
Mary-Anne Williams, Newcastle (AUS)
Michael Zakharyashev, Leeds (UK)

Important dates:

Submission deadline:  May 7, 2000
Author Notification:  June 17, 2000
Final version due on:  July 7, 2000
Workshop: Sept. 29 - Oct. 2, 2000

Electronic Contact:

Web: http://www.ctima.uma.es/jelia/
Email:  jelia at ctima.uma.es