caml-list - the Caml user's mailing list
 help / Atom feed
To: <>
Subject: [Caml-list] Satisfiability Checking and Symbolic Computation - Call for Papers
Date: Tue,  3 Mar 2020 09:49:35 -0500 (EST)
Message-ID: <> (raw)

The 5th International Workshop on
Satisfiability Checking and Symbolic Computation (SC-Square 2020)

July 5th, 2020,  Paris, France
Affiliated with IJCAR 2020:

==== Key Dates
Submissions: Fri. 10 April 2020
Notification: Fri. 8 May 2020
Final version: Fri. 29 May 2020
Workshop: Sun. 5 July 2020

==== Scope
Symbolic Computation is concerned with the efficient algorithmic determination
of exact solutions to complicated mathematical problems. Satisfiability
Checking has recently started 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 for 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 is to provide an opportunity to discuss, share 
knowledge and  experience across both communities.

The topics of interest include but are not limited to:

+ Satisfiability Checking for Symbolic Computation
+ Symbolic Computation for Satisfiability Checking
+ Applications relying on both Symbolic Computation and Satisfiability Checking
+ Combination of Symbolic Computation and Satisfiability Checking tools
+ Decision procedures and their embedding into SMT solvers and computer 
  algebra systems

==== Submission Guidelines
Submissions should be in English, formatted in Springer LNCS style and
submitted via EasyChair using this link:

We invite three types of submissions:
+ NP: Normal papers describing research not published or submitted elsewhere
  (with a limit of 15 pages).
+ EA: Extended abstracts may be position papers, description of research
  prospects, challenges, projects, ongoing works, or applications relevant
  to SC-square (with a limit of 8 pages).
+ PO: Posters

To receive the appropriate level of peer review, please declare the category 
of your submission by prefixing the title on the EasyChair form with "NP", 
"EA" or "PO" accordingly.

For consistency, all submissions must use the LNCS style. The style files are 

We plan to publish the post proceedings of the workshop in digital form either 
in EasyChair EPiC series or as a special issue in a journal. Authors may opt 
out of this, should they prefer to publish the material elsewhere.

People from industry and business are warmly invited to submit papers to
describe their problems, challenges, goals, and expectations for the SC-square 

==== Program committee:
Konstantin Korovin (Co-Chair) (University of Manchester, UK)
Ilias Kotsireas (Co-Chair) (Wilfrid Laurier University, Canada)
Erika Abraham (RWTH Aachen University)
Curtis Bright (University of Waterloo)
James H. Davenport (University of Bath)
Matthew England (Coventry University)
Vijay Ganesh (Waterloo University)
Marijn Heule (Carnegie Mellon University)
Ahmed Irfan (Stanford University)
Dejan Jovanovic (SRI International)
Manuel Kauers (Johannes Kepler University, Linz)
Stefan Ratschan (Institute of Computer Science, Czech Academy of Sciences)
Martina Seidl (Johannes Kepler University, Linz)
Thomas Sturm (CNRS)

==== Venue
Affiliated with IJCAR, 29 June - 5th July, 2020,  Paris, France

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox