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/2012/newsitem/4258/2-5
 -April-2012-28th-British-Colloquium-for-Theoretica
 l-Computer-Science-BCTCS-2012-Manchester-U-K-
DTSTAMP:20111230T000000
SUMMARY:28th British Colloquium for Theoretical Co
 mputer Science (BCTCS 2012), Manchester, U.K.
DTSTART;VALUE=DATE:20120402
DTEND;VALUE=DATE:20120405
LOCATION:Manchester, U.K.
DESCRIPTION:The purpose of BCTCS is to provide a f
 orum in which researchers in theoretical computer 
 science can meet, present research findings, and d
 iscuss developments in the field. It also aims to 
 provide an environment in which PhD students can g
 ain experience in presenting their work, and benef
 it from contact with established researchers. This
  year, BCTCS is part of the Alan Turing Year, and 
 will be collocated with the Automated Reasoning Wo
 rkshop ARW.   The scope of the colloquium includes
  all aspects of theoretical computer science, incl
 uding automata theory, algorithms, complexity theo
 ry, semantics, formal methods, concurrency, types,
  languages and logics. Both computer scientists an
 d mathematicians are welcome to attend, as are par
 ticipants from outside of the UK.    Further detai
 ls are available from the Colloquium website at ht
 tp://bctcs2012.cs.manchester.ac.uk/.    Participan
 ts wishing to give 30 minute contributed talks sho
 uld submit a title and abstract by March 19th.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The p
 urpose of BCTCS is to provide a forum in which\n  
     researchers in theoretical computer science ca
 n meet, present\n      research findings, and disc
 uss developments in the field. It\n      also aims
  to provide an environment in which PhD students c
 an\n      gain experience in presenting their work
 , and benefit from\n      contact with established
  researchers. This year, BCTCS is part\n      of t
 he Alan Turing Year, and will be collocated with t
 he\n      Automated Reasoning Workshop ARW.\n     
  </p>\n      <p>The scope of the colloquium includ
 es all aspects of\n      theoretical computer scie
 nce, including automata theory,\n      algorithms,
  complexity theory, semantics, formal methods,\n  
     concurrency, types, languages and logics. Both
  computer\n      scientists and mathematicians are
  welcome to attend, as are\n      participants fro
 m outside of the UK.\n      </p>\n    \n      <p>\
 n      \n        Further details are available fro
 m the Colloquium website at\n            <a target
 ="_blank" href="http://bctcs2012.cs.manchester.ac.
 uk/">http://bctcs2012.cs.manchester.ac.uk/</a>.\n 
      </p>\n    </div><div>\n      Participants wis
 hing to give 30 minute contributed talks should su
 bmit a \n        title and abstract by March 19th.
 \n      </div>
URL:/NewsandEvents/Archives/2012/newsitem/4258/2-5
 -April-2012-28th-British-Colloquium-for-Theoretica
 l-Computer-Science-BCTCS-2012-Manchester-U-K-
END:VEVENT
END:VCALENDAR