Logic List Mailing Archive

CfP: BCTCS 2025 – British Colloquium for Theoretical Computer Science, 14–16 April 2025, Glasgow (Scotland)

BCTCS 2025 -- Call for Contributed Talks
BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025
University of Strathclyde
1416 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 Opral (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/

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php