AiML'98 Scientific Program Workshop Venue Registration Accommodation Organizing Committee Program Committee Steering Committee Advisory Board Sponsors Further Information |
|
Advances in Modal Logic'98AiML'98October 16-18, 1998Uppsala University, Uppsala, SwedenFinal Call for Participation
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.
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 Lindström. 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 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 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 coordindates: Rysiek SliwinskiTo 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. Local Organizing Committee Krister SegerbergProgramme Committee Michael Zakharyaschev, Moscow (chair)AiML Steering Committee Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev AiML Advisory Board Johan van Benthem, AmsterdamSponsors 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/.
|