Recent news about SAT subscribe via RSS

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

• Jan 18, 2024  SAT 2024 Call for Workshops by Alexey Ignatiev SAT  CFW  Deadline 

  27th International Conference on Theory and Applications of Satisfiability Testing

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