[TYPES/announce] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!

Luigia Petre Luigia.Petre at abo.fi
Thu Mar 28 06:09:58 EDT 2024 

For the first time ever, the FM symposium hosts a tutorial papers track: https://urldefense.com/v3/__https://www.fm24.polimi.it/?page_id=310__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz34nmV5uk$ .

We invite you to submit your tutorial contributions here!


Important Dates (Tutorial Papers Only)


Tutorial Paper Submission


April 19th, 2024 (Fri)


23:59 AoE


Preliminary Decision


May 24th, 2024 (Fri)


23:59 AoE


Revised Version Due


June 9th, 2024 (Sun)


23:59 AoE


Final Decision


June 24th, 2024 (Mon)


23:59 AoE


Final Paper Due


July 1st, 2024 (Mon)


23:59 AoE


Conference


September 9th – 13th, 2024




Tutorial papers present ideas with a focus on pedagogy over technical
innovation. By being written in a broadly-accessible way, a tutorial will
clarify important ideas, bring new researchers into the community, and serve
as a bridge to practitioners. A good tutorial paper is not expected to have
any technical innovation at all. Instead, we will evaluate it on its pedagogy:
Is it crisp and clear? Is it readable? Does it help build good intuitions? Is
it comfortable to follow? Will it help useful ideas reach a much broader
audience?

While tutorials about tools are a canonical fit, tutorials about techniques
are also welcome. Prospective authors who want to suggest tutorials of other
kinds are welcome to contact the chairs to get guidance. In general, we are
very open-minded about what tutorials are about, provided they are about
topics of interest to the formal methods community.

Tutorial papers can be at most 22 pages in LNCS format. There is no minimum
length; the tutorial should be as long as necessary to be effective, but
should avoid filler. Tools should include links and descriptions of how to run
them. Papers are welcome to include an appendix, which reviewers will read at
their discretion. (We understand that detailed screen-shots, tool
descriptions, etc., are best relegated to an appendix, and reviewers will make
a good-faith effort to examine these.) Authors of a paper need not be the
creators of the technical concepts it describes. The paper must provide clear
references to the original technical content. The presentation must be novel
relative to the published literature.

Accepted papers will be published in the conference proceedings. Authors of
accepted papers will be given a presentation slot in the tutorials period
preceding the main conference. The tutorial paper submission should specify
the desired length of the presentation, which can be a half or full day. They
will also be invited (but are not required) to give a five-minute presentation
during the main conference, to give their tutorial wider notice.

Authors of tutorials are strongly encouraged to submit at least preliminary
versions of runnable/machine-readable artifacts to accompany their papers,
where appropriate. Authors of preliminarily accepted tutorials are strongly
encouraged to submit an artifact for evaluation by the FM 2024 Artifact
Evaluation Committee after the preliminary notification for their tutorial.

Authors can also request a tutorial presentation slot without an accompanying
paper by submitting a short tutorial proposal instead. Priority will be given,
however, to tutorials accompanied by full tutorial papers.

Submissions
Submit your papers at https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fm24__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3z39MQnl$ 

<https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fm24__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3z39MQnl$ >

Tutorial Track Committee


Member(s)


Affiliation


Role


Luigia Petre<https://urldefense.com/v3/__https://luigia-petre.github.io/luigiapetre/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz35Vo3_Yl$ >


Åbo Akademi University, Finland


PC Co-Chair


Shriram Krishnamurthi<https://urldefense.com/v3/__https://cs.brown.edu/*sk/__;fg!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3_77LVKx$ >


Brown University, USA


PC Co-Chair


Anindya Banerjee<https://urldefense.com/v3/__https://software.imdea.org/people/anindya.banerjee/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz33GmjE0F$ >


IMDEA Software Institute, Spain


PC Member


Brijesh Dongol<https://urldefense.com/v3/__https://brijeshdongol.github.io/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3-mi9_b2$ >


University of Surrey, UK


PC Member


Daniel Jackson<https://urldefense.com/v3/__https://people.csail.mit.edu/dnj/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3xyhAzGt$ >


MIT, USA


PC Member


David Thrane Christiansen<https://urldefense.com/v3/__https://davidchristiansen.dk/index.html__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz38gSK3ME$ >


Lean FRO, LLC


PC Member


Jan Friso Groote<https://urldefense.com/v3/__https://www.tue.nl/en/research/researchers/jan-friso-groote__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3xjtVY59$ >


Eindhoven University of Technology, Netherlands


PC Member


Jannis Limperg<https://urldefense.com/v3/__https://limperg.de/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3zsdd5Mx$ >


University of Munich (LMU), Germany


PC Member


Jeroen Keiren<https://urldefense.com/v3/__https://www.jeroenkeiren.nl/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3-eRrt8O$ >


Eindhoven University of Technology, Netherlands


PC Member


Marcello Bonsangue<https://urldefense.com/v3/__https://www.universiteitleiden.nl/en/staffmembers/marcello-bonsangue*tab-1__;Iw!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz33r7OPPk$ >


Leiden University, Netherlands


PC Member


Markus Alexander Kuppe<https://urldefense.com/v3/__https://www.linkedin.com/in/markus-kuppe-643559180/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz30I1VJBB$ >


Microsoft Research, USA


PC Member


Maurice ter Beek<https://urldefense.com/v3/__https://www.isti.cnr.it/it/chi-siamo/people-detail/361/Maurice_Henri_ter_Beek__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz33Urc4mY$ >


CNR-ISTI, Pisa, Italy


PC Member


Nikolaj Bjorner<https://urldefense.com/v3/__https://www.microsoft.com/en-us/research/people/nbjorner/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3zK6ZEeo$ >


Microsoft Research, USA


PC Member


Rosemary Monahan<https://urldefense.com/v3/__https://www.maynoothuniversity.ie/faculty-science-engineering/our-people/rosemary-monahan__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz31iTdK6n$ >


Maynooth University, Ireland


PC Member


Stefan Hallerstede<https://urldefense.com/v3/__https://www.au.dk/vis/person/sha@ece.au.dk__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz35vAEOag$ >


Aarhus University, Denmark


PC Member


Thierry Lecomte<https://urldefense.com/v3/__https://www.linkedin.com/in/thierry-lecomte-19695b/?originalSubdomain=fr__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz31Z8tIcv$ >


CLEARSY, France


PC Member


Tim Nelson<https://urldefense.com/v3/__https://cs.brown.edu/*tbn/__;fg!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3-O3SJqz$ >


Brown University, USA


PC Member




We look forward to your contributions,

Luigia and Shriram


FM 2024 is the 26th international symposium in a series organized by Formal
Methods Europe (FME). The topics covered include the development and
application of formal methods in a wide range of domains including software,
cyber-physical systems and integrated computer-based systems.

FM 2024 is organised during September 9-13, 2024, at Politecnico di Milano, in
Italy: https://urldefense.com/v3/__https://www.fm24.polimi.it/__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz3_h4BbG9$ .




__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!UtpLKt4i70ZXo_viaTxEAlNlzSHjzcx_SNMac4QLG_3CRH2BUjabeUno2ftTSkX_-PX7LE-ayQ14qLr_HrWKFPNc2bvz33ddhs3e$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240328/4958e551/attachment-0001.htm>

More information about the Types-announce mailing list