FMTea19: Formal Methods Teaching Workshop and Tutorial Alfandega Porto Congress Centre, http://formalmethods2019.inesctec.pt/?page_id=140 Porto, Portugal, October 7, 2019 |
Conference website | https://fmtea.github.io |
Submission link | https://easychair.org/conferences/?conf=fmtea19 |
Conference program | https://easychair.org/smart-program/FMTea19/ |
Submission deadline | June 15, 2019 |
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. We need to find ways to teach formal methods to the next generation, and doing so will require us to adapt our teaching to the 21st century students.
FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Formal Methods, FM2019. Its aim is to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula.
Tutorial part of FMTea19
We are very pleased to have Carroll Morgan giving an invited talk on his approach to and experiences with teaching formal methods to undergraduate students. Sir Tony Hoare will also join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will run two more tutorial presentations, held by Holger Hermanns and Bas Luttik, on experiences with concurrency and online teaching. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century.
Workshop Part of FMTea19
In the workshop part of the event, 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.
Submission Guidelines
FMTea19 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 is planned to 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 FMTea19 Easychair web site:
https://easychair.org/conferences/?conf=FMTea19
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 FM2019 organizers, and present the paper.
Committees
Program Committee
- Luigia Petre, Åbo Akademi University, Finland (co-chair)
- Brijesh Dongol, University of Surrey, UK (co-chair)
- Graeme Smith, University of Queensland, Australia (co-chair)
- Catherine Dubois, ENSIIE, France
- Joao F. Ferreira, University of Lisbon, Portugal
- K. Rustan M. Leino, Amazon Web Services, US
- Alexandra Mendes, University of Beira Interior, Portugal
- Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
- Pierluigi San Pietro, Politecnico di Milano, Italy
- Kenji Taguchi, CAV, Japan
Invited Speakers
- Carroll Morgan, University of New South Wales, Australia
Publication
FMTea19 proceedings will be published in Springer's Lecture Notes in Computer Science series.
Venue
The conference will be held in Portugal, at the Alfandega Porto Congress Centre (APCC) (Google Maps: 41.143928, -8.621688) in Porto, by the river Douro.
Contact
All questions about submissions should be emailed to the FMTea19 chairs.