[Prev][Next][Index][Thread]
ICTL'97
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
ICTL'97 - CALL FOR PARTICIPATION
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
-------------------------------------------------------------------------
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>
TUTORIALS
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
-------------------------------------------------------------------------
<HOW TO ATTEND>
PAYMENT: We accept payment by bankers draft or cheque
in pounds sterling.
Please make cheques/bankers draft payable
to the University of Manchester.
WE CAN NOT ACCEPT ANY CREDIT CARDS.
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,
England.
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 :
address:
email :
fax :
tel :
dept/university/affiliation:
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)
either
Temporal Logic and Planning
or
Temporality in Natural Language
and/or
either
Temporal Databases
or
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