coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FMTea 2023 - colocated with FM 2023 - call for participation

From: Catherine DUBOIS <catherine.dubois AT ensiie.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] FMTea 2023 - colocated with FM 2023 - call for participation
Date: Fri, 24 Feb 2023 08:31:44 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catherine.dubois AT ensiie.fr; spf=Pass smtp.mailfrom=catherine.dubois AT ensiie.fr; spf=None smtp.helo=postmaster AT mail.ensiie.fr
Ironport-data: A9a23:FA7Zxa0OUdsYpG0q1fbD5dB1kn2cJEfYwER7XKvMYLTBsI5bpzwFy 2ZLUGmAOvuPMzD3f492bYWwpBhTvJXcyd5gTlFt3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOH9IQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hFaYDkpOs/jY8Ek14Kyo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0vs+PUyKm8yBKQ739htRj1g7 +ITJQlYO3hvh8ruqF66Yuxlh8BlIc/wPYIS/H96pd3bJa93GtaeH+OTtIIehm5q7ixNNa62i 84xYjNzbBnaYhtCfFsKApU/h8+lgGL+cjAepkj9Sa8fsjSKk1EqieKF3Nz9ZMGuWtVEoRmj/ 3Pi4USmEygKGeKc4G/Qmp6rrraTzHKkCN16+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QIrpKk2skGtVdj8Ulu2uhZooyLwRfJgE9Y6tCejzpP9wCOnHC9YYCRfY9Ef4ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXJNRYPlTXVYJTbp8+UPs6lv3kyUF48L/Lqd1IGuSG+YL yWi8UADa6MvYdkj+Z/TEbrvKNOyvImhouUdt1yPBjnNAu9Rz2ihasmk5B319/9GJ4vxc7Vsl H0NmszY4eYVDJCA0iKXKAnsIF1Lz6rbWNE/qQc/d3XEy9hL0yT7FWy3yGslTHqFyu5eJVfUj Lb74Gu9HqN7MnqwdrNQaImsEcksxqWIPY27Ca+NMYUWOMYrLlfvEMRSiai4gTqFfK8Ez/1XB HtnWZzyXB729Iw7nGroGLdBuVPV7n5jmzi7qW/HI+SPiObPNSHFFt/pwXOUY+Yw8K6eyDg5A P4BX/ZmPy53CbWkCgGOqNZ7BQlTfRAG6WXe9pU/mhireVE9RgnMypb5nNscRmCSt/QOxreSp yrtAye1CjPX3BX6FOlDUVg7AJuHYHq1hStT0fUEbQj2iUswK52i9rkefJYRdLwqvr4rh/1tQ vVPP43KDv1TQ36Vs34QfLvsnrxELR6LvAOpOzb6QT4de5U7eRfF1OW5dSTS9Q4PLBGNi+0An 5Oa2Dj2e6EzHzZZMJ6OadaE7U+AgnwGqecjA2rKOoZyfWvvwqhLKgvwrPs9JecUICr+2wmc9 geyKjUbrNnrvIUa3oToh6eFjoHxCMp4PBNQMFf65IaMFxvx3zSc064Zd8jQZhHbdmf/2Jv6V NVv1/umbcE2xgdbgbRzA5NA7PwY5eK2g5R40w49PnHAT2rzO4NaOnPcgPV+7Pxc9IR45zmzd FmEoORBGLOzP8jgLl4dCSwlYsmH1tAWgjPi1us0Emqr+B5I+Ke7bmsKMymukCB9KJ5HALEhy 8olu+8U7FWxsQp1E9CkiisPyX+AAEZdWIoat7YbIrTRtCwV9n94b6fxNArK8bCUStAVMkAVM j6e36XDoLJHx3v9SXk4FFmT/O8EhZ0xpw148wIQLmuNnv7AtO4W3QJQwxszXA963hVK6MMtG 2lJZmleB7SCwCdsv+dHB1uTIgBmAAaL32DI0H4LqTHpdFapXWnzM2ENA+aB00QH+WZ6fDIA3 rWn5Ev6cDTtJufd4zATXBN7lvndUtBBzA3Ot8S5FcCjHZNhQz7EgLerVFUYuSncHsI9q03Wl 9ZEpN8qR/XAChcRhKknB62x97caEkmELVMfZ8BRxvoCGGWEdQyi3TSLFVuKRfpMAP70oGuYE M1lI/xdWyuujBiuqi8pPo9SArtWssNw2v88VOLFGWo0vYGbjAJVi7PL1y2nhGYUU9Rkysk8D YXKdgO9KG+bhFoKumrzscIePnKKWoQBbwzdx8Gwyv0CTLgYgdFvcGYz87q6hGqUOw1Z5CCpv BvPSqvV7u56w6FuotfcKbpCDACKNt/DbuSE3wStudBob9mUE8Pxmy4Ki1vgZSJ6AKAwXolpq LGzr9LH5kPJk7IoWWT/mZPaNa1o5923bdVHIPDMM3hWsiuTavDCuyJZ1TiDFqVIt9dB6u2MZ QiyMpKwfOFIfeZt/iRebiwGHisND6jyULzbmhq8iPayWygtiVmNaJvt8HLydmhUexMZI5C0W Ee+p/+q4cset4hWQgMNA/Z9GZJjPVv/Qu0cesbssSWDRHyd6r9YVmAOSTJ7gd0KNpWFLCo+y ZfMRxy4eRKpuaDFit9D22C3Utv7E14l6dTcvGpEkzK1t9x+JGMANuUcPNMIEPm4VwTsgYrga milgHQKUE3AsPctTfk4yNnlRQaeC6oAIL8V49DvE1y8M0+LOW9LPFetGuqMLZu7lvsPAdxL8 e0jx0A=
Ironport-hdrordr: A9a23:eCruBa7YuKOFVIwEJgPXwMXXdLJyesId70hD6qlUc20yTiX+rb HWoB17726RtN9/Yh8dcLy7WJVoIkmskqKdg7NxAV7KZmCP0wbFQ72KhrGSoQEIdReOldK1mZ 0QFpSW1+ebMWRH
Ironport-phdr: A9a23:o42r1B9CGkn4B/9uWQW2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqGta8m1QaUFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJfglFhySxbbxvI BmrrQjaq9Ubj5ZlJqstxRTFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0V bNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+4 6ptVRTnjzoJNyMi8GHPlMN/kL5brhympxx62YHUYYeVP+d6cq7Sed4WQGxMVdtTWSNcGIOxd 4sBAfQcM+lWs4byqEYBoxSlCAmwB+7j1iNEimPs0KA41ekqDAHI3BYnH9ILqHnZss/6NLsSU e+r1qnIzDPDYO1L0jnz5ofFbwkvr/KRU7ltdsfe1VMgFx/FjlqOs4zlPjWV2foXv2eG8upvT uWvi288qwxqvDevwNwsiojIho0L0FzE+z95zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnl1t Ss4yrAKpIC2cDQUxZg52xLSa/iKfoeU7x/+VeudPzh2iG5rdb+9iBi/80qtxOPyW8S00FhGs jZJn8TOu30N0RHY98aJSvx4/ki72DaP0Rje6vxCIUA1jKbbL4MhzaArmZUNrUvDHTX6l1jog 6OOeUUk+/So6+T6Yrr9vJOcNoh0hhnxMqQpncy/DuA4PRYUU2eH/uS80bvu9lD6TrVSlvA6j 63UvZ7AKckbqaO1GRJZ34Ij5hqlETuqzcoUkWEEIV9GYh6LkonkNl/ULPzlA/qygE6gnCl1y /3AI7bvGI/CLmLZn7fkZbt961BTyA40zd1H4pJbELABIPbpVkDvstzYFR45Mw2qzOr9BtV9z JsSWWOJAqCHLKPfqUKE6+YhLuWWZIIYtyzxJ+Uh6vPul3M1h0IRcbex0ZsScn+4H/BmI0uDY Xrrh9cMCXsFsRAiTOzqllKCSz9TZ3CsUK4m+z47FZmpDYDCRoC2m7GOwiG7HoZXZmBHFF+AC 3nod5+cV/cKcy2dOtVhnSAcVbi9V48h0gmjuBLix7p9MuXU4jEYtY7k1NVt++LTkggy+SVoA MSZzmGCVHp5nngIRj8zxKBwu1ZxylaF0ahigvxXD8Zf5/1TUlRyCZmJxOtjTtv2Rwjpf9GTS V/gTM/1Lys2S4caysMOblx8Hdjqoi3p+AuRS+senqCLCYY19K+a02X7IMdm43vAz6gggh8oW J0cZiWdmqdj+l2LVMbymEKDmvP2JMz0vQbI/WaHly+VuV1AFRR3WuPDVGweYU3fqZL44FnDR vmgE+dvKRNPnOiFLKYCcdj1lRNeXv62M93CY2+rmmG9QxqVzLSNd6LnfX4c3SibBlJX2xsL8 yO+PBMlTjykv3qYCTVvEVz1ZEa5+uBiqH6hT0k5iQ2XZUpgzJK4/AUUhPHaRelAlqkctnIHr DN5VE24w8qQC9eEoF95e75AZNom/Fpd/WfQtgg7M5q7LqFvwFAEG+hul2Xp0Rg/SoBJkMxw6 Wgv0BI3M6WTllVIazKf25n0fLzRMGj7uh61OebQ3RnF3dCa971qirxwokj/vAyvCksp8ml2m 9hT3XyG45zWDQ0UGZvvW0cz/hJ+qvnUeC44r4/T0HRtN+GzvFqgk5oiDfclxwyhedoZPL6OE w7pO8AcHMmvJaokgRnhbx4JOvxT6L9hJ9mvJJ7kkOagOOdtmi7jjHwSudEmlB/QsXMtF6iSh sxWppPQlhGKXDr9klq758X+mIQeICoXAnL60y/vQohYeqx1e48PT2aoOcy+gNtk1PuPEzZV8 kCuA1Qe1YqnYx2XOhb21BFQ2F4Wp3HhlTayyD1vuzwvtaue0WrA2a6xEXhPcn4OX2RkgVr2d MK/hswaUVKpaQVvmAav4kfh76Vdv6V+Ii/dWw0bGkq+Z3EnWay2uL2YZsdJ4559qiRbXtO3Z lWCQ6L8qR8Xu8/6N1NX3ytzNzSju5Gj2gd/lHrYNnF46nzQZcB3wx7bot3aX/9YmDQcFmF0j jzeB170ONfMn53cnJ7fsu2kVmSsEJFOey7q1quNsjC65GAsDwf3k/2om9LhGBQ3ymeihoIsC HmO9UehJNOyjeyzKocFNgFwCUX56tZmF402iYY2iJwKmDAbipiT4XsbgDL2ONRf17j5aSloJ 3ZDyNrU7Q75nUx7eyvYnMSkCjPEk5YnPYDgMQZ0kmon4stHCbmZ9ulBlCpx+B+jqB7JJOJ6l XEbwOcv73gTh6cIvhAsx2OTGON3fwEQMCrymhCP9937or9QYTPlerGs1EdknNasSr2fqAZdQ 170fIwjHCI24N81YzeumDXjr5rpftXdd4dZvRSIkxraju5Ybp4snP0LngJqP3n8vHBjxfRx3 nkMldmq+YOALWtq5qewBBVVYyb0a80k8Tbola9Cn8yS0tPnDtB7Fz4MRpetUeOwHWdYq6H8L wjXWm5ZyD/TCf/FEASY8ksjs3/fD8XhKSSMPHdAhdR6GEvEdRcZ3VxSBWRn2MRgTEfxnoTkY A9v7zQVrDYUszNqzeRlf1n6W2bb/kKzbyssDYKYJ1xQ5x1D4EHcNYqf6PhyFmdW5M/pqgvFM WGdawlSaANBEkWZG1DuOKWv7tjc4qCZAOS5Nf7HfbSJr6RXSf6JwZul1oYu8SyLM42DOXxrD vtz3UQmPzgxA8PChzAGUDAajQrIZs+f4hq64Sx2o4ax6rWjWQ7i45eOF6oHMdhr/EPT4+/LP OqRiSBlbDdAg8pdnjmVlP5GjQNU0Xg0JFzPWfwauCXATbzdgPpSBh8fMWZoMddQqrg71U9LM NLajdX80vh5iOQ0AhFLTw+E+InhaMoULmW6LF6CClyMMeHMLjTXw8ztYKWxD7FNhuJVrDW9v y2aEkKlMC7JxFyLH1i/dPpBii2WJkkUoIambhNkEnTuVvrjYxy/dtJxljw3zPs6nDmZUAxUe Sg5eERLoLqK6CpeifgqAG1N4E1uKuyckjqY5e3VQn75mfZtGSV1mqRU+iZjo1O0xCRNRfgzl S3Jr99j5V+8wLHnIt9PXRxVqzdGwoyR7x0KBA==
Ironport-sdr: 63f875f5_3lRaYOilnCmhcS44xgbHIWok2+P80ZshHEL53niPFRz5lzC Qf4URV1XlCh0XdDdxi/5VOp7GEhxaCmuE4XzHTg==

=================================================================
Call for Participation
FMTea 2023
Formal Methods Teaching Workshop

Event affiliated with FM 2023,
25th International Symposium on Formal Methods (https://fm2023.isp.uni-luebeck.de/)

https://fmtea.github.io/

=================================================================

* The programme is now available online on the workshop’s web page:

https://docs.google.com/document/d/12Ry8_XkyTO88FwWhqKoKf_sCMUP1fm2sqnd_T42RZck/edit

Conference proceedings are published in Springer’s Lecture Notes in Computer Science series

* Invited speaker:

Erika Abraham, RWTH Aachen: Automated Exercise Generation for Satisfiability Checking.

* Registration

Registration details at the main FM 2023 conference site
https://fm2023.isp.uni-luebeck.de/index.php/registration/

* Objectives And Scope

Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the
correctness of systems. While in recent years formal methods are increasingly 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 student motivation. It is thus important to develop, share,
and discuss approaches to effectively teach formal methods to the next generations.

* Last session of FMTea 2023: Formal Methods in the ACM Curriculum

ACM is revising their recommendation for Computer Science Curricula; this activity happens every decade or
so. The FME board and our community aim to influence the Formal Methods coverage in this Curriculum.
This last session will be devoted to that subject.
The agenda for the session (led by Ana Cavalcanti, FME Chair) is as follows:
- 16:00-16:15 Introduction: Luigia Petre (Chair of FME Teaching Committee),
Jim Woodcock (Editor in Chief of ACM FormalAspects of Computing Journal),
Brijesh Dongol (Member of the ACM panel on Programming Languages)
- 16:15-17:00 Short presentations by members of the community
- 17:00-17:30 Definition of collection of white papers to be submitted in May,2023 to ACM and FACJ

* FMTea 2023 Program Committee:

Catherine Dubois (co-chair), ENSIIE, France
Pierluigi San Pietro (co-chair), Politecnico di Milano, Italy
Brijesh Dongol, University of Surrey, UK
Luigia Petre, Åbo Akademi University, Finland
Kristin Rozier, Iowa State University, US
Graeme Smith, The University of Queensland, Australia
Claudio Menghi, McMaster University, Canada
João F. Ferreira, INESC-ID & IST, University of Lisbon, Portugal
Alexandra Mendes, University of Porto, Portugal
Sandrine Blazy, University of Rennes 1, France
José N. Oliveira, University of Minho, Portugal
Emil Sekerinski, McMaster University, Canada

[Coq-Club] FMTea 2023 - colocated with FM 2023 - call for participation, Catherine DUBOIS, 02/24/2023