=Paper=
{{Paper
|id=Vol-1385/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1385/Preface.pdf
|volume=Vol-1385
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1385/Preface.pdf</pdf>
<pre>
Andreas Bollin, Tiziana Margaria, Isabelle Perseil (Eds.)




FMSEE&T 2015
First Workshop on Formal Methods in Software
Engineering Education and Training



Workshop co-located with the 20th International Symposium on
Formal Methods, FM 2015 (http://fm2015.ifi.uio.no/workshops/)
Oslo, Norway, June 23rd, 2015
Proceedings
First Workshop on
Formal Methods in Software Engineering Education and Training
(FMSEE&T)

Published at CEUR-WS.org
ISSN 1613-0073

© 2015 for the individual papers by the papers’ authors. Copying permitted for pri-
vate and academic purposes. Re-publication of material from this volume requires
permission by the copyright owners.




Editors’ addresses:

Andreas Bollin
Alpen-Adria Universität Klagenfurt
Universitätsstrasse 65-67
9020 Klagenfurt, Austria
Andreas.Bollin@aau.at

Tiziana Margaria
Lero - the Irish Software Research Centre
University of Limerick
Tierney Building, Limerick, Irland
tiziana.margaria@lero.ie

Isabelle Perseil
INSERM - Institut National de la Santé et de la Recherche Médicale
Computational Science Coordination
13 rue Watt
75013 Paris, France
isabelle.perseil@inserm.fr
                                    Foreword

  Welcome to the first FMSEE&T, the first Workshop on Formal Methods in Soft-
ware Engineering Education and Training held on June 23, 2015 and co-located with
FM 2015 in Oslo, Norway. It is supported by the European Association of Software
Science and Technology (EASST) and the FMICS WG Board. Lero and the Alpen-
Adria Universität Klagenfurt act as organizing institutions.

   The overall objectives of the workshop are (a) to find out the status-quo of formal
methods education, (b) to come up with a set of recommendations for improving our
lectures in respect to motivation and skills, and (c) to establish a forum for future
knowledge-exchange.

   The keynote given by Maximiliano Cristiá on “Why, How and What Should be
Taught about Formal Methods?” focused on the various questions that are related to
teaching Formal Methods in academia and industry. He started with the question of
how fundamental Formal Methods really are and concluded describing his own ap-
proach and lessons learned during the past 15 years of teaching.
   Submitted papers were reviewed by three or four experts in the field, leading to the
selection of 8 research papers for presentation and inclusion into the program and
these proceedings. The accepted papers spanned from interesting approaches, to
opinions, case studies, and experiences of education in the field.
   The paper “Keys and Roles of Formal Methods Education for Industry: 10 Year
Experience from Top SE Program” by Fuyuki Ishikawa, Nobukazu Yoshioka and
Yoshinori Tanabe has been elected as the best paper at the workshop and it thus re-
ceived the Award of the European Association of Software Science and Technology
(EASST).

   Preparing a workshop like FMSEE&T is a task that requires the help of many
hands and bright, inspiring, but also critical heads. We are grateful to all those who
contributed – mainly behind the scenes – to the success of the first FMSEE&T event.
   Foremost, we are grateful to all the authors who submitted their work, witnessing
the state of the art in this domain. Authors and PC members seemingly have contra-
dictory roles, but in reality both groups collaborate to shape the workshop and lead to
an appealing program. We thus thank the members of the program committee and the
reviewers for their dedication and discussions during the selection phase.
   Finally, we are indebted to the local organizers, who ensure the workshop ran as a
smooth event.

  We look very much forward to the next FMSEE&T event!


Andreas Bollin, Tiziana Margaria, and Isabelle Perseil
(Program Co-Chairs)
Program Co-Chairs

Andreas Bollin, Universität Klagenfurt, Austria
Tiziana Margaria, Lero, Ireland
Isabelle Perseil, Inserm, France



Program Committee

Nazareno Aguirre, Department of Computer Science, UNRC, Argentina
Andreas Bollin, Universität Klagenfurt, Austria
Tony Cowling, University of Sheffield, UK
Maximiliano Cristiá, CIFASIS, Argentina
Stefania Gnesi, ISTI-CNR, Italy
Peter Gorm Larsen, Aarhus University, Denmark
Tiziana Margaria, Lero, Ireland
Isabelle Perseil, Inserm, France
Ingo Pill, TU Graz, Austria
Nico Plat, West Consulting BV, The Netherlands
Dominik Rauner-Reithmayer, CUAS, Austria
Stephane Some, University of Ottawa, Canada

</pre>