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/2020/newsitem/11384/6-
 --8-April-2020-36th-British-Colloquium-for-Theoret
 ical-Computer-Science-BCTCS-AlgoUK-2020-Swansea-Wa
 les
DTSTAMP:20200210T135828
SUMMARY:36th British Colloquium for Theoretical Co
 mputer Science (BCTCS & AlgoUK 2020), Swansea, Wal
 es
DTSTART;VALUE=DATE:20200406
DTEND;VALUE=DATE:20200408
LOCATION:Swansea, Wales
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.  The
  scope of the colloquium includes all aspects of t
 heoretical computer science, including automata th
 eory, algorithms, complexity theory, semantics, fo
 rmal methods, concurrency, game theory, types, lan
 guages and logics.  BCTCS 2020 is being held toget
 her with the Fourth AlgoUK workshop which includes
  a session on Verification of Railway Control Syst
 ems. There will also be a special evening public f
 orum on Formal Methods in Software Engineering.  P
 articipants wishing to give a 30 minute contribute
 d talk on any topic within the scope of the colloq
 uium are invited to submit a title and abstract vi
 a the BCTCS'2020 webpage. Presentations from resea
 rch students and early career researchers are part
 icularly encouraged. The titles and abstracts of a
 ll invited and contributed talks will appear in th
 e Bulletin of the EATCS.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The purpo
 se of BCTCS is to provide a forum in which researc
 hers in theoretical computer science can meet, pre
 sent research findings, and discuss developments i
 n the field. It also aims to provide an environmen
 t in which PhD students can gain experience in pre
 senting their work, and benefit from contact with 
 established researchers.</p>\n\n  <p>The scope of 
 the colloquium includes all aspects of theoretical
  computer science, including automata theory, algo
 rithms, complexity theory, semantics, formal metho
 ds, concurrency, game theory, types, languages and
  logics.</p>\n\n  <p>BCTCS 2020 is being held toge
 ther with the Fourth AlgoUK workshop which include
 s a session on Verification of Railway Control Sys
 tems. There will also be a special evening public 
 forum on Formal Methods in Software Engineering.</
 p>\n</div><div>\n  <p>Participants wishing to give
  a 30 minute contributed talk on any topic within 
 the scope of the colloquium are invited to submit 
 a title and abstract via the BCTCS'2020 webpage. P
 resentations from research students and early care
 er researchers are particularly encouraged. The ti
 tles and abstracts of all invited and contributed 
 talks will appear in the Bulletin of the EATCS.</p
 >\n</div>
URL:http://www.cs.swan.ac.uk/bctcs2020
END:VEVENT
END:VCALENDAR