[TYPES/announce] British Colloquium for Theoretical Computer Science - call for participation

[Thomas Powell]

BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2024
University of Bath
April 4-5, 2024
https://urldefense.com/v3/__https://bctcs2024.github.io/__;!!IBzWLUs!SCxkm8BtVmlyz30WHU0lHreLl_X4IXaWA4cdQa5Tumf8IYUVCZKA9aujSfdUd3uqJbhdLFdC2hvBfFD6La4OWkrcigdo4XCo$ 

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 automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics.

The BCTCS will be co-located with the Fifth meeting of the Southern and Midlands Logic Seminar, which will take place on the afternoon of the 5 April.

The events have received support from the British Logic Colloquium, the London Mathematical Society, and the Department of Computer Science at Bath.

PARTICIPATION

BCTCS welcomes 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 submit your title and abstract by email to trjp20 at bath.ac.uk<mailto:trjp20 at bath.ac.uk>.

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.

Some travel bursaries of up to £150 will be available for PhD students without alternative sources of funding.

IMPORTANT DATES

-   18 January 2024: Abstract submission and registration open
-   23 February 2024: Deadline for abstract submission and applications for bursaries
-   1 March 2024: Notification of acceptance
-   22 March 2024: Deadline for registration
-   4-5 April 2024: Colloquium

INVITED SPEAKERS

-   Anupam Das (University of Birmingham)
-   Alex Kavvos (University of Bristol)
-   Stuart Matthews (Capgemini Engineering)
-   Monika Seisenberger (Swansea University)

With best wishes,
James Davenport and Thomas Powell (local organizers)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240118/193f96b2/attachment.htm>