Formal Method full professorship position @ JKU Linz
The Johannes Kepler University Linz has an opening for a full professorship in Formal Methods.
SAT Live!
keep up to date with research on the satisfiability problem
Our scientific association
Our annual conference
Our journal
Upcoming deadlines
- May 18, 2024
- PoS'24 paper submission
- May 20, 2024
- PB24 competition
- May 28, 2024
- MCW 2024 Call for Papers
SAT related books
