============================ Text =============================== J E L I A '9 6 5th European Workshop on Logics in AI Evora, Portugal, September 30th - October 3rd, 1996 Preliminary Announcement and Call for Papers -------------------------------------------- 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), and England (1994) the fifth workshop will be held in Evora, Portugal, from September 30th - October 3rd, 1996. The workshop will be hosted by the University of Evora. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. A particular emphasis of the 1996 workshop will be the use of Logics, and Logic Programming, for modelling multi-agents, and research papers in this area are particularly encouraged. It is foreseen to hold an informal COMPULOG-NET workshop, jointly with JELIA'96, devoted to such ongoing work. The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are furthermore sought in areas which include (but are not limited to) the following topics: o foundations of logic programming and knowledge-based systems o automated theorem proving o knowledge representation o modal, epistemic and temporal logics o constructive and many-valued logics o nonmonotonic reasoning and belief revision o abductive and inductive reasoning o partial and dynamic logics o hybrid reasoning systems o applications of logic-based systems All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance. It is noteworthy that in the week prior to JELIA'96, there will take place near Lisbon, sponsored by the Portuguese Association for Artificial Intelligence, its 5th International Summer School on AI, EAIA'96, devoted to the topic of "Constraints". For further information please contact the organizer, Prof. Pedro Barahona (pb@fct.unl.pt). Submission Requirements Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Luis Pereira) around the end of March 1996 (precise date, to be announced). It is expected that the Proceedings will be published in the LNAI series by Springer-Verlag, as in previous workshops, and made available at the workshop. Each copy of submitted papers should include a separate title page giving the names, addresses, phone numbers and email addresses (where available) of all authors, and a list of keywords identifying the subject area of the paper. Papers should be a maximum of 16 pages (including title, abstract, figures and diagrams, but excluding references and the separate title page), and printed on A4 paper in 12 point type with a maximum of 38 lines per page and 75 characters per line (corresponding to LaTeX article style, 12 point). Double-sided submissions are preferred. Electronic or faxed submissions will not be accepted. Further enquiries should be addressed to the Workshop Chair at the address below. Programme Co-Chairs Luis Moniz Pereira Departamento de Informatica Universidade Nova de Lisboa P-2825 Monte da Caparica Portugal email: lmp@fct.unl.pt fax: [+351] 1 295 5641 Ewa Orlowska Polish Academy of Sciences Warsaw, Poland email: orlowska@plearn.edu.pl Workshop Chair Jose J. Alferes Departamento de Matematica Universidade de Evora P-7000 Evora Portugal email: jja@uevora.pt fax: [+351] 66 744 968 Programme Committee - J. Alferes, Univ. Evora, Portugal - Ricardo Caferra, LIFIA-IMAG, Grenoble, France - Karlo Cellucci, University of Rome, Rome, Italy - Luis Farinas del Cerro, IRIT, Toulouse, France - Phan Minh Dung, AIT, Bangkok, Thailand - Jan van Eijck, CWI, Amsterdam, Netherlands - Patrice.Enjalbert, Univ. de Caen, France - Ulrich Furbach, Univ. Koblenz-Landau, Germany - Antony Galton, University of Exeter, Exeter, UK - M. Gelfond, Univ. of Texas at El Paso, USA - Georg Gottlob, Tech. Univ. Wien, Austria - Craig MacNish, University of York, York, UK - Victor W. Marek, Univ. of Kentucky, Lexington, USA - Thorne McCarty, Rutgers Univ., USA - Wolfgang Nejdl, Univ. of Hannover, Germany - E.Orlowska, Polish Acad. of Sciences, Poland - David Pearce, DFKI, Germany - Luis Moniz Pereira, Univ. Nova Lisboa, Lisbon, Portugal - Teodor Przymusinski, Univ California at Riverside, USA - Hans Rott, Univ. Konstanz, Konstanz, Germany About the Venue... Evora, located 130Km southeast of Lisbon, and 60km from the spanish border, is the capital of the province of the upper Alentejo, and is one of the oldest cities in the Iberian Peninsula. As a Roman town, it was known as ``Liberalitas Julia'', and it became particularly important during the late Middle Ages. In 1165 Evora was captured from the Moors, by the portuguese monarch D. Afonso Henriques, and it has since occupied an important place in the history of the nation. In the XIV, XV and XVI centuries Evora became the favourite seat of the Court and owing to its cultural and political developments it was soon, in those days, the second most important city of the kingdom, next to Lisbon. Evora is also an important centre for architecture, rich as it is in monuments varying in style and decoration from the Gothic Manueline and Mudejar to the Moorish, this latter deriving from the Mohamedan influence in southern Spain. In 1559, Cardinal D. Henrique, the future King, founded the University of the Holy Ghost for the Companhia de Jesus. This was a cultural and religious Jesuit establishement and thus was later closed by the Marquis of Pombal, in 1759. The University of Evora was reopened in 1973, and its main building is still the same of the old University. More information about Evora can be found in: http://www.puug.pt/cmevora/ing_home.html ======================= Latex ============= \documentstyle{article} \topmargin-0.5in \marginparwidth 0pt \oddsidemargin 0pt \evensidemargin 0pt \marginparsep 0pt \textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt \pagestyle{empty} \begin{document} \begin{center} {\bf PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS}\\[2ex] {\large 5th European Workshop on Logics in AI }\\[2ex] {\Large\bf JELIA'96 }\\[2ex] {\large\it September 30th - October 3rd, 1996, \'Evora, Portugal} \end{center} \vspace{.2in} \begin{minipage}[t]{2.4in}% first column \parskip 4pt {\bf Programme Co-Chairs:} \\[1mm] Lu\'{\i}s Moniz Pereira\\ Departamento de Inform\'atica\\ Universidade Nova de Lisboa\\ P-2825 Monte da Caparica, Portugal\\ {\tt lmp@fct.unl.pt}\\[3mm] Ewa Orlowska\\ Polish Academy of Sciences\\ Warsaw, Poland\\ {\tt orlowska@plearn.edu.pl}\\ \smallskip {\bf Program Committee:}\\[1mm] J. Alferes, {\it Univ. \'Evora, Portugal}\\ R. Caferra, {\it LIFIA-IMAG, France}\\ K. Cellucci, {\it Univ. of Rome, Italy}\\ L. F. del Cerro, {\it IRIT, France}\\ P.M. Dung, {\it AIT, Thailand}\\ J. Eijck, {\it CWI, Netherlands}\\ P. Enjalbert, {\it Univ. Caen, France}\\ U. Furbach, {\it Koblenz-Landau, Germany}\\ A. Galton, {\it Univ. of Exeter, UK}\\ M. Gelfond, {\it UT at El Paso, USA}\\ G. Gottlob, {\it TU Wien, Austria}\\ C. MacNish, {\it Univ. of York, UK}\\ V. Marek, {\it Univ. of Kentucky, USA}\\ T. McCarty, {\it Rutgers Univ., USA}\\ W. Nejdl, {\it Univ. of Hannover, Germany}\\ E.Orlowska, {\it Polish Acad. of Sciences}\\ D. Pearce, {\it DFKI, Germany}\\ L.M. Pereira, {\it UNL, Portugal}\\ T. Przymusinski, {\it UC Riverside, USA}\\ H. Rott, {\it Univ. Konstanz, Germany}\\[1mm] \smallskip {\bf Workshop Chair:} \\[1mm] Jos\'e J. Alferes\\ Departamento de Matem\'atica\\ Universidade de \'Evora\\ P-7000 \'Evora, Portugal\\ {\tt jja@uevora.pt} \end{minipage} \hspace{.25in} \begin{minipage}[t]{4.0in}% second column \parskip 4pt 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), and England (1994) the fifth workshop will be held in \'Evora, Portugal, from September 30th - October 3rd, 1996. The workshop will be hosted by the University of \'Evora. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. A particular emphasis of the 1996 workshop will be the use of Logics, and Logic Programming, for modelling multi-agents, and research papers in this area are particularly encouraged. It is foreseen to hold an informal COMPULOG-NET workshop, jointly with JELIA'96, devoted to such ongoing work. The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are furthermore sought in areas which include (but are not limited to) the following topics:\vspace{-.1in} \begin{itemize} \item foundations of logic programming and knowledge-based systems;\vspace{-.1in} \item automated theorem proving;\vspace{-.1in} \item knowledge representation;\vspace{-.1in} \item modal, epistemic and temporal logics;\vspace{-.1in} \item constructive and many-valued logics;\vspace{-.1in} \item nonmonotonic reasoning and belief revision;\vspace{-.1in} \item abductive and inductive reasoning;\vspace{-.1in} \item partial and dynamic logics;\vspace{-.1in} \item hybrid reasoning systems;\vspace{-.1in} \item applications of logic-based systems. \end{itemize} All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance. It is noteworthy that in the week prior to JELIA'96, there will take place near Lisbon, sponsored by the Portuguese Association for Artificial Intelligence, its 5th International Summer School on AI, EAIA'96, devoted to the topic of ``Constraints". For further information please contact the organizer, Prof. Pedro Barahona ({\tt pb@fct.unl.pt}). \end{minipage} \newpage {\bf Submission Requirements}\\ Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Lu\'{\i}s Pereira) around the end of March 1996 {\em (precise date, to be announced)}. It is expected that the Proceedings will be published in the LNAI series by Springer-Verlag, as in previous workshops, and made available at the workshop. Each copy of submitted papers should include a separate title page giving the names, addresses, phone numbers and email addresses (where available) of all authors, and a list of keywords identifying the subject area of the paper. Papers should be a maximum of 16 pages (including title, abstract, figures and diagrams, but excluding references and the separate title page), and printed on A4 paper in 12 point type with a maximum of 38 lines per page and 75 characters per line (corresponding to LaTeX article style, 12 point). Double-sided submissions are preferred. Electronic or faxed submissions will not be accepted. Further enquiries should be addressed to the Workshop Chair.\\ {\bf About the Venue...}\\ \'Evora, located 130Km southeast of Lisbon, and 60km from the spanish border, is the capital of the province of the upper Alentejo, and is one of the oldest cities in the Iberian Peninsula. As a Roman town, it was known as ``Liberalitas Julia'', and it became particularly important during the late Middle Ages. In 1165 \'Evora was captured from the Moors, by the portuguese monarch D. Afonso Henriques, and it has since occupied an important place in the history of the nation. In the XIV, XV and XVI centuries \'Evora became the favourite seat of the Court and owing to its cultural and political developments it was soon, in those days, the second most important city of the kingdom, next to Lisbon. \'Evora is also an important centre for architecture, rich as it is in monuments varying in style and decoration from the Gothic Manueline and Mudejar to the Moorish, this latter deriving from the Mohamedan influence in southern Spain. In 1559, Cardinal D. Henrique, the future King, founded the University of the Holy Ghost for the Companhia de Jesus. This was a cultural and religious Jesuit establishement and thus was later closed by the Marquis of Pombal, in 1759. The University of \'Evora was reopened in 1973, and its main building is still the same of the old University. More information about \'Evora can be found in: {\tt http://www.puug.pt/cmevora/ing\_home.html} \end{document}