coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] SEFM'24: Call for Participation

From: Alexandre Madeira <madeira AT ua.pt>
To: Undisclosed recipients:;
Subject: [Coq-Club] SEFM'24: Call for Participation
Date: Thu, 3 Oct 2024 12:22:07 +0000
Accept-language: pt-PT, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=madeira AT ua.pt; spf=Pass smtp.mailfrom=madeira AT ua.pt; spf=Pass smtp.helo=postmaster AT mx02.ua.pt
Ironport-data: A9a23:SoONiKhAgehjm5KrjA55NgzZX161QhEKZh0ujC45NGQN5FlHY01je htvX23TOvbZYmChetgkb4Sx/B4B6seGmoNgTAtrrnhgE3tjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtNg06/gEk35qir4GtD5gBWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGFwY7F5IY1NRLHHhnz dcqEz1XVRqRiLfjqF67YrEEasULKdmzZsUCszd40Vk1D95/EMuFGv6Uo4YHh3Fr7ixNNa62i 84xbDNjYRXaajVSMxEPFPrSmc/x1iegLWUF9AP9Sawf22jZxjVN/4XWbcf2edmKHsRFsGeUj zeTl4j+KlRAXDCF8hKO+3eow+vOhj/TQ5MXDLT+9/hwgVTVyHZ7IBYRTB6wpeSzolWvXspWb U0S4Csn66YonHFHVfH4Txf+vXfCpgJ0t8dsLtDWITqlksL8izt1zEBfJtLsQIVOWBMeLdDr6 rOIoz8tLTl/6OfTVHvb7qv8QfaaJ30ONWFbDcMbZVJt3jUhiNhbYtHzohJLDafzlsGd9fTY3 WWRtCZn71kMpZdj6kh4lGwrRxqxr97RUmbZI+kRsn2NtmtEWWJuW2BkBZU3IxqNwEZ1g2RtZ EQ5pvU=
Ironport-hdrordr: A9a23:oPJ+FavVXWeDuRMJxL9RQyQT7skDRdV00zEX/kB9WHVpm5Sj5q KTdYcgpHrJYVcqKQgdcL+7WJVoLUmxyXcX2/hoAV7BZniEhILAFugLhuGO/9SJIVyFygc378 hdmt1FaeEYemIVsS+V2njCLz9q+qjizEnhv5a4855Cd3ANV51d
Ironport-phdr: A9a23:hdzdJR1LlNjBl0mhsmDOqg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeHo6831RSUBc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfwlEniSxba1vI Bm5rQjdqtQdjJd/JKo21hbGrXxEdvhMy29vOVydgQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+27Ql8JwkblboAq/qBNj347aboaVNP9kcaPce9MRWG5NU8lVWiBEBI6za JYPD+wcMuZZtInyu18OrRylBQayGezk1ztEi3Dq0aE/1ekqDAPI0xE6H98WsHrascn1OqkRX +C00KbHwivNYuhM1jvh7YjFaAwtre2OUL92bMHfyVMvFwTAjliItYHlOy2a1+sXvGid8uVgT /yggHMgpQ5rvzeg2MYsipPTiYkIzV3E8D92z5srKt25Uk50e8WpEIZKuC2AL4t2XtovTmd1s yk11rMIo4S0fDQWyJs53R7fbeSKfYiV7xzsSeucJTl2iXNqdb+whRu/7Uiux+LiW8S63lhEo SRIn9fMu34D2RLd5NSLR+V/80q/1ziC1R7f5+NALE0yiKHVJZkhwrsqmZoSt0TOBiD2mETqj K+Wa0Ur4fKk6+XgYrn+u5+TLZV4ihniMqkoh8exAvw4PxATU2Wf9+mwzqDv8EP4TblQk/E7k KfUvIrUKMgDu6K0BxFZ3pw+5xu+DDqqysoUkH0dIF5Ydx+KjJDlN0zKLf32F/uznlqhnTZxy /zbPLDtHI/BImXdnLrve7t29lBRyA4uzdBE+5JbFKsBLu/yWk7wqtPVFgM1PgqpyOj9Etp9z JkRWWeXD6+ZLqzStViI6/oqI+iDeIMZpizxK+U/6PL0lX85hUcRfaiv3ZQJdHC1BulqLkGXb Hb2n9sMH2YHshAjQOHohlCOSzBea263X60m5zE7DIymDZ3ERoComLGB2T20EYBIaWBHEFCDC 2zld5ieVPsWcCKSPtdtkjofWre5UY8uyQmutBPmy7pgNufY5DUUtYj/29ht++3TiRYy+CRoA MuH1mGNS3h4nmcJRz8twKByuld9y1eG0ahgmfNUD91T5/VTUgc7L5HQ1eJ6C8rqVgLbYtiJU EqmQsmhATwpUt0xxMYOb19hFNWmkxDMxDGnA6QVlryOHJw76LjQ33n3J8ZnynbJzrMtj1c8Q pgHCWrzu6hz9hPYA4nSnknRjauhdLwd0SjR7zXQnkSUu0QNeQp9QazDUWoSLm7fodn4/EqKG 7qnBbkmKAJp1MfEMrccOY6htklPWPq2YIeWWGm2gWrlVUfgLtKkaYPrfz9YxyDBEA0elAtV+ 3+aNA84DyPnomTEDTUoG0i8K1j0/7xYr3W2BlQx0xnMd1dogr+89hMUn/W0VvpVxq5X8Dw5p WBMFU2ml8nTF8LGogNgeKtGZtZo5V5L2GPDviRgN9q4M/MqnUYQJjx+pFimzBBrEsNAnMwt+ Wst1xZ3ILmE3UlpciPAh9btM/vPNgEe5TiJbKjbkhHb2deSoOIU7egg7k/kt0evH1Yj9HNu1 59U1WGd79PEFlhaV5W5SUsx+xVgwtOSKiAg+4PZ02FtOqioo3fD3dwuHu4s1heneZ9WLqqFE Ab4F8BSCdKpLaQmnF2gbxRMO+43luZ8Osqqevqc0Ya2NaB4gHPujGhK5px8zlPZ7zB1GabD2 5cIxe3d3xPSDmanyg767IauxtsCPmJ3fCL30yXvCY9Pa7cneI8KDT3rOMir3pBkgJWrXXdE9 VmlDldA2cmzeBPUYUauuG8YnUkRv3GjnjO1ijJulDR85K+W0CHP2e3KaRNBInIBFyFyyEzhJ 4S5lYVQWUGkYgkznTO47ADi2+IIwcY3Z3mWSkBOcS/sKmhkWablrbuObflE75YwuDlWWuCxC byDYob0uABSkybqHm8EgSs+aynvoJLy2RpzlGOaKn936nvfY8B5gxnFtpTQQvtY3zxOQycd6 3GfA1GwMtiz9P2JntHbrqiyWnmgWZtabSTwhdrR723ivjMsWELk2av7k8avCQUg1C7ny9RmH T7FqhrxeMiOtezyMO5qeFVpGE6p7sN7Ho9klY5jzJoU2HUcmtCU5S9ewDy1aI4Fn/uhNzxWF ltpi5bP7QPo2VNuNCeMzoP9DDCGx9d5IsO9aSUQ0z486MZDDOGV6qZFlG17uAndz0qZbP5jk zMa0fZr5mQdhrRDvQMhwySHC5gPFA9AIWa/3wTN9N24oKhNMSyqeLS91VB3tc2oSqme6FI5O j6xatIpGil+6d96OVTH3Sjo643qT9LXaMoaqhyelxqTx/gQMp86keAGwDZ2IW+o92Nw0PY11 FY9uPPy9JjCMWhm+7i1RwJVJiGgLd1G4Snj1O5fmM2SwoyiTI55FHMTRpz0QPm0ETUU8/P6K wKJFz56oXCefNiXVQ6HtBU//imJSsv1cSjIfz9EhdR6GEvEdRcZ2VtKGmxlxdhnXgGymJ64I Rw/v2tPoAen8V0Wr4AgfxjnDjWG9VzuM2xqDsHAd1wNpgBauxWMYJfYt7ktWXgHpdv78kSMM jDJPlUTSzhSBArdWAulZObLh5GI8vDEVLPvdL2XOuvI8LMFEa7Rn9quytc0pmfXcJzUYD87U KZ9gxMYFThvEsDd0V3jUgQvnjnWJ46erRa4oGhsq9ynte7sU0Tp7JeODL1bNZNu/Qq3iOGNL bzYiCF8IDdenpQCoB2AgKAYx0IXgjpyeiOFFKRY72jQReTIhudbAgUaZCV6KMZTp/tthU8UY pCd04yukOUwh+V9E1pfUF39hsylAK5Ca3qwMl/KHgfDNbiLIyHK39CiYa64Tu4Yh+FVuhus/ DeDRhayZXLazGevDk/0d7of6UPTdAZTs4y8bBt3XG3qTda8Lwa+LMcylzo9h7s9mnLNM2cYd zl6aUJE6LOKvkY6yr1yHXJM6n19IKyKgSGcuqPdI5obsOFiKjl90fpGqidfqfMd/GRfSfp5l TGH5MZpuE2jm/KTxyBPVQoW8HBWjcSToQ8xXMeRvokFUnHC8hUX6GyWABlfvNppBOrkvKVIw 8TOnqb+e39StsjZ9swGC43IOdqKZTA/ZAHxFmeeX25nBXa7cHvSjEtHnLSO+22J+9Ik/4P0l sNGS6cHBgVkTbVDURojRYNZZso/Xyt4w+fK14hRviT49UaKAps/3NiPV+rOU6y+c3DA1ucCP kRTh+mwLJxPZNSqgAo7MQc8xduRXRGYXMgR8HQwNUlt+xsLqSclCDdtviCtIgK1vC1KRKXyx 0VozFIhOqJ3q3/t+wtlfwuR4nJrzg9oxo6j2GnLOD/pcPXpDNoQUnGq8RFuadWiGl0QD0X6i 0VgMH2sr1d5krImbXw50Gc0VrNSELhEUf8dCPfx7fSHP69uzF0asjn1nCd6
Ironport-sdr: 66fe8c7b_N0fn9gg9dhGk1Q4qRaBYM0L+Gv0ovo6XcvqIpWDVN5dRLSj LYKCx/pYMiXGL6tSnGvBCKGYXAFxdy5xlxae85w==

========= Call for Participation ============

22nd International Conference on

Software Engineering and Formal Methods

4-8 November 2024

University of Aveiro, Portugal

https://sefm-conference.github.io/2024/

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

The 22nd edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 8 November 2024, with workshops taking place on 4 and 5 November 2024.

*** Registration ***

The registration website is open, see

https://sefm-conference.github.io/2024/registration/

The deadline for early registration is October 15, 2024.

**Invited Talks**

Luís S. Barbosa, University of Minho, PT

- "Paraconsistency for the working software engineer"

Paula Herber, Universitat Munster, DE

- "Formal Verification of Cyber-physical Systems using Domain-specific Abstractions"

John van de Wetering, University of Amsterdam, the Netherlands

- "Picturing Quantum Software"

** Accepted Papers **

The list of accepted papers is online on

https://sefm-conference.github.io/2024/acceptedpapers/

** Co-located events **

Some workshops are co-located with the main conference, see

https://sefm-conference.github.io/2024/workshops/

-------------------------------------------------------
Alexandre Madeira
http://sweet.ua.pt/madeira/

[Coq-Club] SEFM'24: Call for Participation, Alexandre Madeira, 10/03/2024