# CFPs

**URL:** https://discourse.rocq-prover.org/c/announcements/cfp/27.md

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

---

## [About the CFPs category](https://discourse.rocq-prover.org/t/about-the-cfps-category/2825)

<div class="topic-metadata">

**Author:** [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Replies:** 0\
**Last updated:** [September 9, 2025, 3:11pm UTC](https://discourse.rocq-prover.org/t/about-the-cfps-category/2825 "2025-09-09T15:11:26Z")

</div>

This sub-category can be used for announcing CFPs (Calls for Papers, Calls for Participation) for conferences and journals. CFPs may also be posted in categories Announcements, \[de\] Rocq auf Deutsch \> Ankündigungen, \[es\]…

---

## [WebAssembly Workshop @ POPL 2027](https://discourse.rocq-prover.org/t/webassembly-workshop-popl-2027/3152)

<div class="topic-metadata">

**Author:** [@conrad-watt](https://discourse.rocq-prover.org/u/conrad-watt)\
**Replies:** 0\
**Last updated:** [October 22, 2026, 11:32am UTC](https://discourse.rocq-prover.org/t/webassembly-workshop-popl-2027/3152 "2026-10-22T11:32:51Z")

</div>

=== WebAssembly Workshop @ POPL 2027 === Website: WAW 2027 - POPL 2027 WebAssembly is a general-purpose low-level virtual machine, adopted by all major Web browsers and specified fully in terms of a pen-and-paper forma…

---

## [Call for abstracts WITS 2027](https://discourse.rocq-prover.org/t/call-for-abstracts-wits-2027/3151)

<div class="topic-metadata">

**Author:** [@yforster](https://discourse.rocq-prover.org/u/yforster)\
**Replies:** 0\
**Last updated:** [October 21, 2026, 2:39pm UTC](https://discourse.rocq-prover.org/t/call-for-abstracts-wits-2027/3151 "2026-10-21T14:39:24Z")

</div>

\----------------------------------------------------------------------------------------------------------------------------------- \*\* \*\* CALL FOR ABSTRACTS \*\* \*\* WITS 2027 is the 6th Workshop on the Implementa…

---

## [CFP - CPP 2027 - Certified Programs and Proofs](https://discourse.rocq-prover.org/t/cfp-cpp-2027-certified-programs-and-proofs/3063)

<div class="topic-metadata">

**Author:** [@CohenCyril](https://discourse.rocq-prover.org/u/CohenCyril)\
**Replies:** 1\
**Last updated:** [October 12, 2026, 11:32am UTC](https://discourse.rocq-prover.org/t/cfp-cpp-2027-certified-programs-and-proofs/3063 "2026-10-12T11:32:16Z")

</div>

Call for Papers Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their w…

---

## [NWPT 2026: Deadline Extension Until October 10th](https://discourse.rocq-prover.org/t/nwpt-2026-deadline-extension-until-october-10th/3129)

<div class="topic-metadata">

**Author:** [@Chad\_Mitchell\_Nester](https://discourse.rocq-prover.org/u/Chad_Mitchell_Nester)\
**Replies:** 0\
**Last updated:** [October 6, 2026, 7:45am UTC](https://discourse.rocq-prover.org/t/nwpt-2026-deadline-extension-until-october-10th/3129 "2026-10-06T07:45:41Z")

</div>

The deadline for abstract submissions has been extended until October 10th, midnight AOE. == Call for Papers == 36th Nordic Workshop on Programming Theory November 19-20th, 2026, University of Tartu, Tartu, Estonia C…

---

## [JFLA2027 : Dernier appel à communications](https://discourse.rocq-prover.org/t/jfla2027-dernier-appel-a-communications/3128)

<div class="topic-metadata">

**Author:** [@Yannick](https://discourse.rocq-prover.org/u/Yannick)\
**Replies:** 0\
**Last updated:** [October 6, 2026, 6:17am UTC](https://discourse.rocq-prover.org/t/jfla2027-dernier-appel-a-communications/3128 "2026-10-06T06:17:58Z")

</div>

This message is intentionally written in French. It is a call for papers for the “Francophone Days on Functional Languages” to be held at the end of January 2027 in Britany. Papers can be written in English, but the pr…

---

## [NWPT 2026, Final Call for Contributions](https://discourse.rocq-prover.org/t/nwpt-2026-final-call-for-contributions/3110)

<div class="topic-metadata">

**Author:** [@Chad\_Mitchell\_Nester](https://discourse.rocq-prover.org/u/Chad_Mitchell_Nester)\
**Replies:** 0\
**Last updated:** [September 15, 2026, 7:42am UTC](https://discourse.rocq-prover.org/t/nwpt-2026-final-call-for-contributions/3110 "2026-09-15T07:42:53Z")

</div>

== Call for Papers == 36th Nordic Workshop on Programming Theory November 19-20th, 2026, University of Tartu, Tartu, Estonia Conference web page: https://kodu.ut.ee/~nester/nwpt-2026/main.html == Important Dates (AOE…

---

## [JFLA 2027: Second Appel à Communications](https://discourse.rocq-prover.org/t/jfla-2027-second-appel-a-communications/3102)

<div class="topic-metadata">

**Author:** [@Yannick](https://discourse.rocq-prover.org/u/Yannick)\
**Replies:** 0\
**Last updated:** [September 8, 2026, 3:01pm UTC](https://discourse.rocq-prover.org/t/jfla-2027-second-appel-a-communications/3102 "2026-09-08T15:01:49Z")

</div>

This message is intentionally written in French. It is a call for papers for the “Francophone Days on Functional Languages” to be held at the end of January 2027 in Britany. Papers can be written in English, but the pr…

---

## [NWPT 2026, Second Call for Contributions](https://discourse.rocq-prover.org/t/nwpt-2026-second-call-for-contributions/3073)

<div class="topic-metadata">

**Author:** [@Chad\_Mitchell\_Nester](https://discourse.rocq-prover.org/u/Chad_Mitchell_Nester)\
**Replies:** 0\
**Last updated:** [July 21, 2026, 9:32am UTC](https://discourse.rocq-prover.org/t/nwpt-2026-second-call-for-contributions/3073 "2026-07-21T09:32:12Z")

</div>

== Call for Papers == 36th Nordic Workshop on Programming Theory November 19-20th, 2026, University of Tartu, Tartu, Estonia Conference web page: https://kodu.ut.ee/~nester/nwpt-2026/main.html == Important Dates (AOE…

---

## [2nd CFP: Tribute to Gilles Dowek workshop - July 18th, FLoC 26, Lisbon, Portugal](https://discourse.rocq-prover.org/t/2nd-cfp-tribute-to-gilles-dowek-workshop-july-18th-floc-26-lisbon-portugal/3062)

<div class="topic-metadata">

**Author:** [@olivhash](https://discourse.rocq-prover.org/u/olivhash)\
**Replies:** 0\
**Last updated:** [June 24, 2026, 12:44pm UTC](https://discourse.rocq-prover.org/t/2nd-cfp-tribute-to-gilles-dowek-workshop-july-18th-floc-26-lisbon-portugal/3062 "2026-06-24T12:44:47Z")

</div>

Call for Participation \*\*Tribute to Gilles Dowek\*\* FLoC workshop, July 18, 2026, Lisbon, Portugal Tribute to Gilles Dowek Registration web site: FLoC 2026: The 9th Federated Logic Conference Gi…

---

## [Call for Presentations: ML Family Workshop 2026](https://discourse.rocq-prover.org/t/call-for-presentations-ml-family-workshop-2026/3032)

<div class="topic-metadata">

**Author:** [@bmontagu](https://discourse.rocq-prover.org/u/bmontagu)\
**Replies:** 0\
**Last updated:** [May 20, 2026, 9:07am UTC](https://discourse.rocq-prover.org/t/call-for-presentations-ml-family-workshop-2026/3032 "2026-05-20T09:07:18Z")

</div>

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2026 August 28, 2026 Indianapolis (Co-located with ICFP’26) + Paris (Co-located with FW’26) Website: Submission Link: Submission Deadline: June 24, 2026,…

---

## [CfC: The Rocqshop 2026](https://discourse.rocq-prover.org/t/cfc-the-rocqshop-2026/3018)

<div class="topic-metadata">

**Author:** [@lpujet](https://discourse.rocq-prover.org/u/lpujet)\
**Replies:** 2\
**Last updated:** [May 18, 2026, 9:50am UTC](https://discourse.rocq-prover.org/t/cfc-the-rocqshop-2026/3018 "2026-05-18T09:50:22Z")

</div>

1ST CALL FOR CONTRIBUTIONS AND PARTICIPATION The Rocqshop 2026 25 July 2026 (\*), Lisbon, Portugal. Part of FLoC 2026. https://coq-workshop.gitlab.io/2026/ The Rocqshop (formerly the Coq Workshop) brings together users,…

---

## [NWPT 2026, First Call for Papers](https://discourse.rocq-prover.org/t/nwpt-2026-first-call-for-papers/3029)

<div class="topic-metadata">

**Author:** [@Chad\_Mitchell\_Nester](https://discourse.rocq-prover.org/u/Chad_Mitchell_Nester)\
**Replies:** 0\
**Last updated:** [May 18, 2026, 8:18am UTC](https://discourse.rocq-prover.org/t/nwpt-2026-first-call-for-papers/3029 "2026-05-18T08:18:56Z")

</div>

== Call for Papers == 36th Nordic Workshop on Programming Theory November 19-20th, 2026, University of Tartu, Tartu, Estonia Conference web page: https://kodu.ut.ee/~nester/nwpt-2026/main.html == Important Dates (AOE…

---

## [Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon](https://discourse.rocq-prover.org/t/twelfth-workshop-on-mathematically-structured-functional-programming-saturday-18th-july-2026-lisbon/2956)

<div class="topic-metadata">

**Author:** [@mkerjean](https://discourse.rocq-prover.org/u/mkerjean)\
**Replies:** 1\
**Last updated:** [May 1, 2026, 4:07am UTC](https://discourse.rocq-prover.org/t/twelfth-workshop-on-mathematically-structured-functional-programming-saturday-18th-july-2026-lisbon/2956 "2026-05-01T04:07:55Z")

</div>

Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 18th July 2026, Lisbon, Portugal A satellite workshop of FSCD 2026 Deadline: Wednesday 29th April (AoE) The tenth workshop on Mathemati…

---

## [CfC: DIALOCO Workshop](https://discourse.rocq-prover.org/t/cfc-dialoco-workshop/2963)

<div class="topic-metadata">

**Author:** [@pablogician](https://discourse.rocq-prover.org/u/pablogician)\
**Replies:** 1\
**Last updated:** [April 30, 2026, 11:38pm UTC](https://discourse.rocq-prover.org/t/cfc-dialoco-workshop/2963 "2026-04-30T23:38:11Z")

</div>

Call for Contributions — Workshop on Diagrams in Logic and Computation (DIALOCO) 19 July 2026, Lisbon, Portugal Affiliated with the Federated Logic Conference (FLoC 26) Diagrammatic reasoning is playing an increasing…

---

## [Horn Clauses for Verification and Synthesis (HCVS), FLOC 2026 - 2nd CFP](https://discourse.rocq-prover.org/t/horn-clauses-for-verification-and-synthesis-hcvs-floc-2026-2nd-cfp/3021)

<div class="topic-metadata">

**Author:** [@Fred](https://discourse.rocq-prover.org/u/Fred)\
**Replies:** 0\
**Last updated:** [April 23, 2026, 11:48am UTC](https://discourse.rocq-prover.org/t/horn-clauses-for-verification-and-synthesis-hcvs-floc-2026-2nd-cfp/3021 "2026-04-23T11:48:32Z")

</div>

13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for Papers 25 July 2026, Lisbon, Portugal Part of FLoC 2026; affiliated with CAV 2026 Important Dates \* Paper submission - extended deadli…

---

## [CfC: Syntax and Semantics of Type Theories 2026](https://discourse.rocq-prover.org/t/cfc-syntax-and-semantics-of-type-theories-2026/2996)

<div class="topic-metadata">

**Author:** [@mortberg](https://discourse.rocq-prover.org/u/mortberg)\
**Replies:** 0\
**Last updated:** [March 23, 2026, 10:55am UTC](https://discourse.rocq-prover.org/t/cfc-syntax-and-semantics-of-type-theories-2026/2996 "2026-03-23T10:55:44Z")

</div>

This is a call for contributions to the 3rd workshop on Syntax and Semantics of Type Theories, in Ljubljana, June 4–5 2026, collocated with MFPS. The workshop covers the mathematical meta-theoretic study of type theorie…

---

## [AIPV 2026](https://discourse.rocq-prover.org/t/aipv-2026/2970)

<div class="topic-metadata">

**Author:** [@yonoteam](https://discourse.rocq-prover.org/u/yonoteam)\
**Replies:** 0\
**Last updated:** [March 12, 2026, 11:43am UTC](https://discourse.rocq-prover.org/t/aipv-2026/2970 "2026-03-12T11:43:42Z")

</div>

Hello, Apologies for multiple posts. Consider joining AIPV 2026, a workshop on AI, theorem proving, and formal verification, co-located with FM 2026 in Tokyo. Topics include AI-guided proof search, higher-order logics…

---

## [13th Workshop on Horn Clauses for Verification and Synthesis (HCVS)](https://discourse.rocq-prover.org/t/13th-workshop-on-horn-clauses-for-verification-and-synthesis-hcvs/2961)

<div class="topic-metadata">

**Author:** [@Fred](https://discourse.rocq-prover.org/u/Fred)\
**Replies:** 0\
**Last updated:** [March 5, 2026, 2:55pm UTC](https://discourse.rocq-prover.org/t/13th-workshop-on-horn-clauses-for-verification-and-synthesis-hcvs/2961 "2026-03-05T14:55:36Z")

</div>

13th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Call for Papers 25 July 2026, Lisbon, Portugal Part of FLoC 2026; affiliated with CAV 2026 Important Dates \* Paper submission deadline: 7 May 2…

---

## [Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July](https://discourse.rocq-prover.org/t/workshop-on-theorem-proving-components-for-educational-software-thedu26-at-floc-lisbon-19-july/2953)

<div class="topic-metadata">

**Author:** [@jnarboux](https://discourse.rocq-prover.org/u/jnarboux)\
**Replies:** 0\
**Last updated:** [February 28, 2026, 1:34pm UTC](https://discourse.rocq-prover.org/t/workshop-on-theorem-proving-components-for-educational-software-thedu26-at-floc-lisbon-19-july/2953 "2026-02-28T13:34:13Z")

</div>

16th International Workshop on Theorem proving components for Educational software. https://theduworkshop.github.io/ThEduWebSite/#thedu26-presentation ThEdu is open to all aspects of the design or use of logical tools …

---

## [FMBC CFP](https://discourse.rocq-prover.org/t/fmbc-cfp/2865)

<div class="topic-metadata">

**Author:** [@spitters](https://discourse.rocq-prover.org/u/spitters)\
**Replies:** 0\
**Last updated:** [December 2, 2025, 2:24pm UTC](https://discourse.rocq-prover.org/t/fmbc-cfp/2865 "2025-12-02T14:24:25Z")

</div>

FMBC 2026 - First Call for Papers ========================================================================= 7th International Workshop on Formal Methods for Blockchains - First Call https://fmbc.gitlab.io/2026 April …