BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2011/newsitem/3761/25-
 27-February-2011-Proof-and-Dialogues-ProDi-Tübinge
 n-Germany-
DTSTAMP:20110124T000000
SUMMARY:Proof and Dialogues (ProDi), Tübingen (Ger
 many)
DTSTART;VALUE=DATE:20110225
DTEND;VALUE=DATE:20110227
LOCATION:Tübingen (Germany)
DESCRIPTION:The ProDi workshop focuses on the rela
 tionship between proof-theoretic and dialogical ap
 proaches to logic. Formally, it is an internal mee
 ting organized by two collaborative research proje
 cts within the ESF programme "Modelling intelligen
 t interaction - Logic in the Humanities, Social an
 d Computational sciences (LogICCC)" (http://www.es
 f.org/index.php?id=3241) together with some extern
 al experts (including Andreas Blass, George Metcal
 fe, Helge Rückert and Morten Sørensen).   However,
  there will be two or three slots for contributed 
 talks (30 min). If you are interested to contribut
 e such a talk, please send an abstract to Thomas P
 iecha (ProDi-CfP at informatik.uni-tuebingen.de). 
 The deadline is 7 February 2011. We would notify y
 ou until 10 February of whether we can accept it o
 r not.   Participants are welcome. In that case pl
 ease send an e-mail to Thomas Piecha until 10 Febr
 uary.   For more information, see http://www-ls.in
 formatik.uni-tuebingen.de/prodi/   who would like 
 to participate without giving a talk
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The P
 roDi workshop focuses on the relationship between\
 n      proof-theoretic and dialogical approaches t
 o logic. Formally, it\n      is an internal meetin
 g organized by two collaborative research\n      p
 rojects within the ESF programme &quot;Modelling i
 ntelligent\n      interaction - Logic in the Human
 ities, Social and Computational\n      sciences (L
 ogICCC)&quot;\n      (<a target="_blank" href="htt
 p://www.esf.org/index.php?id=3241">http://www.esf.
 org/index.php?id=3241</a>) together\n      with so
 me external experts (including Andreas Blass, Geor
 ge\n      Metcalfe, Helge R&uuml;ckert and Morten 
 S&oslash;rensen).\n      </p>\n    \n      <select
 ive cat="illc-cfp">\n      <p>However, there will 
 be two or three slots for contributed\n      talks
  (30 min). If you are interested to contribute suc
 h a talk,\n      please send an abstract to Thomas
  Piecha\n      (<a class="email">ProDi-CfP <span c
 lass="at">at</span> informatik.uni-tuebingen.de</a
 >). The\n      deadline is 7 February 2011. We wou
 ld notify you until 10\n      February of whether 
 we can accept it or not.\n      </p>\n      </sele
 ctive>\n      <p>Participants  are welcome. In tha
 t case please send an e-mail to\n      Thomas Piec
 ha until 10 February.\n      </p>\n      <p>For mo
 re information, see\n        <a target="_blank" hr
 ef="http://www-ls.informatik.uni-tuebingen.de/prod
 i/">http://www-ls.informatik.uni-tuebingen.de/prod
 i/</a>\n      </p>\n    </div><div> who would like
  to participate without giving a\n      talk</div>
URL:/NewsandEvents/Archives/2011/newsitem/3761/25-
 27-February-2011-Proof-and-Dialogues-ProDi-Tübinge
 n-Germany-
END:VEVENT
END:VCALENDAR