Email Gateway (May 19 2023 at 13:01): Email Gateway (May 19 2023 at 13:01):From: Carsten Fuhs <carsten@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!
==============================================================================
Last updated: Jan 04 2025 at 20:18 UTC