CALL FOR PAPERS AND PARTICIPATION Workshop on Executable Temporal Logics to be held as part of IJCAI-95 Montreal, Canada. 19th, 20th or 21st August 1995 INTRODUCTION ------------ The direct execution of logical statements, through languages such as Prolog, has been influential within both Computer Science and Artificial Intelligence. Such languages have been used not only for applications such as the animation of logical specifications, the characterisation of database queries and knowledge representation, but also as high-level programming languages in their own right. In recent years, however, the requirement for greater expressive power has meant that languages based on first-order logic have been found wanting. In particular, since the concept of time is important in an increasingly wide range of applications, including the representation of time-dependent data and the specification and verification of concurrent and distributed systems, logics where temporal notions are central are beginning to be applied in these areas. Not surprisingly, executable forms of these temporal logics have been proposed in order to provide system developers with access to more appropriate logical techniques. Just as the development of sophisticated theorem-proving techniques for first-order logic led to executable forms, such as Prolog, so theorem-proving techniques for temporal logics are being used in the development of executable forms of these logics. However, each particular executable temporal logic combines not only a logical perspective, but also an operational model, drawn from its intended application areas. Thus a wide range of languages have appeared, exhibiting a variety of characteristics and execution mechanisms. Consequently, these languages have a wide range of application areas, including temporal databases, temporal planning, animation of temporal specifications, hardware simulation, and distributed AI. WORKSHOP AIMS ------------- The aim of this workshop is to provide a forum both for the exchange of ideas and for the identification of the potential roles and nature of the emerging paradigm of Executable Temporal Logics. Our aim is that the workshop will bring together workers in this area, to identify common ground, differing approaches, experiences, applications, open problems and possible future developments. In particular, we wish to encourage cross-fertilisation between different approaches. WORKSHOP FORMAT --------------- This workshop will build upon the success of the 1993 Workshop on Executable Modal and Temporal Logics that we organised as part of IJCAI-93, the proceedings of which are published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series (vol. 897). The workshop will last for one day, and will consist of presented papers, group discussions and invited talks. We intend that the workshop will cover topics ranging from considerations of the state of the art, through to speculation on future developments. We will therefore solicit papers describing work in this area, including original ideas, new results, comparative studies and applications of Executable Temporal Logics. AREAS OF INTEREST ----------------- Topics of interest include, but are not limited to, * theoretical issues in executable temporal logics * design of executable temporal logics * relationship between execution and temporal theorem-proving * operational models and implementation techniques * programming support and environments * comparative studies of languages * relationship of executable temporal logics to (temporal) databases * applications and case studies WORKSHOP PARTICIPATION ---------------------- To encourage informal interaction and the exchange of ideas, attendance will be limited to approximately 30 invited participants. Those wishing to attend are encouraged to submit either (a) an extended abstract (of no more than 5000 words) describing relevant preliminary or completed work to be presented at the workshop, or, (b) single page descriptions of research interests and current work, to be used to demonstrate the ability of the non-presenting participants to contribute to the discussions. Selected participants will be asked to provide complete papers to be distributed as preprints to the workshop participants. SUBMISSION DETAILS ------------------ All submissions should include: author's name(s), affiliation, (complete) mailing address, phone and fax number, e-mail address and an abstract of not more than 300 words. Electronic submission is strongly encouraged (either as self-contained LaTeX, or postscript) and this, or five (5) copies of submitted papers should be sent, by March 1st 1995, to: Michael Fisher Department of Computing Manchester Metropolitan University Chester Street Manchester M1 5GD United Kingdom Email: M.Fisher@doc.mmu.ac.uk Telephone: (+44) 61-247-1488 Fax: (+44) 61-247-1483 Papers will be refereed and notification of acceptance will be given by April 1st. Authors of accepted papers will be given the opportunity to revise their papers prior to the production of the workshop notes (due May 1st). Important Dates: Submissions received by: March 1st, 1995 Author notification by: April 1st, 1995 Revised papers due: May 1st, 1995 Copies of accepted papers will be provided as a pre-proceedings at the workshop itself. Information about the workshop, together with abstracts of accepted papers, will be available via the WWW page: http://www.doc.mmu.ac.uk/RESEARCH/extol95.html PUBLICATION ----------- The 1993 IJCAI Workshop on Executable Modal and Temporal Logics is published by Springer-Verlag as a volume in the Lecture Notes in Artificial Intelligence series. Our intention is to again publish polished versions of papers from the workshop proceedings. Selected papers may also be considered for publication in a special issue of either the Journal of Logic and Computation or the Journal of Applied Non-Classical Logics. WORKSHOP PROGRAMME COMMITTEE ---------------------------- Michael Fisher [Organiser] (details as above) Marianne Baudinet Universite Libre de Bruxelles Informatique, C.P. 165 50 Avenue F.D. Roosevelt 1050 Brussels, Belgium Email: mb@cs.ulb.ac.be Christoph Brzoska SFB 314 University of Karlsruhe P.O.Box 69 80 D - 76128 Karlsruhe 1, Germany Email: brzoska@ira.uka.de Shinji Kono Sony Computer Science Laboratory, Inc. Japan Email: kono@csl.sony.co.jp Ben Moszkowski Department of Electrical and Electronic Engineering University of Newcastle Newcastle upon Tyne NE1 7RU, U.K. Email: Ben.Moszkowski@ncl.ac.uk Mehmet Orgun Department of Computing Macquarie University Sydney NSW 2109, Australia Email: mehmet@mpce.mq.edu.au ------------------------------------------------ N.B., All workshop participants will be required to register for the **** main conference. NO ATTENDANCE TO A WORKSHOP WILL BE ACCEPTED WITHOUT REGISTRATION TO IJCAI. Information about IJCAI-95 can be accessed via the IJCAI home page: http://ijcai.org/ ----------------------------------------------------------------