Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18)


Chronological Thread 
  • From: Carsten Fuhs <carsten AT dcs.bbk.ac.uk>
  • To: fscd.conference AT dcc.fc.up.pt, cl-isabelle-users AT lists.cam.ac.uk, types-announce AT lists.seas.upenn.edu, rewriting AT ens-lyon.fr, ProofTheory AT Lists.Bath.Ac.UK, appsem AT lists.tcs.ifi.lmu.de, coq-club AT inria.fr, caml-list AT inria.fr, clap AT groupes.renater.fr
  • Subject: [Coq-Club] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18)
  • Date: Mon, 7 Feb 2022 08:34:36 +0000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=carsten AT dcs.bbk.ac.uk; spf=Pass smtp.mailfrom=carsten AT dcs.bbk.ac.uk; spf=None smtp.helo=postmaster AT mailer2.dcs.bbk.ac.uk
  • Ironport-data: A9a23:S17A0KzN9lStwFObIgR6t+fiwCrEfRIJ4+MujC+fZmUNrF6WrkVSz DBLWD3SMv+NajHyet13Od7k90JVucDRyIIwHlFuqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8ly75RbrJA24DjWVvX4 Yyq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPht+ etPlqedZz0LfYzwif5NCDQCTAdhaPguFL/veRBTsOSWxkzCfmG2hfllFwc8N45e8+0xHGImG f4wcWFWKE7awbjnhu7TpupE3qzPKOHgNZkEpnxm5T3SFrAsS5OFSq6M+NwwMDIY25keQ66BO KL1bxJxTUj+WEdDFWtQGbMggc20ginRcD9X/Qf9Sa0fuDSNkFUoitABKuH9cduTAM5Rg0ywv XPD522/AxcANdXZxyDt2nmlg+uKmSLgRKoJBbig/7hrhkeSzyodEnUruUCTpPC4jkOkAZRTI FdS8CAt66E5slGoJjXgY/GmiGK1gBw/YPd+Kc95yT2c0PqPzlzGIHdRG1atd+canMMxQDUr0 HqAkNXoGSFjvdWppZS1re/8QdSaYnV9EIMSWcMXZVZcvoG6/enfmjqKF4ozeEKgpoStcQwc1 QxmuwARrd3/Z+Yz0L2/9Eqvb9mEi8GVJuLZzijRUWas6A8RWWJIT4mh6FzW96wGII2CCFOLv z4NkI6D74ji7K1hdgTREI3h/5nwup5p1QEwZnY1RfEcG8yFoSLLQGypyGgWyYcAGp9slcXVS EHSoxhNw5RYIWGna6R6C6roVZh2lPixRIy0Da6MBjarXnSXXFHelM2JTRDLt10BbGB3yfBX1 WqzLpzxVipGUcyLMhLvH79HjtfHORzSNUuIGc6nlk39uVZvTHycT7oZeEaIb/409riFvBSd9 dtDKMyQyH1ivB7WPEHqHE96BQ5iEEXX8ris95UHLbDSflU6cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXLz2i/KLxukcHdmZO+9VJpztytgbyAnJhCi0XtlaI3p8aRGL8k7erwu9epCy/9oT qBdJZ7fX6ofEmzKq2YHcJ3wjI1+bxD31wiACCyoPWokdJl6Sg2Vp9LpJ1O99CQHAietm9E5p rmsilHSTZYZHl8wAM3NLvilzBW4tj4Am7sqDUfPJ9BSfmTq8ZRrcnSv1aBqfZFUcRian2mUz QebBxsctNLhmY5t/Ymbn72AoqeoD/B6QhhQEV7d4OvkLiLd5GeindJNXevULzDQUGT4pPera elPlaiuNfQGmFtQ6cxwGK0tx6g9odLk4aJZl1w2EHLOZlWtK7VhPnjfhZcU6fATlucBtFvkQ F+L9/lbJa6NZpHvHmkRExV5PO6N4vcZx2vJ5vMvLUSnuiIupOibUV9fNgWngTBGKOcnK5ssx Oos5JwM5wqkhkZ4O9qKlHoNpWGFL3gNSf9hupoBRoXhiUwiwRdfYsWEWCPx5ZiObfRKM1Ure 2fK3/Wf2eQEnkeSIWAuEXXt3PZGgcpcsh59zGgdewaDlO3Di6JlxxZW6zk2E1pYl00Vz+JpN 2F3HERpPqHSrSxwjc1OUm3E99ut3/FFFpgdCmfllVE1i2GtX23JIXdnf+qG5wYT+WEadzMd4 bLwJKMJl9r1VJmZ48fwcRcNRz/foRhZ+gbZ3sqtHIKMFN8nYlIJR4ewMHEQpUKP7dwZ3SX6S CoDwAq0QaHwLmgaqa59AoLcyLd4pNVo4oBdaakJwZ7l1l0wtN1/NfZi5qxxlg5wyyT2zHKF
  • Ironport-hdrordr: A9a23:hIgWMKNQp9xHTcBcTsmjsMiBIKoaSvp037BZ7TESdfUzSL38qy nOpoV56faaslgssR0b8+xoW5PhfZq/z/FICOAqVN/IYOCMggaVxe9ZgbcKjweAJ8WTm9QtsZ tdTw==
  • Ironport-phdr: A9a23:IVD4Xhb4X3Hi7FI6BcGNJRH/LTG62YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gWPAN+Qu6wMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5YPfbx9IiTajbr9/L xS7phjNu8cLhodvNrw/wQbTrHtSfORWy2JoJVaNkBv5+8y94p1t/TlOtvw478JPXrn0cKo+T bxDETQpKHs169HxtRnCVgSA+H0RWXgLnxVSAgjF6Bb6Xortsib/q+Fw1jWWMdHwQLspXjus8 rprSATwiCgZKzE57G/Zist1jK1BoRKhoQF0z4rbbYyRMfZzeL7Wc9EHSmpbRstfVzFPDJ2/Y YUBAeUOMvpXoYbmqlsSrhazHxWgCP/hxzJKgHL9wK000/4mEQHDxAEtAcgBsG7PrNXpKqgSV /2+wqnVzTXDdPNdxDDw55TSfRA7uvGMQax/cczKxEYyCwzFlU+cppf+MDOWzOgCqXSU4/B9V eKskmMqrRx6rTezyMk2kIbJmp4VxU7e9SV/2Is4Kt22RUFmbNO4HpZdqy6XOpdqTs4mR2xlp Ds3x7wIt5O1cyUH1JspygPCZ/GDc4aF4BLtWeSMLDp2hX9ofLyxihCv+kauze38U9O70FdMr iddndnMt2wN1xzO6secUPd9/0Ch1S6V1wDO8O1EJ0Q0mbLGK54g2bEwlYAfvl7fESPsgkr2k LeadkEq+uit9+Tneq/qppiGN497kg3+Lrohmta6AeQ3KAgBRXCb+eSm2L3k5035T69GjuA1k qXBv5DaIsMbpqG9AwBLyIos9xG/DzK+3NQWhnkIME9KdAubgIjuPVHOLu73De2hjFSqjDhk2 erKPrr7ApXCNnTMjq3ufa196kFAyAo819Ff54hOBrEGOvLzVVf9u8HCAR82KAy03/vnCNV51 o8ERG2AHKmUO77Rv1+Q/u8jPu2BaYEPtDv8NvQp/eDigHsjlVISZaWlwJ8aZX6iEvh4IEiVe 3Thj9QbHWsUogYzTurng0CYXzFJfXa9Rac86yk7CI24CYfDQZiggLmb0ye6Gp1ZeHpGBk6WH Xj1a4qEQO0AZzmJLc9iiDALT6SuR5U81RGtrAP6yrxnIfTI+iAAqJ7u0NZ46/fSmB0v7zB4E cCQ33uCQm1sm2MHXT423KRxoUxnzVeD1LB1jOBCGtxJ/PNJThk1NZjHwuNnF9/yQRjNccySR 1alWNmpGy0+Qsgsw98Ne0p9Hc6tgQjZ3yW2G78Vi6CLBJss/67Cx3TxPdpyy27a1Kk9iFkrW tdANWq/hqJm6wfTA5PJnF6CmqaxdaUc2TbN+32ZwWqPukFYSg9wXr/fUXARfEvatc756V/aT 7+yFbQnNRNMxtKYJatPbt3llFFGRPb4ONTCeG+xgGexBROQxryWdobqemMd3D/cCEceiQwT8 2yGZkACAXKvuGnSSjdpE1zieU7q+uRWpHiwCEE/iRySKVV9k/K+/lsUnvWWRvcX0/cZoyo7s B1wHU2hxJTdAt/GrgEnYaYYKc8s+FpckGvfsQtgOJetB6RjnUIFNR96tlioyg16DIMGnMQ36 DswwRVoKL6Z1lxpejWDmJThPbuRJHO2tCi1bKnY5lHT18yH0oMO8+gj7X/qoAHvP0FkzlYjm 9BNy2CR473ODREOStTtWV1x9hZ74bXff28x6sec3np1dKKwrzXq2tQzBeJjxAzkN9xWNafBE A7pD+UbAdKvIaokgRzhZRYNJMhd7qkpJ869MeGL3qe3Mfwmkij1o35A5dVW21iX6yd6AsDV3 41Nl/qRxBCbWjHUgFy69Mr9msZNbncPHTzsmmDfGIdNa/gqLs4wAmC0Lpjrl72W5rboUn9cr xu4Ak8endSuYVyUZkD82gtZ0QIWp2amkG221W88iCkn+4yY2iGG2OH+bFwfIGceT2B4lkvhJ 6C4hMtcVkKrKQEi0gamtg7h36YOnK1kNCHIRFtQOS3/LmVsSKy147GLedVT5ZUAvS5MFu62Y haTQfjgoEhSyDvtSk1Zwj1zbDS2otP5khh93XqaN2p2pWHFdNtYwB7e4NHGH7hd1SFATiN7z zDcQEW/VzWw1fOTkZqL8uW3Vmb6E4ZWbTGu1oSY8i2y+WxtBxS72fG1gNzuVwYgg2f90JFxW CPEoQyZAMGj3rmmMe9hYkhjBUPto8t8FIZkl4IshZYWkXEEj5SR9HADnC/9K9Jeka75aXMMQ 3YMzbu3qEDu0Vd4Mn+P747yTTOXyMgnbtL8f2BXkiMx4sZWCbuFuaRelHg9qV65oATNJPlly 25Mkr1wsThA0qdV629Phm2HD7sfHFdVJ3npnhWMtJWlqblPIX2oaf623VZ/mtaoCPeDpBtdU TD3YMRHf2c448NhPVbLyHC25JvjfYyaZtsJrQGZlT/MhPMTIpgy0PMBwzdkczGY3zVt26sgg Bpi0Ivv9oOOMX5x8aSRDhVDcDf/ZIUa8XfwjuwN+6Tel5DqFZJnFDIRWZLuRv/9CzMeu8PsM AOWGSE9oHOWcVbGNTeW81wu73fGEpTwcmqSOGFc1tJ6Ah+UOE1YhgkQGjQ8hJ8wUA6wloTtd 0Jw5zZZ4VCdyFMEwetyLAXyVE/TrxzuYD03DpGUagdVpg1P/EbaN8WC4/k7RnADuMP46lbcb DDTbh8AFWwTX02YG13vW9vmrcLN9eSVHKv2LvfDZ6mPtf0LUv6JwZy11Y41tz2IN8iJIjxjF 6hiixEFAyk/QZWfx2ZqKWRfjS/GYs+FqQ3p/yR2qpv66/H3QEf04pPJDbJOMNJp8hTwgKGZN ufWijwqTFQQnp4K23LMz6ASmVAIjCQ7PTKkC68cuCjlQKnL3KVdDFgSYGVuN4EbisB0lhkII sPdht7vg/Rzh+QuF1pDfVDqgYejb89MKmr7KVCNVyPpfPyWYDbMxc/we6a1T7Zd2f5VuxOHs jGeC0b/Pz6HmmqhR1W1POpLli3eIA1GtdT3bEN2EWa6BoGDCFXzIJptgDYx27Fxmn7aKTtWL 21na00U5riApSoQg+0jSTUQtTw7dK/eymDCp+jAdsRP4KAtXH0yzbMcvBFYg/NcviRNRfh4g nKUotV15Vuska+GwXx6U1JH+DNChYaGpx8kNa7CsJNKWjDN91QQ7i2GAhAO7bOJE/XJvKZdg pjKnaP3c3JZ9s7MuNAbH47SId6GN3woNVzoHiTVBU0LV2zjM2aXnEFbnPyIkx/d5pEntpjhn oYPQb5HRRQ0EP0dEEFsAN0FJt9+QDollbeRiMNA62C5qVHdQ8BTv5aPUfz3Y72nMDGCkbxNf AcF25v9JIUXO5ehnUBpcR9wloeMEkGWQNMM6ixtYwkooVlcpXhzSmpgviCtIgip4XIVCbu1h ktv21A4P71rrmaqvwRSRBKCviY7nUgvlM+whDmQdGW0N6KsRcRNDDKysUEtM5T9SgIzbAuon EUiOi2XItAZx7Zma21vjxfR/JVVHvsJB6ZNegQMyPe/a/4zl15WqWOuzgla5qGWbPkq3Btva pOqo39ajkh7a8UpIKXLOKdT5l1Zh6aDpHXu2usqhgUUJAAE+yWPe2Rb3S5AfqljLC2u8Ot27 AWEkDYWY2kAWc0hpfdy/188MeCNp8oB+7tKK0S8LbbZI6iC/WLKloiBSRUt1RFQ/6Gg1bR9y oEpeUnSXktp0bjDT3zh2uLOIhoTZcBRsnHYOzuN47yl/A==
  • Ironport-sdr: K/LJuUQjzjjSfxC6sDOXz4p0zMbXGHk1e0kcUW0tyCJa0O7CZeQhdxSHs6QEQt6XbEwtw7qrpr 1w2f8K3eEsXsyU6NphX9egoqVtqkP84Q5SfL/jwlg/xt5GDIrwgy82D6Pad47J/bYEUEHR1zkW tBYlImHUBt6UUQtcEAH526cxyCshKLr24Tw+RrQCLp864iYT4Ff5+XrfAJOdhQ5mghSEJk7aw9 XEE7oUMLzYkkYiEt5Q0SEp3tg3SYIU1OtzyNqkYiQlTWz9kNHtxYSOq9gRPCpahStpf4AmjQ2A Uez7vMgHnCrJBD+wEhdxczGV

==================================================================
Updated information on: Abstract and Submission dates
==================================================================
CALL FOR PAPERS
Seventh International Conference on
Formal Structures for Computation and Deduction (FSCD 2022)
August 2 - 5, 2022, Haifa, Israel
https://fscd2022.github.io
In-cooperation with ACM SIGLOG and SIGPLAN


IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not
be considered.

Abstract: February 12, 2022 *** extended
Submission: February 18, 2022 *** extended
Rebuttal: March 29-April 1, 2022
Notification: April 15, 2022
Final version: April 30, 2022

INVITED SPEAKERS
----------------
- Cynthia Kop, Radboud University Nijmegen (FSCD Invited Speaker)
- Alwen Tiu, The Australian National University (FSCD Invited Speaker)

- Orna Kupferman, Hebrew University (FLoC Plenary Speaker)
- Catuscia Palamidessi, INRIA Saclay and LIX (FLoC Keynote Speaker)

AFFILIATED WORKSHOPS
--------------------

- IFIP-WG1.6: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting
(July 31, Invited talks only)
https://ifip-wg-rewriting.cs.ru.nl/
- HoTT/UF: 7th Workshop on Homotopy Type Theory/Univalent Foundations (July
31-August 1)
https://hott-uf.github.io/2022/
- IWC: 11th International Workshop on Confluence (August 1)
http://cl-informatik.uibk.ac.at/iwc/2022/
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (August 1)
https://lfmtp.org/workshops/2022/
- Linearity-TLLA: 3rd Joint International Workshop on Linearity in Logic and
Computer science and its Applications (July 31-August 1)
- TERMGRAPH: 12th International Workshop on Computing with Terms and Graphs
(August 1)
http://www.termgraph.org.uk/2022/
- WiL: 6th Workshop on Women in Logic (July 31)
https://sites.google.com/view/womeninlogic/workshops
- WPTE: 9th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 31)
https://wpte2022.github.io/

OVERVIEW
--------
FSCD (http://fscd-conference.org/) covers all aspects of formal structures
for computation and deduction from theoretical foundations to applications.
Building on two communities, RTA (Rewriting Techniques and Applications) and
TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics
and broadens their scope to closely related areas in logics, models of
computation, semantics and verification in new challenging areas.

The suggested, but not exclusive, list of topics for submission is:

1. Calculi:
- Rewriting systems (string, term, higher-order, graph, conditional, modulo,
infinitary, etc.);
- Lambda calculus;
- Logics (first-order, higher-order, equational, modal, linear, classical,
constructive, etc.);
- Proof theory (natural deduction, sequent calculus, proof nets, etc.);
- Type theory and logical frameworks;
- Homotopy type theory;
- Quantum calculi.

2. Methods in Computation and Deduction:
- Type systems (polymorphism, dependent, recursive, intersection, session,
etc.);
- Induction, coinduction;
- Matching, unification, completion, orderings;
- Strategies (normalization, completeness, etc.);
- Tree automata;
- Model building and model checking;
- Proof search and theorem proving;
- Constraint solving and decision procedures.

3. Semantics:
- Operational semantics and abstract machines;
- Game Semantics and applications;
- Domain theory and categorical models;
- Quantitative models (timing, probabilities, etc.);
- Quantum computation and emerging models in computation.

4. Algorithmic Analysis and Transformations of Formal Systems:
- Type Inference and type checking;
- Abstract Interpretation;
- Complexity analysis and implicit computational complexity;
- Checking termination, confluence, derivational complexity and related
properties;
- Symbolic computation.

5. Tools and Applications:
- Programming and proof environments;
- Verification tools;
- Proof assistants and interactive theorem provers;
- Applications in industry;
- Applications of formal systems in other sciences.

6. Semantics and Verification in new challenging areas:
- Certification;
- Security;
- Blockchain protocols;
- Data Bases;
- Deep learning and machine learning algorithms;
- Planning.

PUBLICATION
-----------
The proceedings will be published as an electronic volume in the Leibniz
International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All
LIPIcs proceedings are open access.

SPECIAL ISSUE
-------------
Authors of selected papers will be invited to submit an extended version to a
special issue of Logical Methods in Computer Science.

SUBMISSION GUIDELINES
---------------------
The submission site is:

https://easychair.org/conferences/?conf=fscd2022

Submissions must be formatted using the LIPIcs style files
(https://submission.dagstuhl.de/series/details/5#author).

Submissions can be made in two categories. Regular research papers are
limited to 15 pages, excluding references and appendices. They must present
original research which is unpublished and not submitted elsewhere. System
descriptions are limited to 15 pages, excluding references. They must
present new software tools, or significantly new versions of such tools, in
which FSCD topics play an important role. An archive of the code with
instructions on how to install and run the tool must be submitted. In
addition, a webpage where the system can be experimented with should be
provided.

One author of an accepted paper is expected to present it at the (physical)
conference, unless Covid restrictions prevent travel.

BEST PAPER AWARD BY JUNIOR RESEARCHERS
--------------------------------------
The program committee will select a paper in which at least one author is a
junior researcher, i.e. either a student or whose PhD award date is less than
three years from the first day of the meeting. Other authors should declare
to the PC Chair that at least 50% of contribution is made by the junior
researcher(s).

PROGRAM COMMITTEE CHAIR
-----------------------
Amy Felty, University of Ottawa
fscd2022 at easychair.org

PROGRAM COMMITTEE
-----------------
Amal Ahmed, Northeastern University
Thorsten Altenkirch, Nottingham University
Takahito Aoto, Niigata University
Kazuyuki Asada, Tohoku University
Franz Baader, TU Dresden
James Cheney, University of Edinburgh
Agata Ciabattoni, Vienna University of Technology
Horatiu Cirstea, Loria
Nachum Dershowitz, Tel Aviv University
Gilles Dowek, Inria & ENS Paris-Saclay
Carsten Fuhs, Birkbeck, University of London
Hugo Herbelin, Inria & Université de Paris
Patricia Johann, Appalachian State University
Daniel Licata, Wesleyan University
Salvador Lucas, Universitat Politècnica de València
Christopher Lynch, Clarkson University
Ralph Matthes, IRIT, CNRS, TU Toulouse
Paul-André Melliès, CNRS, Université de Paris
Alexandre Miquel, Universidad de la República
Georg Moser, Universität Innsbruck
Daniele Nantes, Universidade de Brasília
Vivek Nigam, Huawei ERC & UFPB
Carlos Olarte, UFRN
Valeria de Paiva, Topos Institute
Giselle Reis, CMU Qatar
Masahiko Sakai, Nagoya University
Renate Schmidt, University of Manchester
Martina Seidl, Johannes Kepler University
Sam Staton, University of Oxford
Christine Tasson, Sorbonne Université
Benoît Valiron, LRI & Université de Paris
Stephanie Weirich, University of Pennsylvania

CONFERENCE CHAIR
----------------
Nachum Dershowitz, Tel Aviv University

WORKSHOP CHAIRS
--------------
Shaull Almagor, Technion
Guillermo A. Pérez, University of Antwerp

STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
Jamie Vicary, Oxford University

PUBLICITY CHAIR
---------------
Carsten Fuhs, Birkbeck, University of London

FSCD STEERING COMMITTEE
-----------------------
Zena Ariola, University of Oregon
Alejandro Díaz-Caro, Quilmes University & ICC/CONICET
Carsten Fuhs, Birkbeck, University of London
Herman Geuvers (Chair), Radboud University
Silvia Ghilezan, University of Novi Sad
Stefano Guerrini, Université de Paris 13
Delia Kesner, Université de Paris Diderot
Naoki Kobayashi, The University of Tokyo
Luigi Liquori, Inria
Damiano Mazza, Université de Paris 13
Jakob Rehof, TU Dortmund
Jamie Vicary, Oxford University


  • [Coq-Club] FSCD 2022: Extended deadline (Abstract: February 12/ Submission: February 18), Carsten Fuhs, 02/07/2022

Archive powered by MHonArc 2.6.19+.

Top of Page