Recent news about SAT subscribe via RSS

• Apr 21, 2025  SAT/SMT/AR 2025 Summer School Announcement by Joan Espasa Arxer CFP  Deadline 

  A new edition of the International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning will take place on August 6–8, 2025 at University of St Andrews, Scotland

• Apr 16, 2025  Call for Papers: 2nd Workshop on Composite AI (CompAI-25) by Tomáš Balyo CFP  Deadline 

  The 2nd Workshop on Composite AI (CompAI-25), co-located with IJCAI 2025 Montreal, Canada, August 16–22, 2025 is waiting for your contributions by May 9

• Apr 9, 2025  Four Tenure-Track Positions for Female Candidates at JKU Linz by Martina Seidl Position 

  Coming soon! Four AI TT-Professorships at JKU Linz

• Apr 8, 2025  SMT 2025 Call for Papers by Sophie Tourret SMT  CFP  Deadline 

  Invitation to submit papers to the SMT workshops to be held together with the 2025 SAT conference.

• Apr 7, 2025  VCLA International Student Awards - Second Call for Nominations by Andrea Hackl CFP  Deadline 

  The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the two categories outstanding master thesis and outstanding undergraduate thesis awards. The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive).

• Apr 7, 2025  CFP - 10th International Workshop on Satisfiability Checking and Symbolic Computation by Mikoláš Janota CFP  Deadline 

  The 10th SC-Square Workshop is a satellite event of CADE, held at the Duale Hochschule Baden-Württemberg (DHBW) Stuttgart, Baden-Württemberg Cooperative State University Stuttgart, Fakultät Technik in Stuttgart, Germany, from July 28 to 31, 2025.

• Mar 11, 2025  SAT 2025 Call for Workshops by Marc Vinyals SAT  CFW  Deadline 

  Invitation to submit proposals for workshops to be held at the 2025 SAT conference.

• Mar 7, 2025  SAT 2025 Call for Papers by Jakob Nordström CFP  SAT  Deadline 

  SAT'25 will take place August 10-15 in Glasgow, Scotland. Submissions (long papers, short papers, tool papers) are expected by March 27th AoE (abstracts due March 20th AoE).

• Mar 7, 2025  CFP - 16th International Workshop on Pragmatics of SAT (PoS 2025) by Aina Niemetz POS  CFW  Deadline 

  PoS 2025 will be co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) and the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025).

• Jan 22, 2025  Two PhD positions at KU Leuven (combinatorial optimization -- Certifying algorithms / Proof logging / Explanations) (deadline March 6, 2025) by Bart Bogaerts PhD  Position  Deadline 

  Two fully-funded PhD positions at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.

• Nov 29, 2024  PhD opening in TCS and/or combinatorial optimization (deadline January 17, 2025) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Nov 26, 2024  Postdoc positions in combinatorial optimization (certifying algorithms / proof logging) (deadline February 6, 2025) by Bart Bogaerts PostDoc  Position  Deadline 

  ERC-Funded PostDoc position available at KU Leuven. Join the proof logging revolution and make combinatorial optimizers deliver 100% correctness guarantees.

• Oct 2, 2024  PhD position in Parallel & Distributed SAT/SMT/BMC at Karlsruhe Institute of Technology by Dominik Schreiber PhD  Position 

  The young investigator group on Scalable Automated Reasoning at the Department of Informatics at the Karlsruhe Institute of Technology (KIT, in Germany) is looking for a research assistant (a.k.a. doctoral researcher, PhD student), beginning as soon as possible.

• Aug 5, 2024  University of Copenhagen professorships at all levels within all areas of computer science (application deadline Sep 1) by Jakob Nordström Position  Deadline 

  The Department of Computer Science at the University of Copenhagen (DIKU) invites applications from professors at all levels within all areas of computer science to join our department! Needless to say, the Algorithms and Complexity Section would particularly welcome strong applicants in algorithms, complexity theory, and automated reasoning to strengthen and expand our world-leading research environment.

• Jul 24, 2024  PhD opening in TCS and/or combinatorial optimization in Lund by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Jul 24, 2024  Precall "Bilateral AI" (50 PhDs, 10 Postdocs), fall 2024, in Austria by Stefan Szeider CFP  Deadline 

  For the recently established Cluster of Excellence CoE Bilateral Artificial Intelligence (BILAI), funded by the Austrian Science Fund (FWF), we are looking for more than 50 PhD students and 10 Post-Doc researchers (m/f/d) to join our team at one of the six leading research institutions across Austria.

• Apr 26, 2024  VCLA International Student Awards - Call for Nominations by Andrea Hackl CFP  Deadline 

  The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the two categories outstanding master thesis and outstanding undergraduate thesis awards.

• Apr 10, 2024  Call for Papers: MCW 2024 Workshop on Counting, Sampling, and Synthesis by Paulius Dilkas CFP  Deadline 

  The Workshop on Counting, Sampling, and Synthesis (MCW 2024) is organized alongside SAT 2024, featuring talks and posters on all aspects of model counting, sampling, and automated synthesis.

• Apr 10, 2024  PB24: call for solvers and benchmarks by Olivier Roussel CFP  Deadline  PB 

  Invitation to submit solvers and/or benchmarks to the PB24 competition.

• Mar 28, 2024  CFP - 15th International Pragmatics of SAT Workshop by Alexey Ignatiev POS  CFW  Deadline 

  The International Pragmatics of SAT Workshop is organized again this year, as a joint event with SAT'24, with dedicated competition contributions, post-workshop proceedings and SAT'24 fast track.