======================================================================
WST 2022 - Call for Papers
18th International Workshop on Termination
https://sws.cs.ru.nl/WST2022
August 11-12, 2022, Haifa, Israel
Co-located with IJCAR-11 at FLoC 2022
======================================================================
The Workshop on Termination (WST) traditionally brings together, in an
informal setting, researchers interested in all aspects of
termination, whether this interest be practical or theoretical,
primary or derived. The workshop also provides a ground for
cross-fertilization of ideas from the different communities interested
in termination (e.g., working on computational mechanisms, programming
languages, software engineering, constraint solving, etc.). The
friendly atmosphere enables fruitful exchanges leading to joint
research and subsequent publications.
/*The submission deadline has been extended by one week.*/
IMPORTANT DATES:
* submission deadline: *May 10, 2022*
* notification: *June 15, 2022*
* final version due: *June 29, 2022*
* workshop: August 11-12, 2022
INVITED SPEAKER: René Thiemann
TOPICS:
The 18th International Workshop on Termination welcomes contributions
on all aspects of termination. In particular, papers investigating
applications of termination (for example in complexity analysis,
program analysis and transformation, theorem proving, program
correctness, modeling computational systems, etc.) are very welcome.
Topics of interest include (but are not limited to):
* abstraction methods in termination analysis
* certification of termination and complexity proofs
* challenging termination problems
* comparison and classification of termination methods
* complexity analysis in any domain
* implementation of termination analysis methods
* non-termination analysis and loop detection
* normalization and infinitary normalization
* operational termination of logic-based systems
* ordinal notation and subrecursive hierarchies
* SAT, SMT, and constraint solving for (non-)termination analysis
* scalability and modularity of termination methods
* termination analysis in any domain (lambda calculus, declarative
programming, rewriting, transition systems, probabilistic
programs, etc.)
* well-founded relations and well-quasi-orders
SUBMISSION GUIDELINES:
Submissions are short papers/extended abstracts which should not
exceed 5 pages. There will be only informal reviewing. In particular, we
welcome short versions of recently published articles and papers
submitted elsewhere. The program committee checks relevance and
provides additional feedback for each submission. The accepted papers
will be made available electronically before the workshop.
Papers should be submitted electronically via the submission page:
https://easychair.org/conferences/?conf=wst22
Please, use LaTeX and the LIPIcs style file
https://submission.dagstuhl.de/styles/download-tag/lipics/v2021.1.2/authors…
to prepare your submission.
PROGRAM COMMITTEE:
* Jose Divasón - U. de La Rioja
* Florian Frohn - AbsInt GmbH
* Jera Hensel - RWTH Aachen
* Dieter Hofbauer - ASW Saarland
* Sebastiaan Joosten - Dartmouth College
* Cynthia Kop (chair) - Radboud U. Nijmegen
* Akihisa Yamada - AIST, Japan
* Hans Zantema - Eindhoven U. of Technology
======================================================================
WST 2022 - Call for Papers
18th International Workshop on Termination
https://sws.cs.ru.nl/WST2022
August 11-12, 2022, Haifa, Israel
Co-located with IJCAR-11 at FLoC 2022
======================================================================
The Workshop on Termination (WST) traditionally brings together, in an
informal setting, researchers interested in all aspects of
termination, whether this interest be practical or theoretical,
primary or derived. The workshop also provides a ground for
cross-fertilization of ideas from the different communities interested
in termination (e.g., working on computational mechanisms, programming
languages, software engineering, constraint solving, etc.). The
friendly atmosphere enables fruitful exchanges leading to joint
research and subsequent publications.
IMPORTANT DATES:
* submission deadline: May 3, 2022
* notification: June 8, 2022
* final version due: June 22, 2022
* workshop: August 11-12, 2022
INVITED SPEAKERS:
TBA
TOPICS:
The 18th International Workshop on Termination welcomes contributions
on all aspects of termination. In particular, papers investigating
applications of termination (for example in complexity analysis,
program analysis and transformation, theorem proving, program
correctness, modeling computational systems, etc.) are very welcome.
Topics of interest include (but are not limited to):
* abstraction methods in termination analysis
* certification of termination and complexity proofs
* challenging termination problems
* comparison and classification of termination methods
* complexity analysis in any domain
* implementation of termination analysis methods
* non-termination analysis and loop detection
* normalization and infinitary normalization
* operational termination of logic-based systems
* ordinal notation and subrecursive hierarchies
* SAT, SMT, and constraint solving for (non-)termination analysis
* scalability and modularity of termination methods
* termination analysis in any domain (lambda calculus, declarative
programming, rewriting, transition systems, probabilistic
programs, etc.)
* well-founded relations and well-quasi-orders
SUBMISSION GUIDELINES:
Submissions are short papers/extended abstracts which should not
exceed 5 pages. There will be no formal reviewing. In particular, we
welcome short versions of recently published articles and papers
submitted elsewhere. The program committee checks relevance and
provides additional feedback for each submission. The accepted papers
will be made available electronically before the workshop.
Papers should be submitted electronically via the submission page:
https://easychair.org/conferences/?conf=wst22
Please, use LaTeX and the LIPIcs style file
https://submission.dagstuhl.de/styles/download-tag/lipics/v2021.1.2/authors…
to prepare your submission.
PROGRAM COMMITTEE:
* Jose Divasón - U. de La Rioja
* Florian Frohn - AbsInt GmbH
* Jera Hensel - RWTH Aachen
* Dieter Hofbauer - ASW Saarland
* Sebastiaan Joosten - Dartmouth College
* Cynthia Kop (chair) - Radboud U. Nijmegen
* Akihisa Yamada - AIST, Japan
* Hans Zantema - Eindhoven U. of Technology
(Apologies for multiple copies of this announcement. Please circulate.)
---------------
Call for Location for FSCD 2024
The FSCD conference covers all aspects of Formal Structures for
Computation and Deduction from theoretical foundations to
applications. The annual FSCD conference comprises the main
conference and a considerable number of affiliated workshops
(expectedly, more than ten).
We invite proposals for locations to host the 9th FSCD International
Conference to be held during the summer of 2024. Previous (and
upcoming) FSCD meetings include:
FSCD 2016 in Porto (Portugal);
FSCD 2017 in Oxford (UK) co-located with ICFP 2017;
FSCD 2018 in Oxford (UK) as part of FLoC 2018;
FSCD 2019 in Dortmund (Germany);
FSCD 2020 in Paris (France) co-located with IJCAR 2020;
FSCD 2021 in Buenos Aires (Argentina);
FSCD 2022 in Haifa (Israel) as part of FLOC2022;
FSCD 2023 in Rome (Italy).
The deadline for proposals is *** 27th June 2022 ***. Proposals should
be sent to the FSCD Steering Committee Chair (see contact information
below). We encourage proposers to register their intention informally
as soon as possible.
Selected proposals are to be presented at the business meeting of FSCD
2022 taking place at Haifa in August 2022. The final decision about
hosting and organising of FSCD 2024 will be taken by the SC after an
advisory vote of the members of the community in attendance at the
business meeting.
Proposals should address the following points:
* FSCD Conference Chair (complete name and current position), host
institution, FSCD Local Committee (complete names and current
positions), availability of student-volunteers.
* National, regional, and local government and industry support, both
organizational and financial.
* Accessibility to the location (i.e., transportation) and
attractiveness of the proposed site. Accessibility can include both
information about local transportation and travel information to the
location (flight and/or train connections), as well as estimated
costs.
* Appropriateness of the proposed dates (including consideration of
holidays/other events during the period), hotel prices, and access
to dormitory facilities for students.
* Estimated costs on registration for the conference and workshops,
both for regular and student participants.
* Conference and exhibit facilities for the anticipated number of
registrants (typically around 200). For example:
= number, capacity and audiovisual equipment of meeting rooms;
= a large plenary session room that can hold all the registrants;
= enough rooms for parallel session workshops/tutorials in the two
days before and the two days after the main conference;
= internet connectivity and workstations for demos/competitions;
= catering services;
= presence of professional staff.
* Support for hybrid attendance to the conference.
* Residence accommodations and food services in a range of price
categories and close to the conference venue, for example, number
and cost range of hotels, and availability and cost of dormitory
rooms (e.g., at local universities) and kind of services they offer.
* Other relevant information, which can include information about
leisure activities and attractiveness of the location (e.g.,
cultural and historical aspects, touristic activities, etc...).
Contact information:
Herman Geuvers
herman(a)cs.ru.nl
FSCD SC Chair
Dear all,
while ago, SC discussed on how to fix TPDB benchmarks. We should
maintain consistency with past competition results, so we agree on the
following rule:
If changes should be made on benchmarks that has been used in a past
competition, please follow the procedure:
- Rename the benchmark following the rule: file.ext -> file_REV2.ext ->
file_REV3.ext -> ...
- Make sure the old file is removed.
- Then make pull request.
Best,
Akihisa
==================================================================
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
(Apologies for multiple copies of this announcement. Please circulate.)
=======================================================================
Updated information on: invited speakers, affiliated workshops
=======================================================================
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 8, 2022
Submission: February 11, 2022
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, only invited talks)
- HoTT/UF: 7th Workshop on Homotopy Type Theory/Univalent Foundations (July 31-August 1)
- IWC: 11th International Workshop on Confluence (August 1)
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (August 1)
- Linearity-TLLA: 3rd Joint International Workshop (July 31-August 1)
- TERMGRAPH: 12th International Workshop on Computing with Terms and Graphs (August 1)
- WiL: 6th Workshop on Women in Logic (July 31)
- WPTE: 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 31)
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
(Apologies for multiple copies of this announcement. Please circulate.)
---------------
Call for Location for FSCD 2023
The FSCD conference covers all aspects of Formal Structures for Computation and Deduction from theoretical foundations to applications. The annual FSCD conference comprises the main conference and a considerable number of affiliated workshops (expectedly, more than ten).
We invite proposals for locations to host the 8th FSCD International Conference to be held during the summer of 2023. Previous (and upcoming) FSCD meetings include:
FSCD 2016 in Porto (Portugal);
FSCD 2017 in Oxford (UK) co-located with ICFP 2017;
FSCD 2018 in Oxford (UK) as part of FLoC 2018;
FSCD 2019 in Dortmund (Germany);
FSCD 2020 in Paris (France) co-located with IJCAR 2020;
FSCD 2021 in Buenos Aires (Argentina);
FSCD 2022 in Haifa (Israel) as part of FLoC 2022.
The deadline for proposals is *** 22nd January 2022 ***. Proposals should be sent to the FSCD Steering Committee Chair (see contact information below). We encourage proposers to register their intention informally as soon as possible.
The proposals will be put forward to the FSCD mailing list for an indicative vote (the results of which will not be made public), after which the final decision about hosting and organising of FSCD 2023 will be taken by the SC.
Proposals should address the following points:
* FSCD Conference Chair (complete name and current position), host institution, FSCD Local Committee (complete names and current positions), availability of student-volunteers.
* National, regional, and local government and industry support, both organizational and financial.
* Accessibility to the location (i.e., transportation) and attractiveness of the proposed site. Accessibility can include both information about local transportation and travel information to the location (flight and/or train connections), as well as estimated costs.
* Appropriateness of the proposed dates (including consideration of holidays/other events during the period), hotel prices, and access to dormitory facilities for students.
* Estimated costs on registration for the conference and workshops, both for regular and student participants.
* Conference and exhibit facilities for the anticipated number of registrants (typically around 200). For example: number, capacity and audiovisual equipment of meeting rooms; a large plenary session room that can hold all the registrants; enough rooms for parallel sessions/workshops/tutorials; internet connectivity and workstations for demos/competitions; catering services; and presence of professional staff.
* Residence accommodations and food services in a range of price categories and close to the conference venue, for example, number and cost range of hotels, and availability and cost of dormitory rooms (e.g., at local universities) and kind of services they offer.
* Other relevant information, which can include information about leisure activities and attractiveness of the location (e.g., cultural and historical aspects, touristic activities, etc...).
Contact information:
Herman Geuvers
herman(a)cs.ru.nl
FSCD SC Chair
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 8, 2022
Submission: February 11, 2022
Rebuttal: March 29-April 1, 2022
Notification: April 15, 2022
Final version: April 30, 2022
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
Final Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference
July 31 - August 12, 2022
Haifa, Israel
http://www.floc2022.org/
CALL FOR WORKSHOPS
The Eighth Federated Logic Conference (FLoC 2022) will host the following ten
conferences and affiliated workshops.
LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)
http://lics.rwth-aachen.de/
Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr
***FSCD (7th International Conference on Formal Structures for Computation and Deduction)
http://fscd-conference.org/
Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il
***See http://www.cs.tau.ac.il/~nachumd/FSCD/
ITP (13th International Conference on Interactive Theorem Proving)
https://itp-conference.github.io/
Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr
IJCAR (International Joint Conference on Automated Reasoning)
http://www.ijcar.org
Workshop chairs: Sophie Tourret stourret(a)mpi-inf.mpg.de and Simon Robillard
CSF (35th IEEE Computer Security Foundations Symposium)
http://www.ieee-security.org/CSFWweb/
Workshop chair: Musard Balliu musard(a)kth.se
CAV (34th International Conference on Computer Aided Verification)
http://i-cav.org/
Workshop chair: Grigory Fedyukovich grigory(a)cs.fsu.edu
KR (19th International Conference on Principles of Knowledge Representation and Reasoning)
http://www.kr.org/
Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de
ICLP (38th International Conference on Logic Programming)
https://www.cs.nmsu.edu/ALP/conferences/
Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu
SAT (25th International Conference on Theory and Applications of Satisfiability Testing)
http://www.satisfiability.org
Workshop chair: Alexander Nadel alexander.nadel(a)intel.com
CP (25th International Conference on Principles and Practice of Constraint Programming)
http://a4cp.org/events/cp-conference-series
Workshop chair: Ciaran McCreesh ciaran.mccreesh(a)glasgow.ac.uk
SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on
topics in the field of computer science, related to logic in the broad sense.
Each workshop proposal must indicate one affiliated conference of FLoC 2022.
It is strongly suggested that prospective workshop organizers contact the
relevant conference workshop chair before submitting a proposal.
Each proposal should consist of the following two parts.
1) A short scientific justification of the proposed topic, its significance,
and the particular benefits of the workshop to the community, as well as a
list of previous or related workshops (if relevant).
2) An organisational part including:
- contact information for the workshop organizers;
- proposed affiliated conference;
- estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged);
- proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.);
- potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC);
- procedures for selecting papers and participants;
- plans for dissemination, if any (e.g. a journal special issue);
- duration (which may vary from one day to two days);
- preferred period (pre or post FLoC);
- virtual/hybrid backup plans (including platform preference).
The FLoC Organizing Committee will determine the final list of accepted
workshops based on the recommendations from the Workshop Chairs of the hosting
conferences and availability of space and facilities.
Proposals should be submitted through EasyChair:
https://easychair.org/conferences/?conf=floc2022workshops
Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ.
IMPORTANT DATES
Submission of workshop proposals deadline: September 27, 2021
Notification: November 1, 2021
Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022
Post-FLoC workshops: Thursday & Friday, August 11-12, 2022
CONTACT INFORMATION
Questions regarding proposals should be sent to the workshop chairs of the
proposed affiliated conference. General questions should be sent to:
shaull(a)technion.ac.il
GuillermoAlberto.Perez(a)uantwerpen.be
FLoC 2022 WORKSHOP CHAIRS
Shaull Almagor
Guillermo A. Perez
-------- Weitergeleitete Nachricht --------
Betreff: SYNASC2021
Datum: Tue, 3 Aug 2021 12:09:47 +0200
Von: SYNASC2021 <synasc2021(a)easychair.org>
An: Marcel Hark <marcel.hark(a)cs.rwth-aachen.de>
Dear Marcel Hark,
We kindly ask you to promote SYNASC 2021 to your colleagues,
collaborators and interested students.
Thank you and best regards,
SYNASC 2021 program chairs