<div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div>Excuses for multiple posting.</div><div>----</div><div>CADE-27: Call for Papers, Workshops, Tutorials and System Competitions</div><div>----<br></div><div><br></div><div>The 27th International Conference on Automated Deduction (CADE-27)</div><div>Natal, Brazil</div><div><br></div><div>25-30 August 2019</div><div><br></div><div><a href="http://www.cade-27.info">http://www.cade-27.info</a></div><div><br></div><div>CALL FOR PAPERS</div><div><br></div><div>CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited.</div><div><br></div><div>Key dates:</div><div>  Abstract deadline:        15 February 2019</div><div>  Submission deadline:      22 February 2019</div><div><br></div><div>* Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof.</div><div><br></div><div>* Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration.</div><div><br></div><div>* Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning.</div><div><br></div><div>* Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of artificial intelligence.</div><div><br></div><div>Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chair may solicit further reviews after the rebuttal period.</div><div><br></div><div>The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at</div><div><br></div><div><a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a></div><div><br></div><div>At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award.</div><div><br></div><div>IMPORTANT DATES</div><div>  Abstract deadline:        15 February 2019</div><div>  Submission deadline:      22 February 2019</div><div>  Rebuttal phase:           2  April    2019</div><div>  Notification:             15 April    2019</div><div>  Final version:            27 May      2019</div><div><br></div><div>SUBMISSION INSTRUCTIONS</div><div><br></div><div>Papers should be submitted via</div><div><br></div><div><a href="https://easychair.org/conferences/?conf=cade27">https://easychair.org/conferences/?conf=cade27</a></div><div><br></div><div>CADE-27 ORGANIZERS</div><div><br></div><div>Conference Chair:</div><div>  Elaine Pimentel        Federal University of Rio Grande do Norte, Brazil</div><div><br></div><div>Organizers:</div><div>  Carlos Olarte          Federal University of Rio Grande do Norte, Brazil</div><div>  Joao Marcos            Federal University of Rio Grande do Norte, Brazil</div><div>  Claudia Nalon          University of Brasilia, Brazil</div><div>  Giselle Reis           CMU, Qatar</div><div><br></div><div>Program Committee Chair:</div><div>  Pascal Fontaine        Universite de Lorraine, CNRS, Inria, LORIA, France</div><div><br></div><div>Workshop, Tutorial, and Competition Chair:</div><div>  Giles Reger            University of Manchester, UK</div><div><br></div><div>Publicity Chair:</div><div>  Geoff Sutcliffe        University of Miami, USA</div><div><br></div><div>Program Committee:</div><div>  Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina</div><div>  Franz Baader, TU Dresden, Germany</div><div>  Clark Barrett, Stanford University, USA</div><div>  Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands</div><div>  Maria Paola Bonacina, Universita degli Studi di Verona, Italy</div><div>  Leonardo Mendonca de Moura, Microsoft Research, USA</div><div>  Hans de Nivelle, Nazarbayev University, Astana, Kazakhstan</div><div>  Clare Dixon, University of Liverpool, UK</div><div>  Mnacho Echenim, Universite de Grenoble, France</div><div>  Marcelo Finger, University of Sao Paulo, Brazil</div><div>  Pascal Fontaine, Universite de Lorraine, CNRS, Inria, LORIA, France</div><div>  Silvio Ghilardi, Universita degli Studi di Milano, Italy</div><div>  Juergen Giesl, RWTH Aachen University, Germany</div><div>  Rajeev Gore, The Australian National University, Australia</div><div>  Stefan Hetzl, Technische Universitaet Wien, Austria</div><div>  Marijn J. H. Heule, The University of Texas at Austin, USA</div><div>  Nao Hirokawa, JAIST, Japan</div><div>  Moa Johansson, Chalmers University of Technology, Sweden</div><div>  Cezary Kaliszyk, University of Innsbruck, Austria</div><div>  Deepak Kapur, University of New Mexico, USA</div><div>  Benjamin Kiesl, Technische Universitaet Wien, Austria</div><div>  Konstantin Korovin, The University of Manchester, UK</div><div>  Laura Kovacs, Technische Universitaet Wien, Austria</div><div>  Ramana Kumar, DeepMind, UK</div><div>  Claudia Nalon, University of Brasilia, Brazil</div><div>  Vivek Nigam, Federal University of Paraiba & Fortiss, Brazil & Germany</div><div>  Carlos Olarte, Federal University of Rio Grande do Norte, Brazil</div><div>  Jens Otten, University of Oslo, Norway</div><div>  Andre Platzer, Carnegie Mellon University, USA</div><div>  Andrew Reynolds, The University of Iowa, USA</div><div>  Philipp Ruemmer, Uppsala University, Sweden</div><div>  Renate A. Schmidt, The University of Manchester, UK</div><div>  Stephan Schulz, DHBW Stuttgart, Germany</div><div>  Roberto Sebastiani, University of Trento, Italy</div><div>  Natarajan Shankar, SRI International, USA</div><div>  Viorica Sofronie-Stokkermans, Universitaet Koblenz-Landau, Germany</div><div>  Martin Suda, Czech Technical University, Czech Republic</div><div>  Geoff Sutcliffe, University of Miami, USA</div><div>  Rene Thiemann, University of Innsbruck, Austria</div><div>  Uwe Waldmann, Max Planck Institute for Informatics, Germany</div><div>  Christoph Weidenbach, Max Planck Institute for Informatics, Germany</div><div>  Sarah Winkler, University of Innsbruck, Austria</div><div><br></div><div>CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS</div><div><br></div><div>The 27th International Conference on Automated Deduction (CADE-27)</div><div>Natal, Brazil</div><div><br></div><div>25-30 August 2019</div><div><br></div><div><a href="http://www.cade-27.info">http://www.cade-27.info</a></div><div><br></div><div>CALL FOR WORKSHOPS</div><div><br></div><div>Workshop proposals for CADE-27 are solicited. The workshops will take place on August 25-26 2019, before the main conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome.</div><div><br></div><div>Please provide the following information in your application document:</div><div>+ Workshop title.</div><div>+ Names and affiliations of organizers.</div><div>+ Proposed workshop duration (from half a day to two days) and preferred day(s).</div><div>+ Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE?</div><div>+ Is the workshop new or has it met previously? In the latter case information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants).</div><div>+ What are the plans for publication?</div><div><br></div><div>CALL FOR TUTORIALS</div><div><br></div><div>Tutorial proposals for CADE-27 are solicited. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest for CADE-27. Proposals should provide the following information:</div><div><br></div><div>+ Tutorial title.</div><div>+ Names and affiliations of organizers.</div><div>+ Proposed tutorial duration (from half a day to one day) and the preferred day.</div><div>+ Brief description of the tutorial's goals and topics to be covered.</div><div>+ Whether or not a version of the tutorial has been given previously.</div><div><br></div><div>CADE will take care of printing and distributing notes for tutorials that would like this service.</div><div><br></div><div>CALL FOR SYSTEM COMPETITIONS</div><div><br></div><div>The CADE ATP System Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences.</div><div><br></div><div>Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. Proposals should include the following information:</div><div><br></div><div>+ Competition title.</div><div>+ Names and affiliations of organizers.</div><div>+ Duration and schedule of the competition.</div><div>+ Room/space requirements.</div><div>+ Description of the competition task and the evaluation procedure.</div><div>+ Is the competition new or has it been organized before?  In the latter case information on previous competitions should be given.</div><div>+ What computing resources are required and how will they be provided?</div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>Workshop/Tutorials/System Competitions:</div><div>  Submission deadline:       15 November 2018</div><div>  Notification:              15 December 2018</div><div><br></div><div>SUBMISSION INSTRUCTIONS</div><div><br></div><div>Proposals for workshops, tutorials, and system competitions should be</div><div>uploaded via</div><div><br></div><div><a href="https://easychair.org/conferences/?conf=cade27wtc">https://easychair.org/conferences/?conf=cade27wtc</a></div></div><div><br></div></div></div></div>