categories - Category Theory list
 help / color / mirror / Atom feed
* 41st British Colloquium for Theoretical Computer Science
@ 2025-01-21 16:31 Alasdair Lambert
  0 siblings, 0 replies; only message in thread
From: Alasdair Lambert @ 2025-01-21 16:31 UTC (permalink / raw)
  To: types-announce, categories, logic.list, agda, spls, bctcs, ProofTheory

[-- Attachment #1: Type: text/plain, Size: 3262 bytes --]

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/<https://url.au.m.mimecastprotect.com/s/FrxzC4QO8xSBmMXgguOfmS4q3vs?domain=msp.cis.strath.ac.uk/>
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<https://url.au.m.mimecastprotect.com/s/jOSPC5QP8ySZx5BEEtOhvSkQ3rd?domain=forms.office.com>
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<https://url.au.m.mimecastprotect.com/s/M_0lC6XQ68fr1j5zzhmiBS5Bji3?domain=eatcs.org> ).
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/<https://url.au.m.mimecastprotect.com/s/FrxzC4QO8xSBmMXgguOfmS4q3vs?domain=msp.cis.strath.ac.uk/>



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=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 10051 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-01-21 19:27 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-01-21 16:31 41st British Colloquium for Theoretical Computer Science Alasdair Lambert

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).