BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/302
8/10-11-November-2009-PhD-Autumn-School-on-Modal-L
ogic-Copenhagen-Denmark
DTSTAMP:20091005T000000
SUMMARY:PhD Autumn School on Modal Logic, Copenhag
en, Denmark
DTSTART;VALUE=DATE:20091110
DTEND;VALUE=DATE:20091111
LOCATION:Copenhagen, Denmark
DESCRIPTION:The goal of the Autumn School on Modal
Logic is to prepare PhD students and other resear
chers for participation in the sixth workshop Meth
ods for Modalities (M4M-6) which takes place Novem
ber 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 "mod
al logics" is conceived broadly, including descrip
tion logic, guarded fragments, conditional logic,
temporal and hybrid logic, etc. The first M4M work
shop took place in Amsterdam in 1999. Since then,
M4M workshops have taken place in 2001 (Amsterdam)
, 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).
The Autumn School on Modal Logic is open to anyon
e interested. The intended participants will have
a general background in theoretical computer scien
ce, 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 i
s usually covered in undergraduate classes on disc
rete mathematics. The registration deadline for
the Autumn school is Friday, October 23 2009. For
more information, see http://hylocore.ruc.dk/m4m6s
chool.html. See http://m4m.loria.fr/ for more info
rmation on the workshop series.
X-ALT-DESC;FMTTYPE=text/html:\n The goal o
f the Autumn School on Modal Logic is to prepare P
hD\n students and other researchers for par
ticipation in the sixth workshop\n Methods
for Modalities (M4M-6) which takes place November
12-14 2009\n in Copenhagen. The workshop Me
thods for Modalities aims to bring\n togeth
er researchers interested in developing proof tool
s and decision\n methods based on modal log
ics. Here the term "modal logics" is\n
conceived broadly, including description log
ic, guarded fragments,\n conditional logic,
temporal and hybrid logic, etc. The first M4M\n
workshop took place in Amsterdam in 1999. Si
nce then, M4M workshops\n have taken place
in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin),
and\n 2007 (Paris).\n

\n T
he Autumn School on Modal Logic is open to anyone
interested. The\n intended participants wil
l have a general background in theoretical\n
computer science, but wish to obtain more concre
te knowledge on modal\n logic and its compu
tational aspects. Besides a working knowledge of\n
English, prerequisites are a basic knowled
ge of logic and mathematics\n that is usual
ly covered in undergraduate classes on discrete\n
mathematics.\n

\n \n Th
e registration deadline for the Autumn school is\n
Friday, October 23 2009.\n For more
information, see\n http://h
ylocore.ruc.dk/m4m6school.html.\n See <
a target="_blank" href="http://m4m.loria.fr/">http
://m4m.loria.fr/ \n for more informatio
n on the workshop series.\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/302
8/10-11-November-2009-PhD-Autumn-School-on-Modal-L
ogic-Copenhagen-Denmark
END:VEVENT
END:VCALENDAR