Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025


Chronological Thread 
  • From: geoff AT cs.miami.edu
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025
  • Date: Fri, 20 Jun 2025 04:35:09 -0400
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
  • Ironport-data: A9a23:RaeSYa0hvu7nFtWVdPbD5R11kn2cJEfYwER7XKvMYLTBsI5bp2AFz DMYXGyAbvzYM2f1eNFwOYSz8UoAvMCByN9iGVdt3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8hVaYDkpOs/je8E015Kyu0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJWyrcksdPXEcZBoMdws9GEG8V3 60kNQlYO3hvh8ruqF66YuB2g8U4MMTiMMUUsWomyDDQCPdgTJzeK0nIzYYJhnFr34YeTLCAD yYaQWIHgBDobBBINFk/A4l4meahg3i5fjFFwL6QjfNusjWNllIhi9ABNvLrIsGwXtpeknqJo 0nXrmTgLhQnM8CQnG/tHnWE2raVw3+lMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c88zArrLMu+UWnCNLmGRi5qXuF+BMQRrK8DtHW9inc+vvmwlafKVMKSwZoWc0o7+VneSETg wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EYPkTXRVJefiy4W5yLzfni7yosBf/LlZZ+AZ9Bn52 TWLtzQzjrlVhtVN0qSy+FGBjj6xznQocuLXzlmKNo5GxlklDGJAW2BPwQKHhcus1K7DEjG8U IEswqBzLIkmVPlhbhClTuQXB62O7P2YKjDailMHN8B+qmz2piHyI9gAumoWyKJV3iAsImeBj Kj74l452XOvFCDCgVJfPN7uVp5CIVbIRIy1PhwrUja+SsQoLlHbokmClGaN2WHznVI3kL0uc ZCVOcOtBHMbYZmLPxLtL9rwENYDmEgD+I8kbcyjn0n+j+rENCb9pHVsGALmU93VJZis+G39m +uz/ePTo/mGeLyvPnvk4sQIIEoULHM2I5nzpoYFPqSAOwdqUiVpQfPY3bprKcQvkrV3h9X42 Ci3enZZ717j2lzBCwGBMU54ZJ3VAJ1QkHMcPA4XB2iO5UQNW4iV0fogR8MFRoV/rO1H5txof sYBYPSFU6huSCyY2jEzbqvdjY1FdTapjhPTIyOaTiQ2RMNkdSz0+/vPXAjmxA8RBAWZ6Oo8p LyB0FvAYJwhHg5NMuffWMiN/XiQ40cPqblXZFTZBNt5dGHH0plYGwaogtAZe8gzeAj+nB2E3 AOoMDIkjOjqob5t1uLWhKqB/rybI8EnEmV0R2DkvKuLbw/E9W+ewKhFYuaCXRbZcEjWoKyCR +Fk/8vQAc09vmRhktRDSu5w7KcE+dHQiadQzV1kEFX1fl2bMO5cDUfc7/ZflJ9m5+F/ghS3a HKt69MBGLSuOeHZKnAzCjchTNy+0aAzpmGPw9UzeF739Q1mzoqhCE9yBSSBuAZZDblyMb4m/ 9sfhd4r21S/pycuY/m7jXFy1mWTL3Y/fb0tmbMEDaTK1Ac66FFwTqbNKy3x4aDUTshGDU0qK ACXmZj9ve19x1XDQVU3B3PizepQvrVQmRFonXspBUWFpcrBvdAzhCZuyDUQSh8P6AdqyMdxC 3dbDFJ0LqCw4DtYvshPcGSyEQVnBhfC2EjO53YWtW/eFW+Ea3fsKTAjBOOz40wpyWJQUTxF9 rW+ymy+czLLftn07xQiS3xetP3vYtxgxDLswPn9MZy+IKA7Rj75jouFR2kC8ULnCPxsonz3n 7Bh+eIoZJDrMSIVnbYANLCb8rYtUzGBGn1JRKBw3aEOHFyEQgqI5xq1FxmTdP9Odtvwym3pL +x1J8lKaQay6zbWkBAfGpw3AuFVmNwH2YM8X43FdE88jqunjzt2sZjv2DD0q001Tv5Pz8ssC IPjWAiTM26XhEpkuXPEnO8cCFWWYv0BQg/3zb2p+donC5s47eVeUXwz9pCWvHylFhRt0DzJn QHEZo7Ql/dDz6Y1laTSM6xzPSeGAvKta/a5qyWIrMVob/nDFezspjElgADrECoONIRARukts 6qGteDG+X/svZE0Yjj/oIaAHawY3veCdrNbHeyvJUYLgBbYftHn5iYC3GWKKZZpttd5zev/T iuabPqAT/Ika+1/9lZ0NRcHSw08Dp7pZJjOvSm+9vSAKiYM2Dz9ce+IyyXbUnF5RAQpZbvFF Q7Gi9S/7It5raNNJiM+KdNIPptaGGLnCIwaL4DflD/BAmeR1wbI/vOokBc78jjEB0WVCMuws 9qPWhH6cw/0o63Sis1Qt4tppBAMEXJhmq8Kc1kA/8JtwSWPZILcwT/x7b1dYn2VrsDz6H08T DjXaWo5FSj0UXJPeg665dXqWwbZC+ATUjs8yvrF4GvMAxpaxqvZaFeiysuky3xtPD7ixeSmb 9wS5xUc+zCvl4pxS797CuOT2o9aKzCz+p7M0Uvm1cnzChMfR7gGyRSN2eaLuTPvS6nwqakAG YT5qa2ojq12pY4d3PuMo0JoJSw=
  • Ironport-hdrordr: A9a23:SlOhJ6p/muX4XT+Q1vNLl80aV5pBeYIsimQD101hICG9Hfb2qy nDppUmPGHP5gr5MUtI8bu90cK7K080m6QZ3WBcB9ufYDU=
  • Ironport-phdr: A9a23:hcSjChetjXMdp7/mN0IX9psFlGM+JNXLVj580XLHo4xHfqnrxZn+J kuXvawr0ASSG92BoK0V0aKW6/mmBTdap87Z8TgrS99laVwssYYso0QYGsmLCEn2frbBThcRO 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYj4ZuMLo9xgXGrnZKf+la235jKVaPkxrh/Mu985Bu/zpKt/4968JMVLjxcrglQ 7BfEDkpPGc56dHxuxXEUQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus8 6lkSBnziCcaLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4WhZ IYJEuEPP/tXr5PlqlUTsxWxCweiCuDvxDJTmnP6wbE23/g9HQzcwAAtGc8FvnTOrNXyMacfS e+1w7fPzTXNYfNbwivy6JPSfhAkoPGDR7dwccvLxUYxCgzFk1OdopHqMD2JzOoCqXSb7/Z+W uK1jW4qswF8rDiuy8oohYTHiZ4Yx1LL+Cln3os4K9+1RUB7bNO5DZZdqSGXOoR2T84jQ29lv CY0x6MbtZO0YCQH1YoqygPZZveafYaI5RfjW/yQITd+nH9qZbK/iA288ES50e38StS00EpWr ipKiNbMrGwN2wbO5ceZUvdy4F2u2S2P1g/P6uFLO0E0lbDBJ54m2L4wmZweulnAEC/ugEj6k aubels+9uWm9ujreLbrq5uGO4J1jAz1L7ojmsiiAeQjLggBQXKb9/m91Lzi40L0WKhGg/Iwn 6LEqp7VP94bqbS8AwJN0oYs9RK/DzC+3dsCh3kHKVNFeAmbj4f3IV7BPer0AuujjFS3ijtrw vHGMafkApXMNHTMjqrufatl505dzgo808xf6opJBrwFPv7/QEH8uMHCAhI6NwG42efqBM141 owEWGKPBqGZMLnVsV+N/u8vLPeDZIgbuDbzMPUq++XugWU8mV8cZ6ap2JoXZGqmEft7PkWVe XzsjcwZHmcQogU+VPDqiEGFUTNLenq+R7g86S0jCIK6EYfDQZigj6CG3CeiB5FZemRGCk2XH nrzbIWFW/IMaDqILcN7kzwEU6KhS4472h20ug/60ekvEu2BriYfrNfo0MV/z+zVjxA7szJuW ZezyWaIGm55mW0GbzQtmqV+qEl8jFqPzPsry8dEHMBesqsaGjwxMoTRmrQS47HaXwvAeozMU 1O6WpC9Bil3SNstwtgIakI7GtO4jxmF0TD5S6QNmemtA5o5urnZw2C3P9x0nnnL06cvp1I9B M5OPGinwKNz6lubHJbHxn6embqEfKUYlDXI6H/FyGOPuE9CVwslXqjCU343bVCQqNXw40KEQ rOzWvw8KgUU78mEJ+NRb8Hxy1VLQPC2INPFf2e4gHu9Hz6B3LaNd5bncmlb1y7GTk0FmgUSu 3uKKGDSHw+HpGTTRHxrHFPrOAb39PVm7Wi8Vgkyxh2LaEto0/y0/AQUjLqSUaFb2LVMoyonp zhueTT1l9vLF9qNoRZgd6RAcJs85llAz2fQqw16ONSpMaljglcUdwk/sVnp0l17DYBJkM5iq 31PrkI6Jq+f3l1pfCje2JH5P7yRJ2XvvViuZ6PQxlDCwYOO4K5coP88qljloESoDh97oi8hi IATgyrauMavbkJaS5/6X0cp+gIvorjbZnJ4/IbIzTh3NrHytDbe2tUvDe9jyxC6ft4ZPrnXc W26W8AcGcWqL/Qn3lazaRdRdu9f86A6F8i9Mf6H0auqeutsgXj16AYPqJA4yU+K+ydmH6TH0 pELzdmTxU2CVj75jRGsvt29yshUIDoVGGS40y3tAoVcM7ZzcYg8AmCrO8Srx996ivYBQlZj8 1C/KVoH3IfpfBOTawe4xghMzQEMpmThnyKkzjtymjVvr6yF3SWIzf6wPBYAP2dKQgwAxR/rL 8C7gtcUUmCjdE4slRKg5AD3y7UTpb83Lm/YRUZOciS+M2YqVKys/raPeM9A7po0vEA1GKzlM ArcEee780pcjWvqBCNGySo+di22t5mxhBF8hG+HbT5yoHffZcBs1ELa7d3YS+RW22ljJmEwg j3WC16getixqIzFzdGY66buBiT/BfgxOWHxwIiNtTW2/zhvCBy7xLWon8H/VBM9yWn93sVrU iPBqFD9ZJPq3uK0K7ECHAEgCVni5s59Aow7nJE3gcRa1nUdiJu99mFBlGb6NNQd1K7jJiloJ 3ZD05vO7Q7p1Vc2ZH2EwIz3fn6GhM5gbty7JG4ax2hup9APA6CS4rtemCJzqVfttgPdb892m TIFwOcv4noX0IRr8EI9iz+QCbcIEQxELDThwl6WusumovwdNy6/NKK9301kkZW9AaGe90tCD W3hdM5Hf2c4790jYgudijuos8e0KZ+JN5oSrkHGyk2RybEKcdRqyrxT3GJmP2n5oHEomdkgl RIo0pa9s4yKbW5q+cfbSlZOPznxLav/4xnLiqBT1oaT1oGrRdB6HykTGYDvVbSuGS4TsvLuM 0CPFic9ozGVA+iXGwjX80pgo3/VdvLjf3iKOHkUy8ljTxiBNQRehg4TRjAzgp8+EEij2sXgd E5z4j1Z6ET/r1NAzedhNh+3VWm6xk/gcjAvVJ2WNwZb9ClL/ULUKtCT5+41FCpDuJigpQmMb GGXekUADG0EXFCFG0G2PrSq4oqlkaDQDe6/Iv3SJLSW/LUPDbHTnNT/g804rFPufo2VM3JvD uM2wB9GVHF9QIHCnikXDjcQj2TLZtKaoxG1/mt2qNq++bLlQlGKh8PHBr1MPNFo4x3zj72EM rvaiyt+Jzhw3YhKwH7BzblZ0VIPwXILFXHlAfEbuCjBQbiF0LdQFAIeYjhvOdFg5rg53xJRN MfXzNj+zfh9j/cwChFIWUGryaTLLYQaZmq6Ml3AHkOCMr+LcCbKz8/AaqS5UbRMje9QunVYW B6SCUriJSiOnjWvXBu0d+RNhSSaehFSpdPlGv6CIWP4CtfnYxi6dtJ7kG9tqVXRrnjRc2sdO D19NU5Bs+/IhR4=
  • Ironport-sdr: 68551d52_+NvaXnolVOe57vmic1FmSETX5xC6f2tPZD/s/h2XVGA7xma W6sWy+IQxfmVNkda8ojP8xS147mromR6hBhrHQw==

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

2nd CALL FOR PARTICIPATION

CADE-30: 30th international Conference on Automated Deduction

DHBW Stuttgart
Stuttgart, Germany, July 28th - August 2nd, 2025

https://www.dhbw-stuttgart.de/cade-30/


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

NOTE: The main conference program is now online at
https://easychair.org/smart-program/CADE-30/


CADE is the major international forum for presenting research on all
aspects of automated deduction. High-quality submissions on the
general topic of automated deduction, including logical foundations,
theory and principles, applications in and beyond computer science and
mathematics, and implementations of automated reasoning systems are
solicited. CADE-30 aims to present research that reflects the broad
range of interesting and relevant topics in automated deduction.

The Herbrand Award for Distinguished Contributions to Automated
Deduction, the Skolem Award(s) for influential historical CADE papers,
and the Bill McCune PhD Award are presented at the conference.

The conference will take place from July 28th to August 2nd 2025 at
DHBW Stuttgart, Germany. It will feature a high-quality program of 37
peer-reviewed original papers, three invited talks, the CADE ATP
System Competition, and 7 other co-located events.


Registration for the conference is via EasyChair at

https://easychair.org/conferences/?conf=cade30


IMPORTANT DATES

Early registration deadline: June 23, 2025
Main conference: July 28-31, 2025
Satellite events: August 1-2, 2025


PROGRAM COMMITTEE CHAIRS

Clark Barrett, Stanford University
Uwe Waldmann, Max Planck Institute for Informatics


PROGRAM COMMITTEE

Erika Ábráham, RWTH Aachen
Haniel Barbosa, Universidade Federal de Minas Gerais
Clark Barrett, Stanford University
Jasmin Blanchette, Ludwig-Maximilians-Universität München
Maria Paola Bonacina, Università degli Studi di Verona
Liron Cohen, Ben-Gurion University
Stéphane Demri, LMF, CNRS & ENS Paris-Saclay
Huimin Dong, TU Wien
Katalin Fazekas, TU Wien
Mathias Fleury, University of Freiburg
Pascal Fontaine, Université de Liège
Carsten Fuhs, Birkbeck, University of London
Silvio Ghilardi, Università degli Studi di Milano
Alessandro Gianola, INESC-ID and Universidade de Lisboa
Iris van der Giessen, University of Amsterdam
Alberto Griggio, Fondazione Bruno Kessler
Nao Hirokawa, JAIST
Mikolas Janota, Czech Technical University in Prague
Moa Johansson, Chalmers University of Technology
Martin Jonáš, Masaryk University, Czechia
Cezary Kaliszyk, University of Innsbruck
Konstantin Korovin, The University of Manchester
Katherine Kosaian, Iowa State University
Laura Kovács, TU Wien
Peter Lammich, University of Twente
Kuldeep S. Meel, University of Toronto
Stephan Merz, Inria Nancy
Cláudia Nalon, University of Brasília
Jakob Nordström, University of Copenhagen and Lund University
Nicola Olivetti, LSIS, Aix-Marseille University
Elaine Pimentel, University College London
André Platzer, Karlsruhe Institute of Technology
Florian Rabe, FAU Erlangen-Nürnberg
Andrew Reynolds, University of Iowa
Philipp Rümmer, University of Regensburg
Tanja Schindler, University of Basel
Renate A. Schmidt, The University of Manchester
Carsten Schuermann, IT University of Copenhagen
Mihaela Sighireanu, ENS Paris-Saclay
Alexandra Silva, University College London
Viorica Sofronie-Stokkermans, University of Koblenz
Martin Suda, Czech Technical University in Prague
Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore
Guilherme Toledo, State University of Campinas
Sophie Tourret, INRIA Nancy
Ali Kemal Uncu, University of Bath
Uwe Waldmann, MPI for Informatics
Christoph Weidenbach, MPI for Informatics
Bohua Zhan, Huawei Technologies Co., Ltd.
Yoni Zohar, Bar-Ilan University


CONFERENCE CHAIR

Stephan Schulz, DHBW Stuttgart

WORKSHOP CHAIR

Sophie Tourret, INRIA Nancy

PUBLICITY CHAIR

Geoff Sutcliffe, University of Miami

CONTACTS

All questions about CADE-30 paper submissions should be emailed to the
Chairs (cade30 AT easychair.org).




  • [Coq-Club] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025, geoff, 06/20/2025

Archive powered by MHonArc 2.6.19+.

Top of Page