SECOND INTERNATIONAL CONFERENCE
ON
TEMPORAL LOGIC
http://www.cs.man.ac.uk/fmethods/ictl97.html
Hulme Hall, Oxford Place, Victoria Park, Manchester, England
July 14 - 18, 1997
----------------------------------------------------------------------
NOTE REVISED SUBMISSION DATE: February 20th, 1997
----------------------------------------------------------------------
CONFERENCE GOALS
Following the success of ICTL'94, the first international conference
on temporal logic, this conference attempts to create bridges between
the various communities working in Temporal Logic. Connecting methods
and researchers from areas such as temporal representation in natural
language and the handling of time in software engineering to the study
of pure systems of Temporal Logic and the applied temporal systems of
AI. Areas of interest to the conference thus include:
(1) Pure Temporal Logic, e.g. temporal systems, proof theory, model
theory, expressiveness and complexity issues, algebraic
properties, application of game theory;
(2) Specification and Verification, e.g. of reactive systems,
of real-time components, of user interaction, of hardware
systems, techniques and tools for verification, execution
and prototyping methods;
(3) Temporal Databases, e.g. temporal representation, temporal
querying, granularity of time, update mechanisms, active
temporal databases, hypothetical reasoning;
(4) Temporal Aspects in AI, e.g. modelling temporal phenomena,
interval temporal calculi, temporal nonmonotonicity,
interaction of temporal reasoning with action/knowledge/belief
logics, temporal planning;
(5) Tense and Aspect in Natural Language, e.g. models, ontologies,
temporal quantifiers, connectives, prepositions, processing
temporal statements;
(6) Temporal Theorem Proving, e.g. translation methods, clausal and
non-clausal resolution, tableaux, automata-theoretic
approaches, tools and practical systems.
Research papers (of up to 15 pages) are welcomed, especially those
making connections among the above areas; short survey papers (no more
than 30 pages) of areas for the benefit of participants from other
areas will also be considered. The proceedings is expected to be
published by Springer in the Lecture Notes in Computer Science series.
Short position papers and system descriptions (of up to 5 pages) are
also welcomed for poster sessions and will be published as a volume in
the University of Manchester Computer Science technical report series.
The best papers will be considered for publication in the Journal of
Logic and Computation. If appropriate, revised and extended versions
of survey papers will be published as a special volume in Kluwer's
Applied Logic Series.
CONFERENCE LOCATION
The conference is being held in Manchester, one of the major higher
education precincts of Western Europe, under the auspices of the
University of Manchester at one of its long-standing halls of
residence, Hulme Hall. The Hall's location, although close to the busy
and vibrant Oxford Road with its numerous Indian and oriental
restaurants of excellent value, is secluded, quiet and well equipped
with excellent facilities for supporting large conference parties. The
University of Manchester, itself, is short 10 minutes walk away in the
city direction, taking you past the famous Whitworth Art Gallery, and
the Manchester Museum. Further into the city, you can visit the Museum
of Science and Industry at Castlefields, where the history of cotton
industry and mills, engines, transport, computing and information
unfolds, or view the glorious architecture of the Town Hall and other
civic buildings, or shop, and when exhausted from sightseeing take
refuge in one of Manchester's pubs to down a few pints of real beer.
Manchester is well connected by road, rail, air and canal. Manchester
International airport is 20 minutes away by taxi from the conference
location, while a direct (and fast) rail link connects the airport
with the city centre.
FORMAT OF CONFERENCE
The full conference will extend from an initial evening time reception
on Monday July 14th 1997 through to mid afternoon on Friday July 18th
1997. To encourage graduate students and researchers wishing to
broaden their expertise, the first day proper, Tuesday July 15th 1997,
will be dedicated to tutorial presentations. The research paper
presentations will last from Wednesday July 16th to Friday July 18th
1997; it is planned that each day of the research presentations will
be preceeded by an invited talk. Social events are being arranged for
the evenings. Further details will appear on the Web page.
SUBMISSION OF PAPERS
Each submission should include a separate cover sheet containing: the
title of paper, the category of the paper and which of the topic areas
listed above best describes their paper (if none is appropriate,
please give a set of keywords that best describe the topic of the
paper), the names and complete addresses (including email, when
possible) of all authors, and an abstract. Correspondence will be
sent to the first listed author, unless otherwise indicated.
To be considered, papers must be received by the programme committee
chair NO LATER THAN February 20th, 1997. Electronic submission in the
form of a postscript file (uuencoded and gzipped if possible) is
preferred (email to: ictl97@cs.man.ac.uk), alternatively 4 paper
copies by regular mail is acceptable.
Authors are encouraged to use the Springer llncs style which can be
obtained from the directory:
gopher://trick.ntp.springer.de/11/tex/latex/llncs/
Authors will be notified of the Programme Committee's decision by
March 31st, 1997. Final camera-ready versions of accepted papers will
be due by April 22nd, 1997.
PLANNING TO ATTEND
People planning to attend the conference are asked to send a note
stating their intention as early as possible to the local conference
secretary, Mrs Lynn Howarth (Lynn.Howarth@cs.man.ac.uk), in order to
help estimate the facilities needed for the conference. (Postal
address: Mrs Lynn Howarth, ICTL'97, c/o Department of Computer
Science, University of Manchester, Oxford Road, Manchester, M13 9PL,
England. Phone: +44 (0)161 275 6154, Fax: +44 (0)161 275 6204)
GENERAL CONFERENCE CHAIR
Dov M. Gabbay
Department of Computing
Imperial College of Science, Technology and Medicine
Huxley Bld.
180 Queen's Gate
London SW7 2AZ
England
Voice: +44 (0)171 594 8205
Fax: +44 (0)171 594 8201
Email: dg@doc.ic.ac.uk
http://theory.doc.ic.ac.uk/~ar3/gabbay.html
PROGRAMME COMMITTEE CHAIR
Howard Barringer
Department of Computer Science
University of Manchester
Oxford Road
Manchester, M13 9PL
England
Voice: +44 (0)161 275 6248
FAX: +44 (0)161 275 6211
Email: howard@cs.man.ac.uk
http://www.cs.man.ac.uk/fmethods/people/howard.html
LOCAL ARRANGEMENTS CHAIR
Bill Mitchell
Department of Computer Science
University of Manchester
Oxford Road
Manchester, M13 9PL
England
Voice: +44 (0)161 275 6117
FAX: +44 (0)161 275 6211
Email: bill@cs.man.ac.uk
http://www.cs.man.ac.uk/fmethods/people/wprm/new-fm-page.html
TUTORIALS CHAIR
Michael Fisher
Department of Computing
Manchester Metropolitan University
Manchester, M13
England
Voice: +44 (0)161 247 1488
FAX: +44 (0)161 247 1483
Email: M.Fisher@doc.mmu.ac.uk
http://www.doc.mmu.ac.uk/STAFF/M.Fisher
PROGRAMME COMMITTEE
Howard Barringer (University of Manchester, UK)
Gerd Brewka (GMD Bonn, Germany)
Jan Chomicki (Monmouth University, USA)
Allen Emerson (Austin, Texas)
Michael Fisher (MMU, UK)
Nissim Francez (Technion, Israel)
Dov Gabbay (Imperial College, London)
Joe Halpern (Cornell University, USA)
Hans Kamp (IMS, Stuttgart, Germany)
Peter Ladkin (Bielefeld, Germany)
Angelo Montanari (Udine, Italy)
Istvan Nemeti (Math Institute, Hungary)
Hans Juergen Ohlbach (Max-Planck-Institut, Saarbruecken, Germany)
Amir Pnueli (Weizmann Institute, Israel)
Wojtek Pencek (Polish Academy of Sciences, Poland)
Antonio Porto (Univ Nova de Lisboa, Portugal)
Mark Reynolds (King's College London, UK)
Willem Paul de Roever (Kiel University, Germany)
Eric Sandewall (Linkoeping University, Sweden)
Andrzej Szalas (University of Warsaw, Poland)
Yde Venema (Amsterdam, The Netherlands)
TUTORIAL SPEAKERS
Temporal Logic and Planning -- Faheim Bacchus (Waterloo, Canada)
Temporal Databases -- Jan Chomicki(Monmouth, USA) and
David Toman (Toronto, Canada)
Temporal Logic of Actions -- Peter Ladkin (Bielefeld, Germany)
Temporality in Natural Language -- Mark Steedman (Pennsylvania, USA)
IMPORTANT DATES
Submission receipt deadline: February 20th, 1997
Author notification date: March 31st, 1997
Camera-ready copy due to publisher: April 22nd, 1997
Conference: July 14th-18th, 1997
ELECTRONIC SUBMISSION OF PAPERS
By email to: ictl97@cs.man.ac.uk
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-