Recent news about SAT for tag Awards

 

  • Oct 6, 2015  VCLA International Student Awards by Florian Lonsing Awards 

    The Vienna Center for Logic and Algorithms announces the 2015 edition of the VCLA International Student Awards and calls for the nomination of authors of outstanding scientific works in the field of Logic and Computer Science, in the following two categories:

  • Oct 9, 2014  VCLA International Student Awards by Stefan Szeider Awards 

    The Vienna Center for Logic and Algorithms calls for the nomination of authors of outstanding scientific works in the field of Logic and Computer Science.

Our scientific association

The SAT association

Upcoming deadlines

March 27, 2017
SAT'17 workshop proposal
March 31, 2017
PhD and Postdoc @ KTH
April 3, 2017
JAR Special Issue 2017
April 25, 2017
TABLEAUX 2017 CFP
April 26, 2017
SAT'17 abstract submission
May 12, 2017
ARCADE Workshop CFP
May 15, 2017
QBFEVAL'17 Benchmarks

SAT related books