Recent news about SAT for tag CFW

 

  • Dec 17, 2019  SAT 2020 Call for Workshops by Florian Lonsing CFW  SAT  Deadline 

    The SAT'20 conference invites proposals for workshops associated with the main conference program of SAT 2020, which will be held in Alghero, Italy, from July 5-9, 2020
  • Jan 17, 2019  SAT 2019 Call for Workshops by Alexey Ignatiev CFW  SAT  Deadline 

    The SAT'19 conference invite proposals for workshops associated with the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7-12, 2019

Our scientific association

The SAT association

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

November 22, 2021
Position @ U Amsterdam
November 30, 2021
VCLA'21 Helmut Veith Stipend
December 30, 2021
20 PhD positions @TU Wien
December 30, 2021
2 SAT PhD @ TU Wien
February 28, 2022
SAT'22 paper submission

SAT related books