[Hol-info] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial

-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 collect other resources as well, such as FM case studies, FM inspirational papers, etc. PROGRAM COMMITTEE * Luigia Petre, Åbo Akademi University, Finland

[Hol-info] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal

up. We are 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 Po

[Hol-info] CfP: FMTea21 --> Formal Methods Teaching Workshop and Tutorial, Nov 21, 2021, ONLINE

r), University of Luxembourg, Luxembourg - Sandrine Blazy, University of Rennes 1, France - Brijesh Dongol, University of Surrey, UK - Catherine Dubois, ENSIIE, France - Rustan Leino, Amazon Web Services, US - José N. Oliveira, University of Minho, Portugal - Luigia Petre, Åbo Akademi University, Finl

[Hol-info] FMTea (Formal Methods Teaching) Tutorial series starting soon!

e hour, give or take. Everyone welcome!! With best regards, Luigia Petre on behalf of the FME Teaching Committee Luigia Petre is inviting you to a scheduled Zoom meeting. Topic: FMTea Tutorial Series Time: This is a recurring meeting Meet anytime Join Zoom Meeting https://aboakade

[Hol-info] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition

give or take. Everyone welcome!! With best regards, Luigia Petre on behalf of the FME Teaching Committee PS: The recording of Sandrine's lecture last month is already in the webpage https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/, where Ran's will also appear so

[Hol-info] Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce

of CET, so for him the talk is at 9 pm. Here is the info in our webpages: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/ And here is the zoom link: https://aboakademi.zoom.us/j/64254430116 Everyone welcome! Kind regards, Luigia Petre (on behalf

[Hol-info] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US

k is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Kind regards, Luigia Petre (on behalf of the FME Teaching Committee) PS1: the tutorial series webpage is updated with the list of speakers who confirmed their lectures in 2022 here: https://fme-teaching

[Hol-info] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs

4/tutorial-series-of-the-fme-teaching-committee/. Please note that we have a speaker every month from now on until August, and then also October is booked. PS2: the April 2022 lecture is scheduled exceptionally on the last _Thursday_ of the month, instead of the usual Friday. __ Luigia Petre, Docent, P

[Hol-info] FME Tutorial series lecture this week, June 17, at 3 pm CET: Dr Tim Nelson (Brown University, US) on "Building Formal Methods Classes for Everybody"

aker every month from now on until October!! PS2: the June 2022 lecture is scheduled exceptionally on the 17th of the month, instead of the usual last Friday of the month, due to the summer holidays of some of the involved academics. __ Luigia Petre, Docent, PhD Faculty of Science and Engin

[Hol-info] New lecture in FME Teaching Tutorials series on July 29, at 3 pm CEST: Prof. Erika Abraham (RWTH Aachen University, Germany) on "Automatic exercise generation for satisfiability checking"

ttps://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. Please note that we have a speaker scheduled every month until October!! __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo

[Hol-info] FME Teaching Tutorials series continues on August 26, at 3 pm CEST: Dr. Robert Lewis (Brown University, US) on "Teaching the theory and practice of proof assistants with Lean"

-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET

e!! Best wishes, Luigia PS: the tutorial series webpage is here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.use

[Hol-info] FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET

4254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: the tutorial series webpage is below; we continue in January 2023! https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty

[Hol-info] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods

4254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: the tutorial series webpage is below; we have speakers planned until June! https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty

[Hol-info] FM Teaching Tutorial on March 31, 3 pm CEST --> Prof Emil Sekerinski (McMaster University, Canada): Teaching Concurrent Programming

an hour. Warmly welcome!! Best wishes, Luigia PS: the tutorial series webpage is below; we have speakers planned until June! https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi

[Hol-info] FM Teaching Tutorial on June 16, 3 pm CEST: Prof. Laura Kovács, Vienna University of Technology, Austria: Teaching Formal Reasoning at TU Wien

1/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourc

[Hol-info] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun

4/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge

[Hol-info] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck

series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre ___ hol-info mailing list

[Hol-info] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!

tps://easychair.org/conferences/?conf=fm24> Tutorial Track Committee Member(s) Affiliation Role Luigia Petre<https://luigia-petre.github.io/luigiapetre/> Åbo Akademi University, Finland PC Co-Chair Shriram Krishnamurthi<https://cs.brown.edu/~sk/> Brown University, USA PC

[Hol-info] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line

/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different

-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info