Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for papers SC-square 2023

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for papers SC-square 2023


Chronological Thread 
  • From: Erika Abraham <abraham AT informatik.rwth-aachen.de>
  • To: <coq-club AT inria.fr>
  • Cc: <abraham AT informatik.rwth-aachen.de>
  • Subject: [Coq-Club] Call for papers SC-square 2023
  • Date: Tue, 7 Mar 2023 15:20:10 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=abraham AT informatik.rwth-aachen.de; spf=Pass smtp.mailfrom=eab AT informatik.rwth-aachen.de; spf=None smtp.helo=postmaster AT mail-out-1a.itc.rwth-aachen.de
  • Ironport-data: A9a23:fmTenqJlkEXua7jOFE+Rb5clxSXFcZb7ZxGr2PjKsXjdYENSg2BRm DROW2yDOPmKY2qgKt1zbNm+9xgEu8DTzoU2SlMd+CA2RRqmiyZk6fexcx2sZXPCdqUvaGo9s q3yv/GZdJhcokf0/0vraP67xZVF/fngbqLmD+LZMTxGSwZhSSMw4TpugOdRbrRA2LBVOCvQ/ 4KiyyHjEAX9gWUsaTpLs/jrRC5H5ZwehhtJ5jTSWtgW5Dcyp1FNZLoDKKe4KWfPQ4U8NoZWk M6akdlVVkuAl/scIovNfoTTKyXmcZaOVeS6sUe6boD56vR0jnFojvxrZKJ0hXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0aBuoNf6zXaDXcO7lRX3Q363ydVVVh8qY84l1N5nM0EJ+ qlNQNwNRkjra+Oe+o2HasRcw/95aeOtJpwDujRpwXfVAJ7KQ7iaGPmMvIQAmm1uwJkTQJ4yZ OJAAdZrRBnJaTVOPFkQEpc3gOarwGPgbz0doVuepacxpWTepOB0+OO8aYWMIoHaLSlTtl6xo mD89HjYPj8fNYHEwyCZrnmg3MaayEsXX6pXTtVU7MVCi1qKg2cXFRc+VF2hoPD/hFTWZj5EA 1YL5iojve0prgmhCMPiQx39qXLCshN0t8dsLtDWITqlksL8izt1zEBdJtKdQLTKbPMLeAE=
  • Ironport-hdrordr: A9a23:Vn8ByaN8mMU5FcBcTvCjsMiBIKoaSvp037Eqv3oBKyC9Afb3qy nIpoV96faUskd0ZJhOo7290cW7IE80lqQY3WByB92ftdndyQ6VxehZhOOI/9SJIVyZygc378 ddmsZFeb7N5BRB4voTt2KDYq4dKY68gdmVuds=
  • Ironport-phdr: A9a23:EiJ5RRF60YpmIrgjv2dlPp1GfzhFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30RmTBN2Qtq8MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQVFiCCjbb9vM Bm6ogXcu8kLioZ+N6g9zQfErXRPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q 6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms8 6tnVBnlgzoBOjUk8m/Yl9ZwgbpYrhyvqBNwzY7abpyLOvdgeaPSYdwURWtaU8ZNVCFMGJ+wY 5cBAucDO+tTsonzp0EJrRu7HQSiC/nvyj5LhnDswKY3z/8uERvc0wwgBd0OtWnfodLvO6gJS +C61qnIwi/Gb/5N2Df97obIchc7ofGJR71wbcvRyUo1GwPfgFSQtYzlMyqP2esXr2eb7/RvV eS1h2E6tQ58uz6izdojhYfVnIwa0EzE9Tlnz4YvI921UFB3b96nHZZRqiyXKZZ6T8csTW12u Cg317kLtJ+ncCUFyJopxx/SZuGIfYSU/x7uW+ecLCt2iX95fL+yhRa//FWmx+bhWMe011NKo TBEktnKrn0NzADc5tGcSvtk40euwyyP2B7J5uFDO0A0mrLXK4Qvw74slpofqF7METXql0X2k qCWcF8o9fW25Onhf77opYecOpdphgzwPakigNGzDOokPgQUX2WX4+ux2bL78UHkT7hGk+c6n 6rXvZzAK8kWpLS1DxFI3osi7Ru0Ei2o384CnXYdKVJIYBKHgJbtO1HJOP34CO2wg1WokDtyw PDGI6HhDozQInfZirvhfKp95FJGxAopw9Ff+5JUBqgbL/3pRkDxtMLXDhkjPwOp3enrENR91 oUAVmKTGqKVLa3fvFCS6u4yLeSAeJUZtTbnJ/Uq6PPilXo5lkUcfamt05sXcne4HvF+LkqHe 3XjmcwMEWYMvgowS+zqkliCXiRPZ3azXKIw/Cs7CYy6DYfDX4yimqaO0zu7HpJIYGBKEE2DH mnwe4WCQPgDcDiSLdN5kjwYSbihTJcs2Qy2uA/g17VnNvbU+jEftZ/7yNd14PTTmQgu+jxwE sSSyHqAT3p0n2MNXz85xrpzoU17yleZ0Kh3meZUFdJJ56ABbgBvYZXb1qlxD834cgPHZNaAD li8FIaIGzY0G/8rwtwHK293AdyihxWLiyOgGbYVnrmjBZo69bjZ1mTwJIBn1GrGkaAohFkrR I1DODv11eZE6wHPCtuRwA2inKGwePFEtMas3GKKzG7V+VpdTBY1SqLdG3YWekrRq939oELEV b6nT7o9YUNa0cDXDKxMZ5XyiEleAu/5MYHXaXi4m261LReOyLSWaYP2emZbxjrBCA0NmgsT8 HDAOQVtTjy5rTfmBSd1XUnqf1uq9OB/rH2hSUphwgiAR0xn2b2v/xcJhP/aUewP3vcNsSwhp jMyEFvul8nOBY+moAxsNL5Zfct74FpD0jfBsBdhO5W7M614rlsXcgAyuF7ykkx+TIRcmo4ws 28qiQN7IqKV1hVNelt0xLjWPbvaYin39RGrMOvN303Glc2R4uEJ4eg5rFPquEeoEFAj+jNpy Ysd1XzU/ZjMAAcINPC5Gk8q6xh3oa3baSgh9svV03NrK6y9rj7F3ZogGuIkzh+qe9oXPrmDE Uf+FMgTBs7mL+JP+RDhZxgeNeBb8YY1Oc2hbf6PxK+oevx/gDLjhG1M4I17lE6BtmJ9RuPOw 5cZ0qSAxALUMlW0xFyls83xhcVFfWRLRTb5kHO8QtMXOvEhGORDQX2jKMC22Nhk0pvkWnoDs UWmG0tDw8ixPxybc1362wRUk0URu32u3yWinFkW23kkqLSS2CvWzqHsbh0CbyRGTWNKjFHiJ pKxhswbXw6ycBQp0RKs7kb3we5Xqe4sSgubCVcNZCXwI2x4B+G5vKCLY8dKwJIuvyJNVe2gY FPcUKHho14T2ijjEm0YyD1xJFTI8t3p2hd9jmyaNnN6qnHULNpxyRno79vZXfdN3zACSUGUk BHvD0Ond5ms9NSQzNLYt/ymEnmmTttVeDXqyoWJsG2643drCFuxhaL7ltriGAk8mSj1srsiH SjBpj79ZIfszaGzLeNkOFN3GF+54sNxGox41Ic9zJ0dwnkVgJyJ8GFPyDyvd4wAgeSjKiZRD TcQprydqBDowkhiMm6Ey8riW3ORz9EgL9i2b2UK2z4susVDCaOa9rtBzmN+plu1qx6UYOAox 2xBj6J1sDhHxb1V629Phm2HD7sfHFdVJ3npnhWMtJWlqblPIX2oaf623VZ/mtaoCPeDpBtdU TD3YMRHf2c448NhPVbLyHC25JvjfYyaYNsZnhySnRDaiuFJKZF3jOUWhW9uMGn9sHtjx+Nx3 nkMldmq+ZOKLWlg5vfzDxdSHjzzacQJ/zjxjKUYhNmK38WmF55hFzNNUJaiHpfKWHoC8P/gM QiJCjg1rHyWTKHeEQGo40Bjt3vTEpqvOiLfNDwDwN5lXhXYOF1HjVVeQmAhhpBgXFPPpoSpY AJj6zsW/FK9thZc1rciKUzkSmmG7A76bz41TN2YMQYTtUdD+0yTK9OC7qd6FipY85vnoAHoS CTTblZNBGANH0uZGxW/eLiy7p/a7PSYQ+O3JPvDZ/OCpIk8H7+Bl5em048j+CuQc5yGeHh+B LshxVZDGHlwEMTUnXMDRkl132rEPcuSpRP5/TBr65q2tvX3U0T1+pePTrJbOtVi/Va6jMLhf 6aZ1iNwKDId0Y4QgHGRjrkD1xgIlD1uMjCkGrQNs2jBQcey0udeXRsSaic2M9ZUqqxmmAhRM ojBlc/1k7dxhf44DRFJWBT3k8WtL6TmOkmbM1XKTAaOPbWCfnjQxt3vJLi7UftWhflVsBu5v XCaFVXiN3KNjWuhURfnKuxKgCyBWX4W8IigbhZgD3TiR9P6e1W6NtFwlzg/3bwzgDvDK2cdN TF2d04FoKeX6GtUhfB2GmoJ6XQAT6HMgyGC8+zRMYobq9NuCyVw0uVH/DFjwv1U8CoCXuNpm G7bp9VurlfgnuTOgjtrXRxSqypa0YKGuUIxXMeRvpJEWHvC4FcM9TDJUEhM/oA9TICp5/wDr 7qH3Lj+IzpD7d/OqM4VBsyPbdmCLGJkKh3xXjjdEAoCSzevc2DZnU1U1v+IpRj35tA3rIbhn J0WR/pVTlswQ7kXA05NHdoMJ41yVy8lkviBk9IIoHO3pxncQoNWs9qUM5DaSeWqMzufgbReM lEQxqjkKI0IKoDh80lra10/m5nWXhPZG9FRqWt7cRM05UxE+3hzSCs/1gi2D2HlqG9WHvmyk BksjwJ4aul47zbg7WA8IV/SrTcxmk088T0KqTGXfjnrKa6sXIIQETXotw04O5j7TgAzYQDgx CSM1R/BTrNVyrx9aSUygUndpZAJA+FATehNaRQQyPfRa/h6iTy0Tw2mw0FA/+7MFZph0hE1b Z7ppntL2w9lKtI4d/S4GQ==
  • Ironport-sdr: 6407481b_zymG7gRzl6M8/v5/tJ3F8E6aY/Ch0VXfIhtBIQgKR/3fgYO Ql/UhLxJm/Qw60DaG8HVH98UZStjL/8V3ZkFNLQ==
  • Organization: RWTH Aachen University

******************************************************************

                CALL FOR PAPERS: SC-Square 2023

                 8th International Workshop on
   Satisfiability Checking and Symbolic Computation

                       Tromso, Norway

                       July 28, 2023

      http://www.sc-square.org/CSA/workshop8.html

The workshop will be held at The Arctic University of Norway
in Tromso¸ as satellite event of the International Symposium
on Symbolic and Algebraic Computation (ISSAC 2023).

******************************************************************

-- IMPORTANT DATES --

Submission deadline: April 1, 2023
Notification:              May 15, 2023
Final version due:     June 15, 2023
Workshop date:         July 28, 2023
Submission deadline for journal post-proceedings: October 15, 2023

All deadlines are by the end of the day anywhere on earth.

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

- KEYNOTE SPEAKER --

Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)

-- SUBMISSIONS AND PARTICIPATION --

The workshop series has emerged from an H2020 FETOPEN CSA project
"SC-Square", which ran from 2016 to 2018. It has been continued
aiming at building bridges bewteen Satisfiability Checking and
Symbolic Computation. It is open for submission and participation
to everyone interested in the topics, whether or not they were
members or associates of the original project.

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

* Quantifier elimination and decision procedures and their
  embedding into computer algebra software and logic provers, including
  but not limited to SMT solvers

-- SUBMISSION GUIDELINES --

We welcome submissions in the following categories:

* Full papers on research, case studies or tool development
  should present unpublished work not submitted elsewhere
  (with a limit of 16 pages, not counting references)

* Extended abstracts on research, case studies or tool
  development should present unpublished (potentially ongoing)
  work not submitted elsewhere
  (2-4 pages, not counting references)

* Presentation-only submissions on already published work, work
  to be published elsewhere, or work in progress on SC-Square
  related open problems or future challenges. Furthermore,
  people from other scientific disciplines and industry and
  business are warmly invited to attend and describe their
  problems, challenges, goals, and expectations for the
  SC-Square community. Please submit an abstract for approval by
  the PC (with a limit of 2 pages).

* Posters

All submissions must be in English. Full papers and extended
abstracts must and use the new CEUR-ART format. All submissions
should be entered to the EasyChair system before the submission
deadline. Please declare the category of your submission by
prefixing the title on the EasyChair form with "FULL",
"EA", "PRESENTATION", or "POSTER", respectively.

Submission implies a committment that, in case of acceptance, at
least one of the authors attends and presents at the workshop.

-- PROCEEDINGS --

We plan to publish the proceedings of the workshop as a CEUR-WS
proceedings covering full papers and extended abstracts. Authors
may opt out of this, should they prefer to publish the material
elsewhere.

Furthermore, there will be post-proceedings in an issue of the
Springer journal Mathematics in Computer Science dedicated to
the workshop. Authors of all four categories are eligible for
submission of a corresponding journal article. Journal versions
of full papers require at least 30% new material compared to the
version originally accepted. All journal submissions will be
thoroughly peer-reviewed according to the standards of the
journal.

-- WORKSHOP CO-CHAIRS --

* Erika Abraham (RWTH Aachen University, Germany)
* Thomas Sturm (CNRS, France & MPI Informatics, Germany)

-- PROGRAM COMMITTEE --

* Anna Bigatti (University of Genoa, Italy)
* Curtis Bright (University of Windsor, Canada)
* Martin Bromberger (MPI Informatik Saarbruecken, Germany)
* Christopher Brown (United States Naval Academy, USA)
* James H. Davenport (University of Bath, UK)
* Matthew England (Coventry University, UK)
* Pascal Fontaine (University of Liege, Belgium)
* Juergen Gerhard (Maplesoft, Canada)
* Alberto Griggio (FBK, Italy)
* Hoon Hong (North Carolina State University, , USA)
* Ilias Kotsireas (Wilfrid Laurier University & Maplesoft, Canada)
* Gereon Kremer (Certora, Israel)
* Alex Ozdemir (Stanford University, USA)
* Cesare Tinelli (Iowa State University, USA)
* Christoph Wintersteiger (Microsoft Cambridge, UK)

--
Prof. Dr. Erika Abraham
RWTH Aachen University
https://ths.rwth-aachen.de/
Tel.: +49 241 80 21242



  • [Coq-Club] Call for papers SC-square 2023, Erika Abraham, 03/07/2023

Archive powered by MHonArc 2.6.19+.

Top of Page