* [Caml-list] FPBT'27 Call for Papers (co-located with POPL'27)
@ 2026-09-16 14:23 Ningning Xie
0 siblings, 0 replies; only message in thread
From: Ningning Xie @ 2026-09-16 14:23 UTC (permalink / raw)
To: caml-list, coq-club, agda, haskell-cafe, types-announce
[-- Attachment #1: Type: text/plain, Size: 599 bytes --]
Call for Papers
https://popl27.sigplan.org/home/fpbt-2027
We are excited to announce that the first annual Future of Property-Based
Testing Workshop (FPBT'27) will be happening in Mexico City on January 12th
(co-located with POPL'27)!
FPBT will bring together researchers and educators who work on and teach
PBT to talk about what technical advances the research community should
focus on in the coming years, and how we can best bring PBT to the next
generation of software developers.
Submissions are open now (deadline October 23rd); see
https://popl27.sigplan.org/home/fpbt-2027 for details.
[-- Attachment #2: Type: text/html, Size: 817 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2026-09-16 14:23 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-09-16 14:23 [Caml-list] FPBT'27 Call for Papers (co-located with POPL'27) Ningning Xie
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox