Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Carsten Fuhs <c.fuhs AT bbk.ac.uk>
  • To: <fscd.conference AT dcc.fc.up.pt>, <cl-isabelle-users AT lists.cam.ac.uk>, <types-announce AT lists.seas.upenn.edu>, <rewriting AT ens-lyon.fr>, <ProofTheory AT Lists.Bath.Ac.UK>, <appsem AT lists.tcs.ifi.lmu.de>, <coq-club AT inria.fr>, <caml-list AT inria.fr>, <clap AT groupes.renater.fr>
  • Subject: [Coq-Club] FSCD 2024: First Call for Papers
  • Date: Thu, 31 Aug 2023 16:04:23 +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=arcselector9901; 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=l5YnD1ra6qJtJF6bHxmzJSmWd/O0Qlks1xh1cLl0fZM=; b=N8znchBd0g2B4CVBoOCeo+7zYEpezMGRKDqNmQE/PBPoohKuA3mB/F2HRWvAYE/o7pUKXg3lx+XXOwtmd5S6O6e7NtNyB5iD+vOIueo006SR+mTR0ez+sovBC8/o0ylpNiZ9yXHQdRw4zvq/Ijnrp3FQfEg6O4VAku45PJo4fSKJTvWNfAN6KANAUfPf3OEn3ugw+/9+mGWUg/5DhJdjgQQ0Y6RGY1Sw4y+Aun7GfSX4J8ZmCFwL/P33HbJxXMknTPu05v1qssoJND4bKyZQA3F8ZEXAyn9saT0v7p6gDCifWyk1o0jcmCrsN3GwhcFcgCbWkfWz/FCu4y2ph5w8yw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lI32zTx8J82HjTHQZCXAuUQn5w7Tj7q+Jj4j00EME1xDH/JIspfU/dwrYiVku9pHcugKdOnF1SA2kPcTe00Ypzl5UmUgc6JQLB9a97vmDFclpFG1iEGNbFxL7UzXJvUd1WUhhclpiNMMgW7lilU8DW6chuTUuFGFkSi67s322nTRj4g9hOs6Vn/taSUysbbv8+6uePhgXLABHp7BsFcvgcg/jiMfG3zwLkVtnguA4s2fkugwbwM9R/jZ0AVVIlsQoFQ1Zl1P+aJoFwgICfWNVamuHgrmUas0j2MFQTv5rU+4FSogP5hd07gulDjd2gG82HOfVslV9C9c5mGH3K5mYg==
  • Authentication-results: mail2-smtp-roc.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-ip19b.ess.uk.barracuda.com
  • Ironport-data: A9a23:KNTqi6xCOsmPRN2SGeF6t+dDwyrEfRIJ4+MujC+fZmUNrF6WrkUGy TEcCzuBMv3bYGv0ftx1YYmx/U4HsZ6HyNBkTwBqqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Qc3l48sfrZ80s/562q4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPFx9h3PmoLPrZG+8V9PGRx+ uEmBQ8SO0Xra+KemNpXS8Fhid4uN9KuPZtG63smwCrCS+slB5rKWb/D7sJU1XE7gcUm8fT2P ppfMGE0Kk2bPVsWZwZ/5JEWxI9EglH0NTNFqEm9r6A0pWHYihFyuFToGIOPIYPRH54MwS50o Er7wXWpDj0AO+XF6j7erFKmr8CWwgXkDdd6+LqQs6QCbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xYA5/UmvC938RAGQu2+BphdaWtxKEuR85hvl90bPywuWHGUfVXtAcIV3vok7Xidsy 1zPldrzHzVkrbGcD3ma8994sA+PBMTcFkdaDQdscOfPy4CLTFgb3kKRHOVwWrW4lMP0EjzWy jWH5np2zbYKgMJBk+3x8Vnbinj+7tLEXywk1DXxB2iF1wJeYJL6RoqK7VOA0+1MArzERXa8v V8FufOk0sYwMb+3mheget49RIOS267dMRn3o0JeIJ06xjH8p1+hZd9x5R99FmdIM+EFWz7YZ VTOiDx0+ZNsJ3qORo10arKXFM4F4/XBF9Pkd/aMdftIQMF7WzGm9RFUR3y7/j7Sgml1to9nI radU8KnLUhCOJRd1DDsGtssi+469B4x1Ub4ZM7dzS3+9ZG8eXTMa7MOEGXWX9AD9Kne/Tnkq YdOBfCrlSdafvb1OBTM0IgpKlsPE3g3KLb2p+FTdc+BOgBWI34gOdCA3YIef5FZoIoNmtfq5 n2dXmpq+Gj7j1DDKiSIbSltU6OwfJBdqXlgAzcgE2z10FceYKGuzpwlSb0JQZcd+tZekMFEF 8s+R53YA9BkaCj2xDAGXJys8K1gbEuKgCyNDQqEYR8+XZ9RQhfUy+DBYwfQ7ygqJQi0vPsYv LeP+F76Q50CZgI6F+fQSqul4G2QtEgnutBZfhX3MPgKX2u066lsCSj6rsFvEvE2MR+Zmwerj VeHMykXtczmgtET8uCQoYumso3wMe91PnQCLlnh9bzsaBXrpDuy87RhDtSNUyvWDl7v2aOYY u5Q8fHwHdsHkHtOsKt+C7xb9r0/1fS+u45lyhlYI1uTY2SJEr9AJly07ftLvIBJxZ5bvlK4Y VLQ2994Pb7SBtjpPmRMLyUYb8OC98oupB/s0doPLn7X2gpL7ZuccEALPxCzmC1Xd7R0F4U+w NYegs0d6i3hqx8UNN2DsDJf5j2UJVAtDpQm65URW6r2hjUw12BHT43XDwH07K61a/FJFFcgG R6Ppa/4n78H7FHzQ3kyMnns3ORmmpUFvi5R/mICP1ikntnkhOc9+R9srQQMUQVeyytY39JJO mREM1N/IYOM9WxKgPdvcn+NGQYbIjGk4W30lkU0kVPGQ3mSVmDiKHM3PcCP9hs790NeZj1qw 6GK+l36UDrFfNDD4QVqYBRL88fcdN1W8hHOvOuFHM7fRpkzXmfDs5+UPGENr0PqPNM1iEj5v tJVxedXa5OqBR5I9ud/Q8Of2K8LQR+JGH1aTLsztOkVFGXbY3ep1SLIN0m1fdhXKufX9VOjT fZjPd9LSw/0wRPmQur33kLQC+QccD8VCNs+lnfDKGEcvqCE6ztx6cPasCXlnyk2QJNkmNwnI 4jMezvEGWuV7ZeRd6khs+EcUldUo/FdDOE/4Axx2O8DFNQKu6dxcineF5Oq6m6NPlIPEw285 Wv+imy/8wCm4Y5mnM3lGeNeBG1Y7D81uPugqGiOjjiFUT8D3Qoiee/YRpkL8jm65YcsZuk=
  • Ironport-hdrordr: A9a23:FzeDTKDHJbST2MDlHejFsseALOsnbusQ8zAXPh9KKCC9I/b3qy nxppsmPH/P+VUssQIb6Ku90c67MA/hHP9OkPQs1NKZPDUO11HYS72KgbGSugEIeBeOiNK1t5 0QF5SWYeeYZTMR4KqKgnjcLz9K+qj+zEnHv5al854gd3ANV0gz1XY/Nu47f3cGHjWuUKBJUa a0145tiwCbPVIKc8+8Gn4JG9Lbr9mOr57+ZwUabiRXsDWmvHeCxITBVz6FwxwZTzRDhY06+W yAqQb+/anLiYDj9jbsk0T+1a4Tvsf9wd1eA8HJsNEcLnHXlw60eJ4JYczYgBkF5MqC0mxvqd HWvg1IBbU015qERBDwnfO7sDOQrwrGpkWSv2OwsD/Gm4jUVTg6A81OicZwdQbY0VMpuJVZ3L hQ12yUmpJLBVeY9R6Nr+TgZlVPrA6ZsHAimekcgzh2VpYfUqZYqcg68FlOGJkNMSrm4MQMEf VoDuvb+PFKGGnqJkzxjy1K+piBT34zFhCJTgwrvdGU6SFfmDRDw04R1KUk7wI93aN4b6MBy/ XPM6xumr0LZNQRd7hBCOAIRtbyInDRQDrXWVjibGjPJeUiATbgupT36LI66KWBY5oT1qY/n5 zHTRdxqXMyQUTzEseDtac7uCwleF/NEggF9/suqaSQ4tbHNfvW2Gy4ORsTevKb0rki6paxYY fyBHpUa8WTX1cGV7w5nDEWYKMiWkX2YPdly+rTZGj+0v4jCreawtAzI8yjU4YFVwxUGF/CPg ==
  • Ironport-phdr: A9a23:lLd5JxPud/Kr9f8YneIl6nYPBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6sr1QORFtWCo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6z9pHJfglFiyaxbbxxI RmrsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5 KlpVRDokj8KOT03/m7ZisJ+kbxVrw6uqRNw2IPUfIKYOeBicq/Bc94XR2xMVdtRWSxbBYO8a pMCAvQbMuZCtIn9u0UBrR2jDgesGePvyiRIjWLx0KImyeghHxzG3Aw7H98Vq3vbt9b1OL0IX u+p1qXI0DbDYupQ1Dzg54fGbgovruuQXbJsb8XR008vGhvZg1iOq4HoIi2Y2+QQv2WV4ORsS +KihmE7pgx+vjSj2tsgh4rNi44I1l3I6zh0zZg2KNGkSEN3fdqpHZhNuyybMYZ9X80sQ2Ztu Ckgy70Gv4a2fCYRyJs72hHTcuCIc4+O4hLtSumROyl3hHR5d72hnRqy9lKgyuLkWsaqyllKt SpEncXMtn8X1hzT8NKLSvxn/keuwTqAyhrc6u5fIUAoiKrbK5ohzqQtmZUNt0nIAyz4mF3ug aOLdUgo4PWk5urpb7n8u5OROY55hhvjPqkunsGzGfo0PwkSU2WV/OmwyaHv8lf4TbhPkPE6j rLWvZXaKMkbqKO0BgpY3pss5hu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gE/i/jE6snylwx /DdJ7HhA43NImXHnbj6Z7py9VVcyBEpwdBC5JJYEKoOL+jpWk/rrtPXEgI5PBGuzOr9FNp90 YYeVXqOAq+fLqzSrUeF6v8sLuWWeYMYtjjwJ+I46/PgjHI1g0IRcKmt0JcPbXC3BPVmI0GXY Xr2hdcBFH8HsRYkQOzklV2CUSVTam2pUK0n5TE3EpipApvZSoCwg7yNxCG7EYZOaWBcFl+MC Wvod5mDW/oUdi6eOtVhnSAcVbi9V48h0gmjuxP9y7p+N+bb5ikYtY/429Vu/O3SlRQy9SRuA MiH0mGNSXt0nmISSDMs0qB/u1Rxyk2f3qhgn/xYCdtT6utVXQggMJ7cy/V2C9TzWgLaYteEU 02mQ9WjATEpVN092d4OY0BnG9WjlB/PxSSqA6VG34CMUcg66anQmXP2Ichw0XvA36QJg1ItB MVEc3C+wLZjoUybU4XN1kSCnqyncaARmTPW+X2Y5W6Pp11DFgV5VOPMVjYCZR2S5YDl91vPV PqnD7IgLw1KxOaGK7BWcZvygFxdAur7NdLYJW+9hjH0TUKSy6yWbZbrfWo10SPGTUwVlAZV8 2zQcUBqPj2mpGziDDFpD0PHR0L37fI4gnqnTgkdxEe3TBsln+684gYOiPm0T/IIwqlCpCw67 TR6HRC52s+QB9fW40I1d6JFJNg5/V1v1GTDtgU7MIb2a+g2jVcbd0Fzvljy/xRxEIRJ18Yw+ jdimAF2ILqw30lGaiuVxtbqN7veNmTouh61Pf34wFbbhf2f4LwT5fJwhUjjp0n9HQws7nV8+ 9Nf0D2V7dPXD1xBAtrKTk8r+k0i9PnhaS4n6taMvZUNGay9szuYnsksGPNg0BGrOdFWLKKDE gb2VcwcHcmnbuIwyBCydhxRGudU+eYvOt++MeOc0fugeuh9nCmOh25Epol2lF+PpGJnUuCd5 58e2LmD2xefETL1jVOvqMfyzIsCaywSBUK1wyuiDYUXe64hNZ0TBzKIJMu6js57m4arW3Nc8 wu7AEga3cayZReIR1HyxwBLzgEWuSX2k2211CcyjjJvpKOFxiXF3ujrMhEAPwanXUFEilHha cixhtEeBg2zahQx0QGi7gD8zrRao6J2Ky/SR11Jdm74NTMqVKz4rbeEb8NVjfFg+SxKTOSxZ 0ybQb/hslMb1S3kBW5X2DE8cXmjpJz4mxVwjG/VImx0qTLVfsR5xBGX49K5J7YZ1XwIWSljo TPdBR61NJ+0/pTclpvOtPy/S3P0TodaImHgyYKNsjf+5HU/WE35xqvo3IS8T05jjH6osrsiH T/Fpxv9fITxgqGzMOY9O1JtGEe58c1xXId3joo3gpgUn3kcnJScu3QdwgKReZ1W37zzaH0VS HsF2dnQtULunkN+LmmhzYj6EHyWhNZiLYrfACteymcm4sZGBb3BprcCkzZ1uXKypwGXaPM7g zRXmrM+rXUdhe8Oog8kyC6QV6sTEUdvNivpjx2U7tq6oc27fU6XeKOrnAp7lNGlVvSZpx1EH Wz+cdEkFDNx6cN2NBTN1mfy48fqYouYYdUWvxyS2xDO6oodYJl3mOcKngJtM2G7tHZj1u1zg RF13J68tZSKMC00rOTgWUUeb2arIZpOq3nklu5Gk9yT3pyzE5kEeH1DR5buQf+yUXoTufnhK weSAWg5o3afF6DYGFzX40NnonTTVpGzYijHYiBClpM7H0fbfREO02V2FH0gk5U0Fx6n3pnke UZ9vHUK40Lg7wFLwaRuPgX+VWHWoEGpbC01Qd6RNkkzjEkK6kHLPMiZ9u82ETtf+8jrp0qDN 2yATw5CDicAUQqZBBqwW9vmrcmF6OWeCuekerHFJ7uTqfd2Xf2Lg5uklJZltWXEJoCEOX9sC Oc+00xIUCViGsjXrD4ITjQeiyPHa8PIwXX0sj0ytM209+7nHR7+/YbaQaUHKs1holrlybfGL eObgzx1bCpVxo9Zj2Gd06ARhTtww2lvb2X/SulG7HGTCvOK3P4JSEREIyJraJkRv+RlhVILY JWFzIqvhvki0JtXQx9ETQCzw5HvPJdRZTjmahWWWgHRa/zDLDnPiakbeIuaTrtdxKVRvhy04 3OAFlP7ey6EnH/vXgyuNudFiGeaOgZfscezaEQlD2+rV9/gZhChVb0/xTQr3b05gG/LPm8AI HB9dU1KtLiZ8SJfhL12BWVA6nNvKeTMlTye6qHULZMfsP0jBSoR9aoS+HMh175c9z1JXtR4l zHftcUrokn/w+PJxyF8FgdN7DxCnpiCtlhuMOPS8ZwBEXfI8RQR7HmBXhQHo9w2b7+n86tUy 9XJiOfyMGIbo5SNppBaXpOKbpvaYSlEU1KhAjPfAQobQCT+MGjegxYYi/SO7jiPqZN8rJHwm Z0IQ7sdVVovF/pcBF42eb5KaJpxQD4glqaWycAS4n/r5hKXSthapbjNXPHUCP6pNTXT3twmL 1MYhKj1K4geLNixw0t5dlxzh5jHAWLdUspAuTYkbxdt8U8L/WNlCHAwnUjscBmk62IfHLi/m Rt82W4cKaw9sTzr5VkwPF/DoiA9xVIwldvSijeUaDftLa20UOm+6gL5uFI8KYi+Qh4sPAf0k Fd/cirHAbhYlaFpfn1ngUnXvp4dQZa0ooVOahxWzPrRevZ6iDy0Tw2tz0wB7OCDFJgwzGMX
  • Ironport-sdr: 64f0ac12_fNmQA6LImjDT4sHP4Uek2D66x8D7swOQpDE8WxMOkLP1IMx 79YyBgjgLx58sMn+uAoZ3ffdi6P942U3D0IQiCw==

CALL FOR PAPERS
Ninth International Conference on
Formal Structures for Computation and Deduction (FSCD 2024)
July 10-13, 2024, Tallinn, Estonia
https://fscd-conference.org/2024


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

Abstract: February 5, 2024
Submission: February 12, 2024
Rebuttal: April 2-6, 2024
Notification: April 22, 2024
Final version: May 6, 2024



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, 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 (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;
- Applications of formal systems in education.

6. Formal Systems for 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, or to TheoretiCS.

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

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

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 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. Alternatively to in-person presentation, also online presentation is possible, but in-person registration by at least one author will still be required.


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. 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).

PROGRAM COMMITTEE CHAIR
-----------------------
Jakob Rehof, TU Dortmund University
Email: fscd2024 at easychair.org

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


  • [Coq-Club] FSCD 2024: First Call for Papers, Carsten Fuhs, 08/31/2023

Archive powered by MHonArc 2.6.19+.

Top of Page