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/2006/newsitem/1092/19-
 21-January-2006-Days-in-Logic---2006-Coimbra-Portu
 gal
DTSTAMP:20051123T000000
SUMMARY:Days in Logic - 2006, Coimbra,  Portugal
DTSTART;VALUE=DATE:20060119
DTEND;VALUE=DATE:20060121
LOCATION:Coimbra,  Portugal
DESCRIPTION:This meeting aims at bringing together
  mathematicians and computer scientists with inter
 ests in Logic. It is specially directed for gradua
 te students. It consists of four introductory cour
 ses and contributed talks. Courses include "Catego
 ry Theory", "Proof Interpretations", "Computations
  with Ordinals, and Models of Set Theory" and "Pro
 vable Recursion and Arithmetical Independence Resu
 lts"   For registration or more information, see h
 ttp://www.mat.uc.pt/~kahle/dl06/ or contact the or
 ganizers at kahle at mat.uc.pt.    Participants wi
 shing to give a talk at the meeting are requested 
 to submit an abstract of 1 page (LaTeX or plain te
 xt, or ps or pdf) to kahle at mat.uc.pt by 30 Nove
 mber 2005.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>This 
 meeting aims at bringing together mathematicians a
 nd computer\nscientists with interests in Logic. I
 t is specially directed for\ngraduate students. It
  consists of four introductory courses and\ncontri
 buted talks. Courses include &quot;Category Theory
 &quot;,\n      &quot;Proof Interpretations&quot;,\
 n      &quot;Computations with Ordinals, and Model
 s of Set Theory&quot;\n      and &quot;Provable Re
 cursion and Arithmetical Independence Results&quot
 ;\n      </p>\n    \n      \n      <p>For registra
 tion or more information, see \n        <a target=
 "_blank" href="http://www.mat.uc.pt/~kahle/dl06/">
 http://www.mat.uc.pt/~kahle/dl06/</a>\n        or 
 contact the organizers at <a class="email">kahle <
 span class="at">at</span> mat.uc.pt</a>.\n      </
 p>\n    </div><div>\n      <p>\nParticipants wishi
 ng to give a talk at the meeting are requested to\
 nsubmit an abstract of 1 page (LaTeX or plain text
 , or ps or pdf) to\n<a class="email">kahle <span c
 lass="at">at</span> mat.uc.pt</a> by 30 November 2
 005.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1092/19-
 21-January-2006-Days-in-Logic---2006-Coimbra-Portu
 gal
END:VEVENT
END:VCALENDAR