The video was recorded a few years back for an event honoring Prof. Ed Clarke.

I started a blog. In the first installment I write of some of my memories of Niklaus Wirth. odersky.github.io/blog/2024-01-0…

We are excited to announce the Call for Papers of CP 2024! It can be consulted on our website: cp2024.a4cp.org/cfp.html Keep the dates: 18/04 abstracts, 23/04 full papers. Looking forward to receive your contributions!

Final CFP for SAT'24 in Pune in late August and we are going to India with SAT for the first time! Abstracts are due on March 8 and papers on March 15. satisfiability.org/SAT24/cfp.php

TU Munich is looking for a full professor in programming languages: portal.mytum.de/jobs/professur…

The Vienna University of Technology (TU Wien) is inviting applications for a full professorship in programming languages and compilers: informatics.tuwien.ac.at/news/2586

The Fahiem Bacchus PhD Award in Satisfiability 2024: Call for Nominations. Nominations shall be sent to Olaf Beyersdorff ([email protected]) by 21 May 2024

jku.at/news-events/ne…

My dear previous colleague Peter Mössenböck is retiring from JKU in Linz in Austria and JKU has a corresponding professorship opening in system software around compilers, virtual machines, programming languages etc. The place is highly recommended! jku.at/en/the-jku/wor…

As an incoming Assistant Professor UVA CS, I invite applications for multiple PhD and internship positions! Seeking passionate individuals for interdisciplinary research in Software Engineering, Formal Methods, and Machine Learning. For more details, visit

Professor Thomas Henzinger ForMemRS is elected a Foreign Member of the Royal Society. His research focuses on the theory of software systems, especially models, algorithms, and tools for the design and verification of reliable software systems. #RSFellows royalsociety.org/people/thomas-…

Join us as a researcher and lecturer in Computer Science, Maynooth University. Deadline: June 23rd (23:30 local Irish time)

bilateral-ai.net/jobs/ 50 PhD and 10 PostDoc positions in bilateral AI are coming up in Austria. Stay tuned! #jobs #BilateralAI

SAT Conference is happening for the first time in India! Early bird registration is available till 15th July (Anywhere on Earth). Visit : satisfiability.org/SAT24/ for registration and other details.

The most influential dac.com/About/DAC-Most… of 61st DAC'24 goes to the seminal DAC'01 paper "Chaff: Engineering an Efficient SAT Solver" by Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik, 2001.

HWMCC'24 Call for Benchmarks and Solvers hwmcc.github.io/2024 Three Single Safety Property Tracks 1. Word-level without arrays (BTOR2) 2. Word-level with arrays (BTOR2) 3. Bit-level with mandatory sa certificates (AIGER) Benchmarks due August 18 Solvers due September 1

Kissat dominated the main track of the SAT Competition 2024. It won 3 gold medals! Core techniques: congruence closure (SAT'24) clausal equivalence sweeping (FMCAD'24), bounded variable addition (BVA) and vivification. cca.informatik.uni-freiburg.de/sat24medals/