41st British Colloquium for Theoretical Computer Science
BCTCS 2025 -- Call for Contributed Talks BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025 University of Strathclyde 14–16 April 2025 https://msp.cis.strath.ac.uk/bctcs2025/ ABOUT THE BCTCS The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can 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 Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types. CONTRIBUTED TALKS We invite 30 minute contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged. To propose a talk, please fill in the submission form: https://forms.office.com/e/1E8nuEU9hS The scope of "theoretical computer science" is intended to be interpreted broadly. In particular, this year we invite talk proposals which detail novel and innovative ways to teach theoretical content, as part of a track focused on theoretical computer science education. For all talks, please ensure that your talk is accessible to other students who may not be specialists in your research topic. We put no restrictions on the originality or publication status of submissions. There will be no formal proceedings, but the collection of the contributed abstracts will appear in the Bulletin of the EATCS ( https://eatcs.org/index.php/eatcs-bulletin ). INVITED SPEAKERS We will have the following invited speakers: * Elizabeth Polgreen (Edinburgh) * Nicolai Kraus (Nottingham) * Jess Enright (Glasgow) * Jakub Opršal (Birmingham) * Conor Mc Bride (Strathclyde) * Rob van Glabeek (Edinburgh) REGISTRATION We hope to open registrations in January 2025. The registration fees will be as follows: * Early registration (until 24 March): £45 * Late registration (until 7 April): £60 Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/ You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
Dear all, The deadline for submissions to the 41st British Colloquium for Theoretical Computer Science is on the 21st of February. Please make sure to get your submissions in on time! We are also hosting a track for education talks in the area of theoretical computer science. We particularly encourage talks on this topic. Best Wishes, BCTCS 2025 Organisers ________________________________ BCTCS 2025 -- Call for Contributed Talks BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025 University of Strathclyde 14–16 April 2025 https://msp.cis.strath.ac.uk/bctcs2025/ ABOUT THE BCTCS The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can 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 Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types. CONTRIBUTED TALKS We invite 30 minute contributed talks on any topic in the scope of the colloquium. Presentations from research students and early career researchers are particularly encouraged. To propose a talk, please fill in the submission form: https://forms.office.com/e/1E8nuEU9hS The scope of "theoretical computer science" is intended to be interpreted broadly. In particular, this year we invite talk proposals which detail novel and innovative ways to teach theoretical content, as part of a track focused on theoretical computer science education. For all talks, please ensure that your talk is accessible to other students who may not be specialists in your research topic. We put no restrictions on the originality or publication status of submissions. There will be no formal proceedings, but the collection of the contributed abstracts will appear in the Bulletin of the EATCS ( https://eatcs.org/index.php/eatcs-bulletin ). INVITED SPEAKERS We will have the following invited speakers: * Elizabeth Polgreen (Edinburgh) * Nicolai Kraus (Nottingham) * Jess Enright (Glasgow) * Jakub Opršal (Birmingham) * Conor Mc Bride (Strathclyde) * Rob van Glabeek (Edinburgh) REGISTRATION We hope to open registrations in January 2025. The registration fees will be as follows: * Early registration (until 24 March): £45 * Late registration (until 7 April): £60 Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/ You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
participants (1)
-
Alasdair Lambert