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 sympa.inria.fr (Postfix) with ESMTPS id DBA967EC74 for ; Thu, 29 Aug 2019 11:58:45 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Luigia.Petre@abo.fi; spf=Pass smtp.mailfrom=Luigia.Petre@abo.fi; spf=None smtp.helo=postmaster@smtp-out.abo.fi Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Luigia.Petre@abo.fi) identity=pra; client-ip=130.232.212.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Luigia.Petre@abo.fi"; x-sender="Luigia.Petre@abo.fi"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Luigia.Petre@abo.fi designates 130.232.212.50 as permitted sender) identity=mailfrom; client-ip=130.232.212.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Luigia.Petre@abo.fi"; x-sender="Luigia.Petre@abo.fi"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp-out.abo.fi) identity=helo; client-ip=130.232.212.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Luigia.Petre@abo.fi"; x-sender="postmaster@smtp-out.abo.fi"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AB6orlBe5DV6SLZAyRCJfiMedlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcWyYx7h7PlgxGXEQZ/co6odzbaP6ea5BzZLuMnJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQu6oR/MusQXn4duJbs9xxnUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU293zZitFrjKJDvh2uuwB/zYDTYIGQLvV+f6Xdds4eSWdOWstdUipMCZ6+?= =?us-ascii?q?YYQSFeoMJeZWoZfgqVsSoxWwBgisC//gxTJTnHD6wa863v49HQ3awQAtGc8Fvn?= =?us-ascii?q?TOrNXyMacfSea7zLTJzTXMbvNZwyr25pLWfRA9u/GDQ697fM3Xx0kyFgPFgVSQ?= =?us-ascii?q?ppb/Mz2PyOsNr3Kb4PR7WO21kGEnrBt9ojauxso1jITCm4wbylfB9SpjwYY1I8?= =?us-ascii?q?W1R1Rgbt6jCpdQuSCaO5NoTcw4WGFpuDo1yr0ctp66ZigG0pMnxwTQa/CffIiI?= =?us-ascii?q?4w7jVOaMIThjnn5lebW/iw688Ee+1OL9V9e70EhUoSpDjtnArGwC1xvW6sSfUv?= =?us-ascii?q?t95Vmu2SuT2ADU8O1LPUc0la/DJ54gxL4/iIETvljfHiDohEr6lreWdlki9+O1?= =?us-ascii?q?6Orneq3rqoKSOoNokA3yLKojltKlDegmLwQCQXKX9OSg2LH74EH0TqlGguconq?= =?us-ascii?q?TXrpzWP9kXq6+3DgNP3Isu6g6zDzm439kbgXUKKVdIdRaag4f0OFzDJf71Auux?= =?us-ascii?q?g1ixlTpk3PLLM77hD5jIMnfOn7Pscqp75kVB0gQ818pf6IhRCrwZIPL8REvxtN?= =?us-ascii?q?vAAx8iNgy03/7nBMx61oMDRWKDGLWWP7jVsVOS6OIvIvGAZI4TuDnjN/go/+Pi?= =?us-ascii?q?gHEllVMHY6Wk04UbZGqmEvh7PUmVe3rhjssZHWcPpAU+TejqiFOYUT5UYna/R6?= =?us-ascii?q?Qy5iw6CIKpDIfMXJqhjqaf0yenBJ1ZeHtLBUqXHnfvbYmEVfYMZDqIIsB9ijwE?= =?us-ascii?q?SaShS4g52B6yrgD6zr5nIvPQ+i0ZrpLjyMN45/bTlBE37Tx7Fd6R02CLT2Fun2?= =?us-ascii?q?MHXSU63K5loR819lDWm6NxhvgdEd1I+9tIVB07PNjS1aYyX9v7XwaEetaSVH6n?= =?us-ascii?q?RM+nCHc/VIRi7cUJZhNZBtStjxmL5ye2GbJdw5iWBZM1++Tk0mTrKu50wXGA2q?= =?us-ascii?q?h33ApueddGKWDz3v03zAPUHYOczxTAxvSaMJ8E1SuIz1+tiG+HvUVWSgl1AffM?= =?us-ascii?q?V3dZaEqE9I2ltHOHdKenDPEcCiUE0dSLevlDYNqvg1QUHK6+auSbWHq4niKLPT?= =?us-ascii?q?jNxr6Ia9O1KX4YwD2YD1UY1QkZ+jCINFpmCw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CSAABqoWddhzLU6IJlHgEMAQaBVQcLA?= =?us-ascii?q?YEVLymBAxRWLyoKjROGDIUZlSllgSQFUgkBAwELASMKAgEBgUuCdIJaGwcBBDI?= =?us-ascii?q?HDgILAQEEAQEBAgEDAwQBEwEBAQoLCQgphTUBC4I6DIMXERATAQEHCicRAUBAJ?= =?us-ascii?q?gEEG4JPSwGBHW0BBAqpG4IlgnwBAQWBNgKEQoFACYE0i3eBWD+Dc26BQYEVCwI?= =?us-ascii?q?CGIF0hTaMQRCHbYEBgTCUPV0HAoIgZYYJhTqIISOCMm+GRYNjixSNbYdvhGmLX?= =?us-ascii?q?wIEAgQFAhWBPRoDggYzGoNfCYJDAg4JFYM6gRqBSoIwTYRxAXKBKY0RAYEiAQE?= X-IPAS-Result: =?us-ascii?q?A0CSAABqoWddhzLU6IJlHgEMAQaBVQcLAYEVLymBAxRWLyo?= =?us-ascii?q?KjROGDIUZlSllgSQFUgkBAwELASMKAgEBgUuCdIJaGwcBBDIHDgILAQEEAQEBA?= =?us-ascii?q?gEDAwQBEwEBAQoLCQgphTUBC4I6DIMXERATAQEHCicRAUBAJgEEG4JPSwGBHW0?= =?us-ascii?q?BBAqpG4IlgnwBAQWBNgKEQoFACYE0i3eBWD+Dc26BQYEVCwICGIF0hTaMQRCHb?= =?us-ascii?q?YEBgTCUPV0HAoIgZYYJhTqIISOCMm+GRYNjixSNbYdvhGmLXwIEAgQFAhWBPRo?= =?us-ascii?q?DggYzGoNfCYJDAg4JFYM6gRqBSoIwTYRxAXKBKY0RAYEiAQE?= X-IronPort-AV: E=Sophos;i="5.64,442,1559512800"; d="scan'208,217";a="399310887" X-MGA-submission: =?us-ascii?q?MDHltFgSMBJVIQTZniL8vfe7HzEhqAlTYfAhcU?= =?us-ascii?q?9c54Fe1Bmr20lKMqeltBkEXv72jCADciHq20vu83mDexD3dY06mFddm8?= =?us-ascii?q?h1ALOD+JalHO82PasNdRfJbWooNKNI+VPxKtGsZwZtvObHGjzr4SIrKu?= =?us-ascii?q?YvAN7lAcXV8XjDLO6wAhbgvA=3D=3D?= Received: from smtp-out.abo.fi ([130.232.212.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Aug 2019 11:58:15 +0200 Received: from smtp.abo.fi (macaroni.abo.fi [130.232.213.57]) by smtp-out.abo.fi (Postfix) with ESMTP id BDB2110D0672 for ; Thu, 29 Aug 2019 12:58:13 +0300 (EEST) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi BDB2110D0672 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=abo.fi; s=mail; t=1567072694; bh=TPwHBkNYvJw+nEIhww6884/NHUI649Ev1GgK9//MKmc=; h=From:To:Subject:Date:From; b=YUgFKy9lNzwvFqSUkI9YjwHx6SgLzHqDtm6l4EvJ4H4C5qPiZpA05uimKlytP2p2W 7nSoTGjPSKpDpZ06NIgFNb1Phh3uQkDJvQkX44Og3fLeOr09seTQO/VdDxRBDcIw1Z ybpADUMiUcRa0FaGHG6QOHWtQhH00B52Lm31ZxVU= Received: from exchange.abo.fi (exchange3.abo.fi [130.232.177.33]) by smtp.abo.fi (Postfix) with ESMTPS id 9486B1890930 for ; Thu, 29 Aug 2019 12:58:13 +0300 (EEST) Received: from exchange3.abo.fi (130.232.177.33) by exchange3.abo.fi (130.232.177.33) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1591.10; Thu, 29 Aug 2019 12:58:13 +0300 Received: from exchange3.abo.fi ([fe80::91d8:3cf1:b785:c49c]) by exchange3.abo.fi ([fe80::91d8:3cf1:b785:c49c%2]) with mapi id 15.01.1591.008; Thu, 29 Aug 2019 12:58:13 +0300 From: Luigia Petre To: "caml-list@inria.fr" Thread-Topic: FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal Thread-Index: AdVeTribyMwnou9TRIe0kG/cwV/B4g== Date: Thu, 29 Aug 2019 09:58:12 +0000 Message-ID: <4b1417375dc84916a99459a64e2f9b8b@abo.fi> Accept-Language: en-US, sv-FI Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [130.232.163.36] Content-Type: multipart/alternative; boundary="_000_4b1417375dc84916a99459a64e2f9b8babofi_" MIME-Version: 1.0 X-Validation-by: luigia.petre@abo.fi Subject: [Caml-list] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal --_000_4b1417375dc84916a99459a64e2f9b8babofi_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable # FMTea19 - CALL FOR PARTICIPATION Formal Methods Teaching Workshop and Tutorial - FMTea19 Porto, October 7, 2019 https://fmtea.github.io/ Affiliated with the 3rd World Congress on Formal Methods FMTea19 aims to share experiences of teaching formal methods that have gone= well, or that failed in surprising ways, as well as to develop ways to reb= oot the presence of formal methods in curricula. FMTea19 is a full-day event, comprising both a tutorial part in the morning= as well as the workshop part in the afternoon. We are extremely happy with= both the invited and tutorial lectures in the morning as well as with the = enthusiastic response we got to our call for papers. Tutorial part of FMTea19 We are very pleased to present the following tutorial program in the mornin= g: - Invited lecture: Prof Carroll Morgan (University of New South Wale= s and Data61, Australia) - Is Formal Methods Really Essential? - Tutorial lecture: Sir Tony Hoare (Cambridge University Computing L= aboratory, UK) - Logic, Algebra, and Geometry at the Foundation of Computer= Science - Tutorial lecture: Prof Holger Hermanns (Saarland University, Germa= ny) - pseuCo.com - Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technol= ogy, the Netherlands): Efficient Online Homologation to Prepare Students fo= r Formal Methods Courses Workshop Part of FMTea19 The workshop program includes the presentation and discussion of 12 papers = and 3 posters. We have divided the papers into three panel sessions. Each p= aper is shortly presented in its panel session and then, the session's pres= enters participate in a panel discussion of 30 minutes, led by one/two sess= ion chairs. The idea is to encourage an open and inclusive discussion that = could also engage the audience. The posters will be placed inside FMTea's r= oom and be available for discussion, for instance, during the afternoon cof= fee break. You can check the accepted papers below: - Andrew Simpson. Teaching Introductory Formal Methods and Discrete Mathema= tics to Software Engineers: Reflections on a modelling-focussed approach - Nestor Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B - Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate = Students - Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Mana= ging Heterogeneity and Bridging the Gap in Teaching Formal Methods - Adrian Johnstone and Elizabeth Scott. Principled and Pragmatic Specificat= ion of Programming Languages - Kristin Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace En= gineering - Mar=EDa-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From = Software in the Small to Software in the Large - Faron Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer= Science Students - Emil Sekerinski. Teaching Concurrency with the Disappearing Formal Method - Jose Divas=F3n and Ana Romero. Using Krakatoa for Teaching Formal Verific= ation of Java Programs - Tony Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and Ge= ometry at the Foundation of Computer Science (invited paper) - Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendon=E7a Ferreir= a Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational= Relevance of Formal Logic through Formal Proofs - Christophe Garion, J=E9r=F4me Hugues, Claire Dross, Joffrey Huguet and L= =E9o Creuse. Teaching Deductive Verification through Frama-C and SPARK - Catherine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal M= ethods to Future Engineers - Giampaolo Bella. You Already Used Formal Methods but Did Not Know The abstracts of all presentations and the FMTea19 schedule can be seen her= e: https://www.easychair.org/smart-program/FMTea19/. Registration Registration is open as follows: - Early - until Sep 10 (AoE) - Late - from Sep 11 until 5 Oct (AoE) - On site - from Oct 6 to Oct 11 (AoE) Registration is via the FM2019 website: http://formalmethods2019.inesctec.p= t/?page_id=3D2363, where you can check the info on prices, deadlines, etc f= or FMTea, FM and related events, while the registration platform itself is = here: https://www.weezevent.com/fm-19. The early registration fee (until Se= ptember 10) for FMTea19 is 140 eur. It is very important that you mention F= MTea19 in the text box if you register for more than our event (say for the= whole week at FM'19). Only in this way we will know that you registered to= FMTea and prepare accordingly. The FMTea19 proceedings will be available only online. This belongs to a gl= obal move of the FM'19 events - they are all paperless, in an effort to pro= vide a greener environment. The FMTea19 online proceedings will be availabl= e only to the registered FMTea19 participants, so please register in time t= o catch the early fee, until September 10. The proceedings is published by = Springer in the Lecture Notes in Computer Science series, volume 11758. Please do not hesitate to contact us for any question that may pop up. We a= re very happy about the FMTea19 program and look forward to meet you all on= October 7 in Porto! Kind regards, Luigia Petre, Brijesh Dongol, Graeme Smith (the PC co-chairs) *** Welcome to FMTea19 *** *** Welcome to PORTO *** *** Welcome to Portugal *** ______________________________________________________________ __ Luigia Petre, Docent, PhD Faculty of Science and Engineering =C5bo Akademi University, Finland www.users.abo.fi/lpetre --_000_4b1417375dc84916a99459a64e2f9b8babofi_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

# FM= Tea19 - CALL FOR PARTICIPATION

&n= bsp;

Formal = Methods Teaching Workshop and Tutorial – FMTea19

Porto, = October 7, 2019

https://fmtea.github.io/

&n= bsp;

Affilia= ted with the 3rd World Congress on Form= al Methods

&n= bsp;

FMTe= a19 aims to share e= xperiences of teaching formal methods that have gone well, or that failed i= n surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula. <= /p>

&n= bsp;

FMTea19= is a full-day event, comprising both a tutorial part in the morning as wel= l as the workshop part in the afternoon. We are extremely happy with both t= he invited and tutorial lectures in the morning as well as with the enthusiastic response we got to our call for p= apers.

&n= bsp;

Tuto= rial part of FMTea19

We are = very pleased to present the following tutorial program in the morning:=

-        Invited lecture: Prof Carroll Morgan (University of New South Wales and Da= ta61, Australia) - Is Formal Methods Really Essential?

-        Tutorial lecture: Sir Tony Hoare (Cambridge University Computing Laborator= y, UK) - Logic, Algebra, and Geometry at the Foundation of Computer Science

-        Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) - pseuCo.com

-        Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technology, the= Netherlands): Efficient Online Homologation to Prepare Students for Formal Methods Cou= rses

&n= bsp;

Work= shop Part of FMTea19

The wor= kshop program includes the presentation and discussion of 12 papers and 3 posters. We have divided the papers into thre= e panel sessions. Each paper is shortly presented in its panel session and = then, the session’s presenters participate in a panel discussion of 3= 0 minutes, led by one/two session chairs. The idea is to encourage an open and inclusive discussion that could also = engage the audience. The posters will be placed inside FMTea’s room a= nd be available for discussion, for instance, during the afternoon coffee b= reak. You can check the accepted papers below:

&n= bsp;

- Andre= w Simpson. Teaching Introductory Formal Methods and Discrete Mathematics to= Software Engineers: Reflections on a modelling-focussed approach

- Nesto= r Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B

- Sandr= ine Blazy. Teaching Deductive Verification in Why3 to Undergraduate Student= s

- Pamel= a Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Managing He= terogeneity and Bridging the Gap in Teaching Formal Methods

- Adria= n Johnstone and Elizabeth Scott. Principled and Pragmatic Specification of = Programming Languages

- Krist= in Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace Engineeri= ng

- Mar= =EDa-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From Softw= are in the Small to Software in the Large

- Faron= Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer Scienc= e Students

- Emil = Sekerinski. Teaching Concurrency with the Disappearing Formal Method

- Jose = Divas=F3n and Ana Romero. Using Krakatoa for Teaching Formal Verification o= f Java Programs

- Tony = Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and Geometry = at the Foundation of Computer Science (invited paper)

- Arian= e A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendon=E7a Ferreira Ramos= , Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational Releva= nce of Formal Logic through Formal Proofs

- Chris= tophe Garion, J=E9r=F4me Hugues, Claire Dross, Joffrey Huguet and L=E9o Cre= use. Teaching Deductive Verification through Frama-C and SPARK

- Cathe= rine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal Methods = to Future Engineers

- Giamp= aolo Bella. You Already Used Formal Methods but Did Not Know

&n= bsp;

The abs= tracts of all presentations and the FMTea19 schedule can be seen here: https://www.ea= sychair.org/smart-program/FMTea19/.

&n= bsp;

Regi= stration

Registr= ation is open as follows:

-        Early – until Sep 10 (AoE)

-        Late – from Sep 11 until 5 Oct (AoE)

-        On site – from Oct 6 to Oct 11 (AoE)

&n= bsp;

Registr= ation is via the FM2019 website: http://for= malmethods2019.inesctec.pt/?page_id=3D2363, where you can check the inf= o on prices, deadlines, etc for FMTea, FM and related events, while the reg= istration platform itself is here: https://www.weezevent.com/fm-19= . The early registration fee (until September 10) for FMTea19 is 140 eu= r. It is very important that you mention FMTea19 in the text box if you reg= ister for more than our event (say for the whole week at FM'19). Only in this way we will know that you regis= tered to FMTea and prepare accordingly.

&n= bsp;

The FMT= ea19 proceedings will be available only online. This belongs to a global mo= ve of the FM'19 events - they are all paperless, in an effort to provide a = greener environment. The FMTea19 online proceedings will be available only to the registered FMTea19 participants,= so please register in time to catch the early fee, until September 10. The= proceedings is published by Springer in the Lecture Notes in Computer Scie= nce series, volume 11758.

&n= bsp;

Please = do not hesitate to contact us for any question that may pop up. We are very= happy about the FMTea19 program and look forward to meet you all on Octobe= r 7 in Porto!

&n= bsp;

Kind re= gards,

Luigia = Petre, Brijesh Dongol, Graeme Smith

(the PC= co-chairs)

&n= bsp;

&n= bsp;

*** Wel= come to FMTea19 ***

*** Wel= come to PORTO ***

*** Wel= come to Portugal ***

_______= _______________________________________________________

 

 

__

Luig= ia Petre, Docent, PhD

Facu= lty of Science and Engineering

=C5bo Akademi Unive= rsity, Finland

www.users.abo.fi/lpetre

 

 

--_000_4b1417375dc84916a99459a64e2f9b8babofi_--