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 |
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 |
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
|
| 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 |
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 |
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 |
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 |
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 |
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
|
| 2017 |
Chemical computer
Harvard University researchers patented a chemical Turing machine utilizing the Belousov–Zhabotinsky reaction, capable of recognizing Chomsky type-1 language using Gibbs free energy considerations.
|
| July 18 2017 |
Workshop on Logic, Language, Information and Computation
24th International Workshop on Logic, Language, Information and Computation (WoLLIC 2017) held in London, UK from July 18-21, with editors Juliette Kennedy and Ruy de Queiroz
|
| 2016 |
Busy beaver
Stefan O'Rear reduced the Turing machine state count to 1919, eliminating the dependency on the stationary Ramsey property.
|
| 2016 |
Busy beaver
Adam Yedidia and Scott Aaronson obtained the first explicit upper bound on the minimum n for which S(n) is unprovable in ZFC, using a 7910-state Turing machine.
|
| 2016 |
Algorithmic Number Theory Symposium
Jan Steffen Müller and Michael Stoll were awarded the Selfridge Prize at ANTS XII for their paper on 'Computing canonical heights on elliptic curves in quasi-linear time'.
|
| 2016 |
Algorithmic Number Theory Symposium
ANTS XII conference held at University of Kaiserslautern in Kaiserslautern, Germany, published in JCM volume 19A
|
| September 2016 |
Workshop on Logic, Language, Information and Computation
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) published in Annals of Pure and Applied Logic, Volume 170, Issue 9, edited by Jouko Väänänen and Ruy de Queiroz
|
| August 16 2016 |
Workshop on Logic, Language, Information and Computation
23rd International Workshop on Logic, Language, Information and Computation (WoLLIC 2016) held in Puebla, Mexico from August 16-19, with editors Jouko Väänänen, Åsa Hirvonen, and Ruy de Queiroz
|
| 2015 |
Chemical computer
Stanford University graduate students created a computer using magnetic fields and water droplets infused with magnetic nanoparticles, demonstrating basic principles of chemical computing.
|
| 2015 |
Chemical computer
University of Washington students developed a programming language specifically designed for chemical reactions, originally created for DNA analysis.
|
| July 20 2015 |
Workshop on Logic, Language, Information and Computation
22nd International Workshop on Logic, Language, Information and Computation (WoLLIC 2015) held in Bloomington, Indiana, USA from July 20-23, with editors Valeria de Paiva, Ruy de Queiroz, Lawrence Moss, Daniel Leivant, and Anjolina de Oliveira
|
| June 2015 |
Workshop on Logic, Language, Information and Computation
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015) published in Mathematical Structures in Computer Science, Volume 29, Issue 6, edited by Valeria de Paiva and Ruy de Queiroz
|
| 2014 |
Chemical computer
An international team from the Swiss Federal Laboratories for Materials Science and Technology developed a chemical computing system using surface tension calculations in an acidic gel to find the most efficient route between points, outperforming a conventional satellite navigation system.
|
| 2014 |
Rounding
Metalibm succeeded CRlibm, automating formal proofs for mathematical function rounding.
|
|
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 Busy beaver, Corecursion, Workshop on Logic, Language, Information and Computation, Symposium on Parallelism in Algorithms and Architectures, International Symposium on Mathematical Foundations of Computer Science, Limits of computation, Coinduction, Chemical computer, Combinatorial optimization, Size-change termination principle, Algorithmic Number Theory Symposium & Rounding, which are released under the Creative Commons Attribution-ShareAlike 4.0 International License.