[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
We would like to draw your attention to FMTea 2026, an event affiliated with
the 27th International Symposium on Formal Methods (FM 2026). FMTea is devoted
to the discussion and exchange of ideas on effective approaches to teaching
Formal Methods.
Please accept our apologies if you receive this message more than once.
For further details, including the Call for Papers, please visit:
* Website:
https://urldefense.com/v3/__https://fmtea.github.io/__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTH2xzTVn$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Ffmtea.github.io*2F&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601141114*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=Mmbxurnqq1mTfa1PzPjaLhrunq*2BXqIHZy6xSHc0Q*2B8w*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTIfTMQA7$
>
* EasyChair Smart CFP:
https://urldefense.com/v3/__https://easychair.org/cfp/fmtea2026__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTB4TzOgD$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Feasychair.org*2Fcfp*2Ffmtea2026&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601161525*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=I4Mz3jFlkCkUG5VwiOHy6pI02VYJMgzw5xX3pUpuy7Q*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTMXhxwqb$
>
We would be grateful if you could help us disseminate this call within your
communities.
Best regards,
Gustavo and Tsutomu
FMTea 2026 PC Chairs
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
CALL FOR PAPERS
FMTea 2026
(https://urldefense.com/v3/__https://fmtea.github.io/__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTH2xzTVn$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Ffmtea.github.io*2F&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601177486*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=VCra5YU2HW5rnycO*2FZzusyZRQIF*2BLE*2B4*2BRg9nPqMERA*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTF1zQp3i$
>) invites high-quality papers reporting on opinions, approaches, and
experiences related to the topic of teaching Formal Methods. We welcome papers
discussing the successes and failures of various methods, case studies, tools,
etc. As self-learning is an emerging aspect of formal methods, we appreciate
experiences with online teaching, including experiences with teaching formal
methods via MOOCs. A non-exhaustive list of topics of interest for the workshop
is as follows:
* Experiences and proposals related to "traditional" and online FM learning
and teaching;
* Innovative learning/teaching methods (e.g., automated grading/feedback
using LLMs);
* Integrating/embedding formal methods within other computer science
courses;
* Integrating/embedding FM teaching/thinking within other computer science
courses;
* Teaching formal methods for industry;
* Student projects, including group projects.
If applicable, we encourage authors to provide the following information in the
paper: degree and level of students, delivery mode (in person, synchronous or
asynchronous, blended, flipped classroom, etc.), number of students, assessment
dynamics, languages and tools addressed.
Venue
FMTea 2026 is an event affiliated with FM 2026, the 27th International
Symposium on Formal Methods
(https://urldefense.com/v3/__https://conf.researchr.org/home/fm-2026__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTMUVfOnu$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Fconf.researchr.org*2Fhome*2Ffm-2026&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601194782*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=R8aCjupBSq*2BXItCx1cHzMA5OIQqQIvp2KP7qIx2QCb4*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTO5NbQOZ$
>), and supported by the Teaching Committee
(https://urldefense.com/v3/__https://fme-teaching.github.io/__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTOLK046e$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Ffme-teaching.github.io*2F&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601208242*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=kOcIoyeByWh00VUaWu4PYVS*2Bb6vJraj*2BvOk8F7Z*2BNVo*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTDoNNKLJ$
>) of the Formal Methods Europe
(https://urldefense.com/v3/__https://www.fmeurope.org/__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTK7UtZll$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.fmeurope.org*2F&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601221846*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=UvIyMElIGYcn*2BAEFyiYSD*2FCrnk5gRjGp28HY4XImGWw*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTOdsin37$
>) Association.
Important Dates
February 22, 2026: deadline for submitting abstracts (extended – AoE, hard
deadline)
February 22, 2026: deadline for submitting papers (extended – AoE, hard
deadline)
March 15, 2026: deadline for notifying authors (extended)
March 29, 2026: deadline for camera-ready version
May 19, 2026: FMTea 2026 Workshop
Submission Details
Each submitted paper will be reviewed by at least three PC members. Reviewing
is single-blind. All submissions must be original, unpublished, not submitted
for publication elsewhere, and written in English. The proceedings will be
published in the Formal Methods Teaching series of Springer’s Lecture Notes in
Computer Science
(https://urldefense.com/v3/__https://link.springer.com/conference/tfm__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTMX7qDW3$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Flink.springer.com*2Fconference*2Ftfm&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601234933*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=p*2BVp3wlpR9DipnmHBRq6xNWO3tSmNSJeX9bJRHj*2FYmc*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTLZr39BZ$
>).
Submissions must be in PDF format, using the Springer LNCS format
(https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTMXKqJEE$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.springer.com*2Fgp*2Fcomputer-science*2Flncs*2Fconference-proceedings-guidelines&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601247940*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=j6NaqzaTGPDy5wWlMgkxLwbaIV*2FfwGFpgDRuRidU5B4*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTOlMiCth$
>). Papers should not exceed 15 pages (excluding references and appendices) in
length. Submissions should be made using the FMTea 2026 EasyChair website:
https://urldefense.com/v3/__https://easychair.org/conferences?conf=fmtea2026__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTKx_Te-N$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Feasychair.org*2Fconferences*3Fconf*3Dfmtea2026&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601260765*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=87GjQKeb9ygQjaCxybYWZjJ7pOpbYcLK25jVwyWfXPo*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTIgBJyhG$
>
All accepted papers must be presented at the workshop. Their authors must be
prepared to sign a copyright transfer statement. At least one author of each
accepted paper must register to the conference by an early date, to be
indicated by the FM 2026 organizers, and present the paper.
Use of AI by authors
FMTea 2026 adheres to Springer's policy on AI use in papers. In brief:
* Use of an LLM should be properly documented in the Methods section (and
if a Methods section is not available, in a suitable alternative part) of the
manuscript.
* The use of an LLM (or other AI-tool) for “AI assisted copy editing”
purposes does not need to be declared.
For further information, see the full policy:
https://urldefense.com/v3/__https://link.springer.com/brands/springer/journal-policies*Artificial*20intelligence*20(AI)__;IyUl!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTHoPFKp9$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Flink.springer.com*2Fbrands*2Fspringer*2Fjournal-policies*23Artificial*2520intelligence*2520(AI)&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601273423*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=rpYGdLzPrny61qN0d49vA3wtGlcF4PIYLtTfTp0SxNI*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTDdXhF0M$
>.
Springer Nature Code of Conduct:
https://urldefense.com/v3/__https://www.springernature.com/gp/authors/book-authors-code-of-conduct__;!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTOskTc5r$
<https://urldefense.com/v3/__https://eur02.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.springernature.com*2Fgp*2Fauthors*2Fbook-authors-code-of-conduct&data=05*7C02*7Cconcurrency*40listserver.tue.nl*7Cef1712f9e0f6489b145a08de60224ba4*7Ccc7df24760ce4a0f9d75704cf60efc64*7C0*7C0*7C639053897601286345*7CUnknown*7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ*3D*3D*7C0*7C*7C*7C&sdata=IKW3G7*2FJVg7D8OjgnXY7JWVZeRTCZ36cp*2FKm6wMWiAM*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!UtDhyCLQHVM5z9pgmDeZEUBeejwyVEtYuBPnkq7OsVZEoeKTPxL48TmZN0r1rZNqLXv7F7788647JzQ5_-domnlDvV1KTDAqca1B$
>.
Program Committee
Erika Abraham, RWTH Aachen University, Germany
Sandrine Blazy, University of Rennes - IRISA, France
Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil
Brijesh Dongol, University of Surrey, United Kingdom
Catherine Dubois, ENSIIE-Samovar, France
Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
Thierry Lecomte, CLEARSY, France
Michael Leuschel, University of Düsseldorf, Germany
Tim Nelson, Brown University, United States of America
Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil
David Pearce, Victoria University of Wellington, New Zealand
Luigia Petre, Åbo Akademi University, Finland
Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil
Pierluigi San Pietro, Politecnico di Milano, Italy
Emil Sekerinski, McMaster University, Canada
Graeme Smith, The University of Queensland, Australia
Program Chairs
Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil
Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
