* [Caml-list] FTfJP CfP, deadline extended
@ 2026-02-16 19:49 Akos Hajdu
0 siblings, 0 replies; only message in thread
From: Akos Hajdu @ 2026-02-16 19:49 UTC (permalink / raw)
To: Akos Hajdu
Cc: caml-list, comm-theory, facs-events, theorynt, acl2, agents,
ascens, concurrency, dbworld, dipartimento, events, fg-arc,
fmics, hol-info, ic.eatcs, maude-users, moca-announce, nwpt-info,
petrinet, resist, sci-diku-prog-lang, security, theory-a, agda,
clean-list, cphc-conf, humanist, isabelle-users, prog-lang,
relmics-l, announce, fmnet, procos, sbc-l, sensoria-core,
types-announce, yices, zforum, DMANET, gdr.gpl, lfcs-interest,
ecoop-info, ifip, aisworld, concurrency, fmics, fmindia,
fmxsocandbpm, fttc, gpce-news, gratra, grin-eventi-owner,
hipeac.publicity, hscc, ic.eatcs, ipalist, logic, maude-users,
moca-announce, nwpt-info, petrinet, reflective-middleware,
revcomp-list
[-- Attachment #1: Type: text/plain, Size: 697 bytes --]
Dear researchers,
We would like to invite you to submit your work as a paper to FTfJP 2026 (https://2026.ecoop.org/home/FTfJP-2026). The Formal Techniques for Judicious Programming (FTfJP) workshop is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields.
Important dates
- Submission deadline: 25th February, 2026 (extended)
- Notification: 1st April, 2026
- Camera ready: 30th April, 2026
- Workshop: 30th June, 2026
We have also confirmed the following invited speakers:
Bart Jacobs (KU Leuven)
Julien Lange (Royal Holloway, University of London)
Best regards,
Akos Hajdu
Meta
PC Chair
[-- Attachment #2: Type: text/html, Size: 4602 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2026-02-16 20:30 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-02-16 19:49 [Caml-list] FTfJP CfP, deadline extended Akos Hajdu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox