[logic-ml] FSCD 2021: Call for Papers
Naoki Kobayashi
koba at g.ecc.u-tokyo.ac.jp
Thu Feb 11 14:01:49 JST 2021
皆様、
東京大学の小林です。
先日アナウンスさせていただいた国際会議FSCD 2021 ですが、投稿締め切りが以下のように変更になりました。
Abstract: February 16, 2021 *** NEW ***
Submission: February 22, 2021 *** NEW ***
https://fscd2021.dc.uba.ar/cfp.html でご確認いただければと思います。
皆様の投稿をお待ちしております。
小林直樹
東京大学
2021年1月29日(金) 13:21 Naoki Kobayashi <koba at g.ecc.u-tokyo.ac.jp>:
>
> 皆様、
>
> 東京大学の小林と申します。
> すでに他のメーリングリストでご欄いただいているかもしれませんが、
> 締め切りが近くなりましたので、FSCD 2021 の論文募集案内をお送りさせていただきます。
> 当初Buenos Airesで開催予定でしたが、COVID-19のため、オンライン開催となっております
>
> 小林直樹
> 東京大学
>
> ========================
>
> CALL FOR PAPERS
> Sixth International Conference on
> Formal Structures for Computation and Deduction (FSCD 2021)
> July 17 - July 24, 2021, Buenos Aires, Argentina
> https://fscd2021.dc.uba.ar/
> In-cooperation with ACM SIGLOG and SIGPLAN
>
> NOTE: Due to the Covid 19 pandemic situation, the 2021 edition of FSCD
> and its satellite workshops will be held online.
>
> IMPORTANT DATES
> ---------------
> All deadlines are midnight anywhere-on-earth (AoE); late submissions
> will not be considered.
>
> Abstract: February 12, 2021
> Submission: February 15, 2021
> Rebuttal: April 2-5, 2021
> Notification: April 19, 2021
> Final version: May 3, 2021
>
> 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=fscd2021
>
> 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 (including
> references) and must present new software tools in which FSCD topics
> play an important role, or significantly new versions of such tools.
> 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. Complete instructions on
> submitting a paper can be found on the conference web site:
>
> https://fscd2021.dc.uba.ar/
>
> One author of an accepted paper is expected to present it at the conference
>
> 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
> -----------------------
> Naoki Kobayashi, The University of Tokyo
> fscd2021 at easychair.org
>
> PROGRAM COMMITTEE
> -----------------
> M. Ayala-Rincón, Universidade de Brasília
> S. Berardi, University of Torino
> F. Blanqui, INRIA
> E. Bonelli, Stevens Institute of Technology
> É. Contejean, CNRS, Université Paris-Saclay
> T. Coquand, University of Gothenburg
> T. Ehrhard, Université de Paris, CNRS
> S. Escobar, Univ. Politècnica de València
> J. Espírito Santo, University of Minho
> C. Faggian, Université de Paris, CNRS
> A. Felty, University of Ottawa
> S. Figueira, Universidad de Buenos Aires
> M. Fiore, University of Cambridge
> M. Gaboardi, Boston University
> S. Ghilezan, University of Novi Sad
> I. Hasuo, National Institute of Informatics
> D. Kesner, Université de Paris
> R. Krebbers, Radboud University Nijmegen
> T. Kutsia, Johannes Kepler University Linz
> B. König, University of Duisburg-Essen
> M. Lenisa, University of Udine
> N. Nishida, Nagoya University
> L. Ong, University of Oxford
> P. Parys, University of Warsaw
> J. Rehof, TU Dortmund University
> C. Rocha, Pontificia Univ. Javeriana Cali
> A. Silva, University College London
> N. Szasz, Universidad ORT Uruguay
> A. Tiu, Australian National University
> S. Winkler, University of Verona
> H. Yang, KAIST, South Korea
>
> CONFERENCE CHAIR
> ----------------
> Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET
>
> WORKSHOP CHAIRS
> --------------
> Mauricio Ayala-Rincón, Universidade de Brasília
> Carlos López Pombo, Universidad de Buenos Aires
>
> STEERING COMMITTEE WORKSHOP CHAIR
> --------------------------------
> Jamie Vicary, Oxford University
>
> PUBLICITY CHAIR
> ---------------
> Carsten Fuhs, Birkbeck, University of London
>
> FSCD STEERING COMMITTEE
> -----------------------
> Z. Ariola, University of Oregon
> M. Ayala-Rincón, University of Brasilia
> C. Fuhs, Birkbeck, University of London
> H. Geuvers, Radboud University
> S. Ghilezan, University of Novi Sad
> S. Guerrini, University of Paris 13
> D. Kesner (Chair), University of Paris Diderot
> H. Kirchner, Inria
> C. Kop, Radboud University
> D. Mazza, University of Paris 13
> L. Ong, Oxford University
> J. Rehof, TU Dortmund
> J. Vicary, Oxford University
>
> --
> Naoki Kobayashi
> Department of Computer Science
> Graduate School of Information Science and Technology
> The University of Tokyo
> 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan
> email: koba at is.s.u-tokyo.ac.jp
--
Naoki Kobayashi
Department of Computer Science
Graduate School of Information Science and Technology
The University of Tokyo
7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan
email: koba at is.s.u-tokyo.ac.jp
More information about the Logic-ml
mailing list