Recent news about SAT subscribe via RSS

• Dec 10, 2023  Tenure-track assistant professorship in foundations of computer science with a focus on logic and automated reasoning (application deadline Jan 26) by Jakob Nordström Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science with a focus on logic and automated reasoning.

• Dec 9, 2023  Postdoc and PhD positions in TCS and/or combinatorial optimization at University of Copenhagen (deadline Jan 10, 2024) by Jakob Nordström PhD  PostDoc  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc and PhD positions in theoretical computer science and/or combinatorial optimization.

• Dec 9, 2023  SAT 2024 Call for Papers by Supratik Chakraborty CFP  SAT  Deadline 

  SAT'24 will take place August 21-24 in Pune, India. Submissions (long papers, short papers, tool papers) are expected by March 15th AoE (abstracts due March 8th AoE).

• Dec 1, 2023  Satisfiability and Optimization with Certificate Proofs Beyond Resolution by Jordi Levy PhD  Position 

  PhD position to develop new techniques for the problem of constraint satisfaction (SAT) and constraint optimization (MaxSAT), exploring new ideas based on the use of new proof systems available in Barcelona and Lleida (Spain). The position is to be fulfilled as soon as possible. Applicants must hold a MSc in computer science, mathematics, or physics (or related areas) at the time of application.

• Nov 27, 2023  Professorship in Formal Methods at Johannes Kepler University Linz by Martina Seidl Position  Deadline 

  The Department of Computer Science at the Faculty of Engineering and Natural Sciences at Johannes Kepler University Linz invites applications for a permanent full-time position at the Institute for Formal Models and Verification (FMV) founded by Armin Biere.

• Nov 24, 2023  PhD and Postdoc positions in combinatorial optimization (certifying algorithms / proof logging) (deadline January 18, 2024) by Bart Bogaerts PhD  PostDoc  Position  Deadline 

  ERC-Funded PhD and PostDoc positions available at the Vrije Universiteit Brussel to join the proof logging revolution and make combinatorial optimizers deliver 100% correcntess guarantees.

• Aug 22, 2023  PhD opening in TCS and/or combinatorial optimization (deadline September 25, 2023) 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 26, 2023  CP 2023 Call for Participation by Anna Latour CP 

  Early registration deadline: 30 July 2023, AoE. The Conference on Principles and Practice of Constraint Programming is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2023 will be held in-person in Toronto at the University of Toronto St. George campus (Downtown), August 27-31, 2023.

• Jun 27, 2023  University Assistant (Post-Doc) position available at TU-Wien by Stefan Szeider Position  PostDoc  Deadline 

  There is an opening for a postdoc position (university assistant) at TU Wien within the Algorithms and Complexity research unit.

• May 1, 2023  Modalities in Substructural Logic: Theory, Methods and Applications (MOSAIC 2023) by Josephine Femke Dik CFP  Deadline 

  Modalities in Substructural Logic: Theory, Methods and Applications (MOSAIC 2023) will be held on 27-29 September 2023 in Vienna, (Austria)

• Mar 17, 2023  CFP - QBF Gallery 2023 by Luca Pulina CFP  Deadline  QBF 

  The QBF Gallery 2023 invites submissions of QBF solvers (PCNF as well as non-PCNF and DQBF solvers), related tools like preprocessors as well as novel benchmark instances to challenge current solvers (in particular, the publicly available solvers of the last QBFEval events).

• Mar 16, 2023  CP 2023 Call for Papers by Anna Latour CFP  Deadline 

  Submissions for CP 2023 are now open. Long papers and short papers are due by 27 April 2023 (abstracts due by 2 May 2023). Check out the SAT fast track for papers that have been rejected by SAT (submission deadline 17 May 2023).

• Mar 1, 2023  Call for Participation: the 2023 SAT Competition by Matti Järvisalo CFP  Deadline 

  The SAT competition 2023 welcomes your benchmarks and solvers.

• Mar 1, 2023  CFP - 14th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

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

• Feb 21, 2023  3-year researcher position on OMT in Trento by Roberto Sebastiani Position 

  URGENT: 3-year researcher position on Optimization Modulo Theories in Trento. PhD and expertise in SMT|SAT|CP|MILP needed

• Feb 20, 2023  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. Submission deadline updated to April 11th.

• Jan 20, 2023  SAT 2023 Call for Papers by Friedrich Slivovsky CFP  SAT  Deadline 

  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).

• Jan 7, 2023  Core Challenge 2023 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

  The 2nd Combinatorial Reconfiguration Challenge (CoRe Challenge 2023) is a competition aiming for practically exploring the combinatorial reconfiguration problem.

• Dec 11, 2022  Postdoc positions in combinatorial optimization (deadline January 10, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science.

• Dec 11, 2022  PhD positions in TCS and/or combinatorial optimization (deadline January 10, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.