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/1449/12-
 November-2006-2nd-International-Workshop-on-Analyt
 ic-Proof-Systems-Analytic-Systems-2-Phnom-Penh-Cam
 bodia
DTSTAMP:20060803T000000
SUMMARY:2nd International Workshop on Analytic Pro
 of Systems (Analytic Systems 2), Phnom Penh, Cambo
 dia
DTSTART;VALUE=DATE:20061112
DTEND;VALUE=DATE:20061112
LOCATION:Phnom Penh, Cambodia
DESCRIPTION:Analyticity is a topic that connects f
 oundational issues in logic with applications, mai
 nly in automated deduction and analysis of proofs.
  The workshop, part of LPAR-13, is primarily inten
 ded to enhance awareness for this topic and to pro
 mote corresponding discussions and contacts betwee
 n experienced experts and younger colleagues.   Fo
 r more information, see http://www.logic.at/staff/
 chrisf/ws/AS-2.html   The Programme Committee cord
 ially invites all researchers to submit their pape
 rs for presentation. Submission deadline is 25 Sep
 tember 2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\nAna
 lyticity is a topic that connects foundational iss
 ues in logic with\napplications, mainly in automat
 ed deduction and analysis of proofs.\nThe workshop
 , part of LPAR-13,\nis primarily intended to enhan
 ce awareness for this topic\nand to promote corres
 ponding discussions and contacts between experienc
 ed\nexperts and younger colleagues.\n      </p>\n 
    \n      \n      <p>For more information, see\n 
        <a target="_blank" href="http://www.logic.a
 t/staff/chrisf/ws/AS-2.html">http://www.logic.at/s
 taff/chrisf/ws/AS-2.html</a>\n      </p>\n    </di
 v><div>\n      <p>\n        The Programme Committe
 e cordially invites all researchers\n        to su
 bmit their\n        papers for presentation.\n    
     Submission deadline is 25 September 2006.\n   
    </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1449/12-
 November-2006-2nd-International-Workshop-on-Analyt
 ic-Proof-Systems-Analytic-Systems-2-Phnom-Penh-Cam
 bodia
END:VEVENT
END:VCALENDAR