[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear friends,
We would like to invite contributed talks at British Colloquium for Theoretical
Computer Science 2026. A central aspect of BCTCS is the training of PhD
students, providing an environment for students to gain experience in
presenting their work, to broaden their outlook on the subject, and to 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.
This year, the colloquium is co-located with the 14th Southern and Midlands
Logic Seminar and will take place on 30 March – 1 April 2026 at the University
of Birmingham. For more information see
https://urldefense.com/v3/__https://toddwaughambridge.co.uk/bctcs2026/__;!!IBzWLUs!S_BWVwWdOxbuI1azjqUyScAGboGBMUD49NQqcFIMwZsy--t_w7DYH-BsYJMEFKJOWNv00XbHLdmJZA91FtPg9LodVvEpX2HaWIw$
.
Please submit abstracts for your suggested talk of around 20 minutes by 28
February 2026 at:
https://urldefense.com/v3/__https://forms.cloud.microsoft/e/N3jBkQys2z__;!!IBzWLUs!S_BWVwWdOxbuI1azjqUyScAGboGBMUD49NQqcFIMwZsy--t_w7DYH-BsYJMEFKJOWNv00XbHLdmJZA91FtPg9LodVvEpPZq2XmU$
Notifications of acceptance will be sent out on 6 March.
With best regards,
Paul B. Levy, Jakub Opršal, and Todd Waugh Ambridge
