[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected]<mailto:[email protected]>.
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)
