(DBWORLD) ICTL97: Call for Participation and Preliminary Programme

Howard Barringer (howard@cs.man.ac.uk)
Sun, 1 Jun 1997 11:35:19 -0500 (CDT)

(-----------------------------------------------------------------------)
( Apologies if you receive more than one copy of this notice )
(-----------------------------------------------------------------------)

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

-------------------------------------------------------------------------------
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-