Advances in Modal Logic '98
AiML'98
October 16-18, 1998
Uppsala University, Uppsala
Sweden
ABOUT THE WORKSHOP
Advances in Modal Logic is an initiative aimed at presenting an up-to-date
picture of the state of the art in modal logic and its many applications.
The initiative consists of a workshop series together with volumes based on
those workshops. Advances in Modal Logic '98 is the second workshop
organized as part of this initiative. AiML'98 will be held from October
16-18, 1998 in Uppsala, Sweden. The workshop is intended for users of
modal logic in cognition, computing, and language, as well as for logicians
working in the area.
SCIENTIFIC PROGRAM
The invited speakers for AiML'98 are Johan van Benthem, Max J. Cresswell,
Kit Fine, Dov M. Gabbay, John F. Horty, Marcus Kracht, and Rohit Parikh.
During the workshop there will be a special morning session on modal logic
and belief revision; this session will be chaired by Sven Ove Hansson and
Sten Lindstrom. In addition, there will be a tutorial on Explicit Modal
Logic by Sergei Artemov, as well as 16 contributed papers. The complete
scientific program is available at
http://www.wins.uva.nl/~mdr/AiML/aiml98-program.html.
WORKSHOP VENUE
AiML'98 will be held in the main hall of Uppsala University, in the center
of Uppsala. The city of Uppsala is situated in the province Uppland in
Uppsala county. The municipality of Uppsala is Sweden's fourth largest
municipality, with slightly more than 184,000 inhabitants. Further
information is available at http://www.uppsala.se. People arriving by air
should get a flight to Stokholm Arlanda Airport. There is a bus from
Arlanda to Uppsala (number 801) every 15 or 30 minutes, depending on the
time of day; the fare is 75 SEK. People arriving by train can take
commuter trains or IC trains from Stockholm, all departing from Stokholm
Central Station.
REGISTRATION
The normal registration fee (without accommodation) is 1000 SEK; the
student fee is 400 SEK. Registration includes access to the workshop, food
service, the workshop dinner, as well as copies of the workshop
proceedings. To register, please contact Rysiek Sliwinski by email or fax
at the following coordinates:
Rysiek Sliwinski
Department of Philosophy
Uppsala University
E-mail: rysiek.sliwinski@filosofi.uu.se
Phone: +46 18 471 73 51
Fax: +46 18 471 73 70.
To cut costs, the fees can only paid in cash on the spot upon arrival.
Unfortunately, credit cards can not be accepted.
ACCOMMODATION
Hotel accommodation will be arranged in various hotels in Uppsala. Please
ask Rysiek Sliwinski at the above address to help you to arrange
accommodation when you register.
SPONSORS
AiML'98 is generously sponsored by Neurotec Hochtechnologie GmbH, the
Computational Logic Group at ILLC, University of Amsterdam, Compulog Net
network for Computational Logic, the Royal Swedish Academy of Science, and
the University of Uppsala.
FURTHER INFORMATION
Email enquiries about the practical details of AiML'98 should be directed
to rysiek.sliwinski@filosofi.uu.se. Information about the AiML initiative
can be obtained on the World-Wide Web at http://www.wins.uva.nl/~mdr/AiML/.