Termtools Mai 2024

termtools@lists.rwth-aachen.de

1 Teilnehmer
1 Diskussionen

FSCD 2024: Call for Participation (early registration deadline: *May

von Carsten Fuhs

============================================================================== CALL FOR PARTICIPATION Ninth International Conference on Formal Structures for Computation and Deduction (FSCD 2024) July 10-13, 2024, Tallinn, Estonia https://fscd-conference.org/2024 FSCD 2024 will be co-located with ICALP 2024 and LICS 2024. https://compose.ioc.ee/icalp2024/ https://lics.siglog.org/lics24/ 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 for the conferences is already open and linked from: https://compose.ioc.ee/icalp2024/#registration This link should be used also to register for affiliated workshops. The early registration deadline is *** May 17, 2024 ***. FSCD 2024 is co-located with ICALP 2024 (July 8-12, 2024) and LICS 2024 (July 8-11, 2024), and special rates are available for joint registration to the conferences. INVITED SPEAKERS ---------------- Information about the invited speakers is here: https://compose.ioc.ee/icalp2024/#invited - Delia Kesner, Université Paris Cité - Bettina Könighofer, TU Graz - Sebastian Ullrich, Lean FRO - Stephanie Weirich, University of Pennsylvania (joint ICALP/LICS/FSCD speaker) ACCEPTED PAPERS --------------- The list of accepted papers is here: https://cs.ioc.ee/fscd24/accepted.html AFFILIATED WORKSHOPS -------------------- The following workshops are affiliated with FSCD, ICALP, and LICS in 2024: https://compose.ioc.ee/icalp2024/#workshops - Parameterized Approximation Algorithms Workshop (PAAW 2024) - July 6, 2024 - Trends in Arithmetic Theories (TAT 2024) - July 6, 2024 - Geometric and Topological Methods in Computer Science (GETCO 2024) - July 6-7, 2024 - Algorithmic Aspects of Temporal Graphs VII (AATG 2024) - July 7, 2024 - Learning and Automata (LearnAut 2024) - July 7, 2024 - Logic Mentoring Workshop (LMW 2024) - July 7, 2024 - Parameterized Algorithms and Constraint Satisfaction (PACS 2024) - July 7, 2024 - Structure meets Power (SmP 2024) - July 7, 2024 - Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2024) - July 8, 2024 - Mathematically Structured Functional Programming (MSFP 2024) - July 8, 2024 - Eighth International Workshop on Trends in Linear Logic and Applications (TLLA 2024) - July 8-9, 2024 - Intersection Types and Related Systems (ITRS 2024) - July 9, 2024 - International Workshop on Confluence (IWC 2024) - July 9, 2024 - Women in Logic 2024 - July 9, 2024 PROGRAM COMMITTEE CHAIR ----------------------- Jakob Rehof, TU Dortmund University PROGRAM COMMITTEE ----------------- Thorsten Altenkirch, University of Nottingham Sandra Alves, University of Porto Takahito Aoto, Niigata University Mauricio Ayala-Rincón, Brasilia University Stephanie Balzer, CMU Thierry Coquand, University of Gothenburg Alejandro Díaz-Caro, Quilmes National University & CONICET-Buenos Aires University Claudia Faggian, CNRS, Université de Paris Silvia Ghilezan, University of Novi Sad Simon Gay, University of Glasgow Cezary Kaliszyk, University of Innsbruck Ambrus Kaposi, Eötvös Loránd University, Budapest Dexter Kozen, Cornell University Dominique Larchey-Wendling, CNRS, Loria Marina Lenisa, University of Udine Sonia Marin, University of Birmingham Naoki Nishida, Nagoya University Christine Paulin-Mohring, Paris-Saclay University Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique Elaine Pimentel, University College London Jakob Rehof (Chair), TU Dortmund University Simona Ronchi della Rocca, University of Torino Sylvain Schmitz, Université Paris Cité Aleksy Schubert, University of Warsaw Jakob Grue Simonsen, University of Copenhagen Kathrin Stark, Heriot-Watt University, Edinburgh Lutz Straßburger, Inria Saclay Tachio Terauchi, Waseda University Sarah Winkler, Free University of Bolzano CONFERENCE CHAIR ---------------- Niccolò Veltri, Tallinn University of Technology WORKSHOP CHAIR -------------- Luigi Liquori, Inria STEERING COMMITTEE WORKSHOP CHAIR --------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Herman Geuvers (Chair), Radboud University Nijmegen Patrick Baillot, CNRS, Université de Lille Alejandro Díaz-Caro, Quilmes National University & CONICET-Buenos Aires University Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Marco Gaboardi, Boston University Jürgen Giesl, RWTH Aachen University Delia Kesner, Université Paris Cité Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Giulio Manzonetto, Université Paris-Nord Daniele Nantes, Imperial College London / University of Brasilia Femke van Raamsdonk, Vrije Universiteit Amsterdam We are looking forward to seeing you in Tallinn! ==============================================================================

2 Tage, 16 Stunden

2024

2023

2022

2021

2020

Termtools Mai 2024