From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5187 Path: news.gmane.org!not-for-mail From: Thomas Bolander Newsgroups: gmane.science.mathematics.categories Subject: Call for participation: Methods for Modalities 6 Date: Wed, 07 Oct 2009 14:51:12 +0200 Message-ID: Reply-To: Thomas Bolander NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1254936087 21496 80.91.229.12 (7 Oct 2009 17:21:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 7 Oct 2009 17:21:27 +0000 (UTC) To: undisclosed-recipients:; Original-X-From: categories@mta.ca Wed Oct 07 19:21:15 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MvaCN-00036y-IA for gsmc-categories@m.gmane.org; Wed, 07 Oct 2009 19:21:11 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MvZkj-0005XS-Eg for categories-list@mta.ca; Wed, 07 Oct 2009 13:52:37 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5187 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PARTICIPATION 6th Workshop on METHODS FOR MODALITIES (M4M-6) http://m4m.loria.fr/M4M6 Copenhagen, Denmark November 12-14, 2009 NOTE: The deadline for early registration is October 19 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Scope ----- The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. More information about the previous editions can be found at http://m4m.loria.fr/ Autumn School ------------- M4M-6 will be preceded by a two-day mini-course called "Autumn School on Modal Logic" aimed at preparing PhD students and other researchers for participation in the workshop. The autumn school will be taught by Carlos Areces, Patrick Blackburn, Valentin Goranko, Renate Schmidt, and Carsten Sch=FCrmann. Consult the autumn school home page for further information: http://hylocore.ruc.dk/m4m6school.html The autumn school is associated with the FIRST research school (http://first.dk). Registration ------------ To register for the workshop and/or the preceding autumn school on modal logic, please visit the following site: http://hylocore.ruc.dk/m4m6registration.html Note that the deadline for early registration is October 19. Workshop venue -------------- M4M will take place at the IDA Conference Center in the center of Copenhagen (http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx). The preceeding autumn school will take place at the IT University of Copenhagen (http://www1.itu.dk/sw5211.asp). For travelling and accommodation information, please consult the workshop home page (http://m4m.loria.fr/M4M6/). Invited speakers ----------------- - Franz Baader, TU Dresden "Small is again beautiful in description logics" (http://lat.inf.tu-dresden.de/~baader/index-en.html) - Barteld Kooi, University of Groningen "Logics for intelligent interaction" (http://www.philos.rug.nl/~barteld/) - Kim Guldstrand Larsen, Aalborg University "Modal logics for specification and verification" (http://www.cs.aau.dk/~kgl/) - Renate Schmidt, University of Manchester "Simulation and Synthesis of Deduction Calculi" (http://www.cs.man.ac.uk/~schmidt/) - Yde Venema, University of Amsterdam "Proof systems for Moss' co-algebraic modality" (http://staff.science.uva.nl/~yde/) Important dates --------------- Deadline for early registration M4M-6: October 19, 2009 Deadline for late registration M4M-6: November 5, 2009 Deadline for registration autumn school: November 5, 2009 Autumn school dates: November 11-12, 2009 M4M-6 workshop dates: November 12-14, 2009 Local organisers ---------------- - Thomas Bolander, Technical University of Denmark tb@imm.dtu.dk - Torben Bra=FCner, Roskilde University torben@ruc.dk Program Committee ----------------- Carlos Areces, INRIA Lorraine Lars Birkedal, IT University of Copenhagen Patrick Blackburn, INRIA Lorraine Thomas Bolander (co-chair), Technical University of Denmark Julian Bradfield, University of Edinburgh Torben Bra=FCner (co-chair), Roskilde University Balder ten Cate, University of Amsterdam Stephane Demri, ENS de Cachan Hans van Ditmarsch, University of Otago Melvin Fitting, City University of New York John Gallagher, Roskilde University Mai Gehrke, Radboud University Nijmegen Silvio Ghilardi, University of Milano Valentin Goranko, University of the Witwatersrand Rajeev Gor=E9, ANU Michael R. Hansen, Technical University of Denmark Andreas Herzig, IRIT Wiebe van der Hoek, University of Liverpool Martin Lange, LMU M=FCnchen Carsten Lutz, Dresden University of Technology Angelo Montanari, University of Udine Valeria de Paiva, Cuil Inc. Thomas Schneider, University of Manchester Carsten Sch=FCrmann, IT University of Copenhagen Gert Smolka, Saarland University Anders S=F8gaard, University of Copenhagen J=F8rgen Villadsen, Technical University of Denmark Frank Wolter, University of Liverpool Thomas =C5gotnes, Bergen University College =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D [For admin and other information see: http://www.mta.ca/~cat-dist/ ]