The SAT Association

Photos

Thu, 17 Jul 2025 00:00:00 +0000

SAT 2025, Glasgow, UK

SAT 2024, Pune, India

SAT 2023, Alghero, Italy

SAT 2022, Haifa, Israel

SAT 2019, Lisbon, Portugal

SAT 2018, Oxford, UK

SAT 2017, Melbourne, Australia

SAT 2016, Bordeaux, France

SAT 2016, Austin, USA

SAT 2014, Vienna, Austria

SAT 2013, Helsinki, Finland

SAT 2012, Trento, Italy

SAT Interactions, 2012, Dagstuhl, Germany

SAT 2011, Ann Arbor, Michigan, USA

SAT 2009, Swansea, UK

SAT Next Generation SAT Solvers, 2009, Dagstuhl, Germany

SAT 2008, Guangzhou, China

SAT 2007, Lisbon, Portugal

SAT 2006, Guangzhou, China

SAT 2004, Guangzhou, China

SAT Algorithms Workshop, 2003, Dagstuhl, Germany

SAT 2002, Cincinnati, Ohio, USA

SAT 2000, Renesse, Netherlands

SAT Workshop, 1998, Paderborn, Germany

SAT Workshop, 1996, Siena, Italy

Awards

Wed, 02 Jul 2025 00:00:00 +0000

Distinguished Service Award

2025

The SAT Association conferred a Distinguished Service Award on Hans Kleine Büning in honour of his long-lasting and foundational contributions to the series of International Conferences on Theory and Applications of Satisfiability Testing (SAT) and the SAT Association.

2023

The SAT Association conferred a Distinguished Service Award on John Franco in honour of his long-lasting and foundational contributions to the series of International Conferences on Theory and Applications of Satisfiability Testing (SAT), the SAT association, and the Journal on Satisfiability, Boolean Modeling and Computation (JSAT).

Links

Wed, 02 Jul 2025 00:00:00 +0000

satisfiability.org

JSAT - Journal on Satisfiability, Boolean Modeling and Computation

Quantified Boolean Formulas Satisfiability Library

SAT Competition

Satisfiability Modulo Theories

SAT/SMT/AR Summer School

Summer Schools

Wed, 02 Jul 2025 00:00:00 +0000

2025 - SAT/SMT/AR Summer School, St Andrews, Scotland, August 6-8, 2025

2024 - SAT/SMT/AR Summer School, Nancy, France, June 26-29, 2024

2022 - SAT/SMT/AR/CP Summer School, Haifa, Israel, August 14-17, 2022

2019 - SAT/SMT/AR Summer School, Lisbon, Portugal, July 3-6, 2019

2018 - SAT/SMT/AR Summer School, Manchester, UK, July 3-6, 2018

2017 - SC2 Summer School 2017, Saarbrücken, Germany, July 31-August 4, 2017 (covered SAT/SMT/AR and Computer Algebra)

2016 - SAT/SMT/AR Summer School, Lisbon, Portugal, June 22-25, 2016

Steering Committee

Tue, 01 Jul 2025 00:00:00 +0000

The steering committee consists of the chairs of the last four SAT conferences.

2025

Jeremias Berg, University of Helsinki
Jakob Nordström, University of Copenhagen & Lund University

2024

Supratik Chakraborty, IIT Bombay
Jie-Hong Roland Jiang, National Taiwan University

2023

Meena Mahajan, Institute of Mathematical Sciences, Chennai
Friedrich Slivovsky, TU Wien

2022

Kuldeep Meel, National University of Singapore
Ofer Strichman, Technion

News

Wed, 11 Jun 2025 10:40:46 +0200

The Fahiem Bacchus PhD Award in Satisfiability 2026: Call for Nominations

In 2024 the SAT Association established the Fahiem Bacchus PhD Award in Satisfiability. The award distinguishes one outstanding PhD thesis from the past year in the field of Satisfiability, broadly construed. The award is named after Fahiem Bacchus who made significant contributions to the theory and practice of SAT as well as to the SAT community and the SAT Association.

Board

Tue, 11 Jun 2024 10:40:46 +0200

Chair

Olaf Beyersdorff
olaf.beyersdorff@uni-jena.de

Olaf Beyersdorff is Professor of Theoretical Computer Science at Friedrich Schiller University Jena, Germany. Before coming to Jena in 2018 he spent six years at the University of Leeds (UK), as Professor of Computational Logic (2017-18), Associate Professor (2015-17), and Lecturer (2012-15). He received his PhD from Humboldt University Berlin in 2006.

Privacy

Tue, 11 Jun 2024 10:40:46 +0200

Imprint / Responsible for Content

Satisfiability: Application and Theory (SAT) e.V.
Kornblumenweg 9
07745 Jena
Germany

contact

Collection, Processing and Used of Personal Data

This website can be used without revealing your identity. By sending any information to the host of the website, you consent to this information being processed by SAT e.V. unless you declared an objection. You have the right to withdraw your consent at any time in the future, to immediate effect.

Mon, 01 Jan 0001 00:00:00 +0000