[ecoop-info] FMSEET15 -- Last Call for Papers -- Deadline Extension to April 7th, 2015

[Announcements of FME events]

                   FMSEET 2015  - LAST CALL FOR PAPERS
                     (NEW DEADLINE: April 7th, 2015)

***********************************************************************
                        The 1st Formal Methods in
              Software Engineering Education and Training
                          Workshop (FMSEET 2015)
                         Co-Located  with FM 2015

                      June 23rd, 2015, Oslo, Norway

                           http://fmseet.aau.at

            Endorsed by the European Association of Software
              Science and Technology (http://www.easst.org)
                                  and
              Supported by LERO, ERCIM and the Alpen-Adria
                       Universitaet Klagenfurt

          For more information email: fmseet2015 at easychair.org
***********************************************************************

--------
OVERVIEW
--------
The emergence of software engineering as a new term in the discipline
of Computer Science / Computing / Informatics created significant
challenges for educators. Embracing this new concept required a
transition from a discipline of lone wolves and artistic heroes to a
discipline of engineers focusing on product development in a planned
process under constrained time, budget, and other resources but leading
to a predictable quality.

One of the issues involved is the use of formal methods and usually
they are taught at least once in a computer science curriculum. We now
know how to use formal notations to write specifications, use
refinement calculus to gradually transform a specification into a
correct implementation, and use Hoare or Dijkstra's logics to prove
programs correct with the same degree of the rigor that we apply to
mathematical theorems. But, none of these techniques is easy to use by
ordinary practitioners to deal with real software projects, and
teaching formal methods and introducing at least one formal
specification language still turns out to be a real challenge.

The overall objectives of the FMSEET 2015 workshop are

* to find out/identify the status-quo of formal methods education at
   Universities and research institutions,
* to come up with a set of recommendations for ways in improving our
   lectures and curricula (in respect to motivation as well as skills),
   and
* to establish a forum for future knowledge-exchange.

Consequently, FMSEET 2015 focuses on ways in teaching formal methods,
tools, teaming and other skills needed by software engineering
practitioners in today's context. Innovative approaches are
particularly welcome.

------
TOPICS
------
Quality submissions covering curriculum development, empirical studies,
personal or institutional experience, conceptual or theoretical work
are particularly invited. The list below indicates areas in the focus
of FMSEET 2015. Submissions on additional topics consistent with the
central themes of the conference are also welcome.

* Methodological aspects of formal methods;
* Teaching high quality formal specifications;
* Formal methods in the software engineering curriculum;
* Best practices in formal methods education;
* Successes and failures of formal methods;
* Cooperative projects to further education and training;
* Languages and tools for formal methods education;
* Formal engineering methods versus formal methods;
* New challenges due to agility and open source;
* Continuous education to cope with technological change

----------
SUBMISSION
----------
Submissions are limited to 8 pages and must conform to the
Springer's LNCS format guidelines (see FM'15 for formatting
instructions). The detailed submission guidelines are available
at the workshop webpage: http://fmseet.aau.at. Papers must be
submitted electronically through EasyChair:

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

---------------
IMPORTANT DATES
---------------
Paper submission:    April  7th, 2015 (EXTENDED!)
Notification:        April 30th, 2015
Camera-ready:        Mai 15th, 2015
Workshop:            June 23rd, 2015

------------------
WORKSHOP CO-CHAIRS
------------------
Andreas Bollin (Universitaet 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 Cristia (CIFASIS, Argentinia)
Stefania Gnesi (ISTI-CNR, Italy)
Peter Gorm Larsen (Aarhus University, Denmark)
Isabelle Perseil (Inserm, France)
Ingo Pill (Graz University of Technology, Austria)
Nico Plat (West Consulting BV, The Netherlands)
Dominik Rauner-Reithmayer (CUAS, Austria)
Stephane Some (University of Ottawa, Canada)

-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Assoc.-Prof. DI Dr. Andreas BOLLIN               Andreas.Bollin at aau.at
Institute for Informatics-Systems
University of Klagenfurt                 Tel.: (++43) 0463/2700 - 3516
Universitaetsstrasse 65-67               Fax.: (++43) 0463/2700 993516
A-9020 Klagenfurt            http://serg.aau.at/bin/view/AndreasBollin
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events