coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Luigia Petre <Luigia.Petre AT abo.fi>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Teaching Committee Meeting at FM'24 next week, Wed 11.9 @12:50-14
- Date: Fri, 6 Sep 2024 12:36:30 +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 C7DF0109D65C
- Ironport-data: A9a23:bPXu3KxTuDCPOhqETPN6t+cCwirEfRIJ4+MujC+fZmUNrF6WrkVVm mBLXD+COKmPYTSgc95xYN+090gP6pbVz9RhQAVkqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmYc3l48sfrZ9Es+5Kqq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPO7d91Um4dPLYeucNNI3pR/ OAcEToCO0Xra+KemNpXS8F3g9g7ac72IMUWsHYmwzCx4fQOGMubBf+Rv5kChW1225gm8fX2P 6L1bRJLcRXPYhQJAloLEp8Wle2vwHf+G9FdgAPI+/dsvzGNpOB3+Lfpc93kUJusecoWpWOKn 0/80F3QGh5PYbRzzhLfqyjy27CT9c/hY6oZE6T9/fp3inWI12kLAVsXU0G6qL+3kCaDt8l3M EkI4m8psLR0/UasCNf8N/GlnJKaljwyccEOPMY70wfO75D2+BmQGmw9RDEUPbTKq/QKbTAt0 1aImfbgCjpurKCZRBqhGlG89mLa1c89cTVqWMMUcTbp9eUPt6kdr3ryojtLC6uplpjyBC22y jqN6iY/71nysSLp//vllbwkq2vyznQscuLTzl6INo5CxlgmDLNJn6TytTDmAQ9ode51tGWps nkegNS55+sTF5yLnyHlaLxSRuz0ua/dYG2B3AUH83wdG9KFpyLLkWd4vG4WGauVGppslcLBP hKO4l05CGF7ZSP2BUOIX25BI55zl/a9SoiNugH8c9xPfJVrbw6b7WlpawaMwnrujSARfVIXZ P+mnTKXJS9CU8xPlWPuL89EiO9D7n5kmQv7G8uhpzz5iuX2WZJgYepfWLd4RrpnvPrsTcS82 4s3CvZmPD0GD72jO3CJr9dMRb3IRFBiba3LRwVsXrbrCmJb9KsJUZc9GJtwJtA3rLcfjerS4 HC2V2lRzVe11zWNKhyHZjonIPnjVIp25yBzdyE9H0ea6156a6aW7YAba8QWe5sj/7dd1vJad aQOVPiBJfVtcQ753QohQ6Pzl6FYTyTztzmyZ3KkRBMdY69fQxf4/464Xwn3qwgLICmFleo/h LyC1jLeEYcxQgdjKO30a/uf6Uy7klZAueB1XmrOesJyfme1+qdUCiXBtN0FCOBSFgfinxy0j x23BzUcrsnz+74FysHD3/24nt34AtlAEVp/NEiFy7SPbA3x3HepmK1EW8a2JQHtbnv+ovieV L8E3sPHEaM1mXhRuNBBCJdt96U14uXvq5J8zghJGHbqbUyhOoh/I0upjNV+ialQ+oB34QeGe FqD2t1/C4W7PMnIFF0wJg18Ss+h0foSuCfZ7NVrAUHcyRJ0woG6UhRpD0HRsBBeEbp7C5N64 OEDvMVN1RezpCB3Ofm7jwdV1V+2EFo+b4sduKsnXbDb0jgQ9gkaYLj3KDPH35WUWtAdbmgoO mC1gYTBtZR9x23DUXoCECjQ7+9ehLAlmhND/HkdLXunx/vHgf4W2kVK0DIVFw568DRO49hRC ENKaXJnBPyp0W9zpc5hW2uMJVlwNCeB8Bas92pTxXzrcUa4c0fscks/AL+p12IE+Tt+ejN7w ump+Fz9W2y3QPCrjzoAYm87mfnNVtcryxbjnvqgFMG7H5UXRzrpr6utRGgQoSvcHsIDqxzbl NZu4dpPR/X3BQwIr40/Lruq57AaZRSHBW5FGNVK3qcCG0PCczCThxmKDW2Mef12Gv+byn/gV vRSJf9OWS+uiweIjDQQXpAXL5FOwfUG2dsle5HQH1AgjYexlDRSnaz1yjnfn04uGtVnrtY8I NjedhWECW2hukFXkG7s8uhCHHa0QfAYblbChMSw3uQDBs8GudpNamA36KO/5F+OATtk/jWVn QLNXLDXxOpc0rZRn5PgP6FAJgesI/bhfb6s3CHqlPoWdvLJE8PFlz1Nm2ndJw4MYIcgAYVmp 4qCoPvc/R3jvo9vd0v7hpPYNa1CxfvqbdptKsitcUVrx3qTavTNvSkG1Xuzc6FSsdVn4cKie Qu0Re2wefMRWPZf3HdlUDdfITlMF5XIarrcmg3lo8SuEhQ91Sn1HOGj/1LtbkBZcXYsEL/6A QnWpf2vx455qKJhORw6PMxlUqRIeALbZagbdtPP7GjSSiHih16ZobLtmCYx8TyBWDHODM/+5 omDXRTkMgi7vKbT1txCrohupVstAW1ghfUrNFcokzKsZ+tW0EZdRQjcDXkHNn2Qujf3yIm9Y yzRKmIoDmPzXFyotPk6DMvLBm+i6i4mY78V5QDFO2udYSDwCoLo7H5J6HJ7+3kvEtf85LjPF Dzdk0Ec+jC4yJYvS+d7CjlXRwt47quy+0/kMnwRXyA/79jyzFnKOLFc8NJxaBH6
- Ironport-hdrordr: A9a23:qJXSpaqzeHIkCZG2M1isCWgaV5oHeYIsimQD101hICG9Kvbo8f xG785rrCMc6QxhJU3J+7i7UpVoJEmwyXcb2/h0AV7PZmjbUQiTXf1fBOnZslrd8kTFn4Y3uc gPT0EUMqySMbEOt7ee3ODOKadD/DDoysCVbKzlvg9QpElRGtpdBilCe3ymLnE=
- Ironport-phdr: A9a23:+D5qsxDcZgCOpocK60XpUyQUdkkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua41ygaXBM6GsbptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmDaxe65+I RSroQnetsQan5ZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcF2kalVog+upwZnzoDUfo+bKeZ+cK3ec9MbWWVOUd1cWDZdDoO+d YYDE/YNMfteooLgp1UOtxy+BQy0Ce3p1z9Ih3D23awg3O88Cw/JwhAgH8gQv3/Jq9j7MroSU eG6zKnJ1zrPdelY1inh6IjSbB8suuuDUql3ccbLx0kvFhrIg1ONooPqIz2bzP4Cs3SH7+V+T +KvjXYqph9/rDWu2MshhZXFi4YRx13a9yh0w5g5KN2lRUJmYdCpDJtdui6VOoZ0XM4vQW5lt iY7x7EYpJO2fisHxIgpyhPZdveJfY+I4hf5W+aQJzd1nGxqd6ikhxey7UegyvfzVsiu0FpQq SpFiNbMumgX2BPI7ciLUPV9/kan1D2S1A7T8vlJLV06mKbHMZIt3LA9moQJvUjdAyP6hl/6g a+Kekk85+Sl5fjrbq/4qpKSKYN4kBzyP6Ugl8ClD+k1MxACU3WV9OigzrHv40P0TKtQgvErk KTUsorWKMsHqqO/HgRYzIIj6wukDze6ztsYh2QJLFNEeR2Zl4XlJ1fDK+3iA/ilmVSjijJry ujGPrL/BpXNKWDOkKzkfbZh805Q0Q0zzc1D555OEL4OO/XzVlX/tNzZFhM5Mgq0zPj7CNhly 48TV36DDrWHPK7cr1OE/PwjL/SSaIMPuDvxN+Ap5/v0gn84nV8dc7Op3ZwSaH2gGPpmPkSZY XXtgtgbC2sEpBQxTPDwiFKcSjNcfW29X6Um6jE1CYKqFYHDSZu1j7ybwCi7BoFWZnxBCl2UD Hvkb5+EVOsUaCKOPs9hlSQJWqSmS484zB2hqAv6y6d8IefP4S0ZtZfj1MBv6OHJlBEy8yZ0D 8WH3G2XQWF0hDBAezhjlqt4uAl2zkqJ+al+mf1RU9JJrbsdWQAjcJXY0uZSCtboWwuHcM3fG 3i8RdDzJSwwQdM4i+cDf1xwU4GGkxHM3iPsO7IJjbGjDZYztKzdiSuib/1hwmrLgfFyx2ItR dFCYDXObs9X8gHSA9WMiECFj+Oxcrxa2ifR9WCFxG7IvUdCUQc2X7+WFWsHaB7wqtL0rljHU 6foEa4uZy9cyMGDI+1yZ8HzgH1PTvClNtWNK3mplTKIDA2TjqiJcJKsfmwc2CvHD01Rtx0S8 nePczAzGj2si2vUC3pgFAGneFvipM95rn7zVUoo10eKYklmgqKy4QIQjOeARuk7xbcYoGImt ikyFVy6mdzXYzaZjyxmeqgUIdY04VMckHncqxQ4JZu4aaZrml8ZdQ1z+ULozRR+TItaw4Asq zsxwQx+JLj9shsJfi6E3Z32JrzcK3XjtBGpZanM31jC0dGQsq4R4fU8ol/nsUmnDE0nu3lg1 tBU1TOb6PCoREI2TJP+U09xzxVmvbzyayM6oY3VlDVtPaSyrj7eyocxHuJ2gh2kftpZLOaFD FqrSJVcXZP0brZzwR70NkFhXqga7qM/MsK4euHT3aeqOL0lhze6lSFc55g71EuQ9i16Q+qO3 pAfwvje0BHUMlW0xFqnrM3znphJID8IGW/qgwz5BYFQb+tKcJoRBE+nKcrxyNQ01PuPEzZIs UWuAV8LwprjXQeTYF30mzVdyV4aiXWtnm22znYn2yFspa2Z0ivUxu3kfxdSIW9HSl5pilL0K JS1hdQXNKSxRzAgjwDtpUPzxqwA4b96M3GWWkBQOS7/M2BlVKK08LuEec9Grp0y421bV+G1Y FbSTbCYwVNS9z7iEGpXggg2ayunkpzzmFp0iSqRIW1yo3zQZcxrjU6EvJqGHqQXhGNcAnQgw TDMTkCxJdyo4cmZm/Kh+qilWmStW4cSOSjnwIWctTeqsGhjABmxhfe2yZXsFQk31zO+1sE/D H6Q6kynOM+xjv78bLo0GysgTEXx4Md7BIxkx445hZVLnGMfmo3Q5n0f12H6LdRc36v6KnsLX z8ChdDPs22HkAVuKGyEw4XhWzCT2MxkMpOef2IZ2yt7181WEqq85bZD2yV06Andz0qZcb1mk zERxOF7oloHgu4IsUwVwzmHD5gbF04eMy2mxHHqp5iu6a5QYmioa7250kFzyMugAL+1qQZZQ H/le50mEHw4/oBlPVnLynG29pD8dYyac4cIrhPN2USl7aAdONcrm/ENnyYiJW/toShv1bsgl RI3lZCi4NrecD0rpvnjREQBbXusPZtb+ymx3/8FxoDMhNrpRMw7XGhTOfmgBfv6FT4b8PP6K 0CCGSE1oXqdBbfFWwGeoEZgpHbSH535AGqPKj8UyNxjQBSHJQpRgWV2FH07mJU9Cwynltf5f gF87zYd/F/8rhJU0qRjMBy3U2HUoBqkZ2UDU4CRagNL5wVe/UbeKoqV6ecWfWkQ/4X9/l3Qb DXEOkIRVDpPAxzdTwfqOr3kjTXZ286fAOf2b/7HYLHV7PdbS+/N3pW3lI1v4zeLMMyLeHhkF fwynERZDzh/HIzCljMDRjZy9WqFZtOHpBq65ix8r9yuuPXtVgX14IKTCrxUedxx8hGyiK2HO qaeniF8YTpf05oNwzfPxt19lBYKjDpycjC2DbkanTXIULqVnbJLSRcRbGV9NYoA7q4x2BVMJ d+Oit7x0e0d7LZ9AFNEWFr938CxMJVReyfnbwmBXh/Rcunedlipi4ntbKixSKNdlrBRvhy04 nOAFlP7ey+Ej3/vXgyuNudFiGeaOgZfscezaEUIayCrQdT4Zxm8KNIygycxxOh+om7LOm8Vd wBxb1lAhrSa6mVWg78sfg4JpmogNuSClyuDuqPALY0KtPJwHiluv/lf/Gx/zKZJqihOQ7p7m WGBy7wm60Hjme6JxD19VRNIoTsen4OHs3JpPqDB/4VBU3LJlPrsxX6VFwxPoMZ5TNTlvOZey 4qX/EoWAD5I9JTa/JlEbyA7AMuNNzwvMEiwcAM=
- Ironport-sdr: 66daf751_5qysOoBJXxybvqm9CpyGeZyltbEj2zcX0HLxQyIeNS8aOQ3 5g6FVSI7Q0MLzZIm3DgOXT1DMBbsic4mDouOAeg==
Dear all,
FME's Teaching Committee organises a meeting at FM'24 in Milan on Wednesday next
week (September 11), during lunch time 12:50-14 CEST (session 16, Room 3.0.1; people can
take lunch and we eat it together while discussing our issues) mainly about
- Devising FME guidelines for an FM Curriculum for undergraduate/graduate Computer
Science studies
- Working on a Book Series in Formal Methods
Here the schedule for that day, where our session 16 can be seen: https://www.easychair.org/smart-program/FM24/2024-09-11.html
Everyone interested welcome!
Looking forward to FM week,
Luigia Petre,
on behalf of the Teaching Committee
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre
- [Coq-Club] Teaching Committee Meeting at FM'24 next week, Wed 11.9 @12:50-14, Luigia Petre, 09/06/2024
Archive powered by MHonArc 2.6.19+.