The Theory Group at KTH Royal Institute of Technology is looking for a PhD student in SAT solving.
The MaxSat Evaluation is designed to provide a snapshot of current progress in solving MaxSat by running submitted MaxSat solvers on a heterogenous collection of benchmark instances.
The SAT association is seeking proposals for hosting and organizing SAT’19.
The deadline for submitting abstracts has been extended to reach the deadline for submitting papers.
** Submission deadline extended to April 15, 2018 **
This year, a new Sparkle SAT Challenge 2018 will be organised.
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
The call for papers for the 79 workshops organized within the Federated Logic Conference are now available.
Three Austrian universities TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.
The Theory Group at KTH Royal Institute of Technology is looking for postdocs and PhD students in SAT solving.
The Theory Group at KTH Royal Institute of Technology is looking for a postdoc in SAT solving.