-
Submissions for SAT 2023 are now open. Submit your latest research on satisfiability (long papers, short papers, tool papers) by March 17th (abstracts due March 10th).
-
The 2nd Combinatorial Reconfiguration Challenge (CoRe Challenge 2023) is a competition aiming for practically exploring the combinatorial reconfiguration problem.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.
-
The organizers of the SAT Competition are looking for proposals of new proof checkers.
-
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master's students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: winter semester 2022/2023, summer semester 2023.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization.
-
The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
-
BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.
-
The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.
-
The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
-
The organizers of the SAT conference 2022 and the SAT association would like to support members of the SAT community at large that have been impacted by the ongoing war in Ukraine.
-
BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.
-
The International Pragmatics of SAT Workshop is organized again this year, as a joint event with SAT'22@FLoC. Due to the collision with SAT competition deadlines, the abstract and paper submission deadlines and authors notification date have been extended.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in theoretical computer science and/or combinatorial optimization.
-
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.
-
The VardiFest titled *On the Not So Unusual Effectiveness of Logic* is a FLoC-22 workshop in honor of Moshe Vardi and is intended to celebrate Moshe Vardi's pioneering contributions that has enhanced logic's centrality in Computer science.
-
The deadline for applying to those two SAT related PhD positions is the end of the month (April 30).
-
The deadline for applying to those 10 full-time PhD positions is the end of this month (April 30).
-
The goal of the International Workshop on Quantified Boolean Formulas and Beyond is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the state-of-the-art in research and to consolidate on immediate and long-term challenges.