From craig@minster.york.ac.uk Mon Nov 22 20:52:32 EST 1993 Article: 5106 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5106 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ECE.CMU.EDU!europa.eng.gtefsd.com!uunet!sparky!rick From: craig@minster.york.ac.uk Subject: European Workshop on Logics in AI Message-ID: <1993Nov21.033657.2253@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Sterling Software Date: Sun, 21 Nov 1993 03:36:57 GMT Approved: rick@sparky.sterling.com Expires: Tue, 15 Feb 1994 08:00:00 GMT Lines: 323 X-Md4-Signature: e059fe120e0350a8dd9c238f771967ed [Latex version follows text version] ======================== Text Version ======================== J E L I A '9 4 4th European Workshop on Logics in AI York, September 5-8, 1994 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) and Germany (1992), the fourth workshop will be held in York, England, from 5-8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are 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 In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance. Submission Requirements Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Luis Pereira) by Monday the 14th of February, 1994. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. It is expected that the Proceedings will be published by Springer-Verlag, as in previous workshops, and made available at York. 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 Prof. Luis Moniz Pereira Departamento de Informatica Universidade Nova de Lisboa 2825 Monte da Caparica Portugal email: lmp@fct.unl.pt fax: [+351] 1 295 5641 Dr David Pearce LWI, Institut fur Philosophie Freie Universitat Berlin Habelschwerdter Allee 30 1000 Berlin 33 Germany fax: [+49] 30 838 64 30 Workshop Chair Dr Craig MacNish Department of Computer Science University of York York Y01 5DD, UK email: craig@minster.york.ac.uk fax: [+44] 904 432767 About the Venue... York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster - the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus. ======================== LaTeX Version ======================== \documentstyle[11pt]{article} \setlength{\parindent}{0pt} \addtolength{\parskip}{0.6\baselineskip} \pagestyle{empty} \addtolength{\textwidth}{1.3in} \addtolength{\oddsidemargin}{-0.7in} \addtolength{\evensidemargin}{-0.7in} \addtolength{\textheight}{2.1in} \addtolength{\headheight}{-0.8in} \begin{document} \begin{center} {\huge\bf JELIA'94} \\ {\small\bf Journ\'{e}es Europ\'{e}ennes sur la Logique en Intelligence Artificielle} {\Large \rule{0ex}{2.2ex} 4th European Workshop on Logics in AI} \\ {\Large \rule{0ex}{2.2ex} York, September 5--8, 1994} {\Large\bf Call for Papers} \end{center} 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) and Germany (1992), the fourth workshop will be held in York, England, from 5--8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are sought in areas which include (but are not limited to) the following topics: \begin{minipage}{3in} \begin{itemize} \item foundations of logic programming and knowledge-based systems \item automated theorem proving \item knowledge representation \item modal, epistemic and temporal logics \item constructive and many-valued logics \end{itemize} \end{minipage} \hspace*{0.5cm} \begin{minipage}{2.7in} \begin{itemize} \item nonmonotonic reasoning and belief revision \item abductive and inductive reasoning \item partial and dynamic logics \item hybrid reasoning systems \item applications of logic-based systems \end{itemize} \end{minipage} In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance. \begin{center} {\large\bf Submission Requirements} \end{center} Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Lu\'{\i}s Pereira) by Monday the {\bf 14th of February, 1994}. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. It is expected that the Proceedings will be published by Springer-Verlag, as in previous workshops, and made available at York. 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. \begin{center} {\bf Programme Co-Chairs} \begin{tabular}{l} Prof.\ Lu\'{\i}s Moniz Pereira \\ Departamento de Informatica \\ Universidade Nova de Lisboa\\ 2825 Monte da Caparica\\ Portugal \\ email: lmp@fct.unl.pt \\ fax: [+351] 1 295 5641 \end{tabular} \hspace*{1.5cm} \begin{tabular}{l} Dr David Pearce \\ LWI, Institut f\"{u}r Philosophie\\ Freie Universit\"{a}t Berlin\\ Habelschwerdter Allee 30 \\ 1000 Berlin 33 \\ Germany \\ fax: [+49] 30 838 64 30 \end{tabular} \end{center} \begin{center} {\bf Workshop Chair} \begin{tabular}{l} Dr Craig MacNish \\ Department of Computer Science \\ University of York, York Y01 5DD, UK \\ email: craig@minster.york.ac.uk \\ fax: [+44] 904 432767 \end{tabular} \end{center} \begin{center} {\large\bf About the Venue\ldots} \end{center} York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster---the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus. \end{document} Article 9113 of comp.lang.prolog: Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:9113 Path: honeydew.srv.cs.cmu.edu!fs7.ECE.CMU.EDU!europa.eng.gtefsd.com!uunet!pipex!uknet!yorkohm!minster!craig From: craig@minster.york.ac.uk Newsgroups: comp.lang.prolog Subject: CFP: European Workshop on Logics in AI Message-ID: <754315869.4758@minster.york.ac.uk> Date: 26 Nov 1993 12:11:10 GMT Distribution: world Organization: Department of Computer Science, University of York, England Lines: 323 [Latex version follows] ======================== Text Version ======================== J E L I A '9 4 4th European Workshop on Logics in AI York, September 5-8, 1994 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) and Germany (1992), the fourth workshop will be held in York, England, from 5-8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are 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 In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance. Submission Requirements Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Luis Pereira) by Monday the 14th of February, 1994. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. It is expected that the Proceedings will be published by Springer-Verlag, as in previous workshops, and made available at York. 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 Prof. Luis Moniz Pereira Departamento de Informatica Universidade Nova de Lisboa 2825 Monte da Caparica Portugal email: lmp@fct.unl.pt fax: [+351] 1 295 5641 Dr David Pearce LWI, Institut fur Philosophie Freie Universitat Berlin Habelschwerdter Allee 30 1000 Berlin 33 Germany fax: [+49] 30 838 64 30 Workshop Chair Dr Craig MacNish Department of Computer Science University of York York Y01 5DD, UK email: craig@minster.york.ac.uk fax: [+44] 904 432767 About the Venue... York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster - the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus. ======================== LaTeX Version ======================== \documentstyle[11pt]{article} \setlength{\parindent}{0pt} \addtolength{\parskip}{0.6\baselineskip} \pagestyle{empty} \addtolength{\textwidth}{1.3in} \addtolength{\oddsidemargin}{-0.7in} \addtolength{\evensidemargin}{-0.7in} \addtolength{\textheight}{2.1in} \addtolength{\headheight}{-0.8in} \begin{document} \begin{center} {\huge\bf JELIA'94} \\ {\small\bf Journ\'{e}es Europ\'{e}ennes sur la Logique en Intelligence Artificielle} {\Large \rule{0ex}{2.2ex} 4th European Workshop on Logics in AI} \\ {\Large \rule{0ex}{2.2ex} York, September 5--8, 1994} {\Large\bf Call for Papers} \end{center} 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) and Germany (1992), the fourth workshop will be held in York, England, from 5--8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are sought in areas which include (but are not limited to) the following topics: \begin{minipage}{3in} \begin{itemize} \item foundations of logic programming and knowledge-based systems \item automated theorem proving \item knowledge representation \item modal, epistemic and temporal logics \item constructive and many-valued logics \end{itemize} \end{minipage} \hspace*{0.5cm} \begin{minipage}{2.7in} \begin{itemize} \item nonmonotonic reasoning and belief revision \item abductive and inductive reasoning \item partial and dynamic logics \item hybrid reasoning systems \item applications of logic-based systems \end{itemize} \end{minipage} In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance. \begin{center} {\large\bf Submission Requirements} \end{center} Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Lu\'{\i}s Pereira) by Monday the {\bf 14th of February, 1994}. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. It is expected that the Proceedings will be published by Springer-Verlag, as in previous workshops, and made available at York. 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. \begin{center} {\bf Programme Co-Chairs} \begin{tabular}{l} Prof.\ Lu\'{\i}s Moniz Pereira \\ Departamento de Informatica \\ Universidade Nova de Lisboa\\ 2825 Monte da Caparica\\ Portugal \\ email: lmp@fct.unl.pt \\ fax: [+351] 1 295 5641 \end{tabular} \hspace*{1.5cm} \begin{tabular}{l} Dr David Pearce \\ LWI, Institut f\"{u}r Philosophie\\ Freie Universit\"{a}t Berlin\\ Habelschwerdter Allee 30 \\ 1000 Berlin 33 \\ Germany \\ fax: [+49] 30 838 64 30 \end{tabular} \end{center} \begin{center} {\bf Workshop Chair} \begin{tabular}{l} Dr Craig MacNish \\ Department of Computer Science \\ University of York, York Y01 5DD, UK \\ email: craig@minster.york.ac.uk \\ fax: [+44] 904 432767 \end{tabular} \end{center} \begin{center} {\large\bf About the Venue\ldots} \end{center} York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster---the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus. \end{document} Article 9298 of comp.lang.prolog: Xref: glinda.oz.cs.cmu.edu comp.ai:20168 comp.lang.prolog:9298 Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!uunet!pipex!uknet!yorkohm!minster!craig From: craig@minster.york.ac.uk Newsgroups: comp.ai,uk.ikbs,comp.lang.prolog Subject: Jelia'94 - Final Call (incl. Invited Speakers & PC) Message-ID: <758210457.3112@minster.york.ac.uk> Date: 10 Jan 1994 14:00:57 GMT Distribution: world Organization: Department of Computer Science, University of York, England Lines: 354 ======================== Text Version (Latex follows) ======================== J E L I A '9 4 4th European Workshop on Logics in AI York, September 5-8, 1994 Final 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) and Germany (1992), the fourth workshop will be held in York, England, from 5-8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and invited papers, all of which will be presented in plenary sessions. Papers are 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 In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed and selections made on the basis of originality and significance. Camera-ready versions of accepted papers will be included in the Proceedings, which are expected to be published by Springer-Verlag in the `Lecture Notes in Artificial Intelligence' series, and will be available at the workshop. Invited Speakers Georg Gottlob, Technical University, Vienna, Austria Ewa Orlowska, Polish Academy of Sciences, Warsaw, Poland Teodor Przymusinski, University of California at Riverside, USA Programme Committee 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, Universite de Caen, France Ulrich Furbach, Universitaet Koblenz-Landau, Koblenz, Germany Dov Gabbay, Imperial College, London, UK Antony Galton, University of Exeter, Exeter, UK Michael Gelfond, University of Texas at El Paso, USA Vladimir Lifschitz, University of Texas at Austin, USA Craig MacNish, Univeristy of York, York, UK (workshop chair) Victor Marek, University of Kentucky, Lexington, USA Bernhard Nebel, University of Ulm, Ulm, Germany Wolfgang Nejdl, University of Aachen, Aachen, Germany David Pearce, Freie Universitaet, Berlin, Germany (programme co-chair) Luis Moniz Pereira, Universidade Nova de Lisboa, Lisbon, Portugal (programme co-chair) Submission Requirements Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Luis Pereira) by Monday the 14th of February, 1994. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. 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 Prof. Luis Moniz Pereira Departamento de Informatica Universidade Nova de Lisboa 2825 Monte da Caparica Portugal email: lmp@fct.unl.pt fax: [+351] 1 295 5641 Dr David Pearce LWI, Institut fur Philosophie Freie Universitat Berlin Habelschwerdter Allee 30 1000 Berlin 33 Germany fax: [+49] 30 838 64 30 Workshop Chair Dr Craig MacNish Department of Computer Science University of York York YO1 5DD, UK email: craig@minster.york.ac.uk fax: [+44] 904 432767 About the Venue... York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster - the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus. ======================== LaTeX Version ======================== \documentstyle[11pt]{article} \setlength{\parindent}{0pt} \addtolength{\parskip}{0.6\baselineskip} \pagestyle{empty} \addtolength{\textwidth}{1.5in} \addtolength{\oddsidemargin}{-0.9in} \addtolength{\evensidemargin}{-0.9in} \addtolength{\textheight}{2.4in} \addtolength{\headheight}{-0.9in} \begin{document} \begin{center} {\huge\bf JELIA'94} \\ {\small\bf Journ\'{e}es Europ\'{e}ennes sur la Logique en Intelligence Artificielle} {\Large \rule{0ex}{2.2ex} 4th European Workshop on Logics in AI} \\ {\Large \rule{0ex}{2.2ex} York, September 5--8, 1994} {\Large\bf Final Call for Papers} \end{center} 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) and Germany (1992), the fourth workshop will be held in York, England, from 5--8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and invited papers, all of which will be presented in plenary sessions. Papers are sought in areas which include (but are not limited to) the following topics: \begin{minipage}{3in} \begin{itemize} \item foundations of logic programming and knowledge-based systems \item automated theorem proving \item knowledge representation \item modal, epistemic and temporal logics \item constructive and many-valued logics \end{itemize} \end{minipage} \hspace*{0.5cm} \begin{minipage}{2.7in} \begin{itemize} \item nonmonotonic reasoning and belief revision \item abductive and inductive reasoning \item partial and dynamic logics \item hybrid reasoning systems \item applications of logic-based systems \end{itemize} \end{minipage} In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed and selections made on the basis of originality and significance. Camera-ready versions of accepted papers will be included in the Proceedings, which are expected to be published by Springer-Verlag in the {\em Lecture Notes in Artificial Intelligence\/} series, and will be available at the workshop. \begin{center} {\large\bf Invited Speakers} \end{center} \ \ \ \ \begin{tabular}{l} Georg Gottlob, Technical University, Vienna, Austria\\ Ewa Orlowska, Polish Academy of Sciences, Warsaw, Poland\\ Teodor Przymusinski, University of California at Riverside, USA \end{tabular} \newpage \begin{center} {\large\bf Programme Committee} \end{center} \ \ \ \ \begin{tabular}{l} 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, Universit\'{e} de Caen, France \\ Ulrich Furbach, Universit\"{a}t Koblenz-Landau, Koblenz, Germany \\ Dov Gabbay, Imperial College, London, UK \\ Antony Galton, University of Exeter, Exeter, UK \\ Michael Gelfond, University of Texas at El Paso, USA \\ Vladimir Lifschitz, University of Texas at Austin, USA \\ Craig MacNish, Univeristy of York, York, UK (workshop chair) \\ Victor Marek, University of Kentucky, Lexington, USA \\ Bernhard Nebel, University of Ulm, Ulm, Germany \\ Wolfgang Nejdl, University of Aachen, Aachen, Germany \\ David Pearce, Freie Universit\"{a}t, Berlin, Germany (programme co-chair) \\ Lu\'{\i}s Moniz Pereira, Universidade Nova de Lisboa, Lisbon, Portugal (programme co-chair) \end{tabular} \begin{center} {\large\bf Submission Requirements} \end{center} Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Lu\'{\i}s Pereira) by Monday the {\bf 14th of February, 1994}. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. 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. \begin{center} {\bf Programme Co-Chairs} \begin{tabular}{l} Prof.\ Lu\'{\i}s Moniz Pereira \\ Departamento de Informatica \\ Universidade Nova de Lisboa\\ 2825 Monte da Caparica, Portugal \\ email: lmp@fct.unl.pt \\ fax: [+351] 1 295 5641 \end{tabular} \hspace*{1.5cm} \begin{tabular}{l} Dr David Pearce \\ LWI, Institut f\"{u}r Philosophie\\ Freie Universit\"{a}t Berlin\\ Habelschwerdter Allee 30 \\ 1000 Berlin 33, Germany \\ fax: [+49] 30 838 64 30 \end{tabular} \end{center} \begin{center} {\bf Workshop Chair} \begin{tabular}{l} Dr Craig MacNish \\ Department of Computer Science \\ University of York, York YO1 5DD, UK \\ email: craig@minster.york.ac.uk \\ fax: [+44] 904 432767 \end{tabular} \end{center} \end{document} Article 5402 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5402 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!europa.eng.gtefsd.com!uunet!sparky!rick From: craig@minster.york.ac.uk Subject: CFP (final): European Workshop on Logics in AI Message-ID: <1994Jan11.223551.3645@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Sterling Software Date: Tue, 11 Jan 1994 22:35:51 GMT Approved: rick@sparky.sterling.com Expires: Tue, 15 Feb 1994 08:00:00 GMT Lines: 353 X-Md4-Signature: 6d09d3b3ee492c15901c4ac105514e86 ======================== Text Version ======================== J E L I A '9 4 4th European Workshop on Logics in AI York, September 5-8, 1994 Final 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) and Germany (1992), the fourth workshop will be held in York, England, from 5-8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and invited papers, all of which will be presented in plenary sessions. Papers are 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 In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed and selections made on the basis of originality and significance. Camera-ready versions of accepted papers will be included in the Proceedings, which are expected to be published by Springer-Verlag in the `Lecture Notes in Artificial Intelligence' series, and will be available at the workshop. Invited Speakers Georg Gottlob, Technical University, Vienna, Austria Ewa Orlowska, Polish Academy of Sciences, Warsaw, Poland Teodor Przymusinski, University of California at Riverside, USA Programme Committee 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, Universite de Caen, France Ulrich Furbach, Universitaet Koblenz-Landau, Koblenz, Germany Dov Gabbay, Imperial College, London, UK Antony Galton, University of Exeter, Exeter, UK Michael Gelfond, University of Texas at El Paso, USA Vladimir Lifschitz, University of Texas at Austin, USA Craig MacNish, Univeristy of York, York, UK (workshop chair) Victor Marek, University of Kentucky, Lexington, USA Bernhard Nebel, University of Ulm, Ulm, Germany Wolfgang Nejdl, University of Aachen, Aachen, Germany David Pearce, Freie Universitaet, Berlin, Germany (programme co-chair) Luis Moniz Pereira, Universidade Nova de Lisboa, Lisbon, Portugal (programme co-chair) Submission Requirements Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Luis Pereira) by Monday the 14th of February, 1994. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. 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 Prof. Luis Moniz Pereira Departamento de Informatica Universidade Nova de Lisboa 2825 Monte da Caparica Portugal email: lmp@fct.unl.pt fax: [+351] 1 295 5641 Dr David Pearce LWI, Institut fur Philosophie Freie Universitat Berlin Habelschwerdter Allee 30 1000 Berlin 33 Germany fax: [+49] 30 838 64 30 Workshop Chair Dr Craig MacNish Department of Computer Science University of York York YO1 5DD, UK email: craig@minster.york.ac.uk fax: [+44] 904 432767 About the Venue... York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster - the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus. ======================== LaTeX Version ======================== \documentstyle[11pt]{article} \setlength{\parindent}{0pt} \addtolength{\parskip}{0.6\baselineskip} \pagestyle{empty} \addtolength{\textwidth}{1.5in} \addtolength{\oddsidemargin}{-0.9in} \addtolength{\evensidemargin}{-0.9in} \addtolength{\textheight}{2.4in} \addtolength{\headheight}{-0.9in} \begin{document} \begin{center} {\huge\bf JELIA'94} \\ {\small\bf Journ\'{e}es Europ\'{e}ennes sur la Logique en Intelligence Artificielle} {\Large \rule{0ex}{2.2ex} 4th European Workshop on Logics in AI} \\ {\Large \rule{0ex}{2.2ex} York, September 5--8, 1994} {\Large\bf Final Call for Papers} \end{center} 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) and Germany (1992), the fourth workshop will be held in York, England, from 5--8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and invited papers, all of which will be presented in plenary sessions. Papers are sought in areas which include (but are not limited to) the following topics: \begin{minipage}{3in} \begin{itemize} \item foundations of logic programming and knowledge-based systems \item automated theorem proving \item knowledge representation \item modal, epistemic and temporal logics \item constructive and many-valued logics \end{itemize} \end{minipage} \hspace*{0.5cm} \begin{minipage}{2.7in} \begin{itemize} \item nonmonotonic reasoning and belief revision \item abductive and inductive reasoning \item partial and dynamic logics \item hybrid reasoning systems \item applications of logic-based systems \end{itemize} \end{minipage} In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed and selections made on the basis of originality and significance. Camera-ready versions of accepted papers will be included in the Proceedings, which are expected to be published by Springer-Verlag in the {\em Lecture Notes in Artificial Intelligence\/} series, and will be available at the workshop. \begin{center} {\large\bf Invited Speakers} \end{center} \ \ \ \ \begin{tabular}{l} Georg Gottlob, Technical University, Vienna, Austria\\ Ewa Orlowska, Polish Academy of Sciences, Warsaw, Poland\\ Teodor Przymusinski, University of California at Riverside, USA \end{tabular} \newpage \begin{center} {\large\bf Programme Committee} \end{center} \ \ \ \ \begin{tabular}{l} 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, Universit\'{e} de Caen, France \\ Ulrich Furbach, Universit\"{a}t Koblenz-Landau, Koblenz, Germany \\ Dov Gabbay, Imperial College, London, UK \\ Antony Galton, University of Exeter, Exeter, UK \\ Michael Gelfond, University of Texas at El Paso, USA \\ Vladimir Lifschitz, University of Texas at Austin, USA \\ Craig MacNish, Univeristy of York, York, UK (workshop chair) \\ Victor Marek, University of Kentucky, Lexington, USA \\ Bernhard Nebel, University of Ulm, Ulm, Germany \\ Wolfgang Nejdl, University of Aachen, Aachen, Germany \\ David Pearce, Freie Universit\"{a}t, Berlin, Germany (programme co-chair) \\ Lu\'{\i}s Moniz Pereira, Universidade Nova de Lisboa, Lisbon, Portugal (programme co-chair) \end{tabular} \begin{center} {\large\bf Submission Requirements} \end{center} Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Lu\'{\i}s Pereira) by Monday the {\bf 14th of February, 1994}. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. 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. \begin{center} {\bf Programme Co-Chairs} \begin{tabular}{l} Prof.\ Lu\'{\i}s Moniz Pereira \\ Departamento de Informatica \\ Universidade Nova de Lisboa\\ 2825 Monte da Caparica, Portugal \\ email: lmp@fct.unl.pt \\ fax: [+351] 1 295 5641 \end{tabular} \hspace*{1.5cm} \begin{tabular}{l} Dr David Pearce \\ LWI, Institut f\"{u}r Philosophie\\ Freie Universit\"{a}t Berlin\\ Habelschwerdter Allee 30 \\ 1000 Berlin 33, Germany \\ fax: [+49] 30 838 64 30 \end{tabular} \end{center} \begin{center} {\bf Workshop Chair} \begin{tabular}{l} Dr Craig MacNish \\ Department of Computer Science \\ University of York, York YO1 5DD, UK \\ email: craig@minster.york.ac.uk \\ fax: [+44] 904 432767 \end{tabular} \end{center} \end{document} Article 9661 of comp.lang.prolog: Xref: glinda.oz.cs.cmu.edu comp.ai:20649 comp.lang.prolog:9661 comp.theory:9132 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!uknet!yorkohm!minster!craig From: craig@minster.york.ac.uk Newsgroups: comp.ai,comp.lang.prolog,uk.ikbs,comp.theory Subject: Logics in AI - extended deadline 28th February Message-ID: <760980516.17426@minster.york.ac.uk> Date: 11 Feb 1994 15:28:36 GMT Organization: Department of Computer Science, University of York, England Lines: 178 Due to the postal strike in Portugal the deadline for Jelia'94 has been modified as follows... Extended Deadline: 28th February 1994 J E L I A '9 4 4th European Workshop on Logics in AI York, September 5-8, 1994 Final 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) and Germany (1992), the fourth workshop will be held in York, England, from 5-8 September 1994. The workshop will be hosted by the Intelligent Systems Group at the University of York. The 1994 workshop is sponsored by the ESPRIT NOE COMPULOG-NET, the Association for Logic Programming - UK Branch (ALP-UK) and the German Informatics Society (GI). Further sponsors are currently being sought, and it is hoped that some grants may be made available to students. Invited Speakers o Georg Gottlob, Technical University, Vienna, Austria o Ewa Orlowska, Polish Academy of Sciences, Warsaw, Poland o Teodor Przymusinski, University of California at Riverside, USA As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. The workshop will include submitted contributions and invited papers, all of which will be presented in plenary sessions. Papers are 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 In addition, a particular emphasis of the 1994 workshop will be the use of Logic Programming for Knowledge Representation and Reasoning, and research papers in this area are encouraged. All submitted papers will be refereed and selections made on the basis of originality and significance. Camera-ready versions of accepted papers will be included in the Proceedings, which are expected to be published by Springer-Verlag in the `Lecture Notes in Artificial Intelligence' series, and will be available at the workshop. Programme Committee 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, Universite de Caen, France Ulrich Furbach, Universitaet Koblenz-Landau, Koblenz, Germany Dov Gabbay, Imperial College, London, UK Antony Galton, University of Exeter, Exeter, UK Michael Gelfond, University of Texas at El Paso, USA Vladimir Lifschitz, University of Texas at Austin, USA Craig MacNish, Univeristy of York, York, UK (workshop chair) Victor Marek, University of Kentucky, Lexington, USA Bernhard Nebel, University of Ulm, Ulm, Germany Wolfgang Nejdl, University of Aachen, Aachen, Germany David Pearce, Freie Universitaet, Berlin, Germany (programme co-chair) Luis Moniz Pereira, Universidade Nova de Lisboa, Lisbon, Portugal (programme co-chair) Hans Rott, Universitaet Konstanz, Konstanz, Germany Submission Requirements Authors are asked to submit five (5) copies of their papers to the first Programme Co-Chair (Luis Pereira) by Monday the 28th of February, 1994. Notification of acceptance or rejection will be mailed to the first (or designated) author in April 1994, and camera ready copies for inclusion in the Workshop Proceedings will be due in May. 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 Prof. Luis Moniz Pereira Departamento de Informatica Universidade Nova de Lisboa 2825 Monte da Caparica Portugal email: lmp@fct.unl.pt fax: [+351] 1 295 5641 Dr David Pearce LWI, Institut fur Philosophie Freie Universitat Berlin Habelschwerdter Allee 30 1000 Berlin 33 Germany fax: [+49] 30 838 64 30 Workshop Chair Dr Craig MacNish Department of Computer Science University of York York YO1 5DD, UK email: craig@minster.york.ac.uk fax: [+44] 904 432767 About the Venue... York is one of the United Kingdom's most historic cities. Originally known as Eboracum, it began life as a fortress built by the Romans in AD71, and was home to the accession of Constantine the Great to Roman Emperor in AD306. The city is best known for its Viking links, forming the centre of the Viking Kingdom of Jorvik, from which it derives its present name. The Normans had a more lasting influence, however, and helped York become a major centre of government and religion in the North. The evidence of York's past is retained in its historic buildings and museums, making it one of England's most popular tourist destinations. Attractions include the York Minster - the largest medieval cathedral in Northern Europe, built between 1220 and 1472; the City Walls, first built by the Romans and later strengthened by the Normans; and Clifford's Tower---a castle keep built by Henry III. A short drive from York are two striking areas of natural beauty: the Yorkshire Dales National Park (home of the writer James Herriot) and the North York Moors National Park. York is situated on the high speed rail link between London and Edinburgh and is approximately a two hour journey from London by train. It can also be accessed via a direct rail link to Manchester Airport, and is less than half an hour's journey from the Leeds/Bradford Airport. The University itself is built around an artificial lake on the grounds of an old manor house, about two miles from the centre of York. Accommodation is available both on and off the campus.