From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 69A6E7ED69 for ; Fri, 31 May 2019 10:18:46 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Luigia.Petre@abo.fi) identity=pra; client-ip=130.232.212.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Luigia.Petre@abo.fi"; x-sender="Luigia.Petre@abo.fi"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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=3A/C0vMRAMsxXMMq++9ceZUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT+pMbcNUDSrc9gkEXOFd2Cra4d0qyP6PmocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalvIBi4sAnaq9Ubj5ZlJqst0BXCv2FGe/?= =?us-ascii?q?5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q7pYDC87M28u/83kqQPD?= =?us-ascii?q?TQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uimk4qx2ShHnlT?= =?us-ascii?q?0HOiY5/m/Jl8JwkKxVrhGgpxNjzIHZe5uaOOZ8fq7HYd8WWXdNU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIHM+ZFron9qFoOogGjDge2Guzv1iVIiWHr1qA91eohDADG3AMhH90Uqn?= =?us-ascii?q?jatsv6NLsIUe+r16TH1y7Mb/RM1Tfz6YjFaxYsquyCU7J3dMre00gvFwXdg1qO?= =?us-ascii?q?s4PlJDOU2fgNs2eB7upgT/iji2k9qwF+ujSvycYsipXJhoII0V/I7zl2wIEwJd?= =?us-ascii?q?C+VUV1YsakHYNNuyyUK4d6WN0uTm92tCog1LEKpIC3cDIKxZg73xLTdvKKf5SS?= =?us-ascii?q?7h79WuudPy10iG9kdb+xnRq//0mtxvXyVsaq01tGsi9In9zIu3wQyhPe6c2KR/?= =?us-ascii?q?Vh8UevxDqC0hvc5+NHLE00kKfUN5Esz7osmZcVrE/NBDX5mF/sg6+Tbkgk+van?= =?us-ascii?q?6+DgYrj+vZ+cMpN0ihnnPqQph8y/Hf40PRIVUGic4+i82rzj8VX4QLVMkPI2jr?= =?us-ascii?q?HUvI3UKMgHvKK1HQFY3pg55xqhEjuqzs4UkHkbIF5dfRKIlYnpO1XAIPDiCve/?= =?us-ascii?q?hkyhnjF2x/DHMb3hA4/CImLZnrj/YbZ98VBTxREpwt9E4JJYEL8BIPPrVk/rqN?= =?us-ascii?q?PYFgM5MxCzw+v/FNpyzIYeWWaWDq+dMaPSqkOI6/k0I+iMYY8VoCzyJ+Ik5/7o?= =?us-ascii?q?l385mEUScbOn3ZsNOziEGaEsKEycZT/og8wdOWYMpAs3CuLwwhXWWjdWYzO2Xr?= =?us-ascii?q?kgzjA9EoOvS4nZENODmruEiQOmH5JXbyh+B0yWHD+8U5iFVPYFLhqfPtVsujUO?= =?us-ascii?q?Uv6vStlyhlmVqAbmxu8/faLv8SoCuMe7jYUn16jojRg3sAdMIYGd3mWKFj4mhW?= =?us-ascii?q?YUX3oxwbw5qEZ6jFmCg/Ah365oUOdL7vYMaT8UcIbGxrwoAtr1HAzALI/QGQSW?= =?us-ascii?q?B+6+CDR0deofhtoHYkJzAdKn3kLK1S3sDb5HzrE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DECwAH4vBchzLU6IJlgheBDy8pgQIRV?= =?us-ascii?q?S8oCo0Figuafg+BWAkBAwELASMKAgEBgUuCdYMCGwcBBDMGDgEDAQEEAQECAQE?= =?us-ascii?q?DARMBAQEIDQkIKSMBC4I6IoMiEwEBERUFDREBgQAmAQQKEYJPSwGBHW0BBAqpL?= =?us-ascii?q?IIggnkBAQWCR4MsgT0JgTSLVoFXP4ERgmJugUABS1UCAhiBDAMVUIU1iyoRCBe?= =?us-ascii?q?HIXOBKJNcBwKCD16FXIxjI0+BUmiGB4NIhDOFUYx3hV+BKo8GAgQCBAUCFYFlg?= =?us-ascii?q?XozGnOCawEJgQ6BEoNWgRqDeoR1SnKBKYwVAYEgAQE?= X-IPAS-Result: =?us-ascii?q?A0DECwAH4vBchzLU6IJlgheBDy8pgQIRVS8oCo0Figuafg+?= =?us-ascii?q?BWAkBAwELASMKAgEBgUuCdYMCGwcBBDMGDgEDAQEEAQECAQEDARMBAQEIDQkIK?= =?us-ascii?q?SMBC4I6IoMiEwEBERUFDREBgQAmAQQKEYJPSwGBHW0BBAqpLIIggnkBAQWCR4M?= =?us-ascii?q?sgT0JgTSLVoFXP4ERgmJugUABS1UCAhiBDAMVUIU1iyoRCBeHIXOBKJNcBwKCD?= =?us-ascii?q?16FXIxjI0+BUmiGB4NIhDOFUYx3hV+BKo8GAgQCBAUCFYFlgXozGnOCawEJgQ6?= =?us-ascii?q?BEoNWgRqDeoR1SnKBKYwVAYEgAQE?= X-IronPort-AV: E=Sophos;i="5.60,534,1549926000"; d="scan'208,217";a="307736988" X-MGA-submission: =?us-ascii?q?MDExuT9WttwD3JHpj1uLieIBkTEVkKH9FjEwmU?= =?us-ascii?q?3ZtYqcIjn8a+LxcNcfojYRaWcItLA37c4F7SNW0sxGaj11XY3mWzm6Z7?= =?us-ascii?q?XVygKCJBFu2whTDtwYCS/s5HZEm+n1GVkkpqJRSLon5TkImCTDZZJFRw?= =?us-ascii?q?P3/+fQ1PZ6iwXYXsqLa1MTIA=3D=3D?= Received: from smtp-out.abo.fi ([130.232.212.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 31 May 2019 10:18:45 +0200 Received: from smtp.abo.fi (macaroni.abo.fi [130.232.213.57]) by smtp-out.abo.fi (Postfix) with ESMTP id ABBCC10D0581 for ; Fri, 31 May 2019 11:18:42 +0300 (EEST) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi ABBCC10D0581 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=abo.fi; s=mail; t=1559290723; bh=Mp6vhvb/4V4LhTlp5runeznMJTRbsyvjM2nxrDmE9ho=; h=From:To:Subject:Date:From; b=dCZ9XDu4EIDKBFgJQyoV+xZ3hI7pMRn8OfXb2Z9fDpIPnwVGu/Xr4opj9CTMxhfej MG5ZmMfdHjsKbd30I27FOD46wWXI/I18KHxMeZo0MRYE6Wmz/qzzCr/9kM4nk6jKZF x3ylDejI7DPMHdBitjnCSZsR+IH85jsmwZJfqquA= Received: from exchange.abo.fi (exchange3.abo.fi [130.232.177.33]) by smtp.abo.fi (Postfix) with ESMTPS id 8F3B7187AA28 for ; Fri, 31 May 2019 11:18:42 +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; Fri, 31 May 2019 11:18:42 +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; Fri, 31 May 2019 11:18:42 +0300 From: Luigia Petre To: "caml-list@inria.fr" Thread-Topic: FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial Thread-Index: AdUXiXTCAHdc/664RNioXIPCt3cjZg== Date: Fri, 31 May 2019 08:18:42 +0000 Message-ID: <27dbbfe79cc44862a76b1118882f13dd@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_27dbbfe79cc44862a76b1118882f13ddabofi_" MIME-Version: 1.0 X-Validation-by: luigia.petre@abo.fi Subject: [Caml-list] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial --_000_27dbbfe79cc44862a76b1118882f13ddabofi_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear colleagues, Please consider submitting a paper on your experiences with formal methods = teaching to our FMTea19 workshop affiliated with the FM conference in Porto= in October. We are encouraging a wide spectrum discussion on how we should= teach formal methods in the 21st century, so your contribution will be muc= h appreciated. Also note our excellent invited and tutorial speakers: Carro= ll Morgan, Tony Hoare, and Bas Luttik! Deadline extended to June 15, paper length 15 pages, publication in Springe= r LNCS. Looking forward to meeting you in Porto for a cup of FMTea, Luigia, Graeme, Brijesh FMTea19 Formal Methods Teaching Workshop and Tutorial, Event affiliated with FM2019, 3rd World Congress on Formal Methods 7 October 2019, Porto, Portugal Deadline extended to June 15, 2019 OBJECTIVES AND SCOPE Formal Methods provide software engineering with tools and techniques for r= igorously reasoning about the correctness of systems. While in recent years= formal methods are increasingly being used in industry, university curricu= la are not adapting at the same pace. Some existing formal methods classes = interest and challenge students, whereas others fail to ignite student moti= vation. We need to find ways to teach formal methods to the next generation= , and doing so will require us to adapt our teaching to the 21st century st= udents. FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Fo= rmal Methods, FM2019. Its aim is to share experiences of teaching formal me= thods that have gone well, or that failed in surprising ways, as well as to= develop ways to reboot the presence of formal methods in curricula. Tutorial part of FMTea19 We are very pleased to have Carroll Morgan giving an invited talk on his ap= proach to and experiences with teaching formal methods to undergraduate stu= dents. Sir Tony Hoare will also join us to give a talk on the foundations o= f teaching computer science for future formal methods scientists. We will r= un two more tutorial presentations, held by Holger Hermanns and Bas Luttik,= on experiences with concurrency and online teaching. Our goal is to discus= s various models of existing FM teaching, together with innovative proposal= s for remaining relevant as educators of Formal Methods in the 21st century. Workshop Part of FMTea19 In the workshop part of the event, we aim to attract papers detailing autho= rs' experiences with FM Teaching. We would like to get papers discussing su= ccesses and failures of various methods, case studies, tools, etc. As self-= learning seems to be an important aspect of FM teaching, we appreciate expe= riences with online teaching, including experiences with teaching formal me= thods via MOOCs. A non-exhaustive list of topics of interest for the FMTea1= 9 workshop is below: * traditional FM teaching: lectures, exercises, exams * online FM teaching/learning: experiences/proposals * teaching FM for industry * integrating/embedding FM teaching/thinking within other computer science = courses * student projects on FM, including group projects Computer science is transforming into a rigorous engineering discipline. Im= proved teaching techniques will ensure that FM is at the heart of this tran= sformation process. ORGANIZATION FMTea19 is organized by FME's Teaching Committee. Our broad aim is to suppo= rt a worldwide improvement in learning Formal Methods, mainly by teaching b= ut also via self-learning. To that end, we have already gathered a list of = FM courses taught worldwide, that can be seen, for the time being, here: ht= tps://github.com/luigiapetre/Formal-Methods-Courses/issues (we are in the = process of migrating the courses to a webpage, so they will not live much l= onger as issues) and plan to collect other resources as well, such as FM ca= se studies, FM inspirational papers, etc. PROGRAM COMMITTEE * Luigia Petre, =C5bo Akademi University, Finland (co-chair) * Brijesh Dongol, University of Surrey, UK (co-chair) * Graeme Smith, University of Queensland, Australia (co-chair) * Catherine Dubois, ENSIIE, France * Joao F. Ferreira, University of Lisbon, Portugal * K. Rustan M. Leino, Amazon Web Services, US * Alexandra Mendes, University of Beira Interior, Portugal * Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil * Pierluigi San Pietro, Politecnico di Milano, Italy * Kenji Taguchi, CAV, Japan PREVIOUS EDITIONS Several events focused on teaching aspects for Formal Methods were held in = the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and = London in 2006), the TFM 2004 conference in Ghent (with proceedings publish= ed as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-loc= ated with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyus= hu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd Inte= rnational FME Conference on Teaching Formal Methods, in November 2009 in Ei= ndhoven, the Netherlands. SUBMISSION DETAILS FMTea19 invites high quality papers reporting on opinions, approaches, and = experiences related to the topic of teaching Formal Methods. Each submitted= paper will be reviewed by at least three PC members. The conference procee= dings is planned to be published in Springer's Lecture Notes in Computer Sc= ience series. All submissions must be original, unpublished, and not submit= ted for publication elsewhere. Submissions must be in PDF format, using the= Springer LNCS style files; we suggest to use the LaTeX2e package (the llnc= s.cls class file, available in llncs2e.zip and the typeinst.dem available i= n typeinst.zip as a template for your contribution). Papers should not exce= ed 15 pages in length. Submissions should be made using the FMTea19 Easycha= ir web site: https://easychair.org/conferences/?conf=3DFMTea19 All accepted papers must be presented at the workshop. Their authors must b= e prepared to sign a copyright transfer statement. At least one author of e= ach accepted paper must register to the conference by an early date, to be = indicated by the FM2019 organizers, and present the paper. IMPORTANT DATES * June 15 (June 1), 2019: Submission of papers * July 15 (July 1), 2019: Notifications to authors * August 15 (August 1), 2019: Proceedings version ready * October 7, 2019: FMTea19 in Porto --_000_27dbbfe79cc44862a76b1118882f13ddabofi_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Dear colleagues,

 

Please consider submitting a pa= per on your experiences with formal methods teaching to our FMTea19 worksho= p affiliated with the FM conference in Porto in October. We are encouraging= a wide spectrum discussion on how we should teach formal methods in the 21st century, so your contri= bution will be much appreciated. Also note our excellent invited and tutori= al speakers: Carroll Morgan, Tony Hoare, and Bas Luttik!<= /p>

 

Deadline extended to June 15, p= aper length 15 pages, publication in Springer LNCS.

 

Looking forward to meeting you = in Porto for a cup of FMTea,

Luigia, Graeme, Brijesh

 

 

FMTea19

Formal Methods Teaching Work= shop and Tutorial,

Event affiliated with FM2019= , 3rd World Congress on Formal Methods

7 October 2019, Porto, Portugal=

&nb= sp;

Deadline= extended to June 15, 2019

 

OBJECTIVES AND SCOPE=

 

Formal Methods provide software= engineering with tools and techniques for rigorously reasoning about the c= orrectness of systems. While in recent years formal methods are increasingl= y being used in industry, university curricula are not adapting at the same pace. Some existing formal methods = classes interest and challenge students, whereas others fail to ignite stud= ent motivation. We need to find ways to teach formal methods to the next ge= neration, and doing so will require us to adapt our teaching to the 21st century students.

 

FMTea19 is a combined workshop and tutorial at the 3rd World Congress o= n Formal Methods, FM2019. Its aim is to share experiences of teaching forma= l methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presen= ce of formal methods in curricula. 

 

Tutorial part of FMTea19

 

We are very pleased to have Car= roll Morgan giving an invited talk on his approach to and experiences with = teaching formal methods to undergraduate students. Sir Tony Hoare will also= join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will= run two more tutorial presentations, held by Holger Hermanns and Bas Lutti= k, on experiences with concurrency and online teaching. Our goal is to disc= uss various models of existing FM teaching, together with innovative proposals for remaining relevant as edu= cators of Formal Methods in the 21st century. 

 

Workshop Part of FMTea19

 

In the workshop part of the eve= nt, we aim to attract papers detailing authors’ experiences with FM T= eaching. We would like to get papers discussing successes and failures of v= arious methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we apprec= iate experiences with online teaching, including experiences with teaching = formal methods via MOOCs. A non-exhaustive list of topics of interest for t= he FMTea19 workshop is below:

 

• traditional FM teaching= : lectures, exercises, exams

• online FM teaching/lear= ning: experiences/proposals

• teaching FM for industr= y

• integrating/embedding F= M teaching/thinking within other computer science courses=

• student projects on FM,= including group projects

 

Computer science is transformin= g into a rigorous engineering discipline. Improved teaching techniques will= ensure that FM is at the heart of this transformation process.   &nbs= p;

 

ORGANIZATION<= /p>

 

FMTea19 is organized by FMER= 17;s Teaching Committee. Our broad aim is to support a worldwide improvemen= t in learning Formal Methods, mainly by teaching but also via self-learning= . To that end, we have already gathered a list of FM courses taught worldwide, that can be seen, for the time being,= here: https://github.com/luigia= petre/Formal-Methods-Courses/issues  (= we are in the process of migrating the courses to a webpage, so they will not live much longer as issues) and plan to col= lect other resources as well, such as FM case studies, FM inspirational pap= ers, etc. 

 

PROGRAM COMMITTEE

 

• Luigia Petre, =C5bo Aka= demi University, Finland (co-chair)

• Brijesh Dongol, Univers= ity of Surrey, UK (co-chair)

• Graeme Smith, Universit= y of Queensland, Australia (co-chair)

• Catherine Dubois, ENSII= E, France

• Joao F. Ferreira, Unive= rsity of Lisbon, Portugal

• K. Rustan M. Leino, Ama= zon Web Services, US

• Alexandra Mendes, Unive= rsity of Beira Interior, Portugal

• Leila Ribeiro, Federal = University of Rio Grande do Sul, Brazil

• Pierluigi San Pietro, P= olitecnico di Milano, Italy

• Kenji Taguchi, CAV, Jap= an

 

PREVIOUS EDITIONS

 

Several events focused on teach= ing aspects for Formal Methods were held in the beginning of the 2000s: two= BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 c= onference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton= , co-located with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (= Kitakyushu 2008, co-located with ICFEM). The latest event was TFM2009, the = 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands= . 

 

SUBMISSION DETAILS

 

FMTea19 invites high quality pa= pers reporting on opinions, approaches, and experiences related to the topi= c of teaching Formal Methods. Each submitted paper will be reviewed by at l= east three PC members. The conference proceedings is planned to be published in Springer's Lecture Notes in Comp= uter Science series. All submissions must be original, unpublished, and not= submitted for publication elsewhere. Submissions must be in PDF format, us= ing the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available= in llncs2e.zip and the typeinst.dem available in typeinst.zip as a templat= e for your contribution). Papers should not exceed 15 pages in length. Subm= issions should be made using the FMTea19 Easychair web site:

 

https://eas= ychair.org/conferences/?conf=3DFMTea19

 

All accepted papers must be pre= sented at the workshop. Their authors must be prepared to sign a copyright = transfer statement. At least one author of each accepted paper must registe= r to the conference by an early date, to be indicated by the FM2019 organizers, and present the paper.

 

 

IMPORTANT DATES

 

• June 15 (June 1)= , 2019: Submission of papers

• July 15 (July 1)= , 2019: Notifications to authors

• August 15 (August 1<= /s>), 2019: Proceedings version ready

• O= ctober 7, 2019: FMTea19 in Porto 

--_000_27dbbfe79cc44862a76b1118882f13ddabofi_--