Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formal Methods Teaching Workshop (FMTea 2023) ...


view this post on Zulip Email Gateway (Aug 31 2022 at 17:04):

From: Catherine DUBOIS <catherine.dubois@ensiie.fr>
**

*

Formal Methods Teaching Workshop (FMTea 2023)

6 March 2023 --- Affiliated with Formal Methods 2023

INVITED SPEAKERS

to be announced soon

IMPORTANT DATES

*

3 November 2022: 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

OBJECTIVES AND SCOPE

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://fmtea.github.io

TOPICS

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
teaching

*

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.

ORGANIZATION

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://fme-teaching.github.io) 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://fme-teaching.github.io/).

PROGRAM COMMITTEE (to be completed)

*

Catherine Dubois, ENSIIE, France (co-chair)

*

Pierluigi San Pietro, Politecnico di Milano, Italy  (co-chair)

*

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,  University of Luxembourg, Luxembourg

*

João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal

*

Alexandra Mendez, INESC TEC & University of Beira Interior, Portugal

*

Sandrine Blazy, University of Rennes 1, France

PREVIOUS EDITIONS

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.

SUBMISSION DETAILS

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
site:

https://easychair.org/conferences/?conf=fmtea2023

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.vcf


Last updated: Mar 29 2024 at 08:18 UTC