coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***
Chronological Thread
- From: serge.autexier AT dfki.de (Serge Autexier)
- To: coq-club AT inria.fr
- Cc: serge.autexier AT dfki.de
- Subject: [Coq-Club] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***
- Date: Tue, 6 May 2025 12:50:58 +0200 (CEST)
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=serge.autexier AT dfki.de; spf=Pass smtp.mailfrom=serge.autexier AT dfki.de; spf=None smtp.helo=postmaster AT lnv-91185.sb.dfki.de
- Ironport-data: A9a23:srKviKrpXaJbwHBcw5vRGtKL5oxeBmL1YRIvgKrLsJaIsI4StFCzt garIBmHOvuLMTOne49xb9uy80kEupfRmNJmTFY+/yBnFixAouPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsv/rRC9H5qyo5WtF5gJmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kMMtAq6OpXH1tV+ NxfaxoMSjTat8yflefTpulE3qzPLeHvOp1a6yg5nWyfFvxgTZ7AQuPG6Le03h9p3ZwITKiYP ptAL2M/MXwsYDUXUrsTIIkzhuilwHDibzBIqV+PjaY54GmVwAEZPL3FaYOIK4DRFJQN9qqej kKWo1bLGC0hDtqazSSFqXyUh97OwwquDer+E5Xjq6c03QDIroAJMzUdUkL+qv2kgGalStdHI goV/DAvpO487iSWosLVWxum5S/d505BHcFaVeE06wDLxqe8Dxul6nYsdDEcWs4qlNEMXjEKk RyjnvfNXAxBmejAIZ6CzYu8oTS3MCkTCGYNYy4YUAcIi+UPRqlo33ojqf44QcaIYs3JJN3m/ 9ydhAQT74j/YOYP0bv+rAme02/qvZKPQgA250PbUwpJDz+Vhqb7OORECnCCs56sybp1qHHa7 BDofODFsogz4WmlznDlfQn0NOjBCwy5GDPdm0VzOJIq6i6g/XWuFagJv20geBk4Y55ZI2a2C KM2he+3zMMNVJdNRfMoC79d9+xzk8AM6Py7CK2KNrKinLAsKVTvEN5Sib64hD20zhVxysnTy L+Gd8eyAGwBCLhuwSb+S+oGmaQizzo6zGXfSIuz1B2uy7CEeXOeSroDWGZinchkhJ5oVD79q o4FX+PTkk03eLSnMkH/r9VJRXhUdidTOHwDg5AMHgJ1ClY9QDl5YxIQqJt9E7FYc1N9z7qSo CrkBhQHlDISRxTvcG23V5yqU5u3Nb4XkJ7xFXVE0Y+AiiZ9M7W8prwSbYU2drQB/eluh6w8B focdsnKRrwFRj3b8n5PJdPwva5zRiSN3AiuBiuCZCRgXphCQweSxMToUDGy/wYzDw22l/AEn Zue6i3hT6EueSFeHefNSff2z1qOrXkXw+1zeE3TI+hsQkbn8ak0Cinhk/M2e5wpFTif4ADHx TeXXBQqoPXVh4oP9PjImqG2gIO7GMRuHkdhPjf67JTnEQL472ac0Yt7f+LQRg/kVUTw47eHS dRO6vPBbM08g1dBtrRjH4ZRza4R48Xlo5lYxF9GGErnQkuKCLQ6BFW7xuhK67Nww4FGtTuMW k6g/sdQPZOLMpjHFH8TPA8UUfSR58oLmzX97eUHH2ui3XVZpIG4aER1OwWArAd/L7EvaYMs/ roHif4ssge6jkInD8aCgiVq7F+zF30nUZg8l5QkEYTu2xsKyFZDXMTmMRXIwqqzMvdCDkp7B QWvpvvmp69dzU/8YXYMBSDz/e5Ct68v5jFO7nE/fmqspPSUqMMz7hNr9RYPcj901TRCiuJ6B XhqPRZ6JIKI5DZZu/JAVGGNRSBEPhiQoE/s+XQ0lUnybUqhZkrSJkITZMeP+0E49TpHXz55p bu39kfsYQzITurQgBQgeBdChaT4bNpT8gbippiWL/6dFcNnXQu/076cW2UYjjDGX+UzvRTjj st39r9SbabbC3Yhk5cjAdPH6YVKGQG2H00cc/RP56hTIHr9fgu10j2wK0ycXMNBCvjJ0E2gA fxVOcN9eEWi5RmKswwkK/YAE51skN4twegySLfhCGoFkrmY9x5Ckpbb8Argj24KHfRqt+sAK b3qSjHTKVzI2ENomFLMovJUZUu+Q90PPzPn0M6Pre4mKpMkscNXS38U7IeahXuuHTFcz0qmh z+bP67y5M5++LtohLrpQ/liBR3rCNbdV9ao0QGUsvZNX9bTKePLjQc0q0bmDStSL7A+S9R6r pXTkd/VjWfunqc6bHDdoLaFT5J23MSVWPFGFP73IF1xvzqwaOW17zQto2mHeIF0yvVD7cyZd i6EQcqXd+9NfexCxXdQOhNsIzxEB4vZNq7f9D6A9dKSAR0g0CvCHtOt1VntSUp5LiYoGZnPO jXYisaUxOJzjdpzXUcfJvRcHZVHDkfpWvIme/3PpDCoNDSUrW3YiITytygLyG/tMWaFIvbY8 JieZxnZdTaOgo/q4uxdkbRPukwwMC4gr8g2J04TwosjwXTyRmsLNv8UPpg6G4lZ2H66no3xY DbWKnAuE2PhVDBDag/x+8nnQhzZPOEVJ9PlPXY8yit4sctt6F+oW9ONNxuM4kuavhPnyv/ie IhHqiC2JRL3zp9qRKAf65RXRAuhKuzynho1FYLVyqQewCryxZ0G2n9gWgZAPcACO9+Yj13Ff ADZWkgdKHxWiifN/QJId3BWGVcVsVsDCtnugTinmL7ihmlQ8AGMJDAT9Q0+Pn3vofnm/IIze E4=
- Ironport-hdrordr: A9a23:AUbDMK0Uvnp/hQtjcwchuQqjBK8kLtp133Aq2lEZdPWaSL37qy nOpoV56faaskd0ZJhNo6HmBED/ewK4yXcd2+B4VtrPM2fbUQCTTL2Kg7GC/9Q+IUfDytI=
- Ironport-phdr: A9a23:fXHGux8YPMg5sf9uWQ22ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb433ASWAs3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfQlEniaxba99I BmorgjcuMsbjIl/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d9ir9QrhC8qBxl24PafpybO+Zgc63ec90URXFMXtpNWyBdHo+wc 5cDAugHMO1Fr4f9vVwOrR6mCAm3Guzv0DBIiWHs0aIgzuQhDR/J3QMhH90QqnTZt8j6NKkRU eC01qXH0CvMZO5S1Tng9ofIaB8hru+RVr9sbMrR1VcgFgzEjlqOs4zpOjWY3fkCvGaH9eRvT /6vi3I5pAFrpDii3sgihpfGi48axF3K+yZ0zogrKNC4RkN2f8CpHZVMuiyEKYd7Qt0vTmJpt SomxLMLvYO2cicWxJkj2RLRa/iKfoyO7xn+WuiRJjJ4i2hkeLK5nxu97UmgxfH5VsWtzFlKq SxFktfSuXAXyRPT7NSIReVn8kemwzaP2Abe4fxHL0AsjafXNpAsz7EqmpcXsEnPBDL6lUHrg KOMa0kp+eil5/z6brjlppKQLYB5hw/kPqgwmsGzG/o0Pw4TVGWF/eS8yabj/VHnT7VQk/M2k 6jYv47CKMgHoKOyHhVb3Zw56xmlCjeryNQYkmcDLFJCYB+Hi47pO0/XLP38EPuznlehnTdxy /DdJbLtGIjCLnbAkLfgZ7py9lBTxBIyzdBZ+Z1UFqkMLO/9V0L+rtDVCh40Pxapz+vjFdlxz J4SVGGPD6OBNaPdq16I5uYhI+mWY48VvS7wK+M76P70gn82h0URcrO03ZsLdn+5EfVmLFuDY Xf3n9gBH2QKvgskQOP3llKOSThTaG2qUKIm+j47EJ6mDZvERo21nbCNxD27EYFOZmBaFlCMF m/leJmDW/cVcS6dPsthkiEfWrW6UI8g1RSutBfgxLZ9L+rU/DcYtZP529Rv6e3Tj0J6yTshB MOElmqJUmtcn2USRjZw0rosj1Z6zwKY3LJ3jrpRCMBe9/JESC82O53dieB3Q5DJVxjOc5+gV UqrUtSrG3BiHZoK39YSbhMlSJ2ZhRfZ0n/ya1d0v7mCBZhvt7nZw2C0PMFljXDPyKgmiVAiB MpJL2yvwKBlpEDIH4CctUKfmu6xcLgEmjbX/TKYwHCBsQdRTRJ9QaTIR1gTaEjX69j0tQvZV 7H7Mb08KUNazNKabK5Da9nnl1JDEezuItvTJWush2qgBBuS7r+Cb4usd2hOlD7FBh0ilAYet W2DKRB4BiqlpDfGCydyEFv0f0722e14tjbqFxZkkkeRZQtt2bm0vBIY7RCFY9UU2L9M+CIoq jEvWU24w8qTEN2Y4QxoYKRbZ9o5plZBz2PQ8QJnbNSmKOh5i1gSfh4S3Qum3ghrCohGjckhr W87hAt0J6WC1VpddjSelZnuM7zTI2P28VihcanTkl3Z1d+X/O8I5pFa4x34sRumGwwr7mlqw 9hYyVOQ6JbLSgYfENrwXksx6xlmtuTCeCBuguGcnXZoMKSyrnrDw4dwX7djm0jmJoYGdvrUS VyXcYVSHcWlJe00lkL8axsFOLsX76soJ4a9cOPA3qe3PeFmlTbgjGJd4Yk73Fjfkkg0AuPOw ZsBxOmVmwWdUDKpxkysqM/634lZeTwCH2el4STqB48XaqA4LuNpQS++Zta6wNlzncunQHNC+ 1PlDk4a1d+odAC6Y1L+3Etc2A5ExB7v0Tv9xDtynTYzq6OZ1yGb2OXuei0MPWtTTXVjh1PhS WStp+gTR1PgLw0glR/+oF3/27Aev6NnaW/aXUZPeSHyaWBkSKq58LSYMYZD75YhsCMfV+rZA xjSUbPnrBZc2j7/EntfySoTez+pu9P1klR2hXmcI3B6sHfCMZgrmVGOupqFFKcXh2pbDCBjw SHaHF29I8Wk8bD239/Yv+ayWnjgHpxffC/3zJ+R4S6y5GlkGxq6zLi4ntzqFxR/0DeujoI2E 3SW6k+tO8+yh/npVIAvNlNlD1L99cdgT4R3k49rwYoVxWBfnZKNu3wOjWb0N9xfn6P4dnsEA zARkLu3qEDo3lNuKnWRysf3THKYl4F6asO1byUfxz4w/8FHEo+Y4r9F2yd46Andz0qZcb1mk zERxOF7omUXme4E/gMw0iiNA70INUVWPi2qmxnCvLXc5O1HIW2od7a3zk93m9usWaqDrg9rU 3H8Yp4+HCV045Y3IBfW3Xb08I2hZMjIYIdZqEiPixmZxbswStp5hr8QiCFgI264oXA117txk 0l1xZ/j9Imfdzc0p/7/U0Aeb2ysIZpDpnnslfoMx53KmdHxWMwwQ3NSDMaNL7rgESpO5628a 0DfTntl+y7dQOqAVQ6HtBU/9C6JQs7tbiDOYiBHl51jXEXPfRcDxlFKGmxrx9hgRlvPpoSpZ k594np5CkfQjBxKx6ooMhD+VjyavwK0cnIvT4DZKhNK7wZE7kOTMMqE7+s1ETsKtpum5BeAL GCWfWEqRSkAR1CEClb/P7Kv+ciI8u6WAfC7JufPZrPGoPJXVvOBz5aimoV8+DPEOsKKN3hkR /o1vygLFWh+ANjcki4TRjY/kyTTKp/C/UfhvDZ96Myx8/WtVA+urYqDBr1OMMl+rhC7haDQU ozYzC19KDteytYN3SqRk+RZjQBU0nA3MWD9TOdl12aFVq/bl65JAgRObipyMJAN9KcgxkxWP tadjNrp17l+h/pzClFfVFWnlNv6AK5Ca2y7Kl7DA16GcbqcIjieidr6e6yxD7RNkOhEthCqk TqVEE6lMjnJxFyLH1i/dPpBii2WJkkUoIambhNkEnTuVvribAP+YYYu3WBw2rdyin3JNCgQP HIvFiEF5q3V5iRejPJlHmVH5XcwNuiIlRGS6OzAI4oXu/9masyVv+Zc/jFrkuIFsWdfTrp5l ijT6NJj8QnOegynxjRkUVxCp2QT7GpklUlsOqSf+pQSAB75
- Ironport-sdr: 6819e994_8yS6AHtM6KzHtlmM36IXLMXBI5tdwBs8WhKByyUBOC0uqQd uwJg4jSCJKFKP8StZUXUSy585oQPT/lb7miNklQ==
--------------------------------------------------------------------------------
18th Conference on Intelligent Computer Mathematics
- CICM 2025 -
6-11 October 2025
Brasilia, Brazil
http://www.cicm-conference.org/2025
--------------------------------------------------------------------------------
Due to several requests from the community we are extending the deadlines
for
formal submissions to CICM 2025 by another week. This applies to
* regular papers (up to 15 pages + bibliography)
present novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (4 to 5 pages + bibliography)
present digital artifacts
The new and final deadlines are:
- Abstract deadline: May 12, 2025 (extended)
- Full paper deadline: May 19, 2025 (extended)
- Reviews sent to authors: June 16, 2025
- Rebuttals due: June 20, 2025
- Notification of acceptance: July 4, 2025
- Camera-ready copies due: July 18, 2025
- Conference: October 6-11, 2025
Valeria de Paiva and Peter Koepke
(PC co-chairs)
- [Coq-Club] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***, Serge Autexier, 05/06/2025
Archive powered by MHonArc 2.6.19+.