Theoretical computer science
Subfield of computer science and mathematics
Follow Theoretical computer science on Notably News to receive short updates to your email — rarely!
We include updates on Quantum computing, Algorithm, Turing machine, Lambda calculus, Halting problem, Shannon–Hartley theorem, Turing completeness, Idempotence, Nyquist–Shannon sampling theorem, Recursion, Rounding, Busy beaver, Fourier analysis, Byzantine fault, Ackermann function, Formal language ... and more.
| 2025 | Justus Becker assumes the role of BCTCS Postgraduate Representative, starting from 2025 onwards. |
| April 14 2025 | BCTCS 41 to be held at the University of Strathclyde from April 14-16, organized by Alasdair Lambert, Fredrik Nordvall Forsberg, and Sean Watters. |
| 2025 |
Workshop on Logic, Language, Information and Computation
Workshop on Logic, Language, Information and Computation planned to be held in Porto, Portugal, continuing the alternating venue tradition between Latin America and US/Europe/Asia.
|
| 2024 | Sean Watters takes over as BCTCS Postgraduate Representative, serving from 2024 to 2025. |
| 2024 |
Busy beaver
The 5-state busy beaver (BB(5)) was definitively proven using a formal proof in the Coq proof assistant.
|
| 2024 |
Symposium on Parallelism in Algorithms and Architectures
SPAA was co-located with the ACM Symposium on Principles of Distributed Computing (PODC).
|
| 2024 |
Algorithmic Number Theory Symposium
ANTS XVI conference planned at Massachusetts Institute of Technology in Cambridge, MA, USA
|
| 2024 |
Algorithmic Number Theory Symposium
Erik Mulder won the Selfridge Prize at ANTS XVI for his paper on 'Fast square-free decomposition of integers using class groups'.
|
| June 10 2024 |
Workshop on Logic, Language, Information and Computation
30th International Workshop on Logic, Language, Information and Computation (WoLLIC 2024) held in Bern, Switzerland from June 10-13, with editors George Metcalfe, Thomas Studer, and Ruy de Queiroz
|
| April 4 2024 | BCTCS 40 to be held at the University of Bath from April 4-5, organized by James Davenport and Thomas Powell. |
| 2023 | Oana Andrei becomes the latest Secretary of BCTCS, following Michele Zito. |
| 2023 | David Kutner becomes BCTCS Postgraduate Representative, serving from 2023 to 2024. |
| 2023 |
International Symposium on Mathematical Foundations of Computer Science
MFCS conference held in Bordeaux, France, with PC chairs Sylvain Lombardy, Jérôme Leroux, and David Peleg. Proceedings published as LIPIcs 272.
|
| 2023 |
Workshop on Logic, Language, Information and Computation
Received 'C' ranking on The CORE Conference Ranking Exercise - CORE Portal.
|
| July 2023 |
Busy beaver
Riebel further reduced the Turing machine state count to 745 states.
|
| July 11 2023 |
Workshop on Logic, Language, Information and Computation
29th International Workshop on Logic, Language, Information and Computation (WoLLIC 2023) held in Halifax, NS, Canada from July 11-14, with editors Helle Hvid Hansen, Andre Scedrov, and Ruy de Queiroz
|
| 2022 | Peace Ayegba assumes the role of BCTCS Postgraduate Representative, serving from 2022 to 2023. |
| 2022 |
Rounding
The CORE-MATH project was launched, providing correctly rounded functions in 4 rounding modes for x86-64 processors.
|
| 2022 |
Algorithmic Number Theory Symposium
Harald Helfgott and Lola Thompson were awarded the Selfridge Prize at ANTS XV for their paper on 'Summing mu(n): a faster elementary algorithm'.
|
| 2022 |
Algorithmic Number Theory Symposium
ANTS XV conference held at University of Bristol in Bristol, United Kingdom
|
| 2022 |
International Symposium on Mathematical Foundations of Computer Science
MFCS conference held in Vienna, Austria, with PC chairs Stefan Szeider, Robert Ganian, and Alexandra Silva. Proceedings published as LIPIcs 241.
|
| September 20 2022 |
Workshop on Logic, Language, Information and Computation
28th International Workshop on Logic, Language, Information and Computation (WoLLIC 2022) held in Iaşi, Romania from September 20-23, with editors Agata Ciabattoni, Elaine Pimentel, and Ruy de Queiroz
|
| 2021 | Michael McKay becomes BCTCS Postgraduate Representative, serving from 2021 to 2022. |
| 2021 | Olga Petrovska becomes the latest Treasurer of the British Colloquium for Theoretical Computer Science, taking over from Matthew Hague. |
| 2021 |
International Symposium on Mathematical Foundations of Computer Science
MFCS conference held in Tallinn, Estonia, with PC chairs Filippo Bonchi and Simon J. Puglisi. Proceedings published as LIPIcs 202.
|
| 2021 |
Workshop on Logic, Language, Information and Computation
Workshop held online due to global pandemic
|
| October 5 2021 |
Workshop on Logic, Language, Information and Computation
27th International Workshop on Logic, Language, Information and Computation (WoLLIC 2021) held as a Virtual Event from October 5-8, with editors Alexandra Silva, Renata Wassermann, and Ruy de Queiroz
|
| 2020 | Filippos Pantekis takes over as BCTCS Postgraduate Representative, serving from 2020 to 2021. |
| 2020 | Michele Zito takes over as Secretary of BCTCS, succeeding David Manlove. |
| 2020 |
Chemical computer
University of Glasgow researchers created a chemical computer using 3D-printed parts and magnetic stirrers to control BZ medium oscillations, enabling binary logic gate computation and pattern recognition.
|
| 2020 |
Algorithmic Number Theory Symposium
ANTS XIV conference held at University of Auckland in Auckland, New Zealand, moved online due to COVID-19 pandemic, published in OBS volume 4
|
| 2020 |
Algorithmic Number Theory Symposium
Jonathan Love and Dan Boneh received the Selfridge Prize at ANTS XIV for their paper on 'Supersingular curves with small non-integer endomorphisms'.
|
| 2020 |
Workshop on Logic, Language, Information and Computation
Workshop planned for Lima, Peru but cancelled
|
| 2019 | Barnaby Martin begins his presidency of BCTCS, succeeding Faron Moller. |
| 2019 | Karl Southern becomes BCTCS Postgraduate Representative, serving from 2019 to 2020. |
| 2019 |
Chemical computer
Harvard University published expanded research on their chemical Turing machine, including systems for Chomsky type-2 and type-3 languages.
|
| 2019 |
International Symposium on Mathematical Foundations of Computer Science
MFCS conference held in Aachen, Germany, with PC chairs Peter Rossmanith, Pinar Heggernes, and Joost-Pieter Katoen. Proceedings published as LIPIcs 138.
|
| September 2019 |
Workshop on Logic, Language, Information and Computation
26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019) published in Information and Computation, Volume 287, edited by Ruy de Queiroz
|
| July 2 2019 |
Workshop on Logic, Language, Information and Computation
26th International Workshop on Logic, Language, Information and Computation (WoLLIC 2019) held in Utrecht, The Netherlands from July 2-5, with editors Rosalie Iemhoff, Michael Moortgat, and Ruy de Queiroz
|
| 2018 | Sofiat Olaosebikan assumes the role of BCTCS Postgraduate Representative, serving from 2018 to 2019. |
| 2018 | Matthew Hague assumes the role of Treasurer, serving from 2018 to 2021. |
| 2018 |
Algorithmic Number Theory Symposium
Michael Musty, Sam Schiavone, Jeroen Sijsling, and John Voight won the Selfridge Prize at ANTS XIII for their paper on 'A database of Belyĭ maps'.
|
| 2018 |
Algorithmic Number Theory Symposium
ANTS XIII conference held at University of Wisconsin, Madison in Madison, WI, USA, published in OBS volume 2
|
| 2018 |
International Symposium on Mathematical Foundations of Computer Science
MFCS conference held in Liverpool, UK, with PC chairs Igor Potapov, Paul Spirakis, and James Worrell. Proceedings published as LIPIcs 117.
|
| December 2018 |
Workshop on Logic, Language, Information and Computation
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018) published in Journal of Logic, Language and Information, Volume 31, Issue 4, edited by Lawrence Moss & Ruy de Queiroz
|
| July 24 2018 |
Workshop on Logic, Language, Information and Computation
25th International Workshop on Logic, Language, Information and Computation (WoLLIC 2018) held in Bogotá, Colombia from July 24-27, with editors Lawrence S. Moss, Ruy de Queiroz, and Maricarmen Martínez
|
|
We are only showing the most recent entries for this topic. |
|
This contents of the box above is based on material from the Wikipedia articles International Symposium on Mathematical Foundations of Computer Science, Symposium on Parallelism in Algorithms and Architectures, Corecursion, Coinduction, Algorithmic Number Theory Symposium, Workshop on Logic, Language, Information and Computation, British Colloquium for Theoretical Computer Science, Rounding, Limits of computation, Combinatorial optimization, Chemical computer & Busy beaver, which are released under the Creative Commons Attribution-ShareAlike 4.0 International License.