Recent news about SAT for tag CFP

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

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

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

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

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

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

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

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

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

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

• Apr 1, 2021  CP'2021 - Call For Papers by Véronique Rousseau CFP 

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

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

• Mar 29, 2021  CFP - 12th International Pragmatics of SAT Workshop by Daniel Le Berre CFP 

  The International Pragmatics of SAT Workshop is organized again this year, as a joint event with SAT'21. Considering the success of the online event last year, the event will be at least broadcasted online this year.

• Feb 25, 2021  Call for Participation: the 2021 SAT Competition by Marijn Heule CFP 

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

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

• Aug 24, 2020  Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 by Mihaela Rozman CFP 

  The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science.

• 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 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 27, 2019  SAT 2020 Call for Papers by Martina Seidl CFP  SAT 

  The annual international SAT conference will be held in Alghero, Italy, from July 5-9, 2020.

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

• Jun 19, 2019  SAT 2019 Final Call for Participation by Alexey Ignatiev SAT  Final  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• 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  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  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 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 5, 2019  SAT 2019 Call for Participation by Alexey Ignatiev SAT  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

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

• Apr 11, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP 

  The Twenty-Fifth Conference on Principles and Practice of Constraint Programming (CP 2019) will take place in Stamford (CT), USA, September 30 to October 4, 2019. Stamford is one hour away from NYC by train.

• 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

• Feb 2, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP 

  The Twenty-Fifth Conference on Principles and Practice of Constraint Programming (CP 2019) will take place in Stamford (CT), USA, September 30 to October 4, 2019. Stamford is one hour away from NYC by train.

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

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

• Dec 3, 2018  JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes by Francesco Calimeri CFP 

  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 !

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

• Nov 3, 2018  JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes by Francesco Calimeri CFP 

  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!

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

• Aug 30, 2018  Call for papers - JSAT special issue on SAT 2018 competitions and evaluations by Martina Seidl CFP 

  The JSAT journal is hosting a special issue related to the competitive events that took place around the SAT 2018 conference.

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

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

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

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

• Dec 20, 2016  First CFP - SAT 2017 - August 28 - September 1, 2017 - Melbourne, Australia by Daniel Le Berre CFP 

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

• 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 12, 2016  International Workshop on Graph Structure and Satisfiability Testing by Stefan Mengel CFP 

  The goal of the International Workshop on Graph Structure and Satisfiability Testing is to bring together researchers from different areas in which there is an interaction between graph structure and problems related to propositional satisfiability. The aim is to foster exchange between these areas by presenting different perspectives, results and current challenges.

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

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

• Oct 9, 2015  First CFP - SAT 2016 - July 5-8, 2016 Bordeaux, France by Daniel Le Berre CFP 

  The 19th international conference on Theory and Applications of Satisfiability Testing is taking place for the first time in France, in Bordeaux.

• Sep 26, 2015  AAAI-16 Workshop on Beyond NP by Adnan Darwiche CFP 

  The goal of this workshop is to help unify and promote research areas that advance the design of solvers that reach beyond NP.

• Aug 6, 2015  SAT'15 Call for participation by Sean Weaver CFP 

  SAT'15 registration now open!

• Jul 15, 2015  FoSSaCS 2016 by Valentin Montmirail modal-logic  CFP 

  19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), April 2016, Eindhoven, The Netherlands.

• Jul 13, 2015  Advances in Modal Logic 2016 by Valentin Montmirail modal-logic  CFP 

  11th International Conference on Advances in Modal Logic, 2016, Budapest, Hungary.

• Jul 6, 2015  FMCAD Student Forum 2015 by Georg Weissenbacher CFP 

  The deadline of this year's FMCAD student forum has been extended - the new deadline is July 09, 2015.

• Jul 2, 2015  SAT & CSP Track at IEEE ICTAI 2015 by Jean-Marie Lagniez CFP 

  Due to many requests, a new submission deadline has been fixed.

• Jun 12, 2015  22nd RCRA workshop (RCRA 2015) by Marco Maratea CFP 

  This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence.

• Jun 11, 2015  Fifth International Workshop on the Cross-Fertilization Between CSP and SAT by Yael Ben-Haim CFP 

  CSPSAT 2015: Call for Papers
  Fifth International Workshop on the Cross-Fertilization Between CSP and SAT
  In conjunction with CP 2015
  Cork, Ireland
  August 31, 2015
  

• Jun 2, 2015  SAT & CSP Track at IEEE ICTAI 2015 by Jean-Marie Lagniez CFP 

  Following the success of the first and second editions of the SAT and CSP technologies special track at ICTAI 2013 and ICTAI 2014, this year again the IEEE-ICTAI conference will highlight a track dedicated to SAT and CSP.

• May 25, 2015  MAXSAT 2015 Evaluation by Jordi Planes Competition  CFP 

  Submission for the MAXSAT competition is now open. The deadline for submitting solvers and benchmarks is June 30.

• May 16, 2015  22th RCRA workshop (RCRA 2015) by Marco Maratea CFP 

  The RCRA group (Knowledge Representation & Automated Reasoning) of theAI*IA (Italian Association for Artificial Intelligence) organizes the 22th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2015)

• May 11, 2015  CFP QUANTIFY 2015 by Florian Lonsing CFP  QBF 

  The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view.

• Apr 30, 2015  Fifth International Workshop on the Cross-Fertilization Between CSP and SAT by Yael Ben-Haim CFP 

  CSPSAT 2015: Call for Papers
  Fifth International Workshop on the Cross-Fertilization Between CSP and SAT
  In conjunction with CP 2015
  Cork, Ireland
  August 31, 2015
  

• Apr 23, 2015  SAT'15 Deadline Extended by Sean Weaver CFP 

  Abstract submission deadline for SAT'15 extended to April 29th!

• Apr 17, 2015  13th International Conference on Logic Programming and Non-monotonic Reasoning by Francesco Calimeri CFP 

  Updated deadlines.

• Apr 3, 2015  18th Int. Conf. on Theory and Applications of Satisfiability Testing by Sean Weaver CFP 

  Abstract submission deadline for SAT'15 is April 22nd!

• Mar 18, 2015  ICCL Summer School on Reasoning in Dresden, Germany, September 13 - 26, 2015 by Peter Steinke CFP 

  The summer school “Reasoning” is a platform for knowledge transfer within a very rapid increasing research community in the field of “Computational Logic”. We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art. All lecturers are leading researchers in their field and have been awarded prizes.

• Mar 13, 2015  CFP QUANTIFY 2015 by Florian Lonsing CFP  QBF 

  The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view.

• Mar 2, 2015  13th International Conference on Logic Programming and Non-monotonic Reasoning by Francesco Calimeri CFP 

  Complimentary membership offer for conference registrants new to AAAI.

• Feb 17, 2015  SAT-Race 2015 by Tomas Balyo Competition  CFP 

  SAT-Race 2015 is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 18th International Conference on Theory and Applications of Satisfiability Testing, September 24-27, 2015, Austin, Texas, USA and stands in the tradition of the yearly SAT Competitions and SAT-Races / Challenges. In contrast to the SAT Competitions, the focus of SAT-Race is on application benchmarks only.

• Jan 12, 2015  SAT2015 second call for workshops by Sean Weaver CFP 

  Workshop proposals for the SAT conference is open now. Check out the details ...

• Jan 3, 2015  13th Int. Conf. on Logic Programming and Non-monotonic Reasoning by Francesco Calimeri CFP 

  LPNMR 2015 associated events are now announced.

• Dec 4, 2014  13th Int. Conf. on Logic Programming and Non-monotonic Reasoning by Francesco Calimeri CFP 

  LPNMR 2015 will be collocated with the 4th Conference on Algorithmic Decision Theory 2015.

• Nov 8, 2014  SAT2015 First call for workshops by Sean Weaver CFP 

  Workshop proposals for the SAT conference is open now. Check out the details ...

• Nov 8, 2014  JSAT Special Issue on SAT 2014 COMPETITIONS AND EVALUATIONS by Marijn Heule CFP 

  A special issue for the participants of SAT 2014 competitive events.

• Nov 8, 2014  31st International Conference on Logic Programming by Michael Fink CFP 

  ICLP 2015 will be co-located with CP 2015 during The Year of George Boole.

• Oct 9, 2014  18th Int. Conf. on Theory and Applications of Satisfiability Testing by Sean Weaver CFP 

  The next SAT conference is taking place in Austin. Check the submission deadline now!

• Jun 9, 2014  CFP ModRef 2014 by Carlos Ansotegui CFP 

  The 13th International Workshop on Constraint Modelling and Reformulation will take place in Lyon during CP'14.

• Jun 4, 2014  ICTAI'14 Special Track on SAT and CSP by Bertrand Mazure CFP 

  Over the years, the ICTAI conference has become a major forum for the CSP and SAT research communities for presenting new high-quality results. The second edition of the special track is intended to further develop the role of ICTAI in this respect.

• May 13, 2014  Bridging the Gap Between Theory and Practice in Constraint Solvers by Philippe Jegou CFP 

  This one-day workshop will be held at CP 2014, the 20th International Conference on Principles and Practice of Constraint Programming.

• May 9, 2014  Configurable SAT Solver Challenge (CSSC) 2014 by Franck Hutter CFP 

  Following last year's inaugural Configurable SAT Solver Challenge (CSSC), we will hold CSSC 2014, a competitive event that assesses the peak performance of such parametric solvers (i.e. performance with optimized parameters).

• May 8, 2014  Workshop on Logic and Search - LaSh'2014 by Marc Denecker CFP 

  The purpose of the LaSh workshops is to foster scientific exchange on subjects related to languages for representing, and methods for solving, computationally challenging search problems.

• May 2, 2014  11th Workshop on Boolean Problems by Miroslav Velev CFP 

  Extended Deadline for 11th International Workshop on Boolean Problems (IWSBP’14).

• Apr 3, 2014  Call for contributions - QBF Gallery 2014 by Martina Seidl CFP 

  The QBF Gallery 2014 invites submissions of competing QBF solvers (PCNF as well as non-PCNF solvers), related tools like preprocessors as well as novel benchmark instances to challenge current solvers.

• Mar 26, 2014  SAT 2014 competition: call for solvers and benchmarks by Marijn Heule CFP 

  SAT Competition 2014 invites submissions of both competing SAT solvers and new competition benchmark instances.

• Mar 24, 2014  7th Workshop on Answer Set Programming and Other Computing Paradigms by Marco Maratea CFP 

  This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms.

• Mar 21, 2014  iPrA 2014 - 2nd workshop on interpolation: from proofs to applications by Georg Weissenbacher CFP 

  Recently, interpolants are increasingly used in automated verification, synthesis, and description logics. The aim of the workshop is to bring together theoreticians and practitioners from these different fields.

• Mar 17, 2014  Call for participation - Fourth SAT/SMT summer school by Georg Weissenbacher CFP 

  The fourth edition follows the schools that took place at MIT (SAT/SMT Solver Summer School 2011), at Fondazione Bruno Kessler (SAT/SMT School 2012) in Trento, Italy, and Aalto University in Espoo, Finland in 2013.