coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FINAL CFP: CONCUR 2025

From: Jaco van de Pol <jaco AT cs.au.dk>
To: "concurrency AT listserver.tue.nl" <concurrency AT listserver.tue.nl>, "fmics AT inrialpes.fr" <fmics AT inrialpes.fr>, "nwpt-info AT lists.ioc.ee" <nwpt-info AT lists.ioc.ee>, "types-list AT lists.seas.upenn.edu" <types-list AT lists.seas.upenn.edu>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "fm-announcements AT lists.nasa.gov" <fm-announcements AT lists.nasa.gov>, "categories AT mta.ca" <categories AT mta.ca>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "idris-lang AT googlegroups.com" <idris-lang AT googlegroups.com>, "logic AT math.uni-bonn.de" <logic AT math.uni-bonn.de>, "loginf AT lists.tcs.ifi.lmu.de" <loginf AT lists.tcs.ifi.lmu.de>, "rewriting AT trs.css.i.nagoya-u.ac.jp" <rewriting AT trs.css.i.nagoya-u.ac.jp>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "games AT lists.rwth-aachen.de" <games AT lists.rwth-aachen.de>, "theory-logic AT cs.cmu.edu" <theory-logic AT CS.CMU.EDU>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "tlaplus AT googlegroups.com" <tlaplus AT googlegroups.com>, "it-fmeurope-events AT lists.uu.se" <it-fmeurope-events AT lists.uu.se>, "las-lics AT lists.tu-berlin.de" <las-lics AT lists.tu-berlin.de>
Subject: [Coq-Club] FINAL CFP: CONCUR 2025
Date: Fri, 28 Mar 2025 10:17:18 +0000
Accept-language: en-US, en-GB
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.au.dk; dmarc=pass action=none header.from=cs.au.dk; dkim=pass header.d=cs.au.dk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=6LcauK8OOenVtqvMsRWfBW6UoN1ytqvBIGMnqPEXfsQ=; b=BSJgsJV7Lruj//89zj1wjxeXbe95cNEhXJAIq+JXArzRPQAtu/KqZBdRI2sPwTdL+jp0Rf/wt0yIeQRo1aGnQSmdgkSrkc3U5/bQvu+tSmjdqXBh9KD55jEcLuEv7KPXvdOKdOzONpuiZ6ua9zCHyDH2h0/+nwKcYr86vX4zjzvg5NnY5VGvCsUk/sMFVuWjXx9ntTTT1oBAHQ2Z7iU9glR5mDdaw03yAFrLCllEGApaMXgZBjbdUy7f09s4M8Ju3MWWy3L4LviFSYV+4PS4bI1q190sKLgC3CAuaHK3ubVfA70/V5ozWvkvcfizmqbxh3MddgkzEly1Sge/7GgqFg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=EC8lPC7TEjbpqsg0G55DTUVIk2QGETI+sgApn2m9srrVC5RE5mkAaumNY8FFdTdAzqRwS34yuZpCNCuLM9KlhwX/yWKT0gTCawJLV+f7tKMfM061M7fQj/JSd+SJaMTRYrWOOrub05soNXJaJQebkNVEspVvrvl3lXxm4W0Cv+guReQPjhZqSLvudq2TwZQXf9WXoyL2ccc+xh3h6ea7fmVTR8JmhA1+mWazPHsFl0EPvXc39dHsvebQV/8C+lnQjMO0YKh/lZHNgMWFubdnIYXDQB8AVLIZBPLGxalvB8BilrqnJkqtdalJOFLcVhyd4k/l3QJanuH70QH7b2EOVA==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jaco AT cs.au.dk; spf=Pass smtp.mailfrom=jaco AT cs.au.dk; spf=None smtp.helo=postmaster AT EUR03-DBA-obe.outbound.protection.outlook.com
Ironport-data: A9a23:EvhQ/6oVdVeuTwDgBHmhJQtXUpteBmJgbhIvgKrLsJaIsI4StFCzt garIBnQOaqLMzH0etpzYYS09k4OucSAzN9mHAprpXw3Q3wS8ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsv7rRC9H5qyo5WtD5AxmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kYPtYAqrsqCFoWt vcoC2hdfjOJ1v+PlefTpulE3qzPLeHGAblH4TRM5xicCvwrB5feX6/N+NlUmi8qgdxDFurfY MxfbidzaBPHYFtEPVJ/5JAWwL/u3yGgNWQA9BTM/vdfD2v7lGSd1JDvOdHSUteRA8xI2Eqbz o7D1z2gWEFHbYTGlFJp9FqhgP7J2jO4R7sNTr+41Nlvglud5mYcXUh+uVyT+qLj1hHWt8hkA 0cT428lqbU43Fe6S8H0GRy+un+N+BAGM+e8CMU/4QCJj6be6guEHDBfSTgbMYd78sgrWTYty 1mF2cvzAiBiu6GUTnTb8aqIqTS1Om4eKmpqiTI4oRUtzdq4uNFu0xv0FpVoII3t3s3WE2Dt+ mXfxMQhvIk7gckO3qS92FnIhTOwu5TEJjLZAC2HDwpJCSspNOaYi5yU1LTN0RpXBKe0JmRtU VABksmaqewEBJyQjnTWR+NXRer0ofGYLDfbnFhjWYE78Cig8GKieoYW5yxiIEBuMYAPfjqBj K7vVeF5tMc70JiCNPUfj2eN5yICkPOI+TPNC6q8Uza2SsItHDJrBQk3DaJq40jjkVI3jYY0M oqBfMCnAB4yUPs7l2PuH71Mj+BwmkjSIF8/o7irnnxLNpLONRaopUstbgbfPojVEYvY/lqIq 4oBa6NmNT0FD7ygP3K/HXEvwaAidiNhWc+eRz1/c++IOA19H289Q/TW26tJRmCWt/U9qws8x VnkAhUw4AOn2xXvcFzWAlg9Mu+Hdcgk9xoTY3dzVWtELlB5MO5DGo9EL8NvJdHKNYVLkZZJc hXyU5/bXaQSFWyZo251gFuUhNUKSSlHTDmmZ0KNCAXTtbY6L+AQ0oa8JFW9xzpEFSetq8o1r pup0w6RE9JJRB1vAIySILijxk+49ypV0u9jfVr6Ev8KcmXV8a9uN3PQiN0zKJoyMhnt/GaR+ DuXJhY6ntPzhbEJ3uPHvo26iru4MvBfGxNaFlbL7LztOij9+HGi8LB6U+2JXG78V13KxaeLd 8Fo9drFC6QZrVN3roAnLe5ayPNn7d7WurR67BpoM0vJY3uvFLlhf2eK7fNUvPcc3JtcnxW8Y WOU29xgIb7SEtjUIF0QAwsEb+q4yvAfnAfJ38k1OEnX4CxW/qKNdEdvYz2grTN7F6RkF68A2 sEjs94yxy3krSRyKfeArCRf11rUH0w6S699660rWt76uDQk2nRpQML5GCTpxLqtdt8VEE0hA gHMtZr4n74Gm3bzKSsiJ0Psg9hYq48F4i1R7Vk4IF+MpNrJq9k30DBV8hU1Vg5l9QpG4c0iJ llUM1BJGovW8wdKnMRjW0WeKzNFDjCd+W3zzAItv0/dRE+KSGfMDTMcPcCgwUMnyF9fLwNrp Oyg9GXYUDjRbJ7Q2Ak2UhVbsPDNd4F62TDDv8GFJP67OacGTwDruJLzWlpQmSDbWZswoGblu dhV+P1BbPynFCwI/Iw+JYqo9ZURbxGmJmdTHPFtx/4KFHD9YxC34yCFcGqqS/NOJtvL0E62M NNvLcRxTCaD1D6CgzQYJKwUKZl2l+4NyPtbXZ2zPk8Akb+UjgQxgaLq7iKk2VMaGYR/o/gyO qb6VmykEFXJoVB2hmWUjs1PGlTgUOk+fAemgdyEqrQYJaki7tNpX1o5iIavnnOvNwBiwRKYk SXDa4LSzM1g0Y5cpJTtIIoSGzSLLc7Pa8rQ/DCRq9huafb9AfXKvS4RqXjlOF1yFpkVUNJVi 7+MkYDW2GXogbUIaF3ayqKxT/Rx2caPXeRsIp3WKltelnC8Q8PC2UYI1F25Dp1rq+ljwPeba TG2U+aKTu5NaexhnCVUTwN8DyciD7/Ga/a8hCGl8NWJJBsv8S3GC9KF93T4MGFXTXILMozfE S7xge6lvfpDnbRPBTgFJvBoOIB5K1ndQpkbd8X9mD2bL2uwiHWAsavGuTt5zh+TEViCMsLxw ayddyjEbB7o5Z35loBIgbJ9rjg8LShbg9BpWmk/5tQvqTSxLFBeHNQnKZ9cV61lyH3j5qrZO gPIQnApUxjmfDJ+dh753tTvcyGfCsEKOfb7PjYZxFyVWQjnGLK/BKZdyQk470dUYjfDyMSVG eMa8FD0PTmzxchNbsQX7fqZn+xm5637wlQlxEPDqPHxUi0uWegy6H9cHQRzDH2NV4mHkUjQP mE6SFxVWEzxGwa7Dc9kfGUTAx0D+i/myzIzdyqU3dLDoMOhwfZdzOHkcfTGulHZgB/m+JZVL Z82e4eM34xS8lEug/Ny/v4DqOpzA//NGdWmJqj+QwFUh7u39mksI8IFm2wIUd0m/wlcVVjak 1FAJpT46FutcChsNH++kG3lOK6dlloHFHfAkUjzplcqVDQnmsPBdUHCIB3TcPnNRmuKg6mca DwJKk+M5VGV3NchSf+SqdxDzmG67Qot+bUon8zmol4eUvthdYOFKI1c7g==
Ironport-hdrordr: A9a23:uBuIiawpr0Va6b9T8r40KrPwIb1zdoMgy1knxilNoNJuA66lfr OV/MjztCWftN9/Yh0dcLy7Sc29qDbnhPlICOoqUotKPjOKhILAFugLhrcKgQeQfhEWndQ96U 4PSdkcNDS9NzZHsfo=
Ironport-phdr: A9a23:CX+5HxZTFVikNCaN1poThVb/LTE23YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wWPBd2Qsq0d07OempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb61+I A+qoQnNucUanIlvJrstxhfUv3BFZ/lYyWR0KF2cmBrx+t2+8Jl//SpOpvkv7dRAUaL0f6Q5S bxXEjErOH0r6cPoqBfOUxKB6mMTXWsKnBVIBRPF7AzhUZfqriT6rOt91zKEMsDwULs5RC6t7 6ZvSB/vlScHKzs0+3zZh8BskK5Wpg+qqhpiyIDWfY6VLuJzcKPDc90HWWpPUMVfVyJDDYygY IQCFPAOMfpEo4Tnu1cCsRmzCA+xD+3v0D9IgXr20LU+3es7DQ7G2xErH8wUv3TSsd76KbkdW v2vwqnPyTXIcvRb2TXn54fUdRAsuu2DXalqfcXL1EkjDR7KjlaJpIHjIjia2fgDvXKB4Op8S eKglXQnqwdprzWt28ohiobHiI0VxF7E6Sh13Zs5KMC7RUJlZdOpH5RduiKUOoZ1XM4sTHxlt Ts5x7AFt5C1cycExYgpyhPcaPGKdZWD7BzkVOaUOzh4hXRldaqliBav60Sv1+78WtGq31lQt SpEksXDtnAX2BzS8MiLUPx9/l2u2TqX0wDT8f9ELVo6larBLZMq370+loILvEnMAiP6glj6g LOUe0k+5+Sk9+vqbq/7qpKSN4J4kh/yP6UylsGxBOk0LxQCUHKa9Om5yrHv4Vb2TbBXgvA1n KnUtZXXKdkZq6O/HgRYzIIj6wukDze6ztsYh2QJLFNEeR2Zl4XlJ1fDK+3iA/ilmVSjijJry ujGPrL/BpXNKWDOnrjvcrhh90JRxhM/w95C6p9IE70BJ+n8VVHruNzfEx85Lxe7w+H6CNV7y 4wSQ3qPArWeMKPOr1CH+v4vI+iLZI8Tojr9LOUl5+LqjX8+nl8dfrOl0ocQaHC9BvhmIkOZb mTwgtoZHmoGohAyQPH2hFCASzJfemq+Uq0m6j0mBo+rDZ/PRoW3j7yA2Ce7EIdWZmdDCl2UE 3fnbZmLW/AXZS2OOc9tiCYLVaW7R4A81hGirAn6xKF/IerO5iIYrY7j1MRy5+DLiB0+7SZ0A NiF02GRU2F0mXsFSCMx3KBmuEBy1lOD0bVjjPFDDtxS5/ZJUh8gOpLGzux6DcryWgPbcduTR lamWIbuPTZkBNk2xdQTeVxwHd6zphTCxDaxDqULmqbNGIE5tKTYlTClLMF7wGvczqQnhEgOR spUKXarnLBy7U7PGoOPlUHP0+7ge6Ed1zXl9WGZzGOKpExDFgBqG+2RU3UebVD+rNLj50rGV 7K1T7o9ZE8Jg8idMrcPa9vnin1CRez/I5LfZGn3lmr6TUKO2auQKYvsdWI12CTGFFNCkgcYu 3uLY0x2TDuwu2/FSThvDk7HZ0L37fI4s36yVQkp1wyMaQts26f/skoJlOSRULYX36kYkCMgs ClvWk2w1smQFsKNoQwncalBN5d1qk9ZzkrSrAg7JYahaatlgxRWJxxppGvlzBExEZ9B18Mtq SVuhEBoJL2C0U9AcTyw0Jbrf7nGLW+08grlI/rM107E0cqX/Kgn5fIj7lHyuwfvGFB0tz0t3 dwQ2n2a4YjMBwcXXJTtSW4z9gNmvPfcazI0oYzTyzckZaex9zbE3dU0AuAozxumY8x3NKKfC BS0FcQBDo6hL/J83xDjZRsYMe9V7q85JOuja/LA06fhdLJrlS6rgmNd4Y1m+keQ/mx3Q7iMl 9wFxPXd3w2JUB/4jUy9qYbsnp1ebjwcGXCwxG7iCZIbLvlyeoJOCGGgJOWzx85inNj2XGNC/ 1OtAEkJ1YmvdAbEKxS33AFK1F9SpXWhlgO3yDt7lzwmtK2CxDeIyOPnPlJTO2JRRXIniV7qL qC7iNcVWEWndQ80jADj7kH/kewT7qB4IGjYaUJBYyiwMmdjF6G3sLzEb8MFoMcstipWW8y5a EyaDKP7ol4Q1CXlWWdTknRzPTWttZT/kTR+iXmBNzBvp2GfeM9xgxPa+ZrQSLQZij4BSyh+h xHTB0OgJJ+19s7SlpnC9OS7SiStW8sXOWPxwJyatTe642JCHQek2fuogZvmVw4z3ijq3px3E yzD6hTkKMG/zamlK+N7f09nLEPm8IxxAZo4k802jZ4XyHFfm9Oc9jwFiTG3eZ9Q3ru7Z34QT xYKxcTU6U7rwgcrenmO3sfyUmiX6spnfdizJG0MjGZ1pc9DDaqPxLhFhjdu5ECnsQKUaPF2n jobj/cjojZOjOgMtREFyiSGHqtUB1ZEPWnlnh+I4tb4oKgBIC7lbbi901Bv2NSmA7CJigpHH n38Z9EvETI6ppFjMF/Lymy27obredL4RulVnTip1Trssr4RYNgtlvcNnydifHrnumMo0fUTh B0o2JCm+oWLNi8lqL65DxlCOziwf9kU5Dz3lo5Xn4CT3pzpE5l8THFDFofsROqsDSk6uvPgO AKDHyc7t2+AX7HYGEXXvFtipmrLDouDOHaQK30Uws9lWQGGYkdYhVZQFH87gts3Ew233sv5f QJ0+D0X+kXQrhpX1vkuKgS5SWqV7FOpdnI6TZWCNh1O40RP+UrTLde26uNoAzoe44DntwHbb iTRYw1TSGUIUVesA1H4IqLo+cSF+eWCAuu4affDK/3areVFEvOJzomH1op94y3KKtjKNHR4C /w9nEZOCyNXAcPczhcGQCtfiSvLJ8KW7C+7/mUjrMm099zgQ0Tm+M2DCO0BYp1U5xmqjPLbZ KarjyFjJGMAvntt7XrBybxEmUUXlzkrbD61V7IJqS/KSqvU3K5RFR8SLS1pZ4NT96xp+A5LN IbAj8/tkKZih6s3AlxCfVf63Mi0I8AJcCmmLF2SPE+QL/ydICHThcT+YKeyU7pV2eddvBqYs i3dGlKlMjfQ3yLxWUWJNudBxDqeIAQYuIy5dUN1DnP/Sdv9dhChGPJKt2VthJEerzbNP2NaN iVgeURQqLHW9Tlfnvh0B21G6DxiMPWAnCGaqeLfL/76qNNNBSJ536Jf6XU+kP5O6T1cAedyg G3Up8JvpFevlq+OzCBmWVxAsGQDgoXDpkhkNajDk/sIEX/Z4BIA63mRABUWtpNkDNPooaVZ1 tnIkur6Nj5D99ve+cZUCdLTLYqLN38oMByhHzCxbkNNTzegMknUnApUjbee9Tzdr5Q3rITth ItbUqVSBxQ+EvIXDFggHcRXfM8xB2t71+fD0IhRviftyXuZDN9XtZ3GSP+IVPDmKTLCyKJBe wNN2rTga4IaKoz83UVmLFh8hoXDXUTKDrUv6mVsaBE5pEJV/T1wVGo2jgjnYwiqyHQIU/ep2 BI1wFg2caE2+THg7k1ibFjDrywYm1J3kMijjTPbI1uTZO+gGIpRDSTzrU04NJj2Fh10YQOFl kthLD7YRrhVgtOMbEhTgRTH8dtKEP9YFuhfZQMIgOqQf7Mu2EhdrSOuwQlG4/HEAN1sjllif ZmppnNGkwVtCbx9ba7ZL61hxUMWj7/Isizg2u0qwQAYLloA6yvOIGhR4BNOb+F6YXPzo6Rl8 kSaliFGeXQQWvZiuf9s+k4neoHih2rh37NFNkGtJrmaJqKdtXLHkJ3ASVcx20UU0khdqOQul 557LAzNDxxpleDMRHFrfYLYJApYbtRf7i3WdCeK6qDWxI5tep66DqbuRPOPs6AdhgSlGhwoF sIC9JdkfNHk3UfGIMPgNLNAxw8q4VGhJlyOC9xCY1SCjXELoIvshI8yxoRbKjwHVC9/OC6wz r3M4AY3xvaAFoRTAD9STs4PMXQ4X9e/kihSsiFbDTW55ekezRCL8z72oimDRCm5dddoY+2YI A99ENzjsytq6LC40BSEl/eWb3G/L9lpvcXDrP8Xt4rSQe0BVqFz6g/dg9UKGyTsAjSJSZjtY MGtI4g0MY6oUjDjCgP503RtCJ6vWbTlZqmQ3VO1H8AN6NHdhHZ7cpbgXjAGR0Ut/adavPg6P UtbJMNlKR/w61ZjbermeFzeipP2BD/yTFkeB/hHkbfjP+ARk3VqNqnijyJ/BpAikbvt+BZUF shT10PQma77NdsZDXiWeDQVeh2R93AwzzEzb79rkOljmEia4x5AYniKbLI7MmUc5oNlXArAL ykuUThoHwfE39iEv1fJvfha/jMDzYxdibQX6SGn7JGDOGn+U/Tz8ceH9Hd5Jdk+/f8rONS6c JLf7cHQwmSEHpeI6lXXAmnnTbIfk9xUakq0WdFunmcocYwDsItFsg8qU9smYqdIEO8qr6yrb jxtCWgTyzUYXsWOxm5KhOD0wLbcmhqKFfZqeBUZrJVPhMccWC9qc2sfoqGkTYDfi26DTCACP g4S6Q1G4A9ImJV3e6jp54/BTZkEzDAzwbo8SizQCpxh7Ef2UEm7vGKgE7CNucXs2ghfivXxz tMcRRhzT1BHwPpbnVcpL7cxLLQMuonNsXmDcka72QClgOqqKV9NyNHFIl31CI2W/WH4UyAa5 TgVXdoTkDeGTctUylIlLv9w+QYpQsjuYEv16j06yp48GrC5UZvu3FM5tTMdQD/sFdNdCuZgu VaRWTt/Ypntpo+2XvcaCmJW5pCZrE9U1Ut3NCvsg5hVIMZl6SVKVSUJrTbX777QAIVTnNR7C ZMBOII1o3DmBKZNI4ScuVUbh4a3kTr10Rl5t123gjKuB6W/UuRVuXUEHRkkLHifrU9pCPYw9 mDV8RbGtVU+rII5TvCfyE52pjh6BJVHAD1EgGukI1pER35Dq+xGKa7RfqS0otEfWCX3YFkSP 9dj2EaEu0ZpgX3+fip+8BNA/DzQVBU1Ui9TharxnToZqYesPjpIE/qgiB0qdGHMNkSXmnIP1 P6wQ0pxHZkERNpGqehz4A==
Ironport-sdr: 67e67732_ehDh0skwzlTi8sYcflgk52BB0oml2NM5aGUB6Lc6txGmeVS AZdTafwdHC3cuKXnHgrFHyJ0oGYkkjbRXvR8Igg==

Final Call for Papers CONCUR 2025

https://conferences.au.dk/confest2025/concur

This is the final CFP for CONCUR 2025, the 36th IC on Concurrency Theory.

CONCUR will be part of CONFEST, 25-30 August 2025, Aarhus, Denmark.

The deadline for abstract / paper submission is approaching fast.

Submission: https://easychair.org/conferences/?conf=concur2025

Important dates (anywhere on Earth)

- Abstracts: April 3, 2025 (AoE)

- Submissions: April 9, 2025 (AoE)

- Rebuttal Response: May 9-12, 2025 (AoE)

- Notification: May 27, 2025 (AoE)

- Camera Ready: June 10, 2025 (AoE)

- Conference: Aug 26-29, 2025

- Workshops: Aug 25 and 30, 2025

PC Chairs

- Patricia Bouyer, CNRS, France (http://www.lsv.fr/~bouyer/)

- Jaco van de Pol, Aarhus University, Denmark (https://cs.au.dk/~jaco/)

Jaco van de Pol, Professor of Computer Science,

Aarhus University (DK) & University of Twente (NL)

[Coq-Club] FINAL CFP: CONCUR 2025, Jaco van de Pol, 03/28/2025