Logic List Mailing Archive

CfP: Education Track – Theoretical Computer Science Education, 16 April, Strathclyde (UK), deadline: 17 March 2025

**Comment by Moderator: Note this email contains two calls. One for Paper, and below one for travel grants, the deadline for the grants is today!**



BCTCS 2025 Education Track -- Call for Contributed Talks
BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025
University of Strathclyde
1416 April 2025
https://msp.cis.strath.ac.uk/bctcs2025/
CONTRIBUTED TALKS
This year BCTCS will host a focused Theoretical Computer Science Education Track on Wednesday the 16th of April.
To propose a talk, please fill in the submission form<https://forms.office.com/Pages/ResponsePage.aspx?id=YwceYzMV60elzQRXvuWUThWEZmWC2rRKkD1xIHHy_0JUNVVXNEJYN0RGVjFKSVVZQU9ZUlNJMUZKVy4u>.
We invite 20 or 30 minutes talk proposals on teaching experiences, highlighting specific challenges and/or innovations related to particular theoretical computer science topics or courses. This track is designed to facilitate reflection on both the breadth and depth of TCS topics offered across institutions, from introductory courses to advanced topics such as computational complexity theory, quantum computing, algorithmic game theory, model checking, programming language theory and semantics, to name a few. A central theme of this event will be exploring how TCS can continue to serve as a foundational element of computer science education, with challenges lying in keeping students engaged and demonstrating relevance considering emerging technologies like generative AI.
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).
REGISTRATION
We hope to open registrations in March 2025. The registration fees will be as follows:
               Early registration (until 24 March): 45

  *   Late registration (until 7 April): 60
TCS Education Track Chairs:
               Oana Andrei<https://www.gla.ac.uk/schools/computing/staff/oanaandrei/>, University of Glasgow, oana.andrei@glasgow.ac.uk<mailto:oana.andrei@glasgow.ac.uk>
               Alasdair Lambert<https://www.strath.ac.uk/staff/lambertalasdairmr/>, University of Strathclyde, alasdair.lambert@strath.ac.uk<mailto:alasdair.lambert@strath.ac.uk>
Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/ or contact directly the education track chairs.
This event is sponsored by SICSA, the Scottish Informatics and Computer Science Alliance






we are happy to announce that we have been awarded
funding from the Heilbronn Institute for Mathematical Research<https://heilbronn.ac.uk/> for a
small number of travel bursaries to support attendance at BCTCS. If this
would help you, you can apply for a bursary using this form:

https://forms.office.com/e/1h29StPfPj

If you have access to other sources of funding, we would ask that you
leave the Heilbronn funding to others that need it. Preference will be
given to PhD students and Early Career Researchers.

The deadline for applications is Monday 17 March 2025. We aim to let
everyone know if their application has been successful or not by
Wednesday 19 March.

Best Wishes,
Fred, Sean and Alasdair





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