Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Luigia Petre <Luigia.Petre AT abo.fi>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] FM Teaching Tutorial on May 26, 3 pm CEST: Research Director Thierry Lecomte (ClearSy, France): Teaching and Training in Formalisation with B
  • Date: Fri, 19 May 2023 13:35:53 +0000
  • Accept-language: en-US, sv-FI
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Luigia.Petre AT abo.fi; spf=Pass smtp.mailfrom=Luigia.Petre AT abo.fi; spf=None smtp.helo=postmaster AT smtp-out.abo.fi
  • Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 9331410CFF9C
  • Ironport-data: A9a23:SCGnHa9wvXNQQD9QPAiKDrUDmnqTJUtcMsCJ2f8bNWPcYEJGY0x3m jAaW2uPP/uIZ2emL94nbt6y8x8D6MXSzIdiTgI+/yBEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYsWo4ow/jb8kg34a2j4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE7+x2B0g3JooiosF8BW1W+ sIleQwpcUXW7w626OrTpuhEncE/NIzsIZ9Zs3tniz/YZRokacmYG+OQvoUehm5qwJ0WdRrdT 5JxhT5HSAnBbBxGfG8aFIgztO6igT/xclW0rXrI+/ZoujeDk2Sd1pDHaYPRRfORZfkNvUTfu Fnj/F3jAFIjYYn3JT2tqSjw3rGQxksXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 1cR5jJrqrUuskWhSZ/zXnVUvUJooDYwQsJbGuwh7zvV7aHQ7x6WOFVVchpePYlOWNANeRQm0 VqAntXMDDNpsaGIRX/1yltyhWntUcTyBTRcDRLoXTfp8PG9+N1u30OnosJLSvTu14Slcd3l6 23ikcQou1kEpeAqv0lR1WzamTGxznQiZlRtu1mPNo5Jxjh+eZKleIGz9RD17PBEJYCVJmRtU VAfntSGqecTEdeEnivLTuRl8FCVCxStbma0bb1HRsdJG9GRF5iLJ9s4DNZWfxwBDyr8UWW1C HI/QCsIjHOpAFOkbLVsf6W6ANkwwK7rGLzND66EMoYVPsYtLF/coUmCgHJ8OUixziDAdolja P+mnTqEUSty5VlPkmLnGLZEuVPV7n9umgs/uqwXPzz8i+bGOiHOIVv0GEePY/w04aXMvATY7 9FDOsiMyhRcWeu2YSTM8pMIZVcbRUXX9rirw/G7gtWre1I8cEl4Uqe56ep4K+RNwf4J/s+Wp SvVchEDlzLCaYjvdF/ihoZLMu2/BP6SbBsTYEQRALpf8yR7MN/2tP9DJ8RfkHtO3LUL8MOYh sItI62oasmjgBydk9jERcmg/N5RZ16wiBiQPiGoRjE6ctQyD0bK49LoNE+nviUHEiP954N0r qyCxzHrZ8MJZz1jK8LKN9Op7Ve65kYGlMxIAkDnH9h0eWfXyrZMFRDftPENHpwzGU3x/QfCj weyKjUElNbJuL4woYXoh7jbjoKHENleP0t9Hkvb3LPmKBvf/WuH6q1DWdauYjryej7V+qKjR OMN1ND6EqQNs2hrurpGMYRA7PwB9fq2gJEC1SViPnHAT2rzO4NaOnPcgPV+7Pxc9IFWqS6de xyp+OADHZ6rJcm8MloaBDR9X9S5zftOxwXjt6UkEn7buh1y0qGMC3hJHh+2jydYErt5HaUlz colu+8U8waPsQUrAPnXkhFr83mwEVJYX5UFrp06BKrZujgvwHxGYr3eDXb424HQStNuNkJxH CSYqpCfjJthx23DUUEJK17z4cRni68jgit6lG05GwzRm/7upOMG4xlKwDFmEiVX1kpm1sxwC EhKNmp0B6W/+md1ts1AXkSHOQJINDuG8GPflnoLk2z4SRGzd2rvdWcSB8eEzHo7wUl9IAdJ3 ei/5j7+cDDIeMrR4HMDaXR9oaa+ce0rpxzwps+3Ou+kQb84WGPBqY2zbzMqrxDHP5sAtHffr 7M3wNcqOLzJDg9OkagVEILA6K8xTiqDL2l8Qf1M2qMFMGXfWTOq0wi1NEGDVZJRFsPO7HOHJ ZRiFuBXWzS68RS+nDQRKKoPAr1zxfAS9IUjfJHvLjU4qLexlGdin6/R0Sncv1UVZetSv/wzE a7vUg6TM3exgCJUklDdrcMfNWufZ8IFVTLG3+u00bsoEbQfvMFFbUtp7OOQuluUOho6+huvn RjiYpXOxLdI0rVcnIrLE4RCCT6rKNj1av+6zQCrv/lKbvLNKc3rpSpPjnXGZiN4ZaAwXfZzn pSz6O/H5lvP5usKYjqIiqu/GLlszuTseuhua+bcDmRQxAmGU+/SuyozwXiyc8F1oYkM9/ucZ lWKbeWrfoQoQPZb/npebhZeHzs7C6jaaqTBpzu3n8+TCyoygBD2E9e6yUDHNW1rVDcEG5nbO D/Gv/yD4tN5roMVCiFdVrsiS9V9LUT4UKQrS8zpuHPKRiO0i1eFof35mQBm9TjPDWKeHd3n5 Y7eACLzbwm2pLqC2eQxX1aeZfHLJC0VbSgMkkMhFxpekDWmFCsBMPhbOJ8BTJ9V+sA3OFcUe xmVBFbOyw2kNdiHTfk4yN3pWUGRB4Ti///ncycx8Rr8hzieXeu97XgIysuky358fX3tzYlL7 D3YFmLYZnCM/32ieQrfCjFXTwuqKjM2C0/kIXzArvE=
  • Ironport-hdrordr: A9a23:bcJULq2DOTQBP4DJ2Krd3wqjBJ4kLtp133Aq2lEZdPUMSL3/qy ncpoVj6faUskdtZJlD8errBEDkex7hHPFOkO0s1NuZPTUO21HYUL2Kj7GSpAEIcheWnoUwus ldmsNFeb7N5C1B/KPHCX6DYrQdKbe8kJxAzt2ut0uFBTsaEJ2IwT0JcDqmLg==
  • Ironport-phdr: A9a23:UsUUehJP7Go36AA7+tmcuJlsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFuLM20gKCA9mTwskHotSVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Z3ebx9GiTe8Yb5+I xS7oArMvcQKnIVuLbo8xRTOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQ bNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu8 6FmQwLvhykaKj4563nXhdJsg6JHrhyhoBl/zJTVYIGTKfFyeqzQcNcfSWdHQ81fVTFOApmkY oUPEeQPIPpYoYf+qVsPsRSxChKhC/nzxj9KnHL6wbE23/knHArb3AIgBdUOsHHModvzKacSU O+1zKjSwj7edf1Zxyv96JLWfRs8pvyCW69wccveyUkuDQzJlE+eppL5PzOPyOsAqHKU4PFnV e61hW4nqhh8rz6yzcgjlofHnJgaykzY9Spn2oY1I8W1RkFnbNOmDZZduTyWOpdqTs4tXW1lu CQ3x78EtJO4YiQH1popywPCZvGZc4WF7A/vWPqRLzl3mn5oe7Gyiwq8/EWm1+byWM600FNQo SpElNnBrmsN1wTJ6siGTPt98Vmu2SyV2w/P7eFEJFg4lbDFJJ463LE/jIATvljDHi/5gkr2k LGZel8i+ue29+TrerTnppibN49xkA3+L78ultSwAeQ5LggOX3Wb9v+m2L3i+k31WK9FgeYxk qXDvpDaJMIWrbO6DQ9Nyosv9hiyAyu83NgGk3QLMkhJdAyag4T3IV3DIOz0Ae+ij1mijDtn3 e7KM7P/DpnXM3TOkbnscaxz5kNd0AY/0N5S645OBr0fLv//RFX9uMHaAxI7KQC5zPrrBdNg3 Y0EQ22PGLWWMKbKvF+I+O0vJ+6MaZcOuDb4N/gl/+fijXgkmV8BZ6Wmx4AYaHeiEvRoIkWVe XvsgtEfHmcWpgcyUeLnhEGYXTJNaXu+Qbgw6i8mBI64F4vORpyhjKSE3CihH51WYm5GCkqLE Xftb4iKXeoMaCOdIs9giDMIT6KvRJE91RG0qgD30KBoIfHT+iECu5Lj1cB55+vImh4q7zx7E 9yd032RT2Fzhm4EWic63Lpjrkxl1leDza94juREGtxU/vNFSxs1NZrBz+NhEN3yQQLAftKRS Fm8WNmmADcxTsgww9AUeUp9Fc+i3Vj/2H/gCLgM0rePGZYc86TG3nG3Kdw3gyLN07BkhF07S ONOM3enj+hx7V6AKZTOlhC9iqeldK1U5CPR7mrLmU6TvU5ZWUhIXLnfUFgWbEyQo9WvtRCKd KOnFblyalgJ8sWFMKYfNoyBZTRuQf7iPI+beGetgyKrAg7OwLqQbY3scmFb3SPHCUFCnRpAt W2eO10YASGs63nbECQoDUjmNmfx8OZ/oTWDQ1MuwimDZUon2bvmsgUNi6mkQugIlqkBpD9nr jx1GFin2NeDL8eBqAtoOp1RfckwyF5N0iTXtl81JYSueoZlgFNWaAFrpwXu2hFwX51HitQvp Wg2wRBaMqeEyBZGai/e1Jr3fLPWQoXr1DaobaOemlTX0dLNv7wK9Ox9sFL7+gegCksl9Xxjl dhTyXqVoJvQXkIUVtrqX0A7+gIfxfmSazQh547SyXxnMLWl+j7E1dUzAeI5yxGmN95BOaKAH QX2HoUUHc+rYOAtnlGoaFoDMoUwvOYQIsKpdvLA4KO3JutIlTihy2pGoch83k+K6ytgW7vQx Z9Wi/qc3waBS3L9lAL46Zixw9seI2tLRCzikXuBZsYZfKB5cIcVBH37JsS2wo47nJvxQztD8 0blAVoa2civcB7Ublrn3AQW215ExB7v0Sa+0TFwlCkk66SF2ymbicD/dRUGMyhzSXV4gH/lK 4/ygdFQDy3KJ0A50QCo40r33f0RgLl+IGjaB39FYzL7B2hoVe2+t/DRK94K45QuvyJNVe26a l3PUb/xrSwR1Cb7FndfzjQ2H92zkq3whAcyyGeULXIo6WHcZdk13hDHotrVWf9W2DMCAih+k zjeQFambZGl+tCdlpGLte7bNSrpcoBSfijii7uNqDG2zWRgBluxnri/l8bmHg4zzSLgn4AxD WOS90y6ONCxkfnieet8NlFlHlr999Z3FuQc2sMriZcc1GJbzpSZ8HwbkHviZNBS2Kbwdn0IF nYAx9/Y5hSg2VU2dynRgdiiDDPHm5EnOoHpBwFekjgw5M1LFqqOublNnC8u50G9sRqUev9l2 DEU1fop7ncexeAPogskiCuHUdVwVQFVOzLhkxOQ4pWwtqJSMSyLbLm/1UM4pd29FryqqwtbH nj4MMRHf2c4/oBkPVTA3WemoKX5edbRZJQruwGOnj/Jhe8TJpN7xZ9ozWJ3fGn6u3Mi0esyi xdjiIq7sIawIGJo5KulAxRcO269d4YJ9zrql6obgteO0tXlAMB6AjtSFsiNL7rgAHcIuP/gL QrLDDAstiLRB+/EBQHGoEZ+8yCWSMjtbSrNYiNAlpM7HkHVJVQD0llPBHNgxcR/TFnwgpG5F SUxrjlD41Lx7xxR1qRkPgX2WWrZuAqyLDk1AJmZJx5L4gwQ0FzNP4qT6+tyGyxC/9uvrWnvY iSaYQ9MEG0ECFecCRbmN7+i/9jE9+GAHqy1KP6GYK3S+70DEa7XmNT2i9AgpmbVfpKGOn0oZ xEi8mxEW30xW8HQmjFUDjcSizqIdMmD4hG15ixwqMm7tvXtQgPmo4WVWfNUNp109ha6jL3mV abYjTtlKTteypIHxGPZgLkZ0lkIjihydj6rWb0evC/JRajUl+dZFRkeIy90McJJ6eo70Gwvc YbDjcjp07djkvMvI0xASUSkndy1I8UAJCezNRKPBUqGMqiHOSyew8zzZvDZK/UYh+FVuhus/ DeDRha4ZnLZzGOvDUn1d7wU30T5dFREtYqwcwhgEz3mRdPiMVigNcNvyCYx2fsyj2/LMmgVN X59dVlMp/ue93A94L03Fmpf435iNeTBlTye6rySDosXvvpiRBx5i/hXyH0wzP1b7WsXIZ490 DuXtdNor1y8x6OXzSF7VRNVtjtRrJmOoV0nPrjFsJBKXjDK/VheiAfYQwRPrNxjBNr1vqlWw dWaj6P/JgBJ9NfM9NcdDczZQCpiGHMrNlznGWyMZOPkZSWuKXmagFFB1viY8Tubr8piwnADs JMETflVVQ5sfs4=
  • Ironport-sdr: 64677b3c_2R+y9Tyan3blnjPmWtY69xR34aSjAsrF6YGQp+aYrqHgKfY +fMCw35am8v91CRce9WAq3BD/iF7E3SIxoB+TDQ==

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



  • [Coq-Club] FM Teaching Tutorial on May 26, 3 pm CEST: Research Director Thierry Lecomte (ClearSy, France): Teaching and Training in Formalisation with B, Luigia Petre, 05/19/2023

Archive powered by MHonArc 2.6.19+.

Top of Page