Formal methods
Mathematical program specifications
Follow Formal methods on Notably News to receive short updates to your email — rarely!
We include updates on Turing machine, Set theory, Lambda calculus, Boolean satisfiability problem, Edsger W. Dijkstra, Liskov substitution principle, Leslie Lamport, SAT solver, Tony Hoare, Hindley–Milner type system, UML state machine, Satisfiability modulo theories, Niklaus Wirth, Automated theorem proving, Homotopy type theory, High- and low-level ... 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 |
International Conference on Software Engineering and Formal Methods
SEFM conference scheduled to take place in Madrid, Spain, continuing the conference series' tradition of international collaboration.
|
| 2024 | Sean Watters takes over as BCTCS Postgraduate Representative, serving from 2024 to 2025. |
| 2024 | Genesereth became the Academic Director of The International Logic Olympiad, a worldwide competition in logical reasoning for secondary school students. In its inaugural year, over 3500 students from 2100 schools in 92 countries participated in the contest. |
| 2024 |
International Conference on Software Engineering and Formal Methods
SEFM conference held in Aveiro, Portugal, maintaining its commitment to advancing the state of the art in formal methods.
|
| April 4 2024 | BCTCS 40 to be held at the University of Bath from April 4-5, organized by James Davenport and Thomas Powell. |
| January 1 2024 | Niklaus Wirth passed away in Zürich at the age of 89 on New Year's Day, marking the end of a significant life in computer science. |
| 2023 | David Kutner becomes BCTCS Postgraduate Representative, serving from 2023 to 2024. |
| 2023 | Oana Andrei becomes the latest Secretary of BCTCS, following Michele Zito. |
| 2023 | Elected Fellow of the Royal Society (FRS). |
| January 4 2023 |
Maarten van Emden
Maarten van Emden passed away, concluding his significant career in computer science and mathematics.
|
| 2022 | Peace Ayegba assumes the role of BCTCS Postgraduate Representative, serving from 2022 to 2023. |
| 2022 | Awarded the CONCUR Test of Time award. |
| May 2022 | Delivered his final lecture to his 'Programming and Data Structures' class, with approximately 700 students and faculty members in attendance. |
| April 2022 |
Satisfiability modulo theories
cvc5 solver released version 1.0, offering expanded support for various computational theories and programming language interfaces.
|
| 2021 | Olga Petrovska becomes the latest Treasurer of the British Colloquium for Theoretical Computer Science, taking over from Matthew Hague. |
| 2021 | Michael McKay becomes BCTCS Postgraduate Representative, serving from 2021 to 2022. |
| 2021 | Received the Inaugural CodeX Prize with Fariba Sadri and Marek Sergot for their groundbreaking work on applying logic programming to the formalization and analysis of the British Nationality Act. |
| 2021 | Received Villum Investigator grant of 30 million Danish Kroner from Villum Foundation. |
| May 2021 |
Satisfiability modulo theories
CVC4 solver released version 1.8, supporting advanced theories and multiple platforms.
|
| 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. |
| 2019 | Karl Southern becomes BCTCS Postgraduate Representative, serving from 2019 to 2020. |
| 2019 | Barnaby Martin begins his presidency of BCTCS, succeeding Faron Moller. |
| 2019 | Received the inaugural Lifetime Achievement Award for Teaching from Cornell Bowers College of Computing and Information Science |
| 2019 |
Maarten van Emden
Concluded writing essays on his blog 'A Programmer's Place'.
|
| February 23 2019 |
Hussein Zedan
Passed away, marking the end of his distinguished academic career in computer science.
|
| 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 | Became a senior research fellow and area leader for programming languages at IOHK (now Input Output Global), contributing to Cardano blockchain technology, including work on Plutus smart contract language. |
| 2018 | Appointed as a Foreign Expert and Distinguished Professor at Northeastern University in China. |
| 2017 | Frances Cooper becomes BCTCS Postgraduate Representative, serving from 2017 to 2018. |
| 2017 |
Hussein Zedan
Concluded his role as Assistant Vice-President of Academic Affairs and Development at the Applied Science University in Manama, Bahrain.
|
| 2016 | Thomas van Binsbergen takes over as BCTCS Postgraduate Representative, serving from 2016 to 2017. |
| 2016 | Michael Genesereth launched an effort to bring logic education to high schools across America, using Herbrand semantics as the pedagogical foundation. The program includes summer camps for high school students at Stanford and teacher professional development across the USA. |
| 2016 | Awarded the Amity Booker Prize jointly with Paul Gries |
| 2016 | Served as an international chair at the National Institute for Research in Digital Science and Technology (INRIA), a position he held until 2020. |
| 2015 | Bram Geron becomes BCTCS Postgraduate Representative, serving from 2015 to 2016. |
| 2015 | Started heading the Learning, Analysis, Synthesis, and Optimization of Cyber-Physical Systems (LASSO) project, funded by an ERC Advanced Grant, which he led until 2020. |
| 2015 | Became director of the Center for Data-Intensive Cyber-Physical Systems (DiCyPS), funded by an unspecified source, a role he maintained until 2021. |
| September 14 2015 | BCTCS 31 held at Middlesex University from September 14-18, organized by Barnaby Martin, Guiseppe Primero, and Rajagopal Nagarajan. |
| 2014 | Pavan Sangha assumes the role of BCTCS Postgraduate Representative, serving from 2014 to 2015. |
| 2014 |
International Conference on Software Engineering and Formal Methods
SEFM conference took place in Grenoble, France, continuing its mission of promoting research cooperation between developing and industrialized countries.
|
| 2014 |
Satisfiability modulo theories
raSAT solver was developed, extending Interval Constraint Propagation with Testing and the Intermediate Value Theorem.
|
| 2013 | Augustine Kwanashie becomes BCTCS Postgraduate Representative, serving from 2013 to 2014. |
| 2013 |
International Conference on Software Engineering and Formal Methods
SEFM conference held in Madrid, Spain, focusing on integrating formal methods with practical software engineering techniques.
|
| 2013 | Received the CAV Award, recognizing significant contributions to computer science. |
| 2012 | Andy Lawrence takes over as BCTCS Postgraduate Representative, serving from 2012 to 2013. |
|
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 Niklaus Wirth, British Colloquium for Theoretical Computer Science, David Gries, Kim Guldstrand Larsen, International Conference on Software Engineering and Formal Methods, Michael Genesereth, Maarten van Emden, Hussein Zedan, State space enumeration, Satisfiability modulo theories, Philip Wadler & Robert Kowalski, which are released under the Creative Commons Attribution-ShareAlike 4.0 International License.