The Coq mailing list

[Carsten Fuhs <carsten AT dcs.bbk.ac.uk>]

==============================================================================

                            CALL FOR PARTICIPATION
                      Eighth International Conference on
         Formal Structures for Computation and Deduction (FSCD 2023)
                         July 3-6, 2023, Rome, Italy
                     https://easyconferences.eu/fscd2023/


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.


REGISTRATION
---------------
The registration page is already open and linked from:

https://easyconferences.eu/fscd2023/registration1/

This link should be used also to register for affiliated workshops.

The early registration deadline is *** May 31, 2023 ***.

Attending FSCD 2023 is possible both in-person and remotely. FSCD 2023 
is co-located with CADE-29 (July 1-4, 2023), and special rates are 
available for joint registration to both conferences.


INVITED SPEAKERS
----------------
Titles and abstracts:

https://easyconferences.eu/fscd2023/keynote-speakers/

 - Maribel Fernández (Joint FSCD-CADE), King’s College London
 - Mateja Jamnik (Joint FSCD-CADE), University of Cambridge
 - Giulio Manzonetto, LIPN&CNRS, Université Sorbonne Paris Nord
 - Akihisa Yamada, Cyber Physical Security Research Center, National 
Institute of Advanced Industrial Science and Technology (AIST)


ACCEPTED PAPERS
---------------
The list of accepted papers is here:

https://easyconferences.eu/fscd2023/accepted-papers-2/


CO-LOCATION AND AFFILIATED WORKSHOPS
------------------------------------
FSCD 2023 is co-located with CADE-29:

https://easyconferences.eu/cade2023/

The following workshops are affiliated with FSCD and CADE in 2023:

https://easyconferences.eu/fscd2023/satellite-events/

 - 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)
 - IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting 
(July 5, 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)
 - SMT: 21st International Workshop on Satisfiability Modulo Theories 
(July 5-6, 2023)


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

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

STEERING COMMITTEE 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


Looking forward to seeing you in Rome!
==============================================================================