AiML: Workshops



	You are here: AiML.NET : Workshops Advances in Modal Logic organizes bi-annual workshops. So far, the following events have taken place or are being planned: AiML-ICTL 2000, Leipzig, Germany; October 4-7, 2000 AiML'98, Uppsala, Sweden; October 16-18, 1998 AiML'96, Berlin, Germany; October 8-10, 1996 Information about future venues will be made available here. AiML-ICTL 2000 The third Advances in Modal Logic workshop will be held in conjunction with ICTL-2000 at the University of Leipzig, October 4-7, 2000. The local organizing committee is headed by Frank Wolter and Holger Sturm. The program committee for AiML-ICTL 2000 consists of Franz Baader, Howard Barringer, Marcelo Finger, Nissim Francez, Dov Gabbay, Greg Restall, Maarten de Rijke, Heinrich Wansing (chair), Frank Wolter, Michael Zakharyaschev. The invited speakers for AiML-ICTL 2000 include Nuel Belnap (Pittsburgh), Stephane Demri (Grenoble), Silvio Ghilardi (Milan), Giuseppe de Giacomo (Rome), Mark Reynolds (Perth), Krister Segerberg (Uppsala), Colin Stirling (Edinburgh), and Moshe Vardi (Houston). Local information for AiML-ICTL 2000 is available via this link. A the list of accepted papers is also available. Important dates and the time frame for AiML-ICTL 2000 are available here, and for the historically minded, we still have pointers to the third and final call for papers in various formats (pdf, postscript, ascii). AiML'98 The second Advances in Modal Logic workshop, AiML'98, was held from October 16-18 at the University of Uppsala in Uppsala, Sweden. Krister Segerberg and Rysiek Sliwinski were the local organizers. The program committee consisted of Maarten de Rijke, Krister Segerberg, Heinrich Wansing, and Michael Zakharyaschev (chair). The invited speakers included Johan van Benthem, Max Cresswell, Kit Fine, Dov M. Gabbay, John F. Horty, Marcus Kracht, and Rohit Parikh. In addition, there was a special session on Modal Logic and Belief Revision, and a tutorial by Sergei Artemov on Explicit Modal Logic. The call for papers, the call for participation, and the program are still available. The volume will soon be available. AiML'96 The first Advances in Modal Logic workshop, AiML'96, was held from October 8-10, 1996 at the Freie Universität Berlin, Berlin, Germany. Marcus Kracht was the local organizer. The progam committee consisted of Marcus Kracht, Maarten de Rijke (chair), Heinrich Wansing, and Michael Zakharyaschev. The invited speakers included Patrick Blackburn (Saarbrücken), Wim Blok (Chicago), Marco Hollenberg (Utrecht), Dimiter Vakarelov (Sofia), Yde Venema (Amsterdam), Albert Visser (Utrecht), and Frank Wolter (Ishikawa). In addition, there was a special session in honour of Wolfgang Rautenberg on the occasion of his 60th birthday. The call for papers and the program are still available. The volume from AiML'96 has been published.



[Home \| Problem Area \| Who's Who \| Background \| Workshops \| Volumes \| News \| Tools] Advances in Modal Logic Contact Address Copyright © 2000 This page was last built on Sun, Jul 16, 2000 at 21:29:09 by Chinaski WorldWide for the AiML Steering Committee