It was wonderful to have an in-person conference finally. Thanks to everyone who participated in this year’s BCTCS.
Photo by Troy Kaighin Astarte (@TKA_Photos)
BCTCS 2022
BCTCS 2022
Just a reminder that BCTCS 2022 is taking place in April in Swansea. The registration is open until 30 March.
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.
SPECIAL SESSIONS AND THEMES – Explainable AI, Security, History of TCS, Teaching of TCS
There will be two Special Sessions during the meeting: one on Explainable AI, the other on Theoretical Aspects of Security.
Four of the Invited Speakers have been chosen based on their lifetime achievements in developing Theoretical Computer Science in the UK and have been invited to present personal histories of their fields of expertise.
At the end of the first day there will be a discussion event led by Barnaby Martin on the Pedagogy of Theoretical Computer Science.
BCTCS will also celebrate two important birthdays, John Tucker, 70 and Faron Moller, 60.
INVITED SPEAKERS
- Cliff Jones (Newcastle)
- Alexander Knapp (Augsburg)
- Mike Paterson (Warwick)
- Rick Thomas (Leicester)
- Francesca Toni (Imperial)
- John Tucker (Swansea)
SPECIAL SESSION SPEAKERS (INVITED)
- Martin Barrere (Imperial)
- Arnold Beckmann (Swansea)
- Pardeep Kumar (Swansea)
- Hoang Nga Nguyen (Coventry)
- Hsuan Fu (Université Laval)
- Adam Wyner (Swansea)
Happy birthday to Faron Moller 🎂
Happy 60th birthday wishes to Faron Moller from the Theory group!
Professor Faron Moller - Swansea University
Faron Moller is a Professor of Computer Science at Swansea University within the Theoretical Computer Science Group, where he is the Founding Head of the Swansea Railway Verification.
Faron is also Director of Technocamps, a pan-Wales schools and community outreach programme based at Swansea University but with hubs in every university in Wales. He is also Head of the Institute of Coding in Wales, which represents the business engagement arm of Technocamps, and co-Lead of the Research Theme on Educational, Historical and Philosophical Foundations of Computer Science, which represents the research arm of Technocamps
Faron is also Director of Technocamps, a pan-Wales schools and community outreach programme based at Swansea University but with hubs in every university in Wales. He is also Head of the Institute of Coding in Wales, which represents the business engagement arm of Technocamps, and co-Lead of the Research Theme on Educational, Historical and Philosophical Foundations of Computer Science, which represents the research arm of Technocamps
BCTCS 2022 Deadline extended
BCTCS 2022 deadline for submission of contributed talks has been extended until 25 February 2022.
Happy Birthday to John Tucker 🎂
Happy 70th birthday wishes to John Tucker from the Theory Group!
Professor John Tucker - Swansea University
Professor Tucker is a computer scientist whose research addresses what can and cannot be computed by people and machines.
He also studies the historical development of data and computing and their influence on society. He founded the University’s History of Computing Collection and the new Swansea research group called Educational, Historical and Philosophical Foundations of Computing.
Professor Tucker is also an expert on the history and heritage of science and technology in Wales.
Since coming to Swansea in 1989, he has served as Head of Department of Computer Science (1994-2008), Head of School of Physical Sciences (2007-11), and Deputy Pro-Vice Chancellor (2011-19).
He also studies the historical development of data and computing and their influence on society. He founded the University’s History of Computing Collection and the new Swansea research group called Educational, Historical and Philosophical Foundations of Computing.
Professor Tucker is also an expert on the history and heritage of science and technology in Wales.
Since coming to Swansea in 1989, he has served as Head of Department of Computer Science (1994-2008), Head of School of Physical Sciences (2007-11), and Deputy Pro-Vice Chancellor (2011-19).
Welcome to Giovanni Solda
We are happy to welcome Giovanni Solda amongst us. He is joining Swansea University as a postdoctoral researcher and will be working with Arno Pauly.
Giovanni was awarded 1 of 15 London Mathematical Society Early Career Fellowships, which provide 6 months of funding to fresh UK PhD graduates in math to spend at any institution across the world.
Congratulations to Jay
Congratulations to Jay Morgan for passing his PhD viva on
“Trustable Machine Learning Systems: Strategies to use expert domain knowledge to improve the performance of Deep Learning systems”.
Special session in honour of Ulrich Berger @ CCC 2021
The University of Birmingham is hosting this year’s CCC 2021 Continuity, Computability, Constructivity: From Logic to Algorithms on 20-24 September 2021. There is a special session in honour of Ulrich Berger taking place on Tuesday as a part of this conference.
CCC 2021: Continuity, Computability, Constructivity - From Logic to Algorithms
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles.
Troy Astarte is joining Swansea University
We are glad to welcome Troy Astarte to our Computer Science Department and the Theory Group.
Pierre Pradic joining Swansea University
We are glad to welcome Pierre Pradic, who is joining the Swansea University Computer Science Department and the Theory Group this year.