[Caml-list] FMFun 2019 - Call for Papers

[Caml-list] FMFun 2019 - Call for Papers

[Antonio Cerone]

[-- Attachment #1: Type: text/plain, Size: 7995 bytes --]

------------------------------------------------------------
-----------------------

Call for Papers - FMFun 2019

===================================================================================
1st International Workshop "Formal Methods - Fun for Everybody"
===================================================================================
https://fefm.github.io

Bergen, Norway, 2-3 December 2019

Co-located with iFM 2019

-----------------------------------------------------------------------------------
Submission link: https://easychair.org/conferences/?conf=fmfun2019.
Short and regular papers abstract submission deadline: Monday 7 October 2019
Short and regular papers submission deadline: Monday 14 October 2019
Short and regular paper notification: Friday 1 November 2019
Presentation Submission deadline: Saturday 2 November 2019
Presentation Notification: Wednesday 6 November 2019
-----------------------------------------------------------------------------------

The largest transformations that universities make to industrial
practices is through releasing legions of graduates every year. These
graduates challenge established processes, and pave ways for new
approaches. The standard CS graduate leaves university with either no
knowledge of Formal Methods or a hatred for Formal Methods. Unless this
situation is changed, Formal Methods will never be accepted in industry.

This workshop explores ways of how to utilize this pathway to
transformation for spreading Formal Methods. In current practice, FM
are often taught by theoreticians, who (ab)use their FM courses to teach
theoretical concepts rather than putting FMs in a SE context. The
workshop's vision is that FMs ought to be taught in such a way that
every student can have fun with it. But how can this be achieved?

In order to answer this question the workshop welcomes participants from
Formal methods as well as from education to exchange their views and
perspectives. We aim to formulate a joint white paper that collects the
outcomes of discussion and activities at the workshop. This white paper shall
be circulated to educational bodies in charge of giving recommendations on
curriculum development and will be published in the postproceedings.


-----------------------------------------------------------------------------------
TOPICS AND WORKSHOP FORMAT
-----------------------------------------------------------------------------------

The workshop invites contributions that address this question, which
include but are not limited to

  Experience reports by teachers and students;
  New teaching approaches, e.g. games;
  Education-oriented research or classroom experience ;
  Innovative teaching techniques or pedagogical tools ;
  Curricular innovations or initiatives;
  Innovative industry-education collaboration interventions;
  Didactics and methods of teaching and assessment;
  Combination of teaching and research;
  Post-hoc analysis of successes and failures in teaching and learning;
  Collaborative Learning;
  Technology transfer to industry;
  Developing student skills, e.g. on abstract thinking and logical reasoning;
  Comparison of formal methods from a teaching/learning perspective;
  Children education and formal methods;

for university and pre-university education.

The workshop will consist of contributed and invited talks, including
a living lab on teaching Formal Methods with Fun and facilitated discussions
Leading to the formulation of the white paper.


-----------------------------------------------------------------------------------
SUBMISSION AND PUBLICATION
-----------------------------------------------------------------------------------

Authors are invited to submit research contributions or experience reports,
via Easychair (https://easychair.org/my/conference?conf=fmfun2019).

All papers should be written in English and prepared using the specific LNCS
templates available at http://www.springer.de/comp/lncs/authors.html.

The workshop welcomes three different categories of submissions:

a) Regular papers: up to 15 pages + references;
b) Short papers: 6-8 pages + references;
c) Presentations: up to 4 pages + references.

Regular and Short papers need to make original contributions and
will be published in the post-proceedings; for this Springer LNCS
have been requested. Short papers and Presentations can discuss
new ideas which are at an early stage of development and which have
not yet been thoroughly evaluated.
Submission of already publish work as a Presentation is welcome.

Submissions can take the form of research papers, position papers,
survey papers, reports on teaching experience, reports on learning experience.
There are plans for a follow-up special issue in a journal on education.


-----------------------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------------------

Short and regular paper submission deadline: Monday 30 September 2019
Short and regular paper notification: Friday 1 November 2019
Presentation submission deadline: Saturday 2 November 2019
Presentations notification: Wednesday 6 November 2019
Workshop: Monday 2 and Tuesday 3 December 2019
Camera ready papers for post-proceedings: Monday 20 January 2020


-----------------------------------------------------------------------------------
KEYNOTE SPEAKERS
-----------------------------------------------------------------------------------
* Magne Haveraaen, University of Bergen, Norway
* Peter Ölveczky, University of Oslo, Norway


-----------------------------------------------------------------------------------
PROGRAM CO-CHAIRS
-----------------------------------------------------------------------------------

* Antonio Cerone, Department of Computer Science, Nazarbayev
University, Kazakhstan
* Markus Roggenbach, Department of Computer Science, Swansea University, UK


-----------------------------------------------------------------------------------
PROGRAM COMMITTEE
-----------------------------------------------------------------------------------

* Luís Barbosa, University of Minho, Portugal
* Hubert Baumeister, Technical University of Denmark, Denmark
* Antonio Cerone, Nazarbayev University, Kazakhstan (Program Co-chair)
* Ming Chai, Beijing Jiaotong University, China
* Tom Crick, Swansea University, UK
* Sabine Glesner, Technical University Berlin, Germany
* Jan Friso Groote, Eindhoven University of Technology, The Netherlands
* Stefan Gruner, University of Pretoria, South Africa
* Klaus Havelund, NASA Jet Propulsion Laboratory, USA
* Magne Haveraaen, University of Bergen, Norway
* Karl Lermer, Zurich University of Applied Sciences, Switzerland
* Bas Luttik, Eindhoven University of Technology, The Netherlands
* Kathy Malone, Nazarbayev University, Kazakhstan
* Faron Moller, Swansea University, UK
* Hans de Nivelle, Nazarbayev University, Kazakhstan
* Peter Ölveczky, University of Oslo, Norway
* Carlo Gustavo Lopez Pombo, Universidad de Buenos Aires and CONICET, Argentina
* Lucia Rapanotti, Open University, UK
* Steve Reeves, University of Waikato, New Zealand
* Markus Roggenbach, Swansea University, UK  (Program Co-chair)
* Holger Schlingloff, Fraunhofer FOKUS and Humboldt University, Germany
* Gerardo Schneider, Chalmers | University of Gothenburg, Sweden
* Siraj Shaikh, Coventry University, UK
* Ben Tyler, Nazarbayev University, Kazakhstan
* Janis Voigtländer, University of Duisburg-Essen, Germany
* Ayman Wahba, Ain Shams University, Egypt


-----------------------------------------------------------------------------------
CONTACT
-----------------------------------------------------------------------------------

Inquiries concerning submissions should be sent to fmfun2019 AT
easychair DOT org.

[-- Attachment #2: Type: text/html, Size: 9026 bytes --]