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/2007/newsitem/1830/3-5
 -November-2007-Infinity-in-Logic-and-Computation-I
 LC07-Cape-Town-South-Africa
DTSTAMP:20070426T000000
SUMMARY:Infinity in Logic and Computation (ILC07),
  Cape Town, South  Africa
DTSTART;VALUE=DATE:20071103
DTEND;VALUE=DATE:20071105
LOCATION:Cape Town, South  Africa
DESCRIPTION:The conference on Infinity in Logic & 
 Computation is the first conference in South Afric
 a that focuses on infinity in automata theory, log
 ic, computability and verification. One purpose of
  this conference is to catalyse new interactions a
 mong local and international researchers and to ex
 pose postgraduate students to recent research tren
 ds in these fields.   The conference will be organ
 ised at the University of Cape Town co-located wit
 h the 50th Annual Congress of the South African Ma
 thematical Society (SAMS) that takes place from 31
  October until 2 November 2007. We plan to organis
 e a summer school on Logic & Computation directly 
 following the conference from 6-9 November 2007. T
 his summer school is intended for postgraduate stu
 dents and other interested participants.   For mor
 e information, see http://www.mth.uct.ac.za/FACS-L
 ab/ILC07/  Authors are invited to submit abstracts
  of at most one page in pure text or PDF format. S
 ince acceptance of the abstract for presentation d
 oes not constitute a publication, it is permissibl
 e to submit talks on published results, survey tal
 ks or expository talks. Deadline: 6 August 2007.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The c
 onference on Infinity in Logic &amp; Computation i
 s the first \n          conference in South Africa
  that focuses on infinity in automata \n          
 theory, logic, computability and verification. One
  purpose of \n          this conference is to cata
 lyse new interactions among local and \n          
 international researchers and to expose postgradua
 te students to \n          recent research trends 
 in these fields. \n      </p>\n      <p>The confer
 ence will be organised at the University of Cape\n
       Town co-located with the 50th Annual Congres
 s of the South\n      African Mathematical Society
  (SAMS) that takes place from 31\n      October un
 til 2 November 2007. We plan to organise a summer\
 n      school on Logic &amp; Computation directly 
 following the\n      conference from 6-9 November 
 2007.  This summer school is\n      intended for p
 ostgraduate students and other interested\n      p
 articipants.\n      </p>\n    \n      \n      <p>F
 or more information, see\n        <a target="_blan
 k" href="http://www.mth.uct.ac.za/FACS-Lab/ILC07/"
 >http://www.mth.uct.ac.za/FACS-Lab/ILC07/</a>\n   
    </p>\n    </div><div>\n      <p>Authors are inv
 ited to submit abstracts of at most one page in \n
           pure text or PDF format. Since acceptanc
 e of the abstract for presentation \n          doe
 s not constitute a publication, it is permissible 
 to submit talks \n          on published results, 
 survey talks or expository talks. Deadline: 6 Augu
 st 2007.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1830/3-5
 -November-2007-Infinity-in-Logic-and-Computation-I
 LC07-Cape-Town-South-Africa
END:VEVENT
END:VCALENDAR