[Apologies for multiple copies] ========================================= Call for Papers: SC-square Workshop 2022 =========================================
7th International Workshop on Satisfiability Checking and Symbolic Computation Fri. 12 August 2022, Haifa, Israel. The 7th SC-Square Workshop is a minisymposium at: 11th International Joint Conference on Automated Reasoning - IJCAR 2022, as part of FLOC 2022, Haifa, Israel, 7--12 August 2022. Main conference website: https://easychair.org/smart-program/IJCAR2022/ SC-Square Workshop website: http://www.sc-square.org/CSA/workshop7.html === Key Dates === Submission deadline Tue. 10 May 2022 Notification Wed. 15 Jun 2022 Final version Fri. 1 Jul 2022 Workshop date Fri. 12 Aug 2022 === 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. === Submitting to the Workshop === The workshop is open for submission and participation to everyone interested in the topics, whether or not they were members or associates of the (now finished) H2020 FETOPEN CSA project "SC-Square". 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: https://easychair.org/conferences/?conf=7thscsquareworkshop We invite three types of submissions: (1) NORMAL PAPERS, describing research not published or submitted elsewhere (with a limit of 15 pages). (2) 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). (3) POSTERS To receive the appropriate level of peer review, please declare your 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 here: ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip We plan to publish the proceedings of the workshop digital form, hosted with CEUR-WS (see http://ceur-ws.org/). 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 community. === Workshop Co-Chairs === Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) Ali K. Uncu (University of Bath, U.K.) === Program Committee === Erika Abraham (RWTH Aachen University) Martin Brain (University of Oxford) Curtis Bright (University of Waterloo) Christopher (Brown United States Naval Academy) James H. Davenport (University of Bath) Matthew England (Coventry University) Madalina Erascu (Institute e-Austria Timisoara, West University of Timisoara) Alberto Griggio (Fondazione Bruno Kessler) Dejan Jovanović (Amazon Web Services) Manuel Kauers (Johannes Kepler University Linz) Daniela Kaufmann (Johannes Kepler University Linz) Ilias Kotsireas (Wilfrid Laurier University, Maplesoft) Laura Kovacs (Vienna University of Technology) Gereon Kremer (Stanford University) Robert Lewis (Brown University) Veronika Pillwein (RISC Johannes Kepler University Linz) Hamid Rahkooy (Max-Planck Institute for Informatics) Amir Hosein Sadeghimanesh (Coventry University) === Earlier Workshops in the series === This is the 7th workshop in the series (originally created by the H2020 FETOPEN CSA Project "SC-Square"): (1) the First SC2 Workshop took place in Timisoara, Romania in 2016; (2) the Second SC2 Workshop took place in Kaiserslautern, Germany in 2017; (3) the Third SC2 Workshop took place in Oxford, UK in 2018; (4) the Fourth SC2 Workshop took place in Bern, Switzerland in 2019; (5) the Fifth SC2 Workshop was held virtially, originally to be in Paris, France in 2020; (6) the Sixth SC2 Workshop was held virtually, originally to be in College Station, U.S.A. in 2021. See SC-Square main website: http://www.sc-square.org/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87a6g3w9oz.fsf%40gmail.com.
