[TYPES/announce] Extended Deadline 11 November 2022 - Formal Methods Teaching Workshop (FMTea 2023) Call for Paper -

Catherine DUBOIS catherine.dubois at ensiie.fr
Fri Nov 4 04:17:54 EDT 2022

[apologies for cross-postings]


*# Formal Methods Teaching Workshop (FMTea 2023)*


6 March 2023 --- Affiliated with Formal Methods 2023


Erika Abraham, RWTH Aachen (Title to be announced)


  * 11 November 2022 : NEW Deadline for submission of papers

    5 December 2022: Notifications to authors


    5 January 2023: Deadline for camera-ready version


    6 March 2023: FMTea 2023 Workshop


Formal Methods provide software engineering with tools and techniques 
for rigorously reasoning about the correctness of systems. While in 
recent years formal methods are increasingly being used in industry, 
university curricula are not adapting at the same pace. Some existing 
formal methods classes interest and challenge students, whereas others 
fail to ignite student motivation. It is thus important to develop, 
share, and discuss approaches to effectively teach formal methods to the 
next generations. This discussion is now more important than ever due to 
the challenges and opportunities that arose from the pandemic, which 
forced many educators to adapt and deliver their teaching online. 
Exchange of ideas is critical to making these new online approaches a 
success and having a greater reach.

We envision this event as a one-day combination of keynote and workshop 
presentations, where various models of teaching are presented and 
explored, together with innovative approaches relevant for educators of 
Formal Methods in the 21st century.

More details can be found on our website: https://urldefense.com/v3/__https://fmtea.github.io__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDupw5DN4Q$  


We aim to attract papers detailing authors’ experiences with FM 
Teaching. We would like to get papers discussing successes and failures 
of various methods, case studies, tools, etc. As self-learning seems to 
be an important aspect of FM teaching, we appreciate experiences with 
online teaching, including experiences with teaching formal methods via 
MOOCs. A non-exhaustive list of topics of interest for the FMTea23 
workshop is below:


    Experiences and proposals related with “traditional” FM learning and


    Experiences and proposals related with online FM learning and teaching


    Integrating/embedding FM teaching/thinking within other computer
    science courses


    Teaching FM for industry


    Student projects on FM, including group projects


    Innovative learning and teaching methods for FM

Computer science is transforming into a rigorous engineering discipline. 
Improved teaching techniques will ensure that FM is at the heart of this 
transformation process.


FMTea 2023 is organized by FME’s Teaching Committee. Our broad aim is to 
support a worldwide improvement in learning Formal Methods, mainly by 
teaching but also via self-learning. To that end, we have already 
gathered a list of FM courses taught worldwide 
(https://urldefense.com/v3/__https://fme-teaching.github.io__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDu3K4BiEk$  ) and plan to collect other resources as 
well, such as FM case studies, FM inspirational papers, etc.

Furthermore, the FME Teaching Committee coordinates a tutorial series, 
held online via zoom. Tutorials are collected on the FME Teaching 
Committee website (https://urldefense.com/v3/__https://fme-teaching.github.io/__;!!IBzWLUs!QiuyZjIaQ-BTl2WxuMo-J5gDJvqqBicnFGFWJotTnF-lbnTWAHj_QU-7_7dL95ii-ccC6RRXH-_-4pZGkdfZdbfqdFNJM9kUGRDumtd5nHs$  ).



  * Catherine Dubois (co-chair), ENSIIE, France
  * Pierluigi San Pietro (co-chair), Politecnico di Milano, Italy
  * Brijesh Dongol, University of Surrey, UK
  * Luigia Petre, Åbo Akademi University, Finland
  * Kristin Rozier, Iowa State University, US
  * Graeme Smith, The University of Queensland, Australia
  * Claudio Menghi, McMaster University, Canada
  * João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal
  * Alexandra Mendes, INESC TEC & University of Beira Interior, Portugal
  * Sandrine Blazy, University of Rennes 1, France
  * José N. Oliveira, University of Minho, Portugal
  * Emil Sekerinski, McMaster University, Canada


Several events focused on teaching aspects for Formal Methods were held 
at the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 
2003 and London in 2006), the TFM 2004 conference in Ghent (with 
proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 
workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 
2008), FMET 2008 (Kitakyushu 2008, co-located with ICFEM), and TFM 2009 
(Eindhoven, at FM 2009 with proceedings published as Springer LNCS 
Volume 5846). The first  FMTea event was FMTea 2019, the Formal Methods 
Teaching Workshop and Tutorial, in October 2019 in Porto, Portugal, 
affiliated with the 3rd World Congress on Formal Methods (FM19) with 
proceedings as Springer LNCS 11758. The FMTea 2021 workshop, affiliated 
with FM 2021, the 24th International Symposium on Formal Methods, 
Beijing, was held only online  in November 2021, with proceedings 
published as Springer LNCS 13122.


FMTea 2023 invites high quality papers reporting on opinions, 
approaches, and experiences related to the topic of teaching Formal 
Methods. Each submitted paper will be reviewed by at least three PC 
members. The conference proceedings will be published in Springer's 
Lecture Notes in Computer Science series. All submissions must be 
original, unpublished, and not submitted for publication elsewhere. 
Submissions must be in PDF format, using the Springer LNCS style files; 
we suggest to use the LaTeX2e package (the llncs.cls class file, 
available in llncs2e.zip and the typeinst.dem available in typeinst.zip 
as a template for your contribution). Papers should not exceed 15 pages 
in length. Submissions should be made using the FMTea 2023 Easychair web 


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 FM2023 organizers, and present the paper.


Catherine Dubois, professor
ENSIIE, lab. Samovar
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221104/d6d9cc0b/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: catherine_dubois.vcf
Type: text/vcard
Size: 4 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221104/d6d9cc0b/attachment-0001.vcard>

More information about the Types-announce mailing list