[fg-arc] FM Teaching Tutorial on May 26, 3 pm CEST: Research Director Thierry Lecomte (ClearSy, France): Teaching and Training in Formalisation with B

[Luigia Petre]

Dear all,

The Formal Methods Teaching tutorials series continues with a lecture on Friday, May 26!

Research Director Thierry Lecomte  (ClearSy, France) will lecture on his experiences of 20 years spent in the education of engineers (colleagues or customers) and students, together with the parallel design and improvement of supporting modelling tools on Friday, May 26, 2023 at 3 pm CEST. In a recently published paper, Thierry says: "Applying formal methods in software industry is still perceived as a difficult task. To ease the task, providing tools that help during the development cycle is essential, but proper education of computer scientists and software engineers is also an important challenge to take up!". Read more here: https://link.springer.com/chapter/10.1007/978-3-031-27534-0_6.

Thierry's lecture is entitled "Teaching and Training in Formalisation with B".

More information about our lecturer can be found here: https://www.researchgate.net/profile/Thierry-Lecomte-2.

The zoom link for Thierry' lecture is https://aboakademi.zoom.us/j/64254430116.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: for more info, here is the tutorial 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20230519/50d3b3e1/attachment.htm>