Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Deadline extension for FICS Workshop (new deadline: 6/12/2023)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Deadline extension for FICS Workshop (new deadline: 6/12/2023)


Chronological Thread 
  • From: Alexis Saurin <alexis.saurin AT irif.fr>
  • To: types-announce AT LISTS.SEAS.UPENN.EDU, prooftheory AT lists.bath.ac.uk, agda AT lists.chalmers.se, categories AT mta.ca, coq-club AT inria.fr, caml-list AT inria.fr, games AT lists.rwth-aachen.de, coalgebra AT framalistes.org, concurrency AT listserver.tue.nl
  • Subject: [Coq-Club] Deadline extension for FICS Workshop (new deadline: 6/12/2023)
  • Date: Fri, 01 Dec 2023 12:06:04 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alexis.saurin AT irif.fr; spf=Pass smtp.mailfrom=alexis.saurin AT irif.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
  • Ironport-data: A9a23:SfkUfqCt6gAqCRVW/w3mw5YqxClBgxIJ4kV8jS/XYbTApGwhgzMGx mUXCjjTaaqDYDOgf492aIW1oxlSsJPTmoAyOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuHZDdJ5xYuajhPsvjb8Us21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc5xfIcmX9m8lfMAIdFrED4eU0CHNJ2 NVNfVjhbjjb7w636LG8UO5oi9plMc/qIsYHs2th1m6fA+xOrZLrGvSWo4UFgHFu34YXRqa2i 8kxMVKDaDzJZxBfO0xRE5sjhuaurnjlcjMepkj9Sa8fujOCklcvjOWxWDbTUuKuaJ90tGe+n WnpomPfXT0WDdW0lBPQpxpAgceKx0sXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWc9lWL khR/is1sYAp5UmzR5/8WQe5qTiKpHYht8F4EOog7wWA1OzJ5QeHQ3ANVD9aN5oorqfaWAAX6 7NApPuxbRQHjVFfYSj1Gm68/G3saxsGZ3QPfzEFRgYj6tzu6tN7xBHWQ9opVOb/gtTpEHuii 3qHvQovtYU11MQr7qSc+UyYojSOopOScBU5yD+KVU2Y7yR4RrWfWaqW1Xbh48x9cbmpFmu6g CBcmuy1zvw/MpWWpSncHMQPBO6I4tiGAh39gHluPYEq8jCo33uRbKFR/zBMC0N7OekUeTLSQ RHyuCEAwLRxLXeVfatMTIbpMPsTzI/kDsXDavDYSvFsc6pBXlaL0w82bHHBwl23tlYnlJ8OH KuycOGuPC48Mrtmxj/nfNUt++Yn6Q5mzFyCWK2h6Qqs1IefQ3unSb0lFl+qRcJh5YOmpDTly fpuB/Go+T5+DtKnOjL29LQNJ28kNXI4XJD6i/JGf965fzZJJjsTNO/z85gAJapegKVnpsXZ9 CqcW2hZ6mbFq1/pFAGoUk1nOZTTBctRjHRjJiE9H0ea6156a6aV0aovXZ8Wf74mye9d8cBJX 8Q1I8WuPtkfSxDs2SgsUp3mnYkzKDWpnV2vOgSmUhgefrlhZRbDof36dCTRrg0IMDe+hfoiq JKOxwrrZMEnQjZzLcfJacCAy0G6kmgdldlTAWrJAIh3U2f9/Ld6LxfeiqcMHPgNDhHY1B627 h2zAypEldLSooQwzsbFtZqEo6itDeF6OEhQREvf0pqbKgjY+TCF7bJbcePVYw3Yanz4yJ+ia cpR0fv4Fv8Nx3ROkohkFodU3bAM3MTuq5Ba3zZbMi3yNXrzMYxZI16CwcVrnY9OzOUAuQKJB 2S+yuMDMrCNYM7YAFodITQ+Vdu61NYWpyLz6MokK0Cr9Q51+7u6CX9pBSeusxAEDrVJM9IC+ 9wD6eo28A20jyQ4PumW1h5083u+FV1ecqEFmKxDPqrVpFsK8H9gb6bYKBfK27CUStAVMkAVM j6e36XDoLJHx3v9SXk4FFmT/O9ZlJ0xiQ14yn4DA3+rmdP1oOA98zMM0DYwTyVTlg5m1cAqM EdVFkRFH4e81BY2u9piBkeCQxpgAj+d8WzPk2o5rnXTFRSUZzacPV8DNvao12FH1WBlJxxw3 qySkUThWhbUJPDB5DM4AxNZmqayXO5K11Pwne68FJ64BLg8Wz3uh5GuaUcuqxfKBcAQhlXNl dJ1/dRfOLHKCioNn5IVU4Wq96wcaBShFlxwRftM+KAoH2aFXBqQ3TOICV66e+ITBvjs3HK7N fdTJZN0Z0zj7BqNkzEVO/ddafs81vsk/8ELdb7XNHYL+enX5CZgtJXLsDPynik3StFpitwwM Z7VaynEKGGLmH9IgCXYmaGo4IZjjQUsP2UQHdxZ8dnl07oAt/trdUwslKayvmvQKAJ9/gnL+ g3ZD0MTIyqO1qw097YA0I0ab+l3FT83fOWS8Q71vc4mgRbnL5LVrw1MwrX4F10+AFbSMuibU ZyMqt/5mk3f1Frzv6Y1hLHZf5R0CQ6OsCa7/y45wLS2XcdPZSM03yY+xg==
  • Ironport-hdrordr: A9a23:/Z6pSKn0JVlaL6Cjk9GNaR72gg7pDfI/3DAbv31ZSRFFG/Fws/ re+cjzsiWE7Ar5OUtQ+uxoV5PsfZqxz/FICOoqTNWftWvd1FdARbsKheCJ/9SKIUzDH4Bmu5 uIP5IfNOHN
  • Ironport-phdr: A9a23:OI+vbxdaLBFktnqrdRfwzzjglGM+kdfLVj580XLHo4xHfqnrxZn+J kuXvawr0AWZG9yFurke0qL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYr5+N gi6oATVu8UZn4duN7s6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth61cvRyhugd/w5bKb46JKPpwcKTdfdYASmpAWMZaSihND4y4Y ocKCecKIORWoJTnp1YWohSwCwmiCv3yxDBGhXH30rE13es6HAHa3wEgHc4CvGjOodj3MqoZT OC7zLPPzTXGd/5bxTP955bHcxAguvGHQK9+ftDMyUk1FgPFiEibpIv/MDORyOsMvGmb7/F6W eK0kWEnthtxojmpxso3i4nJnIMVyl7e+SV32oY4PNu1Q1N0btC4CpVfrT2aN5doTcM4RWFlo CU3xL0btJO4YCUG1pQpywLCZ/GEcYWF4BHuWeWQLDtmhH9od66ziguz/ES81OHxS8a63VhJo yRLjNTAq38A2hzV58OaRPV9+UKh1iyO1wDV8uxEIFo0lavVK5I7zL4wjIIfsUvCHi/qmEX2k bSZel8l+uiv8+jofK/ppoScNoBoigHxKKUumtalDeQ/KAgOUG6W8vm/2r375UD1XbFHg/Isn qXHsJ3XKt4Xq6+kDwNPz4ou5RWyAy+l3dgFh3ULMVZIdR2dg4XnJ13COu70APehj1mqjTxm2 fTGPqD6ApXRMHfDiqrvfbd86kFC0Ac/0dZS7I9OBL4bOvL8QErxucTYDhAnNwy0xP7qCNZ61 oMEXmKPBrGWML3IvV+V4OIvIveMaJYNuDnnMfgl5uXugH0jlV8TZ6mlxZoXaHamEfR6O0iVf H7hj9gbHWsUvgczQ/bmhVyfXTJJenq/UaEx6ik+CI28DIfDQo6tgKaG3Ce+BpBZfGRGBU6DE HfpbIWIQewMZziPIs97kzwEU6OsS4471RGvug/20bRnLvDM9i0erp3szMJ16PHLlREu6Tx0C NyQ33+VQ2FugmwIXyM23Lx4oUFl1liD1rF4j+VEGtxX+vNGSRw3NYXczux/E9D9QBjNftaPS Fa8Q9WpGys9Ttwrw9MWeUZyB82ijgzf3yqtG7Iai6aEBJkw8q7F23jxJt19y2rd2ak6j1gmR 9NPOne8iq5+8QjTHY/JnF+Dm6akb6RPlBLKoXuS1WeV+UheVgltV67IdVQ+XXft6+/Uz3iEc oeDL5JhHyd8jYaaMKxNZMHpgFJcVd/nOc/CeCS7knuwQx+DgK6PKMLjdGkU9CHcE1Qf1QsT9 HKDOBIlQDys5yrVBSBjGlX1Yk732exioTWwRwt8xAaTKkZlyrCd+xgPhPXaRelXlrkNvSNkr zRvAH682cjXApyOvU4pc6xZbMgV5FZcyXmfrRNhPtmpJqtii1hYfwkz90jp3hF4B49amOAkt novxQ5zMr6VyxVGbTzclZv3PLbKMHP/+hu+Q6rXwU3F3cyI971J9Ok17VPn7y+zEU932nFqw 9hOm0CV+4/LCkJGWJb8QkcssQNzuqvbZAE8/YLak3N2Z/rn+gTe0s4kUbN2gi2reM1SZf/Vf OeTO8gTBsz0bfcvh0DsdBUPeuZb6K8zOcqiMfqAwq+ieuh6z3q9lWoSxod73wqX8jZkDPbS1 sMMx/yI3xDBTD7hllanmsHtmI4CaytBVnGnx33cDZVKLrZ3YZ5NDG6vJ8OtwdArjprgS39Ds kWqGkkH3ueoYxucKVLnjkVLzUpCh3uhlGOjyiBs1TEkqq3KxCvV3+HrbwYKIEZIQ3NliVryZ 5Wyjs5fREGybhN20hW/jarj745coqk3b2zaQEMSOjPzM3knSKy78LyLf89I7pos9yRRSuW1J 16AGPb7pFMB3iXvEnE7pnhzfiy2upj/gx1xiX6MZHd1on3DfMhsxBDZrNXCTP9V1zACSWF2k z7STlS7OtCo+52TmfKh+qi3U2+xV4YVaiD214KGnCqh5GMsDwf+1/G/l9v7EBQrhDfh3ooPN 22ApxL9b4/3kqWiZLs2Ig8yWQO6tZM8Q9ouwe5SzNkK1HMXh4uY5y8CmGb3a5BA3L7mKWAKT ngNysLU5w7s3AtiKGiIzsT3TCb4oIMpat+kb2cRwi944dpNDfLe5bhJjSpu5EGxsBjQZ9B8h DYTj/U0oi1/4alBqE82wyORD6pHV0BcMDztjFKT5s2kraN/ZXyuf/6+zgAt+LLpRKHHqQZaV nHjf54kFiIl9cRzPmXH13jr453lct3dBT4KniWdiAyIz+1cKZZr0+EPmTIiI2X2+3ss1+88i xVqm5C8pomObWt3ruq1BRtRNzu9YM12mHmlhKJTjseNmZumA49gHB0KRprmC/yyWD4frvXoM Q+SHSZ08ybHX+CCQUnBsQE/9CKHGovjL3yNIXgF0dhuIXvVbFdShgwZRnRyn5I0EByr2N20d U544j4L4Vur4hBIy+9uK1z+SjKG9VvuMGpoDsbGakMNvlInhQ+dK8GV4+NtEjsN+5SgqFbIM WmHf0FSCmpPXEWYBlflN73o5N/a8uHeCPDtSpmGKbiIt+FaUO+FgJy11Y4ztT+IO9WOJT95B uAh20xrXGp4FYLXgX9cLk5f3zKIdMOdqBqmr2d+qs2v8e+tQwvy/4qJI7pIMNsp9Qr80sLhf 6aAwS1+LzhfzJYFw3TFnaMe0FAlgCZrbzCxEL4EuH2FXOfKl6RQFRJedzJrOZ4C8fcnxgcUc 52+6Ju9xvtig/UyEVsASVHxhpTje5kRO2/kfFbXTBGCMLDMTdHS6+fwZ670CbhZjeEO8ga1p S7eCUjoeDKKizjuURmrd+BKliCSehJE6sm7dV52BG7vQciDCFXzOcJrjTAw3bw/h2/bfW8aP z9mdkpRr7qWpSpGi/R7EmZF4zJrN+6B0yqe6uDZLN4Rv54JSmxskPlG5X0h17ZPxCJDXvtxl TWUs9hvvRS+m/OO0WUhXgAP4jdHiYSXvFlzbKXU8p4TPBSMtBkJ7GiWF1ELv448W4Gp4f0Mj IaW0vuoeGQnkZqc58YXCsnKJdjSNXMgNUCsAzvIFE4fSjXtM2jDhktbmfXU93uPr5F8pIK// fhGArJdSlExEesXT0p/G9lXap5zUyMliviAhdMS5HyWrQPQSoNUpNqUM5DaSeWqMzufgbReM lEQxqjkKI0IKoDh809lcF5+kZqMBkzRQ5VVqzdgdVByrl8Hox0cBiUjnknibA2q+noaE/W5y wU3hgVJauMo7D7w4l0zKzIiQQMxikg/39v/02j5mNHZLb2xU8dYEXit36DQGpD8WQFxYBP0g EplKnLcTqhQlOQme3o50Gfh
  • Ironport-sdr: 6569be2d_7MeX8cfTpX0zDZR7BrM4iz69PvkUtZhogBoJAg5Sn3aIuhT yyUJc1acWgTZWG1QoNlnyuX0GCzVY0iFFTSu36g==



(Apologies for multiple postings)

Due to several requests, we will extend the deadline for submissions to FICS workshop as follows, asking authors of contributions to register their paper soon:

- Paper registration deadline (title and abstract) : Sunday 3/12 (23:59 AoE).
- Paper submission deadline : Wednesday 6/12 (23:59 AoE).

More info below with the updated cfp.

Best,

Alexis Saurin
IRIF -- CNRS, Université Paris Cité & INRIA Picube
https://www.irif.fr/users/saurin/fics2024/index.html


=== Third Call for Contributions ===

12th International Workshop on Fixed Points in Computer Science
19 & 20 February 2024, Naples, Italy
https://www.irif.fr/users/saurin/fics2024/index.html

Next edition of FICS workshop (12th Workshop on Fixed Points in Computer Science) will take place in Naples on the 19th and 20th of February, 2024, affiliated with CSL 2024 (https://csl2024.github.io/Home/).


== Important dates and practical details==


- (NEW) Paper registration deadline (title and abstract) : **Sunday 3 December (23:59 AoE)**;
- (NEW) Submission deadline for short and extended abstracts: **Wednesday 6 December (23:59 AoE)**;
- Notification: 21 December 2023;
- Workshop: 19 and 20 February 2024.

Submission url: https://easychair.org/conferences/?conf=fics2024

Registration to the workshop will be handled by CSL 2024 (details to come). Online participation will be possible with a reduced registration fees, but at least an author of each abstract will have to register with on-site fees.


== About FICS workshop series ==

The goal is to bring together people from different subfields such as algebra/coalgebra, verification, logic, around the thematic of fixed points. Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases.
Topics include, but are not restricted to:
- fixed points in algebra and coalgebra
- fixed points in formal languages and automata
- fixed points in game theory
- fixed points in programming language semantics
- fixed points in proofs
- fixed points in the mu-calculus and modal logics
- fixed points in process algebras and process calculi
- fixed points in functional programming and type theory
- fixed points in relation to dataflow and circuits
- fixed points in automated theorem proving, interactive theorem proving and logic programming
- fixed points in finite model theory, descriptive complexity theory, and databases
- fixed points in category theory for logic in computer science


== Types of submissions ==

This year, we welcome two categories of submissions, short abstracts as well as extended abstracts:

- Both types of submissions will be handled via Easychair and will be peer-reviewed by the PC.
- In order to submit a short or extended abstract to FICS, please visit the following link:
https://easychair.org/conferences/?conf=fics2024
- A proceedings volume gathering the extended abstracts will be published by EPTCS shortly after the workshop (see details below).

Here are details on each type of submission:

- **short abstracts** are abstracts of **3 to 5 pages, references included**, describing the topic of the proposed contributed talk. They may contain (i) new completed results, (ii) work in progress or (iii) already (recently) published or submitted works. The submission can refer to a published paper or a preprint but the description given in the short abstract should be sufficiently detailed for the PC to judge the relevance of the proposed talk to the workshop program.

- **extended abstracts** are papers of **6 to 10 pages, references excluded**, describing original results which have not been published nor are currently submitted elsewhere. The results must be presented in sufficient details to constitute a scientific publication. An appendix can provide additional details for the reviewer but will be read at the discretion of the reviewers.
A volume of proceedings containing the **extended abstracts** will be published soon after the workshop by EPTCS: the authors of extended abstracts will be asked to submit a revised version few weeks after the event, allowing them to take into account the workshop discussions. Details will be released later.


== Invited speakers

- Anupam Das, University of Birmingham
- Barbara König, Universität Duisburg-Essen (joint CSL & FICS invited speaker)


== Program Committee ==

- Zena Ariola (University of Oregon, USA)
- Abhishek De (University of Birmingham, UK)
- Zeinab Galal (Università degli sutdi di Bologna, Italy)
- Guilhem Jaber (Université de Nantes, France)
- Ekaterina Komendantskaya (Heriot-Watt University, UK)
- Denis Kuperberg (CNRS & ENS Lyon, France)
- Martin Lange (University of Kassel, Germany)
- Christine Paulin-Mohring (Université Paris Saclay, France)
- Daniela Petrisan (Université Paris Cité, France)
- Alexis Saurin (CNRS & Université Paris Cité, France), PC Chair
- Thomas Studer (University of Bern, Switzerland)
- Tarmo Uustalu (Reykjavik University, Iceland)
- Yde Venema (University of Amsterdam, Netherland)


== Journal publication ==

Depending on the number and quality of submissions, we will plan a subsequent special issue of a journal, as often done for previous editions of the workshop.


== Contact ==

Alexis Saurin, alexis.saurin AT irif.fr
https://www.irif.fr/users/saurin/index


  • [Coq-Club] Deadline extension for FICS Workshop (new deadline: 6/12/2023), Alexis Saurin, 12/01/2023

Archive powered by MHonArc 2.6.19+.

Top of Page