coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques

From: Bas van den Heuvel <vdheuvel AT informatik.uni-freiburg.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques
Date: Tue, 4 Feb 2025 15:20:43 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vdheuvel AT informatik.uni-freiburg.de; spf=Pass smtp.mailfrom=vdheuvel AT informatik.uni-freiburg.de; spf=None smtp.helo=postmaster AT smtp2.informatik.uni-freiburg.de
Ironport-data: A9a23:B5DzmaqYnRyIs4VoEVL29K4ky9deBmIdbhIvgKrLsJaIsI4StFCzt garIBmDPamIYGanLtF3PI3joEkB7MTVx94yHgRq+XwzHyJD8+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvnrRC9H5qyo5WtC5gBmPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2ltLJxD1OtaXVtN/ MMBAzoCPhzYm7OPlefTpulE3qzPLeHwOZ8H4Ddhyz/eF/MvXZHABbjM5JpWxjoxjN1UErDSa qL1axI2N06GOUYXfA5KUNRj9AurriGXnzlwtl6VqLcp7mz7zQp/16LoOcbUeZqXQ8QQkFyVp 2jb5Wu/Dhxy2Nm3kGLVqy382LWe9c/9cKciJLCcxuNBuVms7XIxCEAsS0Lkm9Ds3yZSXPoFc hZFqnZxxUQoz2SgScC4VBmlqlafrxsEUpxRFfc74UeD0MLpDx2xHW0YVmQHadoos9UzTCAr1 RmUmdKsCyZisbeIU33b+rr8QS6O1TY9dn4TPgEJYFc/4NDcuao5gULDFcoyKfvg5jHqIg3Yz zePpSk4orwci88Xyqm2lWwrZRrw+/AlqSZpuW3qsnKZ0+9vWGKyT6CFgWU3AN5bKZqBFB+Au nYDgc2X8OENS4yLlWmDWugMFqyz6LCJPVUwYGKD/bF+qlxBGFb6I+i8BQ2Swm8zY67onheyO yfuVft5vsM7AZdTRfYfj3iNI8or17P8Mt/uS+rZaNFDCrAoK1TXonkxOBfIhjG1+KTJrU3ZE cvCGSpLJSpEYZmLMBLsLwvg+eB7m3FkrY8tbcmjk3xLLoZylFbPEO1UYAfRBgzIxKqAqgjP7 5NbKseVyhpEFfD4Yzfa65USMVkHMTA1H533odFNeYa+zvlORQkc5wvq6ep5IeRNxv0F/s+Wp SvVchEDlzLCaYjvcl7ihoZLM+i3Bc4XQLNSFXBEAGtELFB5Md/ysP1DLsdfkHtO3LUL8MOYh sItI62oasmjgByck9jERcCl99QwRwfhng+UISuubR42epMqFUSD+cbpckGrvGMCBza+/5l26 bCx9BLpcbxaTSRbDeHSdK2OyXG1tiMjg+5cZRbDDeRSX0TOy7JUDRLNoMU5GOwyDCnS5yC70 l+WCCgIpOOWrI4S9sLItJ++rIyoMrVfGGxGE0ny/JKzMTTo+zuyy7BuCO+3Zi3Raz7s3JqQd Ndqy/DwAN8BuFNwt6t9DLdZ4qYs7PT/p7Jh71pFHVeaS3+JG79fMn298s0XjZJ0x5hdohmTd nuU39trJoWyJ8LuFWAOKDofbuis0e8enh/Q568XJHrWyTBW/r3dd2lvJDiJ1TJgKYVqPLMfw esOvNAc7yq9gEEINveEliVlyHSeHEcfUqkItoAoP6Gzs1AFkmp9WJ37DjP6xLqtaN8Wa0kjH WKytZr43r9ZwhLPTmo3GX3zxtFivJUpui1R7Vo8Nl+My8vkhPg24UVryg4JbD9plzdJ7+EiH VJQFRxRBb6P9DJWlsR8TziSOwVeNia4pG316XU0zVP8cWf5d1bjDmMHPcS1wHs46ENZJzhSw 6GZwj3qUBHsZ8DA4RExUk9E9d3mScFD81zTkv+JR826BIQ2Xmf9ppCcdFg3rxrrMeE3oEj9o chr4+dCRqnpPgEAo6AAKte71JZBbDumNWB9UfVa06dRJl7leRa2wimoKWq9XuhvNs762xa0J OI2L/0eSink8jiFqw4qIJIlIph2raYP38UDcLa6Hlw2meKTgRQxua2B6xWkonEgRuhvtsMPK onxUTamOU7IjFt2n179luV1ClCaU/IlOjKlhPuU9d8XHa0tqOtvKEE+8oWltkWvbTdIwUimg xPhVYT3kcpZ1oVer6n9GP5iBiK1C+/JesamzQSRi+lKPPTzaZrglgVNsVT2HRVkDZ1IUfRNq Lm9mtrW3kTEgbUIb17ki6SxT5du28Hjc9dUY+TWLWZblxSsQMXDwQUO0EHmJI1rkOFy3NiGR Qy5YfTtcNROects9EdNYjkDShwYCLjFaIXkrByf9v+JAQUv/jHGCPiF9nbZS35RWQFVGp/5C y7y4+2P4PIBpqtyJRY0PdNUKL4mH03CA44IL8bQsxucBUmW2mKygKPoz0cc2GuaG0u6H9bfy rObYBrHLTCZmrzClfNduKxM5iwnNm5327QMTxhM6uxNqm6ICUAdJr4gKrQAMJZflxLy2LzeZ D3gaGgDCz33bQ9bcCfTscjSYQOCOtMgYtvJBCQl30exWReEAImtBLhA9CA5x1xUfjDl7v+sK PBA23nWEyWy/KpURrco1qTmudtk+/LU+CtZswS12cn/GA0XDrg2xWRsVlgFHzDOF8bW0l7HP y4pTGRDW1u2UlP1Dd0mQXNOBRUFp3n6+l3Et8tULAr34O13DdGsycET/8no16EbNoILIrAJX 3b+W2qOpX2Q2zkdo6Yosc8zjul4BJpn2yR8wLDLHWUvc2OYswzL/P/uWQIOSs8l4gtWD1Le0 CSq4j0wHkmEIl1L1/uaxG3lPrpvB2kUAWihYBHX/Ff7fN9Q8zQdUxmswgXhLJjsqqulokNZB TkIYUebvkeZ8jfpzdW7WjL3uXTfafws+bL4vuzEg388ftpAiIOQKVy573wH6g==
Ironport-hdrordr: A9a23:nWyYmq4aaylsQtjPhQPXwBvXdLJyesId70hD6qkRc20tTiX8ra uTdZsgpHzJYVoqOE3I+urgBEDjewK5yXek2/hoAV7KZmCP0gaVxepZnOzfKlPbakvD398Y+6 MlXKR3FcHqAUISt7ee3OB6Kbod6ejC3qShheKb6WxsQwFsY6QlywtiEA6UHglXaWB9dPgE/V anifavbgDPRUgq
Ironport-phdr: A9a23:iIeF3RC4D6FoZYXEMKInUyQUxkoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFt+DtKkMy7KP9fy7ACpYudfJmUtBWaIPfidGs/lepxYnDs+BBB+zB9/RRAt+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuNcajZF+JqotxRfFvGdEduZYyGh1IV6fgwvw6t2/8ZNt7ihcoe4t+9JFXa7nY6k2U LtUASgpPGwy+MDlrx7PQxeR6HABSGsWiB1IAwbE7BH+QJj8tzbxu/R+1ieHI8D4VKg4Vju+4 ahlTh/okzoHOCUi8G7LkMxwjblUrwynqhdi3oPbeoCVNP55fqPAYdMXQHdKU8hNWyBdBI63c o0CBPcDM+lFtYnwv1QBoxuwCwevGe3h1CNHhnjt0KIgz+gsCxvL0BA8E98MtnnfsdX7NL0VU eCw1KTF0C/Mb+hL0jfj8ofIdA0qruySUrJ2bMHfy1cgFx7bjlqOrYzuIjSY1voQvGib8eVgS PyvhHAjqwxqozivwMksio7ThoIQ0F/E6SR5wIUvKd2lTk57YMeoEJVKty6ENot5Wd4iQ3tnu Cog17IJp4e2cS4Xw5so2xDRceaIc5SU4h39TuaRJy91iXB7db+wmRu/7Emtx+79W8Wo1FtHr jZInsfQu30QyRDe5MeKR+dg80q8xzuC1hze5+FELEwomqTVJYMtz7wwm5cVrE/NECj2mEDsg 6+XcEUp4vWn6+X8Yrr6oZ+cK5F7hR3kPqQpgMy/DuI1ORUNUWiD4emwybPu8VPjTLlUgPA6j rPVvI3aKMgHvKK0AxdZ3pg/5xu7FTur09QVkWMZIF5Yex+LlYfkNlXILfvlE/q/h0mskCx3x //YJL3vH5TNL3ndn7r5Ybpw7VNXxhApwtBF/Z1UD6kMIPLtVU/1s9zVFgQ5Mwmow+b/Ftlxz IIeWWSBAq+eKqPStEWH5v4uI+mPfoMVpTD9K/k86/7gl382h14dcrK03ZsNZ3C0BOlpLFuBb XrthNcOD3sKsxIjQOHkllGOSyBfaniuU64m+z02CJ6qAZ3DS4y1hbyOxia7HplYZmBcDVCMF G/ld5uZVPcMdi2SP9FhnSIAVbW6So8h0x+utAjgy7piNOXU5iwYtZH52Nho4e3TlAg+9TJuD 8uD0mGCVHx0nnkHRzMswa9wv1RxylGY3qdgmfxXCcRT5+9VUgc9LZPQ0vR2C8ruVQLZYteJV FGmT826DjE2V9I92sMBY0JgG9q5lR3DxCqrA7oNl7ORHpA086Tc32LwJ8ln0XrG2rMh3BEaR Z5EMnTjjapi/SDSAZTImgOXjfWEb6MZiQTE7y+dxGzGsExeGC59TLvIWThLeEfWoMnn60fqT rmgDq4iOxdAyoifLKoPZMfkjF9bXvilNNmIMDH5oHu5GRvdnuDEV4HtYWhIhE01aWABmgEXp jOdMBQmQzymuyTYBSBvElTmZwXt9/N/oTW1VBx81BmEOmtm0bf94RsJnbqEUfpGwL4EtTo/p jFcHVCz2MjTAsaBpEx8eqQZb8kw4V1az22fuwEudoe4IfVaj0UFOx9yo1uo0hx2Dotals1/s n8qwRdsJKaw0VVPcCmd1IzxOfvKLGi38gqiaqTLwF6Y3NvFsrwX5qEerFPu9BqsClJk83hj1 IxN1GCA45zREAcIeYn0Tl5tsRl8qbbAZyAh5oCSyHttdKeuvz7IxsgmQucoovq5V/FYNq7MV Ar7EslBQtOrNPRvgF+xKBQNIOFV8qcwecKgbfqPnqCxbq5mm3q9gGJL7ZoYsArE/jdgSuPOw 5cOwu2JlgqBWTDmiV69s8fx0YlabDAWF2C7xGDqHolULqF1eI8KDy+pLajVjp1gi57gRmBV8 HaiAV0BwsqgZRuRKUH73Ehez0kWq2G9lm20wn08kj0kqLaewD2b2/7rJ39lciZAQGhvi0upI JDh1otAGhLzN05wyUPjuBWfpeATvql0ImjNTF0deiH3KzonSa6srv+ZZNYJ7po0sCJRWeD6Y FaAS7e7rQFJtkGrV2ZY2j0/cCmn/5vjmBkvwnyRLHtusnfdUcB2yxDF4dXARP0XwzwHASdih DjdG0KzedWkt4bx9d+LoqWlWmStW4cGOzfnzY6dqia/zWxsDxqlmvmvm96hDA47lCHh2thgS D/H6hrxKNqOtezyIadseU9mA0X54sxxF9Rlk4c+s5oX3GATmpSf+XdvfX7bCdxAwuq+aXMMQ WVO2NvJ+E3+31UlKHuVxoX/X3Hbw817ZtD8bHlEki466slLDu+T4tkm1WNrrlq1sBzcZdB8m Dka0/4n9H8ZxfwPuU8j1CicCK0IEg9UMGTgmg+J4Na3sKhMLD/0K/7qjxI4xI35SuznwEkUU W2xYpo4GC5s8shzeEnB1nH+8MCsedXda84SqgzBlh7Bi+ZPL5di85hCzSFjOG/7oTgk07ti1 kYoh8ri+tHacyMwr8fbSlZCOzb4Zt0e4GTohKdaxYON2py3W45mAnMNVYfpSvShFHQTs+7mP kCACm5ZyD/TFLzBEAuY8EojoWjIFsXhKX2XKWQHwNFKRR+TI1ZaiRwVX3MnmJ98GBqnxcb8a kg/6j1btTua4lNcj/llMRXySDKVuguoZyoqRZy3LRxY6RtH7lvUMoqD6OM2ETtV/5e8tgPLJ mHRNGEqRSkZH0eDAV7kJLyn49LNpvOZCuSJJPzLebySqOZaWqTA1de134Bh5TrJKtSXMywoE aggwkQaFyMceYyRi3AVRicQjS6Ic8OLuEL25Hhsts7muPXzBFC2vtHJUeAKd4wyo1bqyaaba 7zJ33w/c20AkMpRnTmVrdpXlF8K13M3LGPrS+9Y83SLFOWKxudWF0BJMXsrbZkX5PpuhFQVY ZyH2IGyiOId7LZ9ClFOUUHtl5OeftQEZXrkaAmeQkObcq+cO3vHzcexba7ZK/UYjeNfswC8t GSsCFfteC/ay2OzERW/d/pWkmeXMhoYtIz1JR9pDSKLoMvOTBq9PZc3iDQ3xeZxnXbWLSsHN iA6dUpRr7qW5Cceg/NlGmUH4GA3Ze+D0z2U6eXVMPN0+bNiHzh0muRG4X8716od7SdKQ+Zwk TfTqdgmqk+vk+2GwD5qGBRUrTMDiIWOtERkcaLXk/sIEW7D5w4I5H6MBg4ivN55EoepuqZez cLKnb7yK3Ff9dOR89ERBsLJMs3BPHdgeRvlFTjIDRcUGD6mMWaM4i4V2PqW93CTst07ss21w 8BIEOQDEgVoTrVHWSEHVJQYLZx6Xy0pi+uehc8Mvj+lqQXJAd5dptbBX+6TBvPmLHCYi6NFb l0G2+CdT8xbO4vl1khlclQ/kp7NHh+aQ9xNrzB/YwscoUND92J7R3Ey2AT4bALo7mUeFPSph BFwhgY0MoFPvH/8pkw6IFbHvn56iE4qhdDsmiycahbqKbuoB8dXDSTzrU04LpL4BRtzbEi8h 0FlPireSPRdgvEzEAIjwB+ZspxJF/lGSKRCaxJF3vCbacIj1lFEozmmz0tKjQMgIZpkmgwwd JewrnEGxgRiKdAvKK3aObBGiFRd1PrmVsCA1+Y/xxUbLloM8yWPfi9NtlYFN7M7PSXu8uE+s GRqehNYfXQUDbwrpPxt7EY0J+WDiT/m0vtNME2wPfGFIOWVtjqY/fM=
Ironport-sdr: 67a22246_jO+QQgMcOnvFD5AL8sQfFE8vpM6iOaAEODyc6r1+VZ9R7MO Jc5AbeHZU8d8Gmop402rOAIUT9RXqcdxyQins4Q==
Organization: Universitaet Freiburg, Institut f. Informatik

[Apologies for multiple postings]
************************************************************************

Deadline Extension and Booking Heads Up

DisCoTec 2025

20th International Federated Conference on Distributed Computing Techniques

Lille, France, June 16-20, 2025

Extended submission deadline: February 21, 2025

https://www.discotec.org/2025

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

DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are:

* COORDINATION 2025 - International Conference on Coordination Models and Languages
* DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems
* FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems

DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille.

* Deadline Extension *

The paper and artefact submission deadlines have been extended.

All deadlines expire at 23:59 anywhere on earth:

- Abstract submission: February 14, 2025

- Paper submission: February 21, 2025

- Artefact submission: February 28, 2025

- Artefact kick-the-tires - problem reports: March 10, 2025

- Artefact kick-the-tires - author response: March 17, 2025

- Artefact notification: April 4, 2025

- Paper notification: April 4, 2025

- Camera-ready: April 23, 2025 (TBC)

- Conference: June 16-20, 2025

* Booking Heads Up *

We strongly recommend booking your stay in Lille as soon as possible.

Mid June is a busy period in the Lille area, and Beyoncé will be performing in Paris (which may be an extra incentive to register).

* Please visit https://www.discotec.org/2025 for detailed information. *

[Coq-Club] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques, Bas van den Heuvel, 02/04/2025