coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [SEFM 2025] Call for Participation

From: MIGUEL BENITO PAREJO <miguelbp AT ucm.es>
To: undisclosed-recipients:;
Subject: [Coq-Club] [SEFM 2025] Call for Participation
Date: Wed, 10 Sep 2025 12:45:19 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=miguelbp AT ucm.es; spf=Pass smtp.mailfrom=mibeni01 AT ucm.es; spf=None smtp.helo=postmaster AT mail-ed1-f44.google.com
Ironport-data: A9a23:vdmSP6JAY2ZBHCAyFE+RVJElxSXFcZb7ZxGr2PjKsXjdYENS32QFz GQXD2vQOq2KajOmctEnPdm38E0G6JTXmII2GlQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CQ6iOfRAOKhVYYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtYgr414rZ8Eky5KWr4GtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkux1wstEN6sjoHgeUQMRLPIVSDW4paBc/XKbrBq/0Te445jXBYuQR8/Zwahw7id/ O5wWamYEm/FCEFjdNM1CHG0GwkmVUFPFSSuzXKX6aR/xGWeG5fgLmkH4Ojb8uT0984uaVyi+ 8D0JxgSVzekqr+z74m/dbFL258ZC+jZFYAm7yQIITHxVZ7KQLjGSqTOoNJUhXI+2pwIEvHZa M4ULzFoaXwsYTUVYgZRWM94xr/4wCWjG9FbgAr9Sa4f5mnZwQpwiOHFLdHQPNGRLSlQthzD9 jmXpT6pU3n2MvSZ5GO30knx3NbvpjrkXMVOFp/n0ad11Qj7Kms7U0BPDQTq/5FVkHWWUNVGb kcQ5yAGtrk37EXtT9/nXhT+rmTsg/IHc99ZEul/5Q3Uj6SIv0CWAW8LSjMHY9sj3CMredA0/ kCwuPTEWDlAi7mqEVXArY2zjAGbOhFAeAfuehQ4ZQcC5tDipqQ6gRTOUstvHcaJYjvdSWGYL 9ei/HdWulkDsfPnwZlX6rwuvt5Bjp3ATwpw6wmOG2z5skV2Y4mqY4Hu4l/ehRqhEGp7Zgja1 JTns5HBhAzrMX1rvHLRKAnqNO/yj8tpyBWG3TZS82AJrlxBAUKLc4FK+y1ZL0x0KMsCcjKBS BaM5FwNuMUNbSf2M/8fj2eN5yICnfiI+TPNBqC8UzaySsIqHON61Hg+PBfPhjq1+KTSuf9hZ sfHKa5A8kr2+Yw8kWPuGLZDuVPa7i85wmzXSNj6yR/huYdyl1bEIYrpxGCmN7hjhIvd+Fu92 48Ga6OilU8DOMWgOXK/2dBIfTg3wY0TX8yeRzp/LLPbelIO9aBII6O5/I7NjKQ+wfoFyruTo CDVt40x4AOXuEAr4D6iMhhLAI4Dl74jxZ7iFX18YwSbyDI4bJyx7awSUZIycPN1vKZg1PN4B b1NMcmJHv0FGHyN9iU/fKvNitVoVC2qogaSYAujQjw0JKB7SyLzp9TLQwrI9Qs1NBSRi/cQm bOb+zngccIxfDg6VMfyQ9Cz/my1pkkYyb5TXVOXA9x9e3fM0YlNKg6ov6VvPvM8DBTn7RmZ3 jawHh03i7TsoYg00d+RnoGCjd6jPNVfF3pgPVvwzOiJJxiB21G8m6lSU/2tfw2BZFjr+a6nW /pZ/8v8PNIDglxOlYh2SJRv8o4T+PrtoK183C1/PXCWcWmuNKxsEkOG0eZLqKdJ4L1T4imye 0CX/+hlKae7A9zkHHERNTgaQLy6j99MoQbr7NMxPEnezw109uDeUUxtYj+9uBYEJ75xaI4Y0 eMtvfAN0DOGiz0oD82nix5F/GHdP10CVKQa7qshOrHJsTZy6F9+Ys37MBTUsbWvcNRHN3c4L gCE3JTig6tu/WucUn4RO0WU489jq8UghBR4wmUGBWy1ofvep/pu3BRu4TU9FQtU6RNc0tNMA GtgNmwrBKOw/T1T2cxITkG3OgR7HBbC0FfA+1gIs2z4TkeTSW3GKlMmC9uN5Ew092F9fCBR2 rOT2ELJYG3NR97g+BcyVWpOie3RffYo+iLswMmYTtm4Rb8kaj/bs4qSTGsvqT68JOguhUfC9 NJYzMwpZYLVbScv8rAGUa+E3rEtSTeBFmxIYddl2IgrRWj8WjWD6QKiGnCLWPFmBqL1qBejK slUOMhweQy013+OohAlFKc8GeJIs8Bz1uUSWIHABDAgiKSenApLoZiL1ynZhU0XeftMv/s5C Lvsc2OlLjTNq1pSw3TAvetVCFqeONMkXjDx7Mqx0ecOFq8Ajt1STFEP4uO0kUm4YApD1DCIj TzHfJ7TnrBDy5wzvo7CEZdjJgSTKPHvZduM6ySMjddrVorKF+v3qjFP+0fVZRRSGb43Rd5Mt K+steTv1xjvp4cGUGH+mriAGZJW5M60YvFlD8LvIFRengqAQMXJ8TJZ30yZcLtnyMh84OujT CuGMPqAT8YfAYph9ScEehpgHAY4IIWpSKXZ/AeWjemGUzoZ2iz5dOKXz2fjNzxnR3VZKq/FK 1HGvti17Yplt6VKPhgPAs9mD7JeIFPOXagHdcX7hQKHD1uH00+zhb//qSUOsT37KGGIMMLf0 6L3QhLTcBeTuqaR6Pp7t4d0nAMcDVcjoO0WU38exeVLiGGBPDZbFdgeDJQINMgF2Gi6npT1f yrEY2YeGD3wF2YMOwn15NP4GByTHKoSM9P+PSYk5F6QdzzwPo6bHb997W111h+aoNc4ID2Pc rnyO0EcPyRdBrlsTOcXo/G32KJpmq+cyXUP9kTw1cf1Bn7yxFnMOGNJRGJwue7vSqkhV3kn4 UAoTmUCTVrTpYvZD5N7Y3AMcP0GlGqH8tjrBBtjBP7CsIDdwfYoJDgT/Q3s+uVrUfnm74Lii Z86q6VhLoxWNrEuVXMVhu8U
Ironport-hdrordr: A9a23:6uAER60y/iLF6g2pOQIOWwqjBHMkLtp133Aq2lEZdDV/eMbwrb HUoB17726NtN91YhsdcL+7Scy9qB/nhPxICOoqTNSftWvdyQyVxehZhOOI/9SKIVyZygcy79 YYT4FOTPL3FkZzlsv37U2VFNw60MCb/K3Av4vj5kYoYwUvRK1p8htjBhzzKDwTeCB2QbQ8UL STj/Aom9NiQxsqhwaAa0Xtk9KjmzQDrvLbXSI=
Ironport-phdr: A9a23:RaTltRX9yWIGv8arrIdR0Vm/u6zV8Kx/XzF92vMcY1JmTK2v8tzYM VDF4r011RmVBt6ds64P0bGO7eigATVGvc3a9ihZMdRlbFwst4Y/p0QYGsmLCEn2frbBThcRO 4BvcmEg1FyAdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/2O+94YDcbBtVjzShf7xyM A+2rQLMvcUKnIduMKk8xxXHr3dSZ+hbymxkKUydkhrg58q74Zpv/zhNt/47+MNNX6v3c74kQ bFWCTgtLnw46tDsuRTfQgSD4WcRXH8LmRRSGQjF6x/6Xpb1siTks+d2xTeXM87rQ70qQDqu9 6hlRgfnhyseKTM3/3zZhtR/g6xHrh2hoQd/w5PPb4GOKPV+ZKLdcsgESmdHQ81cSjZOAoK4b 4sIEuoBIeNVpJTzqlcSsRezAxSnC+TyxD9VnX/2xbM13Pg9EQ/I2wwgGsgBsHXSrN7oMKsfX uS4wKzOwDrEcvNW3yry6InTch89pfGMWqlwftTMxkIyEw/IgUmcpYnjMjiI1OoCrnKb4vJvW uyvhWApqBx/rSSyy8o3kIbFmpgYx0rY+Sllwos4I8CzRk5hYd6jFZtdryaUOYh3TMwsTG9mv jsxx6AJt5CjfyYE1o0pzAPFZfGbb4aG7RbtWv+MKjp/gXJleb2/hwus/kik0eL8TtK50EtWo SpAiNXDqGsN2gXV58OaRfRz4l2v1iyT1wDP9O5EO0Y0mLLFJpMvzbA9lpoevVnNEyL4hUn4j Kube0o59+Wq6unqf7roq56CO4J0lgzwPKQjl8i+DOk6PQYDXGaV9fmi2LPs+0DyXbtEjvozk qbDsZDaI9wWpqG4Aw9J0oYj9g2wAy2n0NQfm3QMMVFLeAqfgoT3J13DJOr0APS/jli2jjtn2 /PLMqfuD5jCKHXIja3vcqxn60FGzQo+1dBf6IxQCrEGOP/zX1X+tN3cDhMgLQO73vvrBMxz1 o4RVm+DGKCZMKTVsV+H4uIgPfOAa5MSuDb4M/Ql5vjugmElmVIFY6WlwZ8aZGq7E/lmOUmVf 2bgj9QbHWoFsQcyVOnqh0eDUT5XaXayRaU85jQjBYKjDIfMXZ6igLqA3CunA5FbfX1GBUyJE XvyaYqEQO8AaDiOLc95jjwESb+hRpc92hGprQ/20qZoLu7J+iIDrp/jz9h05+jLlR4o7zB0D sKd03uMT25uhG8ISSU20Lh5oUNm0liDy7R3g+REFdxP4PNESho2OYbTz+NkDND8WRjPc8+HR 1i7WtmmGy8+TswyzdEUe0t9Hs+tjhHH3yazHbAaiqGHCIU68q/T0HX9Pcl9y3HB1Kkui1kpX NFDOnGhhq567wTcGo3Jk0Scl6uybaoS0yDC+nmfw2eSuk9USBN/UaDfUnAFekTbtcz36FraQ bGhEbgnKRNBycCaJ6VQdtDnkEhISO/4ONTGbWK+g2ewCgiMxrOLdIfkY3wT0j3SBhtMrwdG4 HCKNBM1AiC6rm6bFjFlFErubkXw6rst+12hSUph6iClUmBFn5CY3D8porSkYsk+/JVM7CIgp Ch5GFyl98/dDpyNvFwyL+1nfdoh7QIfhirivAtnM8nwfsiK53YbegVz5Qb10glvT59Hmo4sp W8rywx7LeSZ1klAfnWWx8O4IaXZf0/1+h3ncKvKwhfGyt/D/6YA9fk8oU3LoQqsUEc5oD18y 9cA63KH/d3RCRYKF5f4U0I57R9/8rTbaCQ75tuN/WBnNO+5qWyKwMonUc0izBvoZNJDKOWEG Qv1RtUdHNSrIfc2lkKBaxsFOKVf+PdxMZ/6MfSB36GvMaBrmzfOYX1vxod73wrM8iN9TrSNx JMZ27SC2QDBUT7gjVCnu8SxmIZeZDhUEHDtgS7jTJVcYKF/Z+NpQS+nPtG3y9NihpXsR28Q9 VitAEkD0dOofhzaZkL03AlZ30Aa6XK9ni7wwztxmjAv5q2RuU6Gi+HjewcKPmRTbHRpiBHhO sn8jtwXWlSpcxl8jAGstg7xw6lWorg6LnGGGx8ZOXiraTs6Au3s6unnAYYH8p4jvCRJXf7pZ FmbTuS4uB4Gy2b5GGAYwjkndjass5G/nhpgiWvbImwgyRiRMcx22xrb48TRAPBL2T9TDix5g zTRBwDlF8Si+JOZjN2Q+vD7TG+nWpBJJGPuzIyduS+x/UV3Chj5kuv5ybiFWUAqlCT80ddtT yDBqh3xN5Lq26qNOuViZkB0BVX45qKWA6lGm5ArzNEV0Hke3NCO+GYf1H30OpNd0L7/a3wEQ XgKxcTU6U7rwh8rInWMzoP/HnKTp6kpL9y7aG4Q23pkx91BDeGZ9/RIkDB0rVyxsQ/KKaIlz 3FNlL10sC5c371BsRFl1iiHB7EOAURUdTfhkRiF9ZHbzu0fZWqid6SxyFsrmNmgCL+YpQQPE H39e5okAWpx9pAlaAOKgCC1sNm0PoWMPrdx/lWOnhzNjvZYMsc0n/sO3298PH7l+GciwKg9h ABv2pezuM6GLX9s9eS3GE09VHW9asUN9zXqlasbkNyR2tXlG5RrFzMKBMLAUPmtVj8J/6evJ 0OVHTswp23OU7/eFwKZ6R8/h2/EFtamLDvEQRtRhcUnTx6bKktFhQkSVzhvhZ81GDehw8n5e Vt47DQctRbo7wFBweVyO1zjQ3/S8U22PywsRsHVf380pklSol3YOsuE4qdvEjFEq9e/+ReVJ DXTZhwUXz5VHBXeWha7eOHpvIeI8vDEVLPhdL2XMOnI8aoGEK7WoPDnmop+o2TWbpTJbiQkV qdrnBIEBC8xGtyFyW9WFWpKx2SUPpTd/FDlq2V2tpztqq21Hli0tM3UUf0Kdow+nnL+ybGKM +ra7MpgARBf0J5EhXrBybxFmUUXlzkrbT6mV7IJqS/KSqvU3K5RFR8SLS1pZoNO6Oon0w9BN NS+6Ju936NkjvMzF1ZOVEDw0sCva8sQJmihNVTBTE+VPbWCLDfPzon5e6S5AbFXiexVsVW3t 1P5Wwf7OS+fkjDySx21GeRFjSXeMRAH/Y/hLlBiDm/sSN+gYRq+cZd2gTAw3bwolybKOGobY l0eOwtGqryd6z8dg+0qQTQQqCo4a7Pcy2DFs7q9SN5eq/ZgDyVqmvgP5X07z+EQ9yRYXLlvn yCUqNdyolagm+3Jyzx9URMIpCwY4eDD9UhkJ6jd8YFNHHje+xdYp2CRARkMpoM8IsDkvuZd0 ZKc8cC7YCcH6N/S8cYGUoLML9mbNXM6LRfzMDvdDQ9AQDLycG+D2wpSl/ad8nDTpZ8/4MuJ+ tJGWvpQU1o7EekfA0JuEYkZIZt5aTgjlKaSkM8C4XfWRPj5QcxbutXKWqvXD6mzbjmeirZAa l0Dxraqdez72aXm0EkkZ0Ioxewi/mLNVtULrzYzNmcJ
Ironport-sdr: 68c156cf_o0+6o1Cu8k3rs3VZ80ylJpLaMedda4vJIojJ9TmE5M2RWyt PReLmoYpdKmWSgV+FaFrhmZVf3EiMZ4JCO5dQJw==

[Apologies if you receive multiple copies of this Call For Participation]

**********************************
CALL FOR PARTICIPATION
**********************************

SEFM 2025: The 23rd International Conference on Software Engineering and Formal Methods
will be held between 10-14 November 2025 in Toledo, Spain.

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

************************

Toledo is a historic city located in central Spain, known for its rich cultural heritage and stunning architecture. Often referred to as the "City of Three Cultures", Toledo has a unique blend of Christian, Muslim, and Jewish influences.

Registration is already open (early registration deadline September 30):

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

****************
KEYNOTES
****************

Elvira Albert, Complutense University of Madrid, Spain: Securely Optimized (Ethereum) Smart Contracts using Formal Methods.
Robert M. Hierons, University of Sheffield, United Kingdom: Systematic testing for robotic systems.
Ricardo Pérez del Castillo, University of Castilla-La Mancha, Spain: Quantum Software in Action: Challenges and Opportunities in Software Engineering

****************
PROGRAM
****************

An exciting scientific program with 15 papers: https://sefm-conference.github.io/2025/acceptedpapers/

******************
WORKSHOPS
******************

DataMod 2025, 10 & 11 November: 13th International Symposium - From Data to Models and Back organised by RLivia Lestingi (Politecnico di Milano, Italy) and Gwen Salaün (Université Grenoble Alpes, France).
CIFMA 2025, 11 November: 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications organised by Francesco Bianchini (University of Bologna, Italy) and Arianna Pavone (University of Palermo, Italy).
ReacTS 2025, 11 November: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications organised by José Proença (University of Porto, Portugal) and Umberto Rivieccio (Universidad Nacional de Educación a Distancia, Spain).

********************
REGISTRATION
********************

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

******************
ORGANIZERS
******************

General Chair:
Manuel Núñez, Complutense University of Madrid, Spain

Programme Committee Chairs:
Domenico Bianculli, University of Luxembourg, Luxembourg
Elena Gómez-Martínez, Complutense University of Madrid, Spain

Workshops Chair:
Ignacio Requeno, Complutense University of Madrid

Publicity Chair:
Miguel Benito-Parejo, Complutense University of Madrid, Spain

[Coq-Club] [SEFM 2025] Call for Participation, MIGUEL BENITO PAREJO, 09/10/2025