-------- Original-Nachricht -------- Betreff: [WI] FIRST PhD Autumn School on Modal Logic Datum: Thu, 01 Oct 2009 14:38:15 +0200 Von: Thomas Bolander tb@imm.dtu.dk An: aarati@cs.stanford.edu, aayesh@dmu.ac.uk, acl2@cs.utexas.edu, acl@opus.cs.columbia.edu, adam@cogsci.jhu.edu, admin@lists.oasis-open.org, agents@csc.liv.ac.uk, agents@cs.umbc.edu, ageron@math.unicaen.fr, aiia@dis.uniroma1.it, ailr@nwpu.edu.cn, akirasu.tw@yahoo.com.tw, akoslow@gc.cuny.edu, alama@stanford.edu, alessandro.facchini@unine.ch, a.lisitsa@csc.liv.ac.uk, amirouche.moktefi@gersulp.u-strasbg.fr, Andreas.Herzig@irit.fr, angelides@stanford.edu, ankuendigungen-gimod@liste.es.e-technik.tu-darmstadt.de, anna.maetzener@access.unizh.ch, antonio.ledda@inwind.it, arbiser@dc.uba.ar, areces@loria.fr, asci@twi.tudelft.nl, atm@let.rug.nl, balder.tencate@uva.nl, baltag@comlab.ox.ac.uk, basin@inf.ethz.ch, bbaki@info.unicaen.fr, bbarbour@unitec.ac.nz, bdjioua@paris4.sorbonne.fr, Beata.Konikowska@ipipan.waw.pl, behounek@cs.cas.cz, Bernhard.Heinemann@fernuni-hagen.de, bilkova@math.cas.cz, birkedal@itu.dk, blutner@web.de, bou@mat.ub.es, b.teheux@ulg.ac.be, carniell@cle.unicamp.br, categories@mta.ca, ccal@math.ist.utl.pt, ccshan@post.harvard.edu, cdiprisc@ivic.ve, cherrierp@wanadoo.fr, Christiane.Ruffieux@chuv.ch, cintula@cs.cas.cz, ckemke@cs.umanitoba.ca, c.konyevits@bluewin.ch, clp@comp.nus.edu.sg, clpr-users@comp.nus.edu.sg, cluk@dcs.shef.ac.uk, cmartinez@wesleyan.edu, collinsp@scot.ac.uk, colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk, community@mlnet.org, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, compulognet-parimp@clip.dia.fi.upm.es, compulognet-parimp@dia.fi.upm.es, concurrency@cwi.nl, conferences@computer.org, coniglio@cle.unicamp.br, coq-club@pauillac.inria.fr, corpora@hd.uib.no, cotton@ensae.fr, css@cs.stanford.edu, cup@icot.or.jp, czhou@indiana.edu, dai-list@mcc.com, daml-all@daml.org, Daniel.hausmann@dfki.de, davor.runje@fer.hr, dbailey@cse.ucsc.edu, dbitaly@list.dia.uniroma3.it, dbworld@cs.wisc.edu, demri@lsv.ens-cachan.fr, dg@dcs.kcl.ac.uk, dgracia@ub.edu, Diderik.Batens@UGent.be, digicult-forum@digicult.info, diglib@infoserv.inist.fr, discussion@agentcities.org, dl@dl.kr.org, dotkom-project@dcs.shef.ac.uk, dunn@indiana.edu, ea@ira.uka.de, eccaiwww@eccai.org, ecoop-info@ecoop.org, edelcio@pucsp.br, editor@agentlink.org, editor@knowledgeboard.com, eestevez@us.es, egkle@comcast.net, ehamada@mesastate.edu, elsnet-list@elsnet.org, elsnet-list@let.uu.nl, enrique.alonso@uam.es, e_pacuit@hotmail.com, epontell@cs.nmsu.edu, esslli07lecturers@cs.tcd.ie, esslli07participants@cs.tcd.ie, esterel-users@sophia.inria.fr, e.tomaszewski@iphils.uj.edu.pl, evalo3@hotmail.com, event@in.tu-clausthal.de, events_calendar@acm.org, ez4@st-andrews.ac.uk, fabio.delprete@unimi.it, fadoria2001@yahoo.com.br, fanyang@uclink.berkeley.edu, fg-db@informatik.uni-rostock.de, fgwm@uni-trier.de, finite-model-theory@lists.RWTH-Aachen.DE, finng@ruc.dk, fm-discussion@cs.man.ac.uk, fmichael@brooklyn.cuny.edu, fom@cs.nyu.edu, fotfs@math.uni-bonn.de, franceschet@dimi.uniud.it, frovin@ruc.dk, fsoler@us.es, ftohme@criba.edu.ar, gazette@sfs.nphil.uni-tuebingen.de, gemm@usal.es, genechoquette@hotmail.com, gfeng@usc.edu, gilberto.pastorello@terra.com.br, gil@ub.edu, goranko@maths.wits.ac.za, graduiertenkolleg-infos@ims.uni-stuttgart.de, gragra@i3.informatik.rwth-aachen.de, Grant.Marler@cgu.edu, grosado@uprrp.edu, guigong3@etu.unige.ch, guray@asu.edu, gwa@lists.ut.ee, haf@fc.unesp.br, Hans.Lycke@UGent.be, hehuac@nwpu.edu.cn, Heinrich.Wansing@mailbox.tu-dresden.de, hellm001@umn.edu, hermann@inf.puc-rio.br, hkurokawa@gc.cuny.edu, hspencer@stanford.edu, hugomar@ime.usp.br, humanist@lists.Princeton.EDU, humanist@princeton.edu, hykel@maths.man.ac.uk, hylo@loria.fr, ifla-l@infoserv.inist.fr, ifmsig@cs.tcd.ie, ilpo.halonen@helsinki.fi, imperativlogik@hotmail.com, info@folli.org, institutnicod-diffusion@ens.fr, irlist-editor@acm.org, irlist-editor@sigir.org, isworld@listserv.heanet.ie, ISWORLD-request@listserv.heanet.ie, itala@cle.unicamp.br, ivystone@tom.com, Jacques.Riche@cs.kuleuven.ac.be, jairomat@linkway.com.br, janciu@uni.lodz.pl, jansana@cerber.mat.ub.es, janusz.czelakowski@uni.opole.pl, jarekmuller@yahoo.co.uk, jarmuzek@uni.torun.pl, jccifa@mat.ufpr.br, jean-yves.beziau@unine.ch, jefmontg@nmsu.edu, jensuh@ruc.dk, jerusa@das.ufsc.br, jmfont@ub.edu, johan@science.uva.nl, Joke.Meheus@rug.ac.be, jsam@uol.com.br, j.seligman@auckland.ac.nz, jsgrygiel@poczta.onet.pl, juanh@science.uva.nl, juliana.bueno@cle.unicamp.br, jv@imm.dtu.dk, jwaldmajer@uni.opole.pl, kamps@science.uva.nl, kashima@is.titech.ac.jp, kaw@science.uva.nl, kaw@swi.psy.uva.nl, kchan@science.uva.nl, kgank@wp.pl, kgs-list@logic.at, kgs@logic.at, kgs@logic.tuwien.ac.at, ki-inf@uni-koblenz.de, kok6@pitt.edu, kracht@math.fu-berlin.de, Krister.Segerberg@filosofi.uu.se, kristina@cs.stanford.edu, kr@kr.org, krr-actions@irst.itc.it, ksnelson@subjectivity.com, ladusaw@cats.ucsc.edu, ldostal@kfi.zcu.cz, lfcs-interest@dcs.ed.ac.uk, lics@informatik.hu-berlin.de, lics-request@dcs.ed.ac.uk, Lieven.Haesaert@UGent.be, linguist@linguistlist.org, list@prooftheory.org, litak@jaist.ac.jp, lm.parisoli@online.fr, ln@cines.fr, loco@csc.liv.ac.uk, logic@cs.stanford.edu, logic-list@helsinki.fi, logic@math.uni-bonn.de, logic-ml@sato.kuis.kyoto-u.ac.jp, logik@math02.mathematik.uni-muenchen.de, logik@math.uni-freiburg.de, logik@math.uni-muenster.de, loom-forum@isi.edu, lot@let.uu.nl, lprolog@cs.umn.edu, ltaylor@ling.ucsd.edu, lucia@ime.usp.br, luca.vigano@univr.it, luiz@inf.puc-rio.br, lutz@ps.uni-sb.de, Lutz.Schroeder@dfki.de, maietti@math.unipd.it, mailings@iwv.jku.at, majer@site.cas.cz, makinson@dcs.kcl.ac.uk, malerba@di.uniba.it, mamobe@ruc.dk, mara@usal.es, marie.duzi@vsb.cz, marx@science.uva.nl, math.logik@gmx.net, Max.Cresswell@bats.ecs.vuw.ac.nz, mccolm@math.usf.edu, mcgin017@umn.edu, mdr@science.uva.nl, mercury-users@cs.mu.oz.au, mhuertass@uoc.edu, michael.groneberg@unifr.ch, miguel.couceiro@uta.fi, miraglia@ime.usp.br, mizar-forum@mizar.uwb.edu.pl, mnowicki@uni.torun.pl, mrg@itc.it, mspinksau@yahoo.com.au, mullers77@hotmail.com, musa_akrami@yahoo.com, mvazquez@ull.es, mwallen@cs.umass.edu, ncacosta@usp.br, nechitajlov@mail.ru, nemeti@math-inst.hu, nepomuce@us.es, nicola.olivetti@univ-cezanne.fr, nicolosi@dmi.unict.it, Nikolaos.Tzevelekos@comlab.ox.ac.uk, nl-kr@cs.rochester.edu, nordlingnet@uib.no, odintsov@math.nsc.ru, om-announce@openmath.org, onto@aifb.uni-karlsruhe.de, ontolog-forum@ontolog.cim3.net, ontology@buffalo.edu, ontoquery@ruc.dk, ozan@informatik.uni-leipzig.de, paoli@unica.it, patrick.allo@vub.ac.be, Patrick.Blackburn@loria.fr, Paul-Francois.Egre@univ-paris1.fr, pcobrer@alumni.unav.es, penguists@babel.ling.upenn.edu, penka@stanford.edu, peregrin@ff.cuni.cz, peter.greenfield@univ-fcomte.fr, pgochet@ulg.ac.be, philipp.keller@lettres.unige.ch, pjparikh@aol.com, polacik@us.edu.pl, potts@ling.ucsc.edu, pozzato@di.unito.it, procos-request@jiscmail.ac.uk, prog-lang@diku.dk, project@aktors.org, proof-complexity@math.cas.cz, ProofTheory.List@Gmail.com, psh@informatik.uni-tuebingen.de, public-owl-dev@w3.org, public-rif-wg@w3.org, puml-list@cs.york.ac.uk, pvs@csl.sri.com, QWN05577@nifty.ne.jp, rahm@informatik.uni-leipzig.de, raja@tifr.res.in, Rajeev.Gore@anu.edu.au, rantonse@ifi.uio.no, Razvan.Diaconescu@imar.ro, rcignoli@2vias.com.ar, regis.alenda@Gmail.com, rendsvig@Gmail.com, rewerse-all@rewerse.net, rgon@math.ist.utl.pt, rineke@ai.rug.nl, risc@idf.ext.jussieu.fr, risc@risc.cnrs.fr, rlewin@mat.puc.cl, rodin@ens.fr, rosati@dis.uniroma1.it, Ross.Brady@latrobe.edu.au, Ruffino@gmx.net, ruleml-all@ruleml.org, ruy@cin.ufpe.br, Ryan.Young@anu.edu.au, rz@linguist.jussieu.fr, rzymlok@wp.pl, saliyari@indiana.edu, saltcat@bc4.so-net.ne.jp, sap@ruc.dk, sautter@terra.com.br, sayadyans@yahoo.com, sbardell@cle.unicamp.br, schang.fabien@voila.fr, sefus@usal.es, semantic-web@w3.org, semantik@rz.uni-duesseldorf.de, semantik@uni-duesseldorf.de, senseval-discuss@listserv.hum.gu.se, sep@phil.ufl.edu, seweb-list@www2-c703.uibk.ac.at, sf@tut.fi, shillier@ualberta.ca, shinkore@math.nsc.ru, sigsem@aclweb.org, skgottipati@hotmail.com, slr@st-and.ac.uk, smunoz@ucsc.cl, sonsmets@vub.ac.be, spin_list@research.bell-labs.com, spinn@cst.dk, srirams@cs.stanford.edu, srmv@bridge.com.br, st09458@student.uib.no, staschokm@philosophie.hu-berlin.de, steiner@iam.unibe.ch, steinhorn@vassar.edu, su.rogerson@arts.monash.edu.au, surowik@hum.uwb.edu.pl, sw-announce@semanticplanet.com, swbyun@star.ks.ac.kr, sw-ergo@gui-design.de, taraleen@sfu.ca, taranto@ling.ucsd.edu, tarlecki@mimuw.edu.pl, tballiso@umich.edu, tb@imm.dtu.dk, theorem-provers@ai.mit.edu, THEORY-A@LISTSERV.NODAK.EDU, theory@cl.cam.ac.uk, theory-logic@cs.cmu.edu, theorynt@LISTSERV.NODAK.EDU, timm.lampert@philo.unibe.ch, tinko@fmi.uni-sofia.bg, T.J.M.Hendrey-Seabrook@sussex.ac.uk, todorova@vonneumann.cog.jhu.edu, tojo@jaist.ac.jp, tonoike@lang.nagoya-u.ac.jp, topicmapmail@infoloom.com, torben@ruc.dk, tpequeno@secrelnet.com.br, ura-list@helsinki.fi, users@mozart-oz.org, uws@uni.opole.pl, vandervk@uqtr.ca, vasyukov@pochta.ru, vegetal@cle.unicamp.br, veloso@cos.ufrj.br, vero0304@yahoo.com, veta_v@mail.ru, vincent@hum.ku.dk, vip_cse@imm.dtu.dk, vki-list@dfki.de, v.komendantsky@cs.ucc.ie, vladan@ualberta.ca, V.Rybakov@mmu.ac.uk, Walsh.108@nd.edu, wdean@ruccs.rutgers.edu, webmaster@aisb.org.uk, weekly@egovmonitor.com, weinsteinm@mail.montclair.edu, wi@aifb.uni-karlsruhe.de, wkt@motorola.com, wojtylak@ux2.math.us.edu.pl, www-annotation@w3.org, www-rdf-logic@w3.org, www-rdf-rules@w3.org, www-webont-wg@w3.org, www-ws@w3.org, wyw@gdut.edu.cn, xcaicedo@uniandes.edu.co, xu@ling.ohio-state.edu, yde@science.uva.nl, yup@umich.edu, ywang@science.uva.nl, yye@umich.edu, zhitaohe@vip.sina.com
Call for Participation
FIRST PhD Autumn School on Modal Logic
IT University of Copenhagen, Denmark November 10-11 2009
http://hylocore.ruc.dk/m4m6school.html
The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris). See
for more information on the workshop series, in particular, see why modal logic is important for computer science. A goal of having M4M in Denmark is to strengthen Danish research in reasoning methods for modal logics, which is a growing area of foundational and increasingly computational importance.
The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.
Lecturers and topics:
Computational Modal Logic Carlos Areces and Patrick Blackburn, INRIA, Nancy
Temporal Logics for Specification and Verification Valentin Goranko, Technical University of Denmark
The Judgmental Reconstruction of Modal Logic Carsten Schürmann, IT University of Copenhagen
Resolution-Based Theorem Proving for Modal and Description Logic Renate Schmidt, University of Manchester
Hybrid Deduction Patrick Blackburn, INRIA, Nancy
Time and place:
The Fall school will take place at the IT University of Copenhagen November 10 and 11 2009.
Registration:
The registration deadline for the Autumn school is
*** Friday, October 23 2009 ***
Please register here: http://hylocore.ruc.dk/m4m6registration.html
FIRST PhD students participate free of charge.
Organization:
Thomas Bolander, Technical University of Denmark Torben Braüner, Roskilde University Carsten Schürmann, IT University of Copenhagen
Torben Braüner (torben@ruc.dk) is main organizer of the school and can be contacted for more information. The Autumn School on Modal Logic is supported by the FIRST Research School (http://first.dk) and the research project HYLOCORE (http://hylocore.ruc.dk).
-- Mailing-Liste: WI@aifb.uni-karlsruhe.de Administrator: WI-admin@aifb.uni-karlsruhe.de Konfiguration: http://www.aifb.uni-karlsruhe.de/mailman/listinfo/wi