Recent news about SAT for tag Deadline

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

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

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

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

• Dec 11, 2022  Call for Verified Proof Checkers by Markus Iser CFP  Deadline 

  The organizers of the SAT Competition are looking for proposals of new proof checkers.

• Dec 10, 2022  Helmut Veith Stipend – Call for Applications – Deadline extended to Jan 16 by Alexandra Traxier CFP  Deadline 

  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.

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

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization.

• Dec 10, 2022  PhD opening in TCS and/or combinatorial optimization (deadline January 12) 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.

• Dec 10, 2022  PhD positions around SAT and SMT for formal verification of B models by Daniel Le Berre PhD  Position  Deadline 

  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.

• Dec 10, 2022  Assistant Professors in Computer Science at Aalto University, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.

• Aug 18, 2022  PhD opening in TCS and/or combinatorial optimization (deadline September 15) 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.

• Jun 24, 2022  Travel Support for SAT conference 2022 for community members impacted by war in Ukraine by Stefan Mengel Deadline 

  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.

• May 23, 2022  PhD positions around SAT and SMT for formal verification of B models by Daniel Le Berre PhD  Position  Deadline 

  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.

• May 22, 2022  CFP - 13th 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'22@FLoC. Due to the collision with SAT competition deadlines, the abstract and paper submission deadlines and authors notification date have been extended.

• May 13, 2022  Postdoc positions in TCS and/or combinatorial optimization (deadline June 29) by Jakob Nordström PhD  Position  Deadline 

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

• May 13, 2022  PhD positions in TCS and/or combinatorial optimization (deadline June 29) 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.

• Apr 29, 2022  Vardifest: A workshop in Honor of Moshe Vardi by Kuldeep S. Meel CFP  Deadline 

  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.

• Apr 11, 2022  Fully-funded PhD Position on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD  Deadline 

  The deadline for applying to those two SAT related PhD positions is the end of the month (April 30).

• Apr 11, 2022  10 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position  Deadline 

  The deadline for applying to those 10 full-time PhD positions is the end of this month (April 30).

• Mar 14, 2022  CFP - 9th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  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.

• Mar 7, 2022  20th International Workshop on Satisfiability Modulo Theories by Antti Hyvarinen CFP  Deadline 

  The 20th edition of the SMT workshop is taking place in Haifa, and we're looking for contributions!

• Feb 8, 2022  Lecturer Position in Optimisation (CP/MIP/SAT/SMT) by Alexey Ignatiev Position  Lecturer  Deadline 

  We are now seeking to add your expertise to the role of Lecturer - (Data Science & AI) within the Optimisation Group of the Department of Data Science and Artificial Intelligence.

• Jan 30, 2022  Call for Participation: Competitive Evaluation of QBF Solvers by Luca Pulina CFP  Deadline 

  QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation.

• Dec 20, 2021  Tenure-track assistant professorship in complexity theory (deadline Jan 30) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory.

• Dec 7, 2021  Reminder: Two PhD Positions on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD  Deadline 

  The deadline for applying to those two SAT related PhD positions is the end of the month (Dec. 30).

• Dec 7, 2021  Reminder: 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position  Deadline 

  The deadline for applying to those 20 full-time PhD positions is the end of this month (Dec. 30).

• Nov 29, 2021  Core Challenge 2022 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

  The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) is a competition aiming for practically exploring the combinatorial reconfiguration problem.

• Nov 20, 2021  CS Professorships at Aalto University, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.

• Oct 29, 2021  Postdoc positions in combinatorial optimization (deadline November 28) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization.

• Oct 29, 2021  PhD positions in TCS and combinatorial optimization (deadline November 28) 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 combinatorial optimization.

• Oct 25, 2021  Formal Method full professorship position @ JKU Linz by Martina Seidl Position  Deadline 

  The Johannes Kepler University Linz has an opening for a full professorship in Formal Methods.

• Oct 10, 2021  SAT 2022 Call for Papers by Kuldeep S. Meel CFP  SAT  Deadline 

  The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In 2022, it is organized within FLoC in Haifa, Israel.

• Oct 4, 2021  Assistant Professor in Model-Based AI at ILLC in Amsterdam by Ulle Endriss Position  Deadline 

  We have a vacancy for an Assistant Professor in Model-Based AI at the Institute for Logic, Language and Computation (ILLC) in Amsterdam, with SAT being one of the relevant topics of expertise.

• Aug 17, 2021  PhD positions in theoretical computer science and/or combinatorial optimization by Jakob Nordström PhD  Position  Deadline 

  The CS department at Lund University invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

• Aug 10, 2021  SAT'22 Call for Workshops by Alexander Nadel CFP  Deadline 

  We invite proposals for workshops affiliated with SAT. The purpose of the workshops is to provide an informal venue in which participants can explore specific research areas in-depth.

• May 29, 2021  Grant: Helmut Veith Stipend for Female Master’s Students in Computer Science by Alexandra Traxier CFP  Deadline 

  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 2021/2022, summer semester 2022.

• May 15, 2021  CP'2021 - Call For Papers by Véronique Rousseau CFP  Deadline 

  All deadlines have been shifted by one week.

• May 11, 2021  CP'2021 - Call For Workshop Proposals by Véronique Rousseau CFP  Deadline 

  We invite proposals for workshops preceding the main conference program of CP 2021, which will be held online from October 25th to October 29th, 2021.

• May 10, 2021  CFP - 12th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

  The submission deadlines and the author notification date have been shifted by a week.

• May 8, 2021  Call for Participation: the 2021 MAXSAT Evaluation by Daniel Le Berre CFP  Deadline 

  The 2021 MaxSAT Evaluation (MSE 2021) is the 15th edition of MaxSAT evaluations, the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006.

• May 8, 2021  CP'2021 - Call For Tutorial Proposals by Véronique Rousseau CFP  Deadline 

  Due to the COVID-19 pandemic, the 27th Conference on Principles and Practice of Constraint Programming will be transformed into a fully virtual event.

• May 7, 2021  CFP - 8th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  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.

• Mar 29, 2021  CALL FOR NOMINATIONS: VCLA International Student Awards 2021 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2019 and 31.12.2020 (inclusive) by Alexandra Traxier CFP  Deadline 

  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.

• Mar 29, 2021  Call for Participation: the 2021 SAT Competition by Marijn Heule CFP  Deadline 

  The deadline for submitting benchmarks and solvers has been extended to April 23, 2021.

• Jan 13, 2021  SMT 2021 Call for Papers by Alexander Nadel CFP  SMT  Deadline 

  The annual international workshop on Satisfiability Modulo Theories will be held in Los Angeles, United States, from July 16-25, 2021.

• Jan 12, 2021  SAT 2021 Call for Papers by Jesús Giráldez-Cru CFP  SAT  Deadline 

  The annual international SAT conference will be held in Barcelona, Spain, from July 5-9, 2021.

• Dec 12, 2020  Postdoctoral position in combinatorial optimization (including SAT solving and constraint programming) at University of Copenhagen by Jakob Nordström PostDoc  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoctoral positions in combinatorial optimization.

• Nov 22, 2020  SAT+SMT indian school 2020 is fully online by Daniel Le Berre SAT  SMT  Deadline 

  The SAT+SMT school is organized each year in an indian city in December since 2016. This year, due to COVID, the school will be fully online. As such, everybody is welcome to attend the school.

• Nov 21, 2020  Tenure Track Assistant Professors in Computer Science at Aalto University, Helsinki, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science. The CS Department is very well funded, availability of research funding in Finland in general is very good, and the positions come with a generous start-up package that funds a new research group for a number of years. Quality of life in Helsinki is internationally very competitive on multiple scales, and Finland is globally known as one of the progressive and technologically advanced Nordic societies.

• Aug 24, 2020  Postdoc In Sample Complexity (Or Machine Learning) In Vienna (TU Wien), Austria by Mihaela Rozman Position  Deadline 

  Do you hold a PhD in Computer Science or Mathematics, or have the expectation to receive one within the next 12 months?

• Aug 24, 2020  Phd Position In Parameterized Complexity In Vienna (TU Wien), Austria by Mihaela Rozman Position  Deadline 

  The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), supervised by Robert Ganian (principal investigator).

• Jun 16, 2020  PhD position focused on SAT solving and combinatorial optimization at Lund University by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position focused on SAT solving and combinatorial optimization.

• Jun 16, 2020  Doctoral and Postdoctoral Openings Representation Learning for Planning by Hector Geffner and Blai Bonet PhD  Position  Deadline 

  We have several funded slots for doctoral students and postdoctoral researchers at the AI and ML group at the Universitat Pompeu Fabra, Barcelona, Spain to carry out research on Representation Learning for Planning.

• May 26, 2020  PhD Position in QBF Solving at TU Wien by Friedrich Slivovsky PhD  Position  QBF  Deadline 

  The Algorithms & Complexity group at TU Wien is looking for a PhD student in QBF solving.

• May 13, 2020  32th IEEE International Conference on Tools with Artificial Intelligence by Jean-Marie Lagniez CFP  Deadline 

  The next ICTAI conference is taking place virtually. Check the submission deadline now!

• May 12, 2020  Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria by Mihaela Rozman Position  Deadline 

  TU Wien (Vienna University of Technology), TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF).

• May 7, 2020  CFP - 11th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

  The deadline for abstract submission has been extended to the paper submission deadline, i.e. May 22. Please submit your abstract ASAP.

• Feb 28, 2020  Call for Participation: the 2020 SAT Competition by Marijn Heule CFP  Deadline 

  The 2020 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 23th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions, Races, and Challenges.

• Feb 28, 2020  Call for Participation: Competitive Evaluation of QBF Solvers by Martina Seidl CFP  Deadline 

  QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'20 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation.

• Feb 28, 2020  Call for Participation: 1st International Competition on Model Counting (MC 2020) by Daniel Le Berre CFP  Deadline 

  The 1st International Competition on Model Counting (MC 2020) is a competition to deepen the relationship between latest theoretical and practical development on the various model counting problems and their practical applications. It targets the problem of counting the number of models of a Boolean formula.

• Feb 17, 2020  SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop) by Mihaela Rozman CFP  Deadline 

  Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.

• Feb 17, 2020  CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive) by Mihaela Rozman CFP  Deadline 

  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.

• Feb 17, 2020  SAT 2020 Call for Papers by Martina Seidl CFP  SAT  Deadline 

  The annual international SAT conference will be held in Alghero, Italy, from July 5-9, 2020. The deadlines have been extended by one week.

• Dec 20, 2019  Postdoc and PhD positions focused on SAT solving and combinatorial optimization at Lund University by Jakob Nordström Position  Deadline 

  The Department of Computer Science at Lund University invites applications for postdoc and PhD positions focused on SAT solving and combinatorial optimization. The postdocs and PhD students will be working in the research group of Jakob Nordström, which is currently in transition from KTH to a combined location at Lund University and the University of Copenhagen on either side of the Oresund bridge.

• Dec 17, 2019  SAT 2020 Call for Workshops by Florian Lonsing CFW  SAT  Deadline 

  The SAT'20 conference invites proposals for workshops associated with the main conference program of SAT 2020, which will be held in Alghero, Italy, from July 5-9, 2020

• Nov 11, 2019  CS Professorships at Aalto University, Helsinki, Finland by Jussi Rintanen Position  Deadline 

  Aalto University Computer Science department’s annual call for applications for Assistant Professorships is now open. All areas are considered, especially the focus areas listed in the ad, but of particular importance are areas that can be viewed as falling inside “Formal methods for software”. Candidates from 0 until about 6 years from PhD are considered at the assistant professor level.

• Nov 10, 2019  Simons-Berkeley Research Fellowships for spring of 2021 on theory and practice of NP and beyond by Jakob Nordström Position  Deadline 

  The call for applications for research fellowships (postdoc positions) at the Simons Institute at UC Berkeley for 2020-21 has now been posted with an application deadline of December 15.

• Nov 9, 2019  Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien by Mihaela Rozman CFP  Deadline 

  QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Quantitative Evaluation of SysTems), FORMATS (18th International Conference on Formal Modeling and Analysis of Timed Systems) and FMICS (25th International Conference on Formal Methods for Industrial Critical Systems).

• Nov 6, 2019  Full Professor in AI Techniques at TU Wien, Austria by Stefan Szeider Position  Deadline 

  TU Wien (Vienna University of Technology) invites applications for a full Professorship in AI Techniques.

• Aug 8, 2019  Professorship in AI at Johannes Kepler University Linz by Armin Biere Position  Deadline 

  The professorship position should focus on the development, design, and implementation or on the theory of Artificial Intelligence methods.

• Aug 7, 2019  CP'2019 - Call For Participation by Charlotte Truchet Deadline 

  Registration at early rate is available until Sept. 7, 2019.

• Jun 13, 2019  CFP - The 8th International Workshop on Numerical and Symbolic Abstract Domains by Charlotte Truchet CFP  Deadline 

  Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. This year's edition will be more open to work in progress, and contributions coming from other close communities such as constraint solving, compilation, worst-case execution time communities, will be welcome.

• May 28, 2019  Doctoral position on SAT-Based Local Improvement for Graph Width Parameters by Stefan Szeider Position  Deadline  PhD 

  There is an opening for a fully funded doctoral position at the Algorithms and Complexity group at TU Wien, Vienna, Austria. The position is within the FWF-funded research project P32441 on SAT-Based Local Improvement for Graph Width Parameters.

• May 28, 2019  Call for Participation: MAXSAT Evaluation 2019 by Ruben Martins CFP  MAXSAT  Deadline 

  The MaxSAT Evaluation 2019 is coming up soon! We have extended the deadline for submitting benchmarks and solvers for the MaxSAT Evaluation 2019 to Friday, June 7, 2019.

• May 17, 2019  Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant by Mihaela Rozman Position  Deadline 

  The Security & Privacy group at TU Wien is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project “Foundations and Tools for Client-Side Web Security”. The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.

• May 17, 2019  CFP (deadline extension) - 6th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  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.

• May 16, 2019  SAT/SMT/AR summer school by Antonio Morgado SAT  Deadline 

  The SAT/SMT/AR summer school will precede SAT 2019 and SMT 2019 taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal. The summer school registration is free of charge to make it accessible for participants to attend. The registration deadline is May, 31st. The program, registration, and all the information can be found in the website of the summer school.

• May 10, 2019  EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) by Mihaela Rozman CFP  Deadline 

  It is our pleasure to announce an extended deadline for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019.

• May 3, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP  Deadline 

  The submission deadlines have been extended.

• Apr 25, 2019  CFP - 10th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline  QBF 

  The deadline for abstract submission has been extended to the paper submission deadline, i.e. April 29

• Apr 24, 2019  CFP - 6th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  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.

• Mar 17, 2019  Call for Participation: 2019 SAT Race by Marijn Heule CFP  SAT  Deadline 

  The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions / Races / Challenges. The deadline for submitting benchmarks and solvers is Monday April 15, 2019 (23:59 GMT -12, anywhere on earth). Visit the SAT Race website at http://sat-race-2019.ciirc.cvut.cz/ for details.

• Mar 14, 2019  VCLA International Student Awards 2019 - Logic and Computer Science - Extended deadline by Mihaela Rozman CFP  Deadline 

  The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Extended Submission Deadline: 25.3.2019

• Mar 3, 2019  16th edition of the European Conference on Logics in Artificial Intelligence (JELIA'19) by Francesco Calimeri CFP  Deadline 

  Registration to JELIA 2019 is now open! Deadline for early registration is March 31st, 2019.

• Feb 26, 2019  SAT 2019 Final Call for Papers by Alexey Ignatiev CFP  SAT  Deadline 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• Feb 21, 2019  SAT conference hosting call for proposals by Fahiem Bacchus CFP  SAT  Deadline 

  As we have done in the past we are seeking proposals for hosting and organizing SAT 2020.

• Feb 4, 2019  SAT 2019 Call for Papers by Alexey Ignatiev CFP  SAT  Deadline 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• Jan 26, 2019  Call for Papers: SC-square Workshop 2019 by Alberto Griggio CFP  Deadline 

  4th International Workshop on Satisfiability Checking and Symbolic Computation, Wed. 10 July 2019, University of Bern, Switzerland.

• Jan 17, 2019  SAT 2019 Call for Workshops by Alexey Ignatiev CFW  SAT  Deadline 

  The SAT'19 conference invite proposals for workshops associated with the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7-12, 2019

• Jan 16, 2019  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by February 7, 2019.

• Dec 24, 2018  Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in computer science focused on algorithms for solving the Boolean satisfiability problem (SAT) very efficiently for large classes of instances, and on analyzing and understanding such algorithms.

• Dec 19, 2018  CP’2019 - Call for Tracks by Charlotte Truchet CFP  Deadline 

  CP, the international conference on Principles and Practice of Constraint Programming, is welcoming special tracks on topics which may not be present at the conference, yet which may be of interest to the community.

• Dec 18, 2018  VCLA International Student Awards 2019 - Logic and Computer Science by Mihaela Rozman CFP  Deadline 

  The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final Submission Deadline: 15.3.2019

• Dec 17, 2018  Helmut Veith Stipend for Women in Computer Science – Deadline: November 30, 2019 by Mihaela Rozman CFP  Deadline 

  Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master‘s programs in Computer Science at the Vienna University of Technology – TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend.

• Nov 4, 2018  22st International Conference on Theory and Applications of Satisfiability Testing CFP by Daniel Le Berre CFP  Deadline 

  The next SAT conference will take place in Lisbon, Portugal. The important dates are now available.

• Oct 23, 2018  Call for papers - JSAT special issue on SAT 2018 competitions and evaluations by Martina Seidl CFP  Deadline 

  Submission deadline extended to November 23.

• Oct 20, 2018  Third International Competition on Computational Models of Argumentation (ICCMA'19) by Francesco Santini CFP  Deadline 

  Argumentation is a major topic in the study of Artificial Intelligence. In particular, the problem of solving certain reasoning tasks on Dung's abstract argumentation frameworks is central to many advanced argumentation systems. The fact that many of the problems to be solved are intractable requires efficient algorithms and solvers.

• Oct 1, 2018  JELIA 2019 - First CfP - IJCAI + TPLP papers and AWARDS by Francesco Calimeri CFP  Deadline 

  The next JELIA conference is taking place in Rende, ITALY and will feature cooperation with IJCAI and TPLP for best papers. Check the submission deadline !

• Sep 26, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a PhD student in SAT solving.

• Sep 11, 2018  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by September 29, 2018.

• Jul 27, 2018  DATE 2019 Call For Papers Topic D4 Formal Methods and Verification by Armin Biere CFP  Deadline 

  Call for papers for 21st Conference on Design Automation and Test in Europe Topic D4 Formal Methods and Verification.

• Jun 24, 2018  LPAR'18 Call for papers by Valentin Montmirail CFP  Deadline 

  22nd International Conference on Logic For Programming, Artificial Intelligence and Reasoning.

• Apr 22, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a PhD student in SAT solving.

• Apr 20, 2018  Call for papers RCRA 2018 by Marco Maratea Deadline 

  The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organizes the 25th RCRA workshop Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2018) within FLoC 2018.

• Apr 20, 2018  Call for participation MaxSAT evaluation 2018 by Fahiem Bacchus Deadline 

  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.

• Apr 20, 2018  Call for proposals SAT 2019 by Fahiem Bacchus Deadline 

  The SAT association is seeking proposals for hosting and organizing SAT’19.

• Apr 9, 2018  Abstract deadline extension for Pragmatics of SAT workshop by Daniel Le Berre CFP  Deadline 

  The deadline for submitting abstracts has been extended to reach the deadline for submitting papers.

• Mar 22, 2018  Deadline extension of the 2018 SAT Competition by Marijn Heule CFP  Deadline 

  ** Submission deadline extended to April 15, 2018 **

• Mar 17, 2018  Sparkle SAT Challenge 2018 -- A new competitive event for SAT solvers by Chuan Luo CFP  Deadline 

  This year, a new Sparkle SAT Challenge 2018 will be organised.

• Mar 9, 2018  CP 2018 - August 37 - 31, 2018 - Lille, France by George Katsirelos CFP  Deadline 

  CP 2018 will take place in Lille, France in late August

• Mar 4, 2018  VCLA International Student Awards 2018 in Memory of Helmut Veith by Mihaela Rozman Deadline 

  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:

• Feb 16, 2018  FLoC 2018 workshops call for papers opened by Daniel Le Berre CFP  Deadline 

  The call for papers for the 79 workshops organized within the Federated Logic Conference are now available.

• Dec 23, 2017  Postdoc and PhD positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for postdocs and PhD students in SAT solving.

• Dec 13, 2017  SAT 2018 - July 9 - 12, 2018 - Oxford, UK by Daniel Le Berre CFP  Deadline 

  The next SAT conference will take place in Oxford, within FLoC'18.

• Sep 18, 2017  IJCAR'18 Call for papers by Valentin Montmirail CFP  Deadline 

  The 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Oxford, UK, July 14-17, 2018.

• Sep 1, 2017  Postdoc position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a postdoc in SAT solving.

• Jul 11, 2017  Special Issue on Algorithm Selection and Configuration in Evolutionary Computation, Evolutionary Computation Journal, MIT Press by Holger H. Hoos CFP  Deadline 

  The goal of this special issue is to provide an account of recent advances in research on algorithm selection and configuration, with a focus on evolutionary computation and related meta-heuristic techniques.

• Jun 20, 2017  CFP ICTAI'17 Special track on SAT and CSP by Jean-Marie Lagniez Deadline  CFP 

  Submission deadline is June 25.

• May 5, 2017  Call for Workshops at the 2018 Federated Logic Conference (FLoC 2018) by Martina Seidl CFP  Deadline 

  The SAT'18 conference invites proposals for workshops affiliated with SAT at FLoC 2018 in Oxford, England, 6-19 July 2018.

• Apr 24, 2017  Final CFP - SAT 2017 - August 28 - September 1, 2017 - Melbourne, Australia by Daniel Le Berre CFP  Deadline 

  Final call for papers. The next SAT conference will take place in Melbourne, right after IJCAI, together with CP and ICLP.

• Apr 5, 2017  CP'17 call for papers by Yael Ben-Haim CFP  Deadline 

  This year, CP will be co-located with SAT and ICLP. Moreover, CP will hold a thematic track on SAT & CP.

• Apr 3, 2017  JAR Special Issue on Automated Reasoning Systems by Armin Biere CFP  Deadline 

  The past few decades have seen major developments and practical achievements in automated reasoning systems: that special issue is dedicated to those systems in their full variety.

• Mar 1, 2017  Postdoc and PhD positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for postdocs and PhD students in SAT solving.

• Feb 25, 2017  SAT'17 call for workshop by Stefan Ruemmele CFP  Deadline 

  The SAT'17 conference invite proposals for workshops associated to the main conference program of SAT 2017, which will be held in Melbourne (Australia) from August 28 to September 1, 2017, colocated with CP 2017 and ICLP 2017, and following IJCAI 2017

• Feb 24, 2017  TABLEAUX 2017: 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods by Valentin Montmirail CFP  Deadline 

  TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableaux-based reasoning and related methods is presented

• Feb 8, 2017  ARCADE: Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements CFP by Dmitriy Traytel CFP  Deadline 

  The main goal of this workshop is to bring together key people from various sub-communities of automated reasoning—such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving—to discuss the present, past, and future of the field.

• Jan 7, 2017  Associate professorship in computer science (including SAT solving) at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for a tenured associate professorship in computer science with a broad profile, covering all research areas currently represented at the school (thus including SAT solving).

• Dec 20, 2016  PhD and Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström PhD  PostDoc  Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for one postdoc and one PhD student in SAT solving.

• Dec 19, 2016  QBFEVAL 2017 - Preliminary Call For Benchmarks by QBF  Deadline 

  QBFEVAL'17 will be the 2017 competitive evaluation of QBF solvers, and the twelfth evaluation of QBF solvers and instances ever. QBFEVAL'17 will award solvers that stand out as being particularly effective on specific categories of QBF instances.

• Jun 27, 2016  CFP 9th Workshop on Answer Set Programming and Other Computing Paradigms by Amelia Harrison CFP  Deadline  ASP 

  Submission deadline extended to July 4

• May 5, 2016  SAT/SMT/AR summer school, Lisbon, Portugal by Ines Lynce CFP  SAT  SMT  Deadline 

  EXTENDED APPLICATION DEADLINE: May 15th, 2016

• Apr 29, 2016  International Workshop on Graph Structure and Satisfiability Testing by Stefan Mengel CFP  Deadline 

  Deadline extended to May 18.

• Apr 29, 2016  Seventh Pragmatics of SAT international workshop by Olivier Roussel CFP  Deadline 

  The deadline for paper submission has been extended to May 8.

• Apr 29, 2016  6th International Workshop on the Cross-Fertilization Between CSP and SAT by Yael Ben-Haim CFP  Deadline 

  Constraint Satisfaction Problems (CSP's) and Boolean Satisfiability Problems (SAT) have much in common. However, they also differ in many important aspects, which result in major differences in solution techniques. More importantly, the CSP and SAT communities, while to some extent interacting with each other, are mostly separate communities with separate conferences and meetings. This workshop is designed as a venue for bridging the gap and for cross-fertilization between the two communities, in terms of ideas, problems, techniques, and results.

• Apr 22, 2016  CFP - 4th International Workshop on Quantified Boolean Formulas (and Beyond) by Florian Lonsing CFP  Deadline  QBF 

  Submission deadline extended to May 8.

• Apr 22, 2016  12th International Workshop on Boolean Problems by Miroslav Velev CFP  Deadline 

  The Workshop on Boolean Problems has an emphasis on the problems related to the solution of all kinds of high- dimension Boolean and discrete problems, and provides a forum for researchers and engineers from different disciplines to exchange ideas. The workshop is devoted to theoretical discoveries as well as practical applications. An aim of the workshop is to initiate possible collaborative research and to find new areas of application.

• Mar 28, 2016  PB16 - Pseudo-Boolean Competition 2016 by Olivier ROUSSEL CFP  Deadline  PBO 

  The site for submitting pseudo-Boolean solvers or benchmarks to the 2016 competition will open soon. Like the previous evaluations and competitions (PB05, PB06, PB07, PB09, PB10, PB11, PB12, PB Evaluation 2015), the goal of PB16 is to assess the state of the art in the field of pseudo-Boolean solvers.

• Mar 11, 2016  CFP - 4th International Workshop on Quantified Boolean Formulas (and Beyond) by Florian Lonsing CFP  Deadline  QBF 

  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.

• Mar 3, 2016  CALL FOR BENCHMARKS -- SAT COMPETITION 2016 by Marijn Heule Competition  Deadline 

  We would like to invite and encourage submissions of benchmarks and benchmark generators for SAT Competition 2016. Visit the competition homepage for details.

• Feb 15, 2016  Final CFP - SAT 2016 - July 5-8, 2016 Bordeaux, France by Daniel Le Berre CFP  Deadline 

  Final Call For Papers. Abstracts can still be submitted until Feb 21 (same deadline as papers). Submitted papers can be updated until Feb 24.

• Dec 22, 2015  QBFEVAL'16 - Competitive evaluation of QBF solvers by Luca Pulina CFP  Deadline  QBF 

  ******************************************************************
  Call for Solvers & Benchmarks
  QBFEVAL'16 - Competitive evaluation of QBF solvers
  
  A joint event with SAT 2016 - The Nineteenth International Conference
  on Theory and Applications of Satisfiability Testing - Bordeaux,
  France, July 5-8, 2016
  ******************************************************************
  

• Dec 22, 2015  Seventh Pragmatics of SAT international workshop by Olivier Roussel CFP  Deadline 

  The website of the seventh pragmatics of SAT international workshop is now online.

• Dec 14, 2015  Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström PostDoc  Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.

• Dec 7, 2015  Second CFP - SAT 2016 - July 5-8, 2016 Bordeaux, France by Daniel Le Berre CFP  Deadline 

  Second Call For Papers. Now includes programme committee.