From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id E6F965D5 for ; Sun, 29 Sep 2019 15:22:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,563,1559512800"; d="scan'208,217";a="403851843" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Sep 2019 17:22:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B794A7F25C; Sun, 29 Sep 2019 17:22:26 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6643C7ED1F for ; Sun, 29 Sep 2019 17:18:49 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=antonio.cerone@nu.edu.kz; spf=Pass smtp.mailfrom=antonio.cerone@nu.edu.kz; spf=None smtp.helo=postmaster@mail-ot1-f44.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AIBFQiBWqUawfcvby5yB4bUqwcxjV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbB2Ot8tkgFKBZ4jH8fUM07OQ7/m7HzBYqsbe+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi4oAnLucQanYRuJ6UzxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipGDY2h?= =?us-ascii?q?cosPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvX?= =?us-ascii?q?vbotX6NqccX+62wqfV0zvMc+hb1i3h5IXSaB0tve2AULB2fMHMyUcvDQTFjlCI?= =?us-ascii?q?pIH5OTOVyuMNs26a7+pnSOmilXAoqxt2ojip2Mgnl47EiZgTylDY8iV5xoc1Jd?= =?us-ascii?q?qiREFnf9GkCpxQtyeEOIZtRMMiXntktzgnxb0bo5K7fykLxY0hyhXCZfKHdI2I?= =?us-ascii?q?7QjiVOaXOTp3mmhqeKm/hhmu8Uiv0Oz8VtOu3FZNtCpFncHAtn8M1xzP6siHV+?= =?us-ascii?q?By8l2g2TaIzwzT8flEIVo1lardJJ4u3KQwmoAOvkvdGCL9hUb4jLeOe0k65uSl?= =?us-ascii?q?7/7rb7bmq5OGKYN4lx3yPr4hl8GwB+kzLxIAUHKB+eum0b3u5U35T6tOjv0xiq?= =?us-ascii?q?TZtYrVJcUfpqKgBA9Vzpsv5w+xDzqp39kUh3YHLFVCeBKIi4jmJUvCL+z/Dfe6?= =?us-ascii?q?m1iskTFryO7aPrD5HJnBMnzOnK3icLt98UJQ1hc/wcxF659bBbwNOPfzVVXwtN?= =?us-ascii?q?zcAB85KQu0w+P/Bdpn0IMeRWWPAqmYMKPVq1OH+vwgI/OLZI8TpjnwMP4l5+P0?= =?us-ascii?q?gXAnhFAdYLOl3ZgWaXygBPRpP12ZYWbwgtcGCWoFohAxTOnuiFGbVT5TZm2yX7?= =?us-ascii?q?4n6zEgCIOmCJ/DSZq3jLyA2ie7BJxWaXpcBlCCC3e7P7mDDvwFbSbXJs56jhQF?= =?us-ascii?q?U6KgQskvz0KArgj/npNhMu3S+ypQnp/50954r7nakw018z1zSc+QyWaLQklygy?= =?us-ascii?q?UFSyJw37Ip8h818UuKzaUt268QLtdU/f4cF1pjbMKO/6lBE9n3Hzn5UJKRUl//?= =?us-ascii?q?G4egHHc8Qs93wM1cOx8sSeXntQjK2m+RO5FQkrWKAJIu9aeFhir3OoBwx2uA17?= =?us-ascii?q?tz1gB7EPsKDnWvg+tEzyaWB4PNlB/ExaOjdKBZ2zKUsWnfkSyBu0ZXVAM2WqLA?= =?us-ascii?q?DygS?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4AQD3ypBdhizSVdFmHgEGEoQtRYEFK?= =?us-ascii?q?oQigR2NUZUmhzEFUgEIAQMBDCMMAQGEQAKDNxsHAQQ0EwIMAQEEAQEBAgECAwQ?= =?us-ascii?q?BEwEBAQgLCwgphTQMgjopgmkCAQMSBgUGHQEBJgUHBQEPFjcCAiISAQUBHBAfD?= =?us-ascii?q?IMAAYIKD59WgQM8iyaBMoJ9AQEFhW0JDYE/CRKBIowOgVg/gRGCYoIuAYEHDgs?= =?us-ascii?q?CAQEYgSBUgl6CWIxZH4lYlksHgiVlBIYchRSGOoI4G5k2hDSLE4Zyj0uBVQ8jg?= =?us-ascii?q?UaBeTMagSQGgjUJRxAUVngahAuCMUaBaoVJOjABjkKCVAEB?= X-IPAS-Result: =?us-ascii?q?A0A4AQD3ypBdhizSVdFmHgEGEoQtRYEFKoQigR2NUZUmhzE?= =?us-ascii?q?FUgEIAQMBDCMMAQGEQAKDNxsHAQQ0EwIMAQEEAQEBAgECAwQBEwEBAQgLCwgph?= =?us-ascii?q?TQMgjopgmkCAQMSBgUGHQEBJgUHBQEPFjcCAiISAQUBHBAfDIMAAYIKD59WgQM?= =?us-ascii?q?8iyaBMoJ9AQEFhW0JDYE/CRKBIowOgVg/gRGCYoIuAYEHDgsCAQEYgSBUgl6CW?= =?us-ascii?q?IxZH4lYlksHgiVlBIYchRSGOoI4G5k2hDSLE4Zyj0uBVQ8jgUaBeTMagSQGgjU?= =?us-ascii?q?JRxAUVngahAuCMUaBaoVJOjABjkKCVAEB?= X-IronPort-AV: E=Sophos;i="5.64,563,1559512800"; d="scan'208,217";a="320989414" X-MGA-submission: =?us-ascii?q?MDGcZnMS8PW/5KbrB894SSz5MCvJpsiZTHsgrn?= =?us-ascii?q?Z2TXQh3Mo2lTPe3LG8HmCYVF08NhtwANLyRtf/k7y06zzC24pdkzedyQ?= =?us-ascii?q?YnY3N9HlLm/x5DCpUm2ygnkIYZnkidk3tQiQ7OPECxmXQcvKPiAhdx3F?= =?us-ascii?q?vmJ6akYjPQPdZ5Ywb/iKRBOw=3D=3D?= Received: from mail-ot1-f44.google.com ([209.85.210.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Sep 2019 17:18:43 +0200 Received: by mail-ot1-f44.google.com with SMTP id 89so688707oth.13 for ; Sun, 29 Sep 2019 08:18:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nu.edu.kz; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=AZuXItXoBWCPS8QS0PC2z1jxqdi08Jkj/NX7Sadt2K4=; b=W/P4dnztSz/MWNuNwK5J+jo4c/rQiBUdbB5RmCqzWyeZFHuc5yS2Q4W3/AJaJVZ3jN fnIfK9vgIqfs2s8rLn5ULfO9qTX/GVPneURTEvqGv4AsSHe8iDRVFy62jkIvc41QgoYf sgq6+yFphLoP/6Yb8rhleaiRg7YwohNl9RBow= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=AZuXItXoBWCPS8QS0PC2z1jxqdi08Jkj/NX7Sadt2K4=; b=snNuVtFleVMJ+nsWNXRoN+QxI6Xtrp6iNVrcZ/67FKRrToEkhpauXG4m7Qj5+9kL0J LYf6Hpz1zNFoHr8Ffklr76zl3A9kwzBx0/aBiLG1JgQoe9v1y6B/BVuu+f5vFjH2kxcj cdYXppCliIfqIpaKcneSOu5eHpvpkmZVGCh8wTlf/l4u++FFdq9OF1V5nBFLMr9DSx7h JAjZ9QnQkyP01gwdeDWe0OrOw4XXSixy2JOdydNLXpGJRYqZtFUcsBoqBjGP0Nso7y4n 0WQIcZuHfSxfeaSYtKRGA/wJwqxYFhMCTImYu5ZdFn4+YIqtbTnW8GFQgcXISIsBG5uX PZ/Q== X-Gm-Message-State: APjAAAXoDBCDAouyn9S23fv13Zi12qEVc+GTTcndLPETiefIMtjmQgEJ MDNO+hvZP1gSbwY4ddQ2lBApH3xs8Rahui7EC+pJPOO+ X-Google-Smtp-Source: APXvYqz4LNRCpU9vmvfvm4hvpIlXlJRMtBXUZsMPBjP3vZgi6TwIfgNVYiMif2p5GwbVy/0U2kG/naekaWMMleh4tno= X-Received: by 2002:a9d:6d0a:: with SMTP id o10mr10150074otp.221.1569770321439; Sun, 29 Sep 2019 08:18:41 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Antonio Cerone Date: Sun, 29 Sep 2019 21:18:05 +0600 Message-ID: To: caml-list@inria.fr Cc: Markus Roggenbach Content-Type: multipart/alternative; boundary="000000000000637b9c0593b2a29d" X-Validation-by: antonio.cerone@nu.edu.kz Subject: [Caml-list] FMFun 2019 - Call for Papers Reply-To: Antonio Cerone X-Loop: caml-list@inria.fr X-Sequence: 17834 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000637b9c0593b2a29d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ------------------------------------------------------------ ----------------------- Call for Papers - FMFun 2019 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 1st International Workshop "Formal Methods - Fun for Everybody" =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D https://fefm.github.io Bergen, Norway, 2-3 December 2019 Co-located with iFM 2019 ---------------------------------------------------------------------------= -------- Submission link: https://easychair.org/conferences/?conf=3Dfmfun2019. Short and regular papers abstract submission deadline: Monday 7 October 201= 9 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 sha= ll 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 reasonin= g; 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 discussion= s 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=3Dfmfun2019). All papers should be written in English and prepared using the specific LNC= S 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 experien= ce. 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 =C3=96lveczky, 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=C3=ADs 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 =C3=96lveczky, University of Oslo, Norway * Carlo Gustavo Lopez Pombo, Universidad de Buenos Aires and CONICET, Argen= tina * 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=C3=A4nder, University of Duisburg-Essen, Germany * Ayman Wahba, Ain Shams University, Egypt ---------------------------------------------------------------------------= -------- CONTACT ---------------------------------------------------------------------------= -------- Inquiries concerning submissions should be sent to fmfun2019 AT easychair DOT org. --000000000000637b9c0593b2a29d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
----= -------------------------------------------------------------------------------
= 
Call for Papers - FM=
Fun 2019

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D
1st International Workshop "Formal Methods - Fun for Everybody"
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D

https://fefm.github.io=


Bergen, Norway, 2-3 December 2019

Co-located with iFM 2019

---------------------------------------------------------------------------=
--------
Submission link: https://easychair.org/conferences/?conf=3Dfmfun2019=
.
Short and regular papers abstract submission deadline: Monday 7 October 201=
9
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 sha=
ll
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 reasonin=
g;
  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 discussion=
s
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=3Dfmfun2019=
).

All papers should be written in English and prepared using the specific LNC=
S
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 experien=
ce.
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 =C3=96lveczky, University of Oslo, Norway


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

* Antonio Cerone, Department of Computer Science, Nazarbayev University, Ka=
zakhstan
* Markus Roggenbach, Department of Computer Science, Swansea University, UK


---------------------------------------------------------------------------=
--------
PROGRAM COMMITTEE
---------------------------------------------------------------------------=
--------

* Lu=C3=ADs 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 =C3=96lveczky, University of Oslo, Norway
* Carlo Gustavo Lopez Pombo, Universidad de Buenos Aires and CONICET, Argen=
tina
* 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=C3=A4nder, University of Duisburg-Essen, Germany
* Ayman Wahba, Ain Shams University, Egypt


---------------------------------------------------------------------------=
--------
CONTACT
---------------------------------------------------------------------------=
--------

Inquiries concerning submissions should be sent to fmfun2019 AT easychair D=
OT org.
--000000000000637b9c0593b2a29d--