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 | Crystalline NiI2 was reported to exhibit p-wave magnetism, with nickel atom spins arranged in a switchable spiral pattern using minimal electrical current, potentially revolutionizing digital device electronics. |
| 2025 |
Knuth Prize
Selection Committee for the Knuth Prize includes Noga Alon, Edith Cohen (Chair), David Eppstein, Valerie King, Salil Vadhan, and Moshe Vardi
|
| 2025 |
Knuth Prize
Micha Sharir awarded the Knuth Prize for seminal contributions to computational and discrete geometry, algorithmic motion planning, and inspiring generations of researchers
|
| 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 |
Gödel Prize
Ryan Williams receives the Gödel Prize for his work on circuit lower bounds and the 'algorithms to lower bounds' paradigm, based on his 2011 publication
|
| 2024 |
Knuth Prize
Selection Committee for the Knuth Prize included Edith Cohen, David Eppstein (Chair), Monika Henzinger, Kurt Mehlhorn, Salil Vadhan, and Moshe Vardi
|
| 2024 |
Knuth Prize
Rajeev Alur receives the Knuth Prize for introducing novel computational models that provide theoretical foundations for computer systems analysis, design, synthesis, and verification
|
| 2024 |
Dynamic Data Driven Applications Systems
DDDAS2024 conference run by Prof. Dimitris Metaxas at Rutgers University.
|
| 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 |
Gödel Prize
Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf, and Thomas Rothvoss jointly awarded the Gödel Prize for showing that any extended formulation for the TSP polytope has exponential size, based on publications from 2015 and 2017
|
| 2023 |
Knuth Prize
Selection Committee for the Knuth Prize included David Eppstein, Monika Henzinger (Chair), Kurt Mehlhorn, Dana Randall, Madhu Sudan, and Moshe Vardi
|
| 2023 |
Knuth Prize
Éva Tardos awarded the Knuth Prize for extensive research contributions, including co-authoring influential textbooks, editing key journals, and leading conference program committees
|
| 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
|
| July 1 2023 |
Conference on Automated Deduction
29th Conference on Automated Deduction held in Rome, Italy, with Brigitte Pientka and Cesare Tinelli as editors
|
| March 2023 |
Dynamic Data Driven Applications Systems
US National Academies (NASEM) released a report on 'Foundational Research Gaps and Future Directions for Digital Twins', identifying DDDAS as an early concept with key digital twin elements including physical, virtual, and two-way interaction feedback loop.
|
| 2022 |
Gödel Prize
Zvika Brakerski, Craig Gentry, and Vinod Vaikuntanathan receive the Gödel Prize for transformative contributions to cryptography, specifically constructing efficient fully homomorphic encryption (FHE) schemes, based on their 2014 publications
|
| 2022 |
Knuth Prize
Selection Committee for the Knuth Prize included Harold Gabow, Monika Henzinger, Kurt Mehlhorn, Dana Randall (Chair), Madhu Sudan, and Andy Yao
|
| 2022 |
Knuth Prize
Noga Alon receives the Knuth Prize for foundational contributions in combinatorics, graph theory, and their applications to computer science
|
| 2022 |
Dynamic Data Driven Applications Systems
Darema introduced the terms 'Dynamic Digital Twins' and 'DDDAS-based Digital Twins' at the DDDAS2022 Conference, published in proceedings by Springer with editors Blasch, Darema, and Aved.
|
| 2022 |
Dynamic Data Driven Applications Systems
Dr. Ravela hosted the DDDAS conference at MIT, introducing a new collocated Earth, Planets, Climate, and Life theme (CLEPS22).
|
| 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 |
Gödel Prize
Andrei Bulatov, Jin-Yi Cai, Xi Chen, Martin Dyer, and David Richerby awarded the Gödel Prize for their work on classifying the counting complexity of constraint satisfaction problems, based on publications from 2013, 2013, and 2017
|
| 2021 |
Knuth Prize
Selection Committee for the Knuth Prize included Harold Gabow (Chair), Noam Nisan, Dana Randall, Ronitt Rubinfeld, Madhu Sudan, and Andy Yao
|
| 2021 |
Knuth Prize
Moshe Vardi awarded the Knuth Prize for outstanding contributions applying mathematical logic to fundamental areas of computer science
|
| 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
|
|
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 Algorithmic Number Theory Symposium, Conference on Automated Deduction, Combinatorial optimization, Rounding, International Symposium on Mathematical Foundations of Computer Science, Limits of computation, Gödel Prize, Coinduction, Knuth Prize, Spintronics, Gödel numbering, Busy beaver, Workshop on Logic, Language, Information and Computation, Dynamic Data Driven Applications Systems, Symposium on Parallelism in Algorithms and Architectures & British Colloquium for Theoretical Computer Science, which are released under the Creative Commons Attribution-ShareAlike 4.0 International License.