<div dir="ltr"><p class="MsoNormal">SECOND CALL FOR PAPERS<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">SC-square 2017<span></span></p>
<p class="MsoNormal">==============<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">Second International Workshop on Satisfiability Checking and
Symbolic Computation<span></span></p>
<p class="MsoNormal">July 29, 2017, University of Kaiserslautern, Kaiserslautern,
Germany<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><a href="http://www.sc-square.org/CSA/workshop2.html">http://www.sc-square.org/CSA/workshop2.html</a><span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Important dates===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">Submission deadline: May 27, 2017<span></span></p>
<p class="MsoNormal">Notification: June 24,
2017<span></span></p>
<p class="MsoNormal">Final version: July 15, 2017<span></span></p>
<p class="MsoNormal">Workshop
date: July 29, 2017<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Invited Speaker===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">Jeremy Avigad (Carnegie Mellon University)<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Scope===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">Symbolic Computation is concerned with the algorithmic
determination of exact solutions to complex mathematical problems; more recent
developments in the area of Satisfiability Checking are starting to tackle
similar problems but with different algorithmic and technological
solutions. The two communities share many central interests, but
researchers from these two communities rarely interact. Also, the lack of
common or compatible interfaces of tools is an obstacle to their fruitful
combination. Bridges between the communities in the form of common
platforms and road-maps are necessary to initiate an exchange, and to support
and direct their interaction. The aim of this workshop, along the SC-square
H2020 FETOPEN Coordination and Support Activity project, is to provide a time
to discuss, share knowledge and experience across both communities.<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">The workshop is open for submission and participation to
everyone interested in the topics, whether they are members or associates of
the SC-square H2020 FETOPEN CSA project or not.<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">The topics of interest include but are not limited to:<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"> - Decision procedures and their embedding
into SMT solvers and computer algebra systems<span></span></p>
<p class="MsoNormal"> - Satisfiability Checking for Symbolic
Computation<span></span></p>
<p class="MsoNormal"> - Symbolic Computation for Satisfiability
Checking<span></span></p>
<p class="MsoNormal"> - Applications relying on both Symbolic
Computation and Satisfiability Checking<span></span></p>
<p class="MsoNormal"> - Combination of Symbolic Computation and
Satisfiability Checking tools<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Related Events===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">We note that there are a number of related events occurring
adjacent in the vicinity:<span></span></p>
<p class="MsoNormal">
- The 15th International Workshop on Satisfiability Modulo Theories (SMT '17)<span></span></p>
<p class="MsoNormal">
22-23 July 2017, Heidelberg, Germany.<span></span></p>
<p class="MsoNormal">
- The 29th International Conference on Computer-Aided Verification (CAV '17)<span></span></p>
<p class="MsoNormal">
24-28 July 2017, Heidelberg, Germany.<span></span></p>
<p class="MsoNormal">
- The 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC
'17)<span></span></p>
<p class="MsoNormal">
25-28 July 2017, Kaiserslautern, Germany.<span></span></p>
<p class="MsoNormal">
- The 2nd International Workshop on Satisfiability Checking and Symbolic
Computation (SC2 2017)<span></span></p>
<p class="MsoNormal">
29 July 2017, Kaiserslautern, Germany.<span></span></p>
<p class="MsoNormal">
- The SC2 Summer School 2017<span></span></p>
<p class="MsoNormal">
31 July - 4 August 2017, Saarbrücken, Germany.<span></span></p>
<p class="MsoNormal">SC2 '17 is formally a satellite workshop of ISSAC '17.
Please note that Kaiserslautern - Saarbrücken is less than an hour apart by
train or car; and Kaiserslautern - Heidelberg is 90 minutes.<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Submission information===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">Submissions should be written in English, formatted in LNCS
style and submitted via EasyChair at the link below:<span></span></p>
<p class="MsoNormal"><a href="https://easychair.org/conferences/?conf=scsquare2017">https://easychair.org/conferences/?conf=scsquare2017</a><span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">We invite two types of submissions, each with a page limit
of 15 pages in the LNCS style.<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">
- Regular papers, describing research not published or submitted elsewhere.<span></span></p>
<p class="MsoNormal">
- Extended abstracts, which are either position papers, description of research
prospects, challenges, projects, ongoing works, or applications relevant to
SC-square.<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">The category should be declared upon submission for the
appropriate level of peer review. <span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">People from industries and businesses are warmly invited to
submit papers to describe their problems, challenges, goals, and expectations
for the SC-square community.<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Workshop Co-Chairs===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">
Vijay Ganesh (University of Waterloo, Canada)<span></span></p>
<p class="MsoNormal">
Matthew England (Coventry University, UK)<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">===Program Committee===<span></span></p>
<p class="MsoNormal"><span> </span></p>
<p class="MsoNormal">
Erika Ábrahám (RWTH Aachen University, Germany)<span></span></p>
<p class="MsoNormal">
Jeremy Avigad (Carnegie Mellon University, USA)<span></span></p>
<p class="MsoNormal">
Anna Bigatti (Universita degli studi di Genova, Italy)<span></span></p>
<p class="MsoNormal">
James H. Davenport (University of Bath, U.K.)<span></span></p>
<p class="MsoNormal">
Pascal Fontaine (Université de Lorraine, Inria, Loria, Nancy, France)<span></span></p>
<p class="MsoNormal">
Stephen Forrest (Maplesoft)<span></span></p>
<p class="MsoNormal">
Mark Giesbrecht (University of Waterloo, Canada)<span></span></p>
<p class="MsoNormal">
Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)<span></span></p>
<p class="MsoNormal">
Dejan Jovanovic (SRI, USA)<span></span></p>
<p class="MsoNormal">
Ilias Kotsireas (Wilfrid Laurier University, Canada)
<span></span></p>
<p class="MsoNormal">
Daniel Kroening (University of Oxford, U.K.)<span></span></p>
<p class="MsoNormal">
Felix Neubauer (University of Freiburg, Germany)<span></span></p>
<p class="MsoNormal">
Grant Olney Passmore (Aesthic Integration, U.K.)<span></span></p>
<p class="MsoNormal">
Werner Seiler (Universität Kassel, Germany)<span></span></p>
<p class="MsoNormal">
Thomas Sturm (CNRS, Nancy, France and MPI Informatik, Germany)<span></span></p>
<p class="MsoNormal">
Wolfgang Windsteiger (Johannes Kepler Universität, Linz, Austria)<span></span></p>
<p class="MsoNormal"><span> </span></p></div>
*****
You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to <a href="mailto:LISTSERV@LISTSERV.ACM.ORG">LISTSERV@LISTSERV.ACM.ORG</a> or by visiting <a href="http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html" target="_blank">http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html</a>.