Forwarded message from [sicstus-users@sics.se ] sent originally on Mon, 24 Apr 2000 14:26:32 +0200: : 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@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@ctima.uma.es : : Sponsored by: : : Universidad de M'alaga, : Ayuntamiento de M'alaga, : Diputaci'on Provincial de M'alaga, : Patronato de Turismo de la Costa del Sol, : Turismo Andaluz, : Junta de Andaluc'\i a, : Banesto, : Unicaja, : Ciencia Digital, : Compulog Net : : +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ : + + : + Manuel Ojeda Aciego + : + Dept. Matematica Aplicada + : + Universidad de Malaga Tlf: +34 95 213 2871 + : + Aptdo. Correos 4114 Fax: +34 95 213 2766 + : + 29080 Malaga. SPAIN http://www.ctima.uma.es/aciego + : + + : + DONATE FREE FOOD http://www.thehungersite.com + : +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html