Please could you post the following call for participation to youre
mailing list at the earliest possible time please.

                                       | Dr W. Mitchell
			   ___         | Computer Science Department
			  /   )        | The University
			 /---<   o / / | Manchester M13 9PL
			/___ / _(_/_/  | England
				       | Janet: bill@cs.man.ac.uk
				       | tel:   (+44)161-275-6117
                                       | http://www.cs.man.ac.uk/~bill



     Hulme Hall, Oxford Place, Victoria Park, Manchester, England
			  July 14 - 18, 1997


KEY WORDS: Pure Temporal Logic, Specification and Verification,
Temporal Databases, Temporal Aspects in AI, Tense and Aspect in
Natural Language, Temporal Theorem Proving,


			 <Programme Committee>

Howard Barringer, Gerd Brewka, Jan Chomicki, Allen Emerson, Michael
Fisher, Nissim Francez, Dov Gabbay, Joe Halpern, Hans Kamp, Peter
Ladkin, Angelo Montanari, Istvan Nemeti, Hans Juergen, Amir Pnueli,
Wojciech Penczek, Antonio Porto, Mark Reynolds, Willem Paul de Roever,
Eric Sandewall, Andrzej Szalas, Yde Venema,


		       <Preliminary Programme>

<Tuesday, July 15th>
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) 

<Wednesday, July 16th>

 9:00am          Welcome
 9:05am          Keynote, Amir Pnueli
11:00am-12:30pm  <Technical Session 1>
	A Hierarchy of Modal Event Calculi: Expressiveness and Complexity
	Angelo Montanari, Iliano Cervesato, Massimo Franceschet
	Release logics for temporalizing dynamic logic
	Jeroen Krabbendam, John-Jules Meyer
	Compositional Verification of Timed Statecharts
	Francesca Levi

 2:00pm-3:30pm  <Technical Session 2>
	Temporal Logic for Stabilizing Systems
	Y Lakhnech, M Siegel
	Decidable Theories of w-Layered Metric Temporal Structures
	Angelo Montanari, Adriano Peron, Alberto Policriti

	Synthesis with Incomplete Information
	Moshe Vardi, Orna Kupferman

 4:00pm-5:30pm  <Technical Session 3>
	Deductive verification of parameterized fault-tolerant
		systems: A case study 
	Nikolaj S Bjorner, Uri Lerner, Zohar Manna
	Using Otter for Temporal Resolution
	Clare Dixon
	Guiding Clausal Temporal Resolution
	Michael Fisher, Clare Dixon

<Thursday, July 17th>

11:00am-12:30pm  <Technical Session 4>
	Modeling Linguistic Events
	Miguel Leith, Jim Cunningham
	A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language
	Ralf Naumann
	A Temporal Logic for Natural Language
	Ian Pratt, Nissim Francez

 2:00pm-3:30pm  <Technical Session 5>
	Transitions of Continuous Time, with an Application to
		Qualitative Changes in Spatial Relations 
	Antony Galton
	A Modal Logic of Durative Actions
	Isabel Nunes, J L Fiadeiro, Wladimir M. Turski
	About Real Time, Calendar Systems and Temporal Notions
	Hans Juergen Ohlbach

 4:00pm Special Lecture, Chris Burton, 
        Rebuild of the Baby Machine (Manchester Mark I) 

<Friday, July 18th>

 9:00am Keynote Alen Emerson
11:00am-12:30pm  <Technical Session 6>
	A Model Checking algorithm for pi-calculus agents
	Stephania Gnesi
	G Ristori
	Interleaving Model and Verification of Distributed
		Probabilistic Real-time Systems
	Tiegeng Luo, Huowang Chen, Zhenghu Gong, Zhichang Qi
	Constructive Interval temporal Logic in ALF
	Simon Thompson

 2:00pm-3:30pm  <Technical Session 7>
	Two-dimensional executable logic for bitemporal databases
	Mark Reynolds, Marcelo Finger
	Execution and Proof in Horn-Clause Temporal Logic
	Michael Fisher, Clare Dixon, Mark Reynolds
	Specification and Prototyping of Structured Multimedia
		Documents using Interval Temporal Logic 
	Howard Bowman, Helen Cameron, Peter King, Simon Thompson


PAYMENT: We accept payment by bankers draft or cheque
         in pounds sterling.
         Please make cheques/bankers draft payable
         to the University of Manchester.


NOTE: A late payment fee of 25 pounds applies to registration applications after
      June 20 1997

To attend please use the plain text email form below,
complete and email to Lynn.Howarth@cs.man.ac.uk,
then arrange for payment (with copy of registration form) 
to follow in post to

Mrs Lynn Howarth 
ICTL'97, c/o Department of Computer Science, 
University of Manchester, Oxford Road,
Manchester, M13 9PL,
Phone: +44 (0)161 275 6154, Fax: +44 (0)161 275 6204

--------------------------EMAIL FORM STARTS HERE------------------------------
To: Lynn.Howarth@cs.man.ac.uk 
Subject: Registration for ICTL97
--text follows this line--
Registration for ICTL97

 name   :
 email  :
 fax    :
 tel    :

For student registration please send a letter of support from your 
supervisor/head of department.

All prices given are in pounds sterling.

Tutorial Day Registration (Tuesday 15th July)

Please register me for (delete as appropriate)
   Temporal Logic and Planning
   Temporality in Natural Language


   Temporal Databases
   Temporal Logic of Actions

Each tutorial session costs 

   Normal: 35 pounds     Student:  25 pounds

Your Tutorial Total Costs: 
==========================  ----------

Conference Registration (Wednesday 16th - Friday 18th July)

Price includes lunches (Wednesday to Friday), dinner on Wednesday 
and "Banquet" on Thursday, conference proceedings, etc.

Do you have any special dietary requirements?
If so, please specify: (we can not guarantee to meet all dietary
requirements, e.g vegan, if you think you may have a particularly unusual
requirement please email us asap)

   Normal: 175 pounds:   Student: 125 pounds

   Partner/Child Rate: Negotiable.
      For example 70 pounds buys lunch and dinner Wednesday,
      lunch and banquet Thursday, and lunch Friday. 
      Please get in touch with us to sort out the details.

Accommodation (Bed and Breakfast)
(delete as appropriate)

Please book me standard single/en-suite single/en-suite twin room 
for the nights of 

   14th, 15th, 16th, 17th July

cost per night per room, includes bed and breakfast

   Standard Single: 23 pounds
   En-Suite Single: 36 pounds
   En-Suite Twin:   49 pounds

Your Accommodation Total:        nights @        rate =        .
==========================  ---           ------        -------

Total Cost = Tutorial  Registration
==========                           ----------
           + Accommodation
           + Conference Registration

I enclose a cheque/bankers draft for:           pounds sterling

(NOTE, a late payment fee of 25 pounds will be applied to registration applications after
 June 20th 1997)
--------------------------EMAIL FORM STOPS HERE-----------------------------

If you have any queries, please mail ictl97@cs.man.ac.uk