please find enclosed a call for registration for TARK VI,
the Sixth conference on Theoretical Aspects of Rationality and Knowledge
This announcement includes the ascii text of:
- TARK VI: description
- Conference location
- a list of invited speakers,
- a program,
- a note on tark registration
- a registration form.
Extend calls are also available:
- a brochure can be send to you upon request (ask tark@cs.ruu.nl)
- you may inspect and fill in the form at http://www.cs.ruu.nl/docs/tark/
Kind regards,
the local TARK-organisers.
====================================================
TARK VI: description.
Date: March 17 - 20, 1996.
Place: Renesse, Zeeland, The Netherlands
The mission of the bi-annual TARK conferences is to bring together researchers
from a wide variety of fields - including Artificial Intelligence,
Cryptography, Distributed Computing, Economics and Game Theory, Linguistics,
Philosophy, and Psychology - in order to further our understanding of
interdisciplinary issues involving formal reasoning about rationality and
knowledge. Topics of interest include, but are not limited to, semantic
models for knowledge, for belief, and for uncertainty, bounded rationality and
resource-bounded reasoning, commonsense epistemic reasoning, knowledge and
action, applications of reasoning about knowledge and other mental states, and
belief revision. Previously a by-invitation-only conference, TARK is now open
to all interested attendees. TARK VI is the first to be held outside the
United States. It will take place March 17 - 20, 1996.
More information about TARK in general, and this conference
in particular, is available at WWW:
http://www.tark.org
http://www.cs.ruu.nl/docs/tark/
====================================================
Conference location
Hotel `De Zeeuwse Stromen' is situated close to the coast of Zeeland.
Zeeland is one of the twelve provinces of the Netherlands and it
borders Belgium and the Northsea.
It is only a three minute walk from the hotel to the beach, which offers
great opportunities to stroll across beautiful and serene nature.
One of the main attractions of the area is the `Oosterscheldekering' (how
do the Dutch control the sea?), but also the old and monumental villages
Middelburg, Zierikzee and Veere are worth visiting.
The weather in March in the Netherlands is quite
unpredictable: there are days with sun, but it can also be rather chilly
and wet. Especially at the beach, a pull-over and a warm coat are
recommendable.
The hotel has lots of facilities: a large lounge with a
fireplace, a bar and a lovely winter-garden. The heated indoor-pool
is provided with a terrace, a sauna and a solarium. All the rooms have
a bathroom, telephone, alarm-clock, colour-t.v. and mini-bar.
In the surroundings of the hotel one can find tennis- and mini-golf-courts.
Finally, bikes can be rented at the reception-desk to explore the region.
Address:
Hotel `De Zeeuwse Stromen'
Duinwekken 5
Postbus 70
4325 ZG Renesse
The Netherlands
tel: +31-30 1116-2040
fax: +31-30 1116-2065
====================================================
Invited Speakers
Peter Gardenfors, Cognitive Science (Lund)
Belief Revision and Knowledge Representation
Ehud Kalai, Economics (Evanston)
Rational Interactive Learning in Economics and Game Theory
Christos Papadimitriou, Computer Science (Berkeley)
Games, Information, and Computational Complexity
Judea Pearl, Artificial Intelligence (Los Angeles)
Causality, Counterfactuals and Implicit Actions
Ariel Rubinstein, Economics (Princeton)
Imperfect Recall in Decision Problems
Goran Sundholm, Philosophy (Leiden)
Constructive Proof Theory and Epistemics
Frank Veltman, Logic (Amsterdam)
Tutorial on Dynamic Update Semantics
====================================================
TARK Program
Sunday, March 17
----------------------
17.30--19.00 Opening Reception
16.00--20.00 Conference Registration
Monday, March 18
-----------------------
8.30--9.00 Conference Registration
9.00--9.10 Welcoming remarks (J. van Benthem, Y. Shoham)
9.15--10.05 Games, Information, and Computational Complexity
(C. Papadimitriou, invited talk)
10.10--10.35 Local Knowledge Assertions in a Changing World
R. Ramanujam (Inst. of Mathematical Sciences, India)
10.35--11.00 BREAK
11.00--11.50 Special Session: Implementing Knowledge-Based Programs
A Review of knowledge-based programs M. Vardi (Rice U., USA)
B Implementing Knowledge-Based Programs M. Vardi (Rice U.,USA)
C Knowledge-Based Programs: On the Complexity of Perfect
Recall in Finite Environments
R. van der Meyden (Sydney U. of Technology, Australia)
12.00--14.00 LUNCH
14.00-14.50 Causality, Counterfactuals and Implicit Actions J. Pearl (invited talk)
14.50--15.05 BREAK
15.05--15.55 Imperfect Recall in Decision Problems A. Rubinstein (invited talk)
16.00--16.50 Responses to Rubinstein
A Time consistency and Strategy in Games of Imperfect Recall
J.Y. Halpern (IBM Almaden, USA)
B The Absent-Minded Driver
R.J. Aumann, S. Hart, M. Perry (Hebrew U., Israel)
17.00-17.30 Rump Session
(attendees encouraged to give short impromptu presentations)
18.30--20.00 DINNER
20.00--20.50 Dynamic Update Semantics (F. Veltman, invited tutorial)
Tuesday, March 19
------------------------
9.00--9.50 Belief Revision and Knowledge Representation P. Gardenfors (invited talk)
9.50--10.05 BREAK
10.05--12.00 Special Session: Belief Change
A Changing Conditional Beliefs Unconditionally
A. Nayak, N. Foo, M. Pagnucco (U. Sydney, Australia)
and A. Sattar (Griffith U., Australia)
B Distance Semantics for Belief Revision
K. Schlechta, D. Lehmann, M. Magidor (Hebrew U., Israel)
C Belief Change and Dependence
L. Farrinas del Cerro, A. Herzig (U. Paul Sabatier, France)
D Counterfactuals and Updates as Inverse Modalities
O. Rodrigues (Imperial College, UK), M.D. Ryan (U. Birmingham, UK)
and P-Y. Schobbens (Institut d'Informatique, Belgium)
E Multi-Agent Belief Revision
N. Kfir-Dahav, M. Tennenholtz (Technion, Israel)
12.00--14.00 LUNCH
14:00--14:50 Rational Interactive Learning in Economics and Game Theory
E. Kalai (invited talk)
15.00--15.25 From reinforcement learning to emergent conventions
C. Boutilier (U. British Columbia, Canada)
15.25--15.40 BREAK
15.40--16.05 Knowledge at Equilibrium
E. Minelli, H.M. Polemarchakis (U. Catholique de Louvain, Belgium)
16.10--16.35 Nondeterministic Action and Dominance:Foundations for Planning and
Qualitative Decision
R.H. Thomason (U. Pittsburgh, USA) and J.F. Horty (U. Maryland, USA)
16.40--17.30 Rump session
(attendees encouraged to give short impromptu presentations)
17.30--19.00 BREAK
19.00--20.30 BANQUET
20.30--21.30 TARK business meeting (all attendees welcome)
Wednesday, March 20
---------------------------
9.00--9.50 Constructive Proof Theory and Epistemics G. Sundholm (invited talk)
10.00--10.25 Multi-Agent `Only Knowing'
J.Y. Halpern (IBM Almaden, USA) and G. Lakemeyer (U. Bonn, Germany)
10.30--10.55 Rationality Postulates for Induction
P.A. Flach (Tilburg U., Netherlands)
10.55--11.10 BREAK
11.10-12.00 Special Session: Common Knowledge Revisited
A Computer Science: R. Fagin, J.Y. Halpern (IBM Almaden, USA),
Y. Moses (Weizmann Inst., Israel)
B Economics and Game Theory: S. Morris (U. Pennsylvania, USA)
12:00--14.00 FAREWELL LUNCH; END OF CONFERENCE
14.00--18.00 optional local excursion
====================================================
TARK registration
CONFERENCE AND HOTEL REGISTRATION
To register, you may either:
Send the registration form to TARK VI,
Dept. of Computer Science, Utrecht University,
P.O. Box 80.089, 3508 TB Utrecht, the Netherlands.
or fax it to +31-30 2513791.
or mail it to tark@cs.ruu.nl
or use the form at WWW: http://www.cs.ruu.nl/docs/tark/
Please register BEFORE February 9th,
otherwise availability of hotel accommodation cannot be guaranteed.
The fee includes:
Attendance at all TARK sessions
Copy of the TARK proceedings
Hotel accomodation during the conference
Conference-banquet
Hotel accomodation is available in single rooms, and includes breakfast, lunch
and dinner.
PAYMENT
Fees are payable in Dutch Guilders (Dfl).
Your payment should reach us BEFORE March 10!
====================================================
Registration Form
Name: _____________________________________
Department: _____________________________________
Institution: _____________________________________
Address: _____________________________________
Postcode/City: _____________________________________
Country: _____________________________________
Telephone: _____________________________________
E-mail: _____________________________________
Remarks: _____________________________________
In the following, please click what is appropriate:
Hotel arrangement from March 17 with departure on March 20 before 17.00 hr:
Dfl 750 [ ]
Hotel arrangement from March 17 with departure on March 21:
Dfl 875 [ ]
Do you have special dietary restrictions?
Vegetarian [ ]
Otherwise ____________________________________
Please check your payment method
(unfortunately, we can not accept credit cards):
bank transfer (net of bank charges) [ ]
into:
Postbank account 229847 of Utrecht University
Faculteit Wiskunde & Informatica
TARK, 0251/1501020
bank cheque payable to TARK, 0251/1501020, send with this
registration form. [ ]