SAT Live!
keep up to date with research on the satisfiability problem
Home
About
How to contribute
Newcomer to SAT
Solvers
Recent news about SAT for tag Logic
Jun 11, 2026
Junior Professorship (W1, Tenure Track Full Professor W3) in Computational Logic
by Matthias Tichy
Position
Deadline
Logic
SAT
Junior Professorship (W1, Tenure Track Full Professor W3) in Computational Logic – Ulm University, Germany
Our scientific association
Our annual conference
SAT 2026, 20-23 July, 2026, Lisbon, Portugal
Our journal
Upcoming deadlines
June 15, 2026
PhD@UHelsinki
June 30, 2026
W1ttW3 Professorship @ Ulm University
August 31, 2026
PostDoc @ University of Liverpool
SAT related books