When: |
14 Sep through 18 Sep 2015 | |
Where: |
London, United Kingdom | |
Website URL: |
http://www.cs.mdx.ac.uk/foundations/bctcs2015/ | |
Sponsoring organization: |
Heilbronn Institute for Mathematical Research, the London Mathematical Society and EPSRC | |
Categories: |
Engineering & Technology - Computer/Informatics |
Keywords:
Event description:
The purpose of 31st British Colloquium of Theoretical Computer Science BCTCS2015 is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK.
Posting date:
02 September 2015 | 195 views
Placement:
Not-featured (How do I make my event featured?)
Flag (Report this event)
