Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FSCD 2025: First Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FSCD 2025: First Call for Papers


Chronological Thread 
  • From: Carsten Fuhs <c.fuhs AT bbk.ac.uk>
  • To: types-announce AT lists.seas.upenn.edu, cl-isabelle-users AT lists.cam.ac.uk, rewriting AT ens-lyon.fr, ProofTheory AT Lists.Bath.Ac.UK, coq-club AT inria.fr, caml-list AT inria.fr, clap AT groupes.renater.fr
  • Subject: [Coq-Club] FSCD 2025: First Call for Papers
  • Date: Fri, 18 Oct 2024 11:52:06 +0100
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bbk.ac.uk; dmarc=pass action=none header.from=bbk.ac.uk; dkim=pass header.d=bbk.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=BxDrI7okQN6Sdyhj+eMavfpitv84fpqXkpf11AAtahk=; b=BavS6BBv/1/JckclIlN9xkG/adDGEUmpqtuQfgOtFkgYLFC7+n4rhr1JtsfH+oO8medkbjj657QKXJb7SE8g4UK2ZXXWpmua1d3BKf3BXaBUIx8FbyKRmgfQ+tnCr9D9Fqv89fnZzdf+4WSRC8+DWDXnnVfzF28nmOmCaGvFMg97WDG4tlLkwKo+FojU8AKmCgQ6uxEJPwlAH0ZsQLpH6+WGVKBjeS4mem1Kaq6rHSCz8D7238k08q/+Td2tnMriUFOdKKKPyzsAxlTnkdiDk82bGRCkmYCnMl3rYiFo+8FaWSkQz8zFvN7yBEKO7AepKbWnUNyYmft1mIc9mz61FA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=BYRK/Mmhbq5jPWR7uyojJ1rwRRVOvAPv7283M5GIE4JAKIEosqroZEGwaoqe75s8Sive+FWFrVm7o9q0SwNC2Oglo9zBUnbhKtD95lX6sDb9CuvYNgy1vMXKqgIv8qD1XK0omYRMJ13Txli0EAR7ZuwHL9/YEDV+0o5k/RWhxDqIZ8k4KvRW6ha1PTRHajhlKHtIQVhAJR7h6+iitiujKY+RPYnF4mKxbOrkgJsvCXll8MF7ZCFMEZCl/0sMrbNqw56aNzRI4NC6iDZqurWeAndIjv/9CJ1qTRGXuf+BCYe6X28DOR5E8SuSi67AlvoCIQoJHY+McAan/1t8yXMRZg==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=c.fuhs AT bbk.ac.uk; spf=Pass smtp.mailfrom=c.fuhs AT bbk.ac.uk; spf=None smtp.helo=postmaster AT egress-ip48b.ess.uk.barracuda.com
  • Ironport-data: A9a23:0YAYnq1mpiuWA/+2BPbD5W51kn2cJEfYwER7XKvMYLTBsI5bpzxWn GcdCm7Qa/eMYGv9ftwgO9uy8k1UscWAm4QyG1dt3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8glaYDkpOs/jf8Us27Kyu0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3W2xrI/XVsvB9Yj/OwsJ2Vpx OwYAS9YO3hvh8ruqF66YuRjnMk4N4zqJN9PsDdt1iqfEPVgS5nZWazB+NNRmjw3g6iiH96FO oxANmQpPU6GOkQVUrsUIMpWcOOAjT/xbj1DgFifpuw+6C7Oz2Sd1ZC8YYaLJ4DaHK25mG63l FiaolWiPSo9C/eFlWLd43+yp8HQyHaTtIU6T+HnqKcw2TV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7Ja3EeiS924WxyjvFafrxsEUpxRFfc74UeD0MLpDx2xC2ceQyVaLd0+6J88AzExz RmUnJXjDCZ1ubaIRXvb/bCRxd+vBcQLBWFYYGhVHBEc2YLYpotoqBbof8ZjObHg27UZBgrM6 zyNqSE/gZAagsgKy7i38Dj7b9SE+cChoukduFS/Y4610j6VcrJJcKSHwzDmARtoIYmDQ0Ka+ Xkcx5iUqu0VFteQl2qHSf8XFbq06//DOzrZ6bKOI3XD32rxk5JAVdkLiN2bGKuPGppdEdMOS BSC0T69HLcJYBOXgVZfOupd8fgCw6n6DsjCXfvJdNdIaZUZXFbYpnA3NBbIhz6wzBREfUQD1 XGzIZnE4ZEyWfsP8dZKb7ZNjNfHOwhhmz+LGM+ll3xLL5LOPyXKFuxt3KSyghARt//b/lyPq r6zxuODzhxNV+u2fiTc8YgUKVcFLHUgTZHwoIo/SwJwClsOJY3VMNeImelJU9U8x8x9z76Ul lnjARUw4ASk2hX6xfCiNisLhEXHAc0n9SpT0O1FFQrA5kXPlq7/svZOLsRmLehPGS4K5accc sTpsv6oWpxnIgkrMRxEBXUkhN0yLkaYlkiVMjC7YTMyWZdlSkabspXnZwbjvm1GRCa+qcJ08 fXq2xL5UKgzYV1oLP/XT/azkHK3n3wWw9xpU2Xyf9J8RUTL8apRERLXsMMZGc83BCvm+iq7z CeTWBcRmvnMqdQ68f7PnqG1kL2qGOpfQGtfIW/Q6IikPjiD5mGP+NNxUbuMdmv4SW/L47iTY MtExPTSMvE4plZutqxiGY1K1oM73cPk/JVB/zRnHVLKTlWlMaxhKX+4xvtytrVB67tamAmuU GeNx4VqAqqIM8bbD1IhHgopQeCd3/UymDOJz/AKDGjlxS1wppyrbF5zOkSStSljM7dFCoMp7 uM/ssow6QbkqB4LMM6Dvx9E5Va3MX0MfKU2hK40WLaxpFIQ9WhDRpjABgvdwpKFMYxMO3Z3B A6kvvPJgrAEy3fSd3Y2K2P24tNcopYzozFP8k4JIgWYu9jCh8Jv5iZrzxYMcl13wClEgsVJA Uo6E21uJK6LwSVku9gbYUCoBDN6JUO4/m7f9gI3sVP3HmeUUl7DFmkfAdq23Vs49jtcdwdL/ bvDx2fCVy3rTf7L3SAzeBBErt7iRM0s9jzTxZmuDuWePpwAeTG+qLSfVWkJjBrGAM0Km0zMo 9dxzttwcaHWMS0xobUxLouniYQrVxGPIVJdTcFb/K8mGX/WfBew02OsL3+dV9xsJfuQ12OFE O1re9xyUiqh2Ba0rjw0AbAGJ5l2lqUL4PsAYrbaGn4UgYCArzZGsIPiyQamvTUFG+5RqMcaL p/dUxmgEWbK3HtdpDLrnfl+Y2G9ZYEJWR340OWL6942LpMkstx3UEQMw7Cx7mS0Mgxmwkquh zn9RZTqls5s9Yc9uLHXMPRnJx61ItbNRui34FiNk9BRX+jub+bKlS0o82fCASoHHIE/edpNk Za1jOXWx2LA5bY/bHDYkcKOFo5P/sSDY9BUOcPWclhfvyqLSZLs0gpeommpCIdolelF7ZKNX DqIa8qXdP8UVexCxXZTVTNsLhYFB4nzbYbivSmYrcnQOiMC0AfCEsyrxUXpYU5faCUMHZ/0U S3whNqD+fFaq95qKCIfJvQ7HaJ9HkDvaZEme/L1qzOcKGui2XGGm7n6kCsf+SP5MWaFHOn68 KD6aEDHLjrqg57xzfZdr4BWlT8UBiwkgeAPI2Qsy+QvgDW+VGM7PeARNKsdMa5tkwvw6YrZY Q/cZ25zGAT/WjV5KS/H2urBZTvGJOIyOYbeHAcLrnOkM3L8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEjEP 2UuXiVFWB3rQwj8Ct0mZn0TEhgDpjrk0jkhKyyIxb4zfmldIPJokJXC1yPbi9Xvr/jm4JYET 3CxTmDL/mP+Nrk7p/4yo9xw6UNrIavjIyV5RZMPgSUYlaL2429hIsBqce/jii090FY3Lm4xX QVAL5Tz6Ipp5ayRNHCrJd01xq9M
  • Ironport-hdrordr: A9a23:9DCr26CxiNYDxVTlHehSsseALOsnbusQ8zAXPh9KJSC9I/b0qy nxpp4mPH/P5gr5K0tQ/exoX5PwOk80lKQFmbX5WI3MYOCIghrLEGgP1/qE/9SCIVyDygc+79 YCT0EWMrSZZjkbsS+T2njELz9K+qjgzEnHv5am854gd3AOV0gz1XY/Nu47f3cGHjWuUKBJUa a0145tiwCbPVIKc8+8Gn4JG9Lbr9mOr57+ZwUabiRXsDWmvHeCxITBVz6FwxwZTzRDhY06+W yAqQb+/anLiYDj9jbsk0T+1a4Tvsf9wd1eA8HJsNEcLnHXlw60eJ4JYczYgBkF5MqC0mxvqd HWvg1IBbU015qERBDwnfO7sDOQqgrGpkWSvWOwsD/Gm4jUVTg6A81OicZwdQbY0VMpuJVRwb 9GxGWQsrtQFFflkD7m79bFehl2ng7syEBS2dI7vjh6a88zebVRpYsQ8Ad8F4oBJjvz7MQKAf RjF8bV4ddRaBe/Y2rCtmdi7dSwVjAYHwuAQGIFpsuJugIm1UxR/g89/ogyj30A/JUyR91t4P nFCL1hkPVrQtUNZaxwKe8dSY/vY1a9Ny7kASa3GxDKBasHM3XCp9re56g03vijfNgtwIEpkJ rMfVtEvSoZel7oC+eJwJpXmyq9N1mVbHDI8IVz9pJ5srrzSP7CNjCCckknl4+ar/AWEqTgKo WOEaMTJ8WmAXrlGI5P0QG7cYJVM2MiXMocvct+c06So+rQQ7ea+tDzQbL2Hv7AADwkUmTwDj 8oRz7oPvhN6UitRzvRnAXRYXXwYUbylKgAXZQyx9JjhrTlC7c88zT80T+Cl4G2wHx5w+YLlX JFUfzaevjRnxj0wY7Kh18ZSia1QHwlookIaEk61DPiA3mEDorrhO/vB1y6/EH3VCOXHPmmZT K34W4Hsp6KEw==
  • Ironport-phdr: A9a23:yJ+VFRGLAVrsWtOQKK4gK51GfwVFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21BmTAN6QsaIMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiaxbalsI Bi2owjdudcajIh/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d9ir9QrhC8qBxl24PaY4+bO/R+cK3AY90VWWVPUclKWixdAI6xd ZcDA/YfMetaqYT2ulsArQG5BQmpHO7i1CVHhmXt3a0mzeshFxzN0gw9H9IOq3TfsdL4O7sIX eC70anIzS7DYuhN1jjm64jEaAouru2WUbJtcsrc0E8iHB7KgVuMs4LqJS+V1vgTvGiB6eptT f6ihm4ppQ1trDaix9ohhInLi48XyF3I6yt0zYU6K9CkVkN2YtGpHIZNuiyVNYZ7Td0vT3xst Som17ELuJy2cDUMxZ86yRDfbPmHfJKJ4hLlTOuRLyx4i254d76mmxmy9k6gyuPiWcmuzllKq DZKncfWunAKzRzT5dCLReVn8Ue62TeAywDT5ftFIUAuj6bbLIQhwrEompUOq0vDETT2mFnrj K+WckUo4PWn5Prhb777pZGcL5d5hw/+P6g0h8CyA+U1PhIKUmSF4+iwyaDv8VPhTLlUj/A6j qfUvZXHKcgHvKG0AgpY3pg/5xmkCjqr0NQVkHcCIV9AZR6KgI7kMEzQLfD8EPe/mEisnylxx /7bP73gA4vCI2DfnLrnYL1z8VRTyBApwtBa/59UCq8OIPb0WkLpqtPYAQU5PBKvw+b8Edl91 5seVG2MD6CCKq/dr0SI5vk1L+mRZ48Zoi3yJOI/5/70l3A2hUIdcrSz0pcNdH+4GfFmL12YY XrqnNgBDX8HswQ+QeDwlVGPUz9ea2y2Uq4i/D03FZ+qAZnbSoComrOB3SO7HpNMZmBBD1CBC Wvne5+KW/cRaCKSOdRsnScfWriiUYMuzw2huBXny7pkNubU/DYXuor51Ndp/+3TiQ0y9TtsA siDy22NVX17nnsURz8q26ByuVByylCa0aRhn/NYEcFT6OhSXwchNZ/cyvR6BMroVgLAeNeJU lemTc+8DTE/VNI928UObFplG9W+khDD2DKnDKMPmLyOAJw466bc33nqJ8Zh0HvGz6kgj1w+Q sRVL2Gmh6h/9xLSB4HTiUmZmbyqJuwg23vR5X+O1i+HukdfTQh7XI3BXGsDfQ3NoN3ioF7aQ rmoT7krL08JwsrHK7BDYNDtiVgDWezuIs/2Z2Oqh3z2Dh+NgLqHKpfpPy0H0TrHCVQFlQ878 HCdcAwvASHnrXiaRAR0ElXhX0Ph9vNvgFe6VVMviSuDc00n/rHzxz1RzfebUrYY2q8OkCYns TR9Wlinm5rdAt+E4g5gZ7l0YNUn4V4B23id/wd5N4SIILplm0YTaEJtskXnyxhtTItawuYwq 3Z/5wNoMr6V1htvajODlcT7fLPKKnLa9hqsLafdnEzdhoXFspwT4eg1/g2w9DqiEVAvpi0PO 7h91nKd4s6PFw8OSdfqVV5x8RFmprbcay175oXO1HQqP7Pn+iTa1YcPA+0ogg2lY88ZKLmNQ QS0HdAaHOCkIu9sklPvcxFXdPtK+vsMNti9P+CDxLbtOe9hmDy8imES68Zzz0KX3yB2SajB1 NAYwKLQxROJAhH7ilrpqcXrgcZEaDUVS3K40jThDZVNa7dacIkRBHy1ZsyvmoV0wZP2QDhF9 xipDkkc0cS0dRPUZFv4teFJ/WIQp3Hv2S6xzjgv1iossrLaxyvWheLraBsAPGdPAmhkl1blZ 4au3ZgcWwCzYg4lmQHAhw6yzrVHpKl5M2jYQFtZNynwIWZ4V6Kst72EK8dR4ZIsuC9TXayye 1efArL6phIb1WvkEQ48jHgwMT+3uo7RlRZ5zmuWamtw7TLYdcx22RbD9YnEX/cCljECRSR+l XzWHg3nYp/woovSxs2F67nkBAfDHtVJfCLmzJ2Nrn6+7GxuWlikmuyr38bgCU482DP60N9jU WPJqgz9a8/lzfffU6ovc092CVv788c/FJt5l956j9cexHgBrp+f/jwOmiHuMp8IvMC2JGpIX jMNz9PPtULunkN+LmmhzYj6EHyWhNZiLYryciYd3SQz6NpPAaGf4elfnCd7lVG/qBrYffl3m jp1JeIG0HcBmKlJvQMsyn7YGbUOBQxDOjSqkR2U7te4paERZWC1cLH22lAs1dymCbiDpElbV hObMt8pWyFt7t5XOljPlnT4rJznMNXddtMcsBSIngyI1LUTcc1v0KtQw3M+Yyr0pjU9xvQ+j ABy0J3f3sDPMGhr8K+jQ1ZZOjDze8IP62TohKdakNyR2tPnFZFgFzMXGZrwGKn1VmtN67K2b UDXSWdvzxXTUaDSFgKe9kp8+nfGEpTwcmqSOGFc1tJ6Ah+UOE1YhgkQGjQ8hJ8wUA6wl6mDO A904C4c4lngp15C0OVtYlP0FGnCpByAYD03DpGUagdVpFInhQ+dIYmF4+R/EjsNtJbnohGNM USRbQcOBGpPR0/OVBjze7Kp49fH6e2RAOGzeuDPbbu5outbT/6UxJir39gDnX7EJoCVM3JlF fF+xltbUCUzBZHCgztWAX9fh2fXYsWcvhv55iBnspX17qHwQAy2gOnHQ7pKbYc0plbv3vnFZ rTW1Xg+c2kQ14tQlyaYjuFEhxhL0H8oLmP9Vu5e0EyFBKPIxv0OX1hCMHg1bZAWqfNimVMSc YvSjte/vlJhptgyDVoNFVnom8XyINcPP3n4L1TfQkCCKLWBIzTPhcDxe6K1D7NK3q1SsFWrt DCXHlWGXHzLniT1Vx2pLeBHjT2KdB1Ytoandx9xCG/lBNv4Yxy/OdVzgHU427oxzn/NMGcdN 3B7fSYv5vWI6jhEh/xkB2FbxndqN+SfgGOY97WIINAbquAtHycynetA+n0x1rdcqipDQb09m SffqMJvv0DzkuSLzWkCMlIGoTJKiYSX+ER6bP6EsMAfBzCVplRUtD/DbnZC78FoAdDupa1Kn 93GlaaobSxH78qR5swEQc7dNMOANnMldxvvAj/dSgUfHlvJfSnSgVJQlPaK+zibtJ8//9Ln3 pQTSqRzXlY2UPoRTFlmVo9nQt8/TnY/nLiXgdRdr2K5twXUTd5Gs4rvW/2IDO70bTeB0elOI RYT2vXlLsIZP5fh0kd/ZlA8l4PPURm1P5gFsmhqaQk6p19I+X51Qzgo2k7rXQiq5WcaCf++m hNeYu5Wa+4usj7npUo0dAKiTMoYnUYrlM7+xDGJLG77aqqrRsdLCGz+vlIrO5jmTw8zZgq3z xQM3NjsTbhSybJrM31o2la0hA==
  • Ironport-sdr: 67123de6_w1dk648QPvEPwvrTCmZC3gXeRFeXZ1S2b6+fJrepiRlOoqa mAkKfu5F6r/v/gMdmWG8ocOGkhiw6Nf+ubaaf3A==

CALL FOR PAPERS
Tenth International Conference on
Formal Structures for Computation and Deduction (FSCD 2025)
14-20 July 2025, Birmingham, UK
https://fscd-conference.org/2025/


IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.

Abstract: 10 February 2025
Submission: 17 February 2025
Rebuttal: 7-11 April 2025
Notification: 30 April 2025
Final version: 14 May 2025


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.

The suggested, but not exclusive, list of topics for submission is:

1. Calculi:
- Rewriting systems (string, term, higher-order, nominal, 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;
- Process algebras (synchronous, asynchronous, static and dynamic semantics with and without time, etc.)
- Quantum calculi.

2. Methods in Computation and Deduction:
- Type systems (polymorphism, dependent, recursive, intersection, session, etc.);
- Induction, coinduction;
- Matching, unification, completion, orderings;
- Strategies (normalisation, 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 of 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;
- Applications of formal systems in education.

6. Formal Systems for Modelling and Verification in new challenging areas:
- Certification;
- Security;
- Blockchain;
- Databases;
- 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
-------------
There will be a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later.


SUBMISSION GUIDELINES
---------------------
The submission site is:

https://easychair.org/conferences/?conf=fscd2025

Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair.

Submissions can be made in two categories: regular research papers and system descriptions. Please indicate in the submission page in Easychair and in the first page of the paper in which category you are submitting.
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. Shorter papers are welcome and will be given equal consideration. A system description 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 each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required.


BEST PAPER AWARD BY JUNIOR RESEARCHERS
--------------------------------------
The programme 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. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s).

PROGRAMME COMMITTEE CHAIR
-------------------------
Maribel Fernandez, King's College London, UK
Email: fscd2025 AT easychair.org

PROGRAMME COMMITTEE
-------------------
Thorsten Altenkirch University of Nottingham, UK
Sandra Alves University of Porto, Portugal
Zena M. Ariola University of Oregon, US
Mauricio Ayala-Rincon University of Brasilia, Brazil
Kyungmin Bae Pohang University of Science and Technology, Korea
Frederic Blanqui INRIA, France
James Cheney University of Edinburgh, UK
Ugo De'Liguoro University of Torino, Italy
Santiago Escobar Universitat Politecnica de Valencia, Spain
Silvia Ghilezan University of Novi Sad, Serbia
Jean Goubault-Larrecq ENS Paris-Saclay, France
Masahito Hasegawa Kyoto University, Japan
Paul Blain Levy University of Birmingham, UK
Christopher Lynch Clarkson University, US
Assia Mahboubi INRIA, France, and VU Amsterdam, Netherlands
Damiano Mazza CNRS, University Sorbonne Paris Nord, France
Daniele Nantes-Sobrinho Imperial College, UK, and University of Brasilia, Brazil
Naoki Nishida Nagoya University, Japan
Valeria de Paiva Topos Institute, Berkeley, US
Frank Pfenning Carnegie Mellon University, US
Brigitte Pientka McGill University, Canada
Alessandra di Pierro University of Verona, Italy
Femke van Raamsdonk VU Amsterdam, Netherlands
Simona Ronchi Della Rocca University of Torino, Italy
Grigore Rosu University of Illinois Urbana-Champaign, US
Manfred Schmidt-Schauss Goethe University, Germany
Carolyn Talcott SRI, US
Alvaro Tasistro Universidad ORT Uruguay
Jamie Vicary University of Cambridge, UK
Glynn Winskel Queen Mary University of London, UK


CONFERENCE CHAIRS
-----------------
Paul Blain Levy, University of Birmingham, UK
Anupam Das, University of Birmingham, UK

LOCAL WORKSHOPS CHAIRS
----------------------
Paul Blain Levy, University of Birmingham, UK
Anupam Das, University of Birmingham, UK

FSCD STEERING COMMITTEE
-----------------------
Patrick Baillot (Chair), CNRS, University of Lille
Ugo Dal Lago, University of Bologna
Amy Felty, University of Ottawa
Carsten Fuhs, Birkbeck, University of London (Publicity Chair)
Marco Gaboardi, Boston University
Herman Geuvers, Radboud University Nijmegen
Juergen Giesl, RWTH Aachen University
Cynthia Kop, Radboud University Nijmegen (SC Workshop Chair)
Giulio Manzonetto, University Paris Cite
Daniele Nantes, Imperial College London / University of Brasilia
Femke van Raamsdonk, VU Amsterdam
Jakob Rehof, TU Dortmund University


  • [Coq-Club] FSCD 2025: First Call for Papers, Carsten Fuhs, 10/18/2024

Archive powered by MHonArc 2.6.19+.

Top of Page