Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FSCD 2023: Second Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FSCD 2023: Second Call for Papers


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 2023: Second Call for Papers
  • Date: Wed, 18 Jan 2023 11:34:16 +0000
  • Authentication-results: mail2-smtp-roc.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:hVulI6xbYGMRmCHwl996t+cJwirEfRIJ4+MujC+fZmUNrF6WrkUEx 2QZXTqAOq3cZDHyctknaIjl8klUusOAm9MwSAZrqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOOU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjimEc3l48sfrZ80s25aSq5Fv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFOxxOV0V2AvAbFb6/R3Qn5Ky v8zMWk0O0Xra+KemNpXS8Fpj8UnIdOxeo8UoTdqxzKfBP1gXJOrr6fivI4DmmlpwJofW6q2i 8kxMVKDaDzLagdUJloRIJ41h6GijHq5ejYetVH9Sa8fsziJkFErgeOF3Nz9UMePQphRgRahu EnnxnnDPTAzNf6l8G/Qmp6rrrSTw3+iAdh6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQ88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy67Z+VzfCmMfCDRLa5ovv4krRlTGy 2Nlgfu0Aix165yMdU7e56WU7iy2Bis+NDY7MHpsoRQ+3/Hvp4Q6jxTqR9llEbKogtCdJd0W6 2rUxMTZr+9N5fPnx5lX7nia2m/0+cShohodo1yODz/NAhZRPtbNWmC+1bTMxdlqRGpzZn2Gu nQDnaByB8gxJsit/MBhaMgLE7Wg4frtDdExqVtmHp0s7W7r93W4O4pa43d3LwF0Ma7omAMFg meP6Wu9B7cKYRNGiJObhKroW6wXIVDIT4iNaxwtRoMmj1gYXFbvENtSTUCRxXvxt0MnjLsyP 5yWGe71UylBWPQ/lmHuGrdGuVPO+szY7T6DLXwc50r/uYdymFbPFelt3KamMbpksvvc+G05D f4AZpHUo/mgbAEOSnKLr9JKdApiwYkTB5nwptAfa+iCPAd8A2A9GrfXzK8+fJZm95m5Zc+Wl kxQmyZwljLCuJEwAV7bMCg9M+i/AsgXQLBSFXVEAGtEEkMLOe6HhJrzvbNuFVX+3Lwzk6xHX LMedt+eA/9CbD3C9n5PJdP+tYFuPlDjzw6HIyPvMnB1co9CVj753IbuXjLu0y0SUQuxl881+ IO72i3hHJEsegVFDeTtUsyJ8W+fh3YmtdhJbxP6GeULIETI26p2GhP1lc4ycp0tKw2c5z601 DS2IBY/pMvOktQQ7ejMp7qgqqmrN+1ABGtbAGjpwrKkPgbK/meY4NFhUcTZWRv/RW/L6KGZS uEN9M7FMdoDh0dsj4pwN51J3JAOzYLjiJECxzs1AUiRSUqgD41RB0Wv3O5Nh/Vr/aBYsw7nY XC/0IBWFpvRMfy0DWNLAhQua9mC8vQmmjPyy/ARC2ei7Q9V+Iu3a2ljDyOuugd8coQsaJgEx N0/svE48wa80xomEuiXhxBuqlijECYybLUFhLo7Xqnb0hEm23NTU6z6UyXW2qyCW/9IE0stI wKXupb8uqRh9hL8VEQ3RFfw3rt7pJURuRp14kcICHaXl/Hk2PIm/h1j3g4mbwZSzydo9fBXP 0pqPlwoJZSfom5hlelYfmWWAwoaLgaoyk/w7FoolWPiUEijUFLWHlA9Ieqg+EM48XpWWzpmo IGj12fuVAj1cPHL3icdXVBvr9rhR4dT8jLutd+GHcPfObUHehvg37GTYFQXpyvdAc8egFPNo c9o9r1SbYz5LSshnL0pObKF1Lg/SAG2G0IaeKtPpJg2JGD7fC2+/ROsKErrI8NEGKHswH+CU sdrIppCagS62COwtQskPK8rIYEluN4y5dEHRKHnGn5ejZubsQhSkczx8grQuTYVZutAwOcHF 5PpVjOdE2avq2NetE3ToeJlZGepQ9k2Szft/eKy8e82OYoJn999VEBv0YrvmmikNSl92xe6v ifFWbX3zvNj+6tojYDDAqVOPCTqCNLRBcCj0hG/jMRKVvzLafzxjgIyrkL1GihvJp4TZohHr quMu9vJw0/1hrY6fGTHkZ2nFaMSx8GNcMdIE8Dwdl92oDCjXZLy3h495GyIE5xFv9dD7M2BR QHjSs+Rd8YQauhN1k9udClSPBYMOZvZNp66i3uGkM2NLRwB3SjsDtCtrybpZF4GUB44AcT1D wustsu+4txdkp93OyYFIPNYUq9IeAqpHeNsctDqrjCXA1W5ml7I6POoiRMk7iqNEXWeVtrz5 ZXeXBXlaRCuo+fywcpEt5Bp9AgiZJqnbTLcompGkzK3t9y7MILCBeEUMJELEMsSnifpkpvyZ 3fEZy0/Ck0RmNiCnQrUuLzessW3X4Ti+esV4hQl9FjSYS21QoqLRqZinsuly2kjYSPtlYlLN vlHkkAd/XGNLlVBSe0IoPaxgqFuzbXHxRrkPKw7f9PaW34jPFnB6JCt8Mehm8AK/wEhWXgn/ VQIeF0=
  • Ironport-hdrordr: A9a23:xAe8Mq9wKbnWHYPWAcVuk+DNI+orL9Y04lQ7vn2ZKCY0TiX2ra uTdZggvyMc6wxxZJhDo7+90cC7KBvhHPhOjLX5Vo3NYOCJggeVBbAnx43k3jXrBmnf+4dmpM RdT5Q=
  • Ironport-phdr: A9a23:xbcELRNIF1ScsIoOWQIl6nYbBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1QeZFt+Eo9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSmTaxfbB/I BqooQjTq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jioMKjw3/3zNisFoj6xVrh2uqBJ/zYDJfo+aKPVwc7jBfd4ZX2dNQtpdWiJDD466c oABD/ABPeFdr4TluVYBtwG+BRKwBOzxzD9Dm3/43bA60+Q6DArL2xAvEMgUsHTPsNX6KqESX Puow6bU1jXPdehZ1iz+6ITSaB8uveuAXa9zccfIz0QkCgzKgEmKp4P/IzOVyvoCs3Kd7+d4U e+jl20qpQ9/rzah28shjorEi4YJx13L6yh13Js5KMO3RUB0fNOpFIZcuj2bOoZ3TM4uX25lt To+x7Aat5O1cy4Hw4kpyR7YbvyIaYmI4hT7WemPOzh4n3Jkd664hxa0/0iv1Pf8Wdey0FlWs CVFicPAuW4Q1xDL5MiHUedy8Vq41TmT0ADT7O9ELl4ulaXFLZ4u3qA/moAUsUTZES/6gFv5g 7WNdkQk5ueo6/7oYrT8ppOGMI90kA7+PrwzlcOlDuQ4KRQOX3Wb+eS4zrHs4FP2TbNXhfM1i qnUqI3WKMAVq6KjAgJZz5wv5wi7Aju839kUhWQLIVZLdR6dkYTkOEvCLf77APulnVigjDVmy vbbNbP7GJrNNGLMkLL5cLZ99UFczA0zwMha551OC7EBJOz8WlXvuNDCExA2Lxe0z/z8B9pm1 YMSQ3iADbODPKPPsl+E/uMvI++Sa48JoDvxNvwo6vD0gXI4hFMRZ7el0J8NZH23BvhmJl+WY XvogtcPC2cKuQ8+QfT2h1KYSz5TfGqyULw65jwgFY2pEZzDSpq2j7Oa3ye3BIdZaXxcBlCRE nfkb4OEVOwUZyKIPsBhiiAEVaSmS4I5yx2irBX6xKZ/LurI5i0Ysoru28Rv6O3WkRE+7Dh0D 8WG02GRVGx0hWMJRzou3K9lu0B9y1GD0bJ5g/NCD9BT6elJXh8gNZHA1+x6F8zyWgXZc9iVT 1amW8yqDi01TtIs2NADeF19GtWnjhDbxSWmGb4Vl7qRBJw16K3QxXbxJ9wug0rBgac6hFVgS cxJO2C8i6h0+iDfDIWPnU7fir7sbbhYlCXJsWaYxGCDuEVVFRNrXL/edXQefVfN69/w4wXLR PmzCvBvLhpZxNXHI61MbcDvhlhuQPb4JM+YeG+4gCGtHRuOwPWBYJeuM38Qwz/cFEkCnCge+ 23DMRk5AGGvuSaWNCZpElzTY07r6/hWjHKgUlRy5QiWbwtI3PyI2VpdjOSEUP4W9rYFozs67 Sl/BxC80dOQD9+d4QZsOO1XZsp461Na30rYsRZ8N9quNeQqjVcbd0Fzvljy/xRxEIRJ18Yw6 DshyANqAa2C105Zeijex532M6HaMC/85kOBcanTj3rXys2K96FHxuk4sB23twizDVYv9V1r2 MIT2XGfoJzBShcRB8GiGn0r/gR38umJKhI24JnZgCUE2cictzbD34hsH+450lO6eNwZNqqYF Qj0GslcBs60KeVslUL6JgkcMrV086g5d9ija+PAwLSiae1phim6gGJv7ItmlEiG9Gx1QajV3 MVN2OmWizOOTCy0l1K9qobykIFAaysVGz+0wDL/GINXTqF5ZsABA2ToKsbx29Ytz4X1VSt+8 1iuT0gDxNfveReWaAnl2hZM0E0MvXG9sS6xzjh5iWtvoqGEmibEwKLrf1waOQanXUFEilHha cixhtEeBg2zahQx0QGi7gD8zrRao6J2Ky/SR11Jdm74NTMqVKz4rbeEb8NVjfFg+SxKTOSxZ 0ybQb/hslMb1S3kBW5X2DE8cXmjpJz4mxVwjG/VImx0qTLVfsR5xBGX49K5J7YZ1TMcXzV1j xHbDUP6NdOqu9yf0YrA86i/W2+nSpxPYHzz14rT/CC/5GBsHVi+h6Xqy4ahT1F8i369i4oPN 22Athv3b4j12r7vNOtmehMtH1rg849gHYo4lIIshZYW0Hxch5OP/HNBn32gVLcTka/4cncJQ iYGhtDP5w2wkkZqNGmVyoTRWn6GhMFrZJ+zaSUL2WhuiqICQLfR97FCkSZv9xCzpBjKffV7t jsW0r0k4n1ciupPpQlnnUD/SvgCWEJfOyLrjRGB6duz+b5WaGiYer+1zENinNqlAdluuylkU W3iMtcnFC50tIBkNU7UlWf04cficcXRatQasluVlQ3Bhq5bMsB5mv0PjCthcWXz2B9tg+Uyl wdy0JeSsIOcbW9n/+SwCVhFNXX5atgS9TfkkatF1p/HhMbxR9M7S3NXFJLzBeqlCjcTqejqO 2PsWHUnp3GXFKCeVQ6T5UF6rm7eRpWiNnWZPn4cnp1pQBiQIlAagRhBBWRh2MBgUFr7gpCyF SUxrioc7VP5tBZWn+dhNh2lF3zauB/tcDA/Dp6WMBtR6AhGoUbTK82XqOxpTEQ6ttWsqhKAL muDakFGF2YMDwaPDkr4IrSozdXL6K6SDOn4JvCIfLbE+ok8H7+YgImi1Idr5WPGPcyVJWVvC dU30VEFV3p6Xc3S3SgMAX9y9WqFf4uQoxGy/Tdyp8a0/aHwWQ7h0oCIDqNbLdRl/x3lybfGL eObgzx1bCpJzp5Zj2Gd06ARhRRB7kMmPynoC7kLsjTBCb7dirMCRQBOcDt9bYNN/+o1lghVZ ZyC24iziOc+1K9zUB9ETQCzw5DyI5JTZTvscg+iZg7DPeaDLDzPztuuJ6+3UvtahuYSvhb2p DXTGh3mNzWHmiOzERykKqdGhiLdNRcYpYL1ZB9pDSKLoMvOTBq9PZc3iDQ3xedxnXbWLSsGN jM6dUpRr7qW5Cceg/NlGmUH4GA3Ze+D0z2U6eXVMPN0+bNiHzh0muRG4X8716od7SdKQ+Zwk TfTqdgmqk+vk+2GwD5qGBRUrTMDiIWOtERkcaLXk/sIEW7D5w4I5H6MBg4iotJkDtD14eZcw cOJnqjwbj5Jtc/XvIMdC8XSNMObIS8hPB7uS1u2REMOST+mM32ahlQIyaDJsCPM6MJr7MS// fhGAqVWX1E0CP4AX0FsHdhYZYxyQithi7mQysgB+Xu5qhDVAsRcpJHOEPyIUpCNYH6Ui6dJY xwQzPb2N4MWY8fw0lZ5dlR8tIjBAAzaV9MLqyYncwx+8yAvuDBuC3Y+3U7ocFbn+HgICfu9h QI7kCN7aOUp+S22pVs8PRzArih2mUJ3hNav0lXzOHbhaay3W49RES/9sUM8Z4j6TwhCZgq3h UV4NT3AStq5apNsfnstggXf/5JEX+NfH/UsiP44wPiWY/gyixJQoT7hz0VEo+LOT4ZhxlNCm XGEo3lbnQhpb5g8LurNJ/gQpmU=
  • Ironport-sdr: 63c7d93d_jUbPQQUQx8mQU9//aGztWR1TRNs5snHxkICT3b8ODvtlh03 tyfRd0kASc4UjMR+iMWxM/vF7vJfEBMZH8n5S5g==

==============================================================================
Updated information on: co-location, affiliated workshops, hybrid presentation
==============================================================================
CALL FOR PAPERS
Eighth International Conference on
Formal Structures for Computation and Deduction (FSCD 2023)
July 3-6, 2023, Rome, Italy
https://easyconferences.eu/fscd2023/
In-cooperation with ACM SIGLOG and SIGPLAN

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

Abstract: January 30, 2023
Submission: February 3, 2023
Rebuttal: March 24-28, 2023
Notification: April 13, 2023
Final version: April 27, 2023

CO-LOCATION AND AFFILIATED WORKSHOPS
------------------------------------
FSCD 2023 will be co-located with CADE-29. The following workshops are
affiliated with FSCD and CADE in 2023:

- WIL: 7th Workshop Women in Logic (July 1, 2023)
- WPTE: 10th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 1, 2023)
- TLLA: 7th International Workshop on Trends in Linear Logic and
Applications (July 1-2, 2023)
- LSFA: 8th Logical and Semantic Frameworks with Applications (July 1-2,
2023)
- DCM: 13th International Workshop on Developments in Computational Models
(July 2, 2023)
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (July 2, 2023)
- UNIF: 37th International Workshop on Unification (July 2, 2023)
- CASC: The CADE ATP System Competition (July 3, 2023)
- HOR: 11th International Workshop on Higher-Order Rewriting (July 4, 2023)
- SMT: 21st International Workshop on Satisfiability Modulo Theories (July
4-6, 2023)
- ADeMaL: Automated Deduction for Machine Learning (July 5, 2023)
- ThEdu: Theorem proving components for Educational software (July 5, 2023)
- Vampire: 7th Vampire Workshop (July 5, 2023)
- IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July
5, 2023)

OVERVIEW
--------
FSCD (https://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 logic, 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;
- Applications of formal systems in education.

6. Formal Systems for 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, or to TheoretiCS.

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

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

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

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. Shorter papers
are welcome and will be given equal consideration.
A system description 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 each accepted paper is expected to register and present the
work in person at the conference. Alternatively to in-person presentation,
also online presentation is possible, but in-person registration by at least
one author will still be required.


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. When submitting the paper,
other authors should declare to the PC Chairs that at least 50% of
contribution is made by the junior researcher(s).

PROGRAM COMMITTEE CHAIRS
------------------------
Marco Gaboardi, Boston University
Femke van Raamsdonk, Vrije Universiteit Amsterdam

Email: fscd2023 at easychair.org

PROGRAM COMMITTEE
-----------------
Martin Avanzini, INRIA
Patrick Bahr, ITU Copenhagen
Pablo Barenbaum, University of Quilmes (CONICET) & ICC
Filippo Bonchi, University of Pisa
Sabine Broda, University of Porto
Valeria De Paiva, Topos Institute
Andrej Dudenhefner, TU Dortmund
Santiago Escobar, Universitat Politècnica de València
Claudia Faggian, University of Paris (IRIF)
Frank (Peng) Fu, Dalhousie University
Silvio Ghilardi, University of Milano
Clemens Grabmayer, GSSI or Gran Sasso Science Institute
Nao Hirokawa, JAIST
Mirai Ikebuchi, National Institute of Informatics
Ambrus Kaposi, Eotvos Lorand University
Ian Mackie, University of Sussex
Radu Mardare, University of Strathclyde
Aart Middeldorp, University of Innsbruck
Anders Mortberg, University of Stockholm
Daniele Nantes-Sobrinho, Imperial College London / University of Brasília
Vincent van Oostrom, Independent researcher
Grigore Rosu, University of Illinois Urbana-Champaign
Luca Roversi, University of Torino
Aleksy Schubert, University of Warsaw
Jakob G. Simonsen, University of Copenhagen
Alwen Tiu, Australian National University
Valeria Vignudelli, CNRS/ENS Lyon
Johannes Waldmann, HTWK Leipzig
Sarah Winkler, University of Bolzano

CONFERENCE CHAIR
----------------
Daniele Gorla, University of Rome - Sapienza

WORKSHOP CHAIR
--------------
Ivano Salvo, University of Rome - Sapienza

STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
Cynthia Kop, Radboud University Nijmegen

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

FSCD STEERING COMMITTEE
-----------------------
Zena Ariola, University of Oregon
Alejandro Díaz-Caro, Quilmes University & ICC/CONICET
Amy Felty, University of Ottawa
Carsten Fuhs, Birkbeck, University of London
Herman Geuvers (Chair), Radboud University Nijmegen
Silvia Ghilezan, University of Novi Sad
Jürgen Giesl, RWTH Aachen University
Stefano Guerrini, Université de Paris 13
Delia Kesner, Université de Paris Diderot
Naoki Kobayashi, University of Tokyo
Cynthia Kop, Radboud University Nijmegen
Luigi Liquori, Inria
Daniele Nantes, Imperial College London / University of Brasília



  • [Coq-Club] FSCD 2023: Second Call for Papers, Carsten Fuhs, 01/18/2023

Archive powered by MHonArc 2.6.19+.

Top of Page