Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Weidenbach'60: First-Order Reasoning. Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Weidenbach'60: First-Order Reasoning. Call for Papers


Chronological Thread 
  • From: geoff AT cs.miami.edu
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] Weidenbach'60: First-Order Reasoning. Call for Papers
  • Date: Tue, 6 May 2025 14:01:55 -0400 (EDT)
  • Authentication-results: mail2-smtp-roc.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:SmylZaypJR0z6MQIK656t+fiwirEfRIJ4+MujC+fZmUNrF6WrkUAx mtNCjiHOKrfYWHyKo1zb9mwoE0G78PcnNdmHAM/qlhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmMc3l48sfrZ9Usy5Kqq41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPXx9wxFEwHYbck2dtmUW1g5 P9FLjYkO0Xra+KemNpXS8FlnMEiN9XmNY9ZsXp7izTYBPMnB53PXs0m5/cBjW123ZkITaeYO aL1ahI3BPjESxJCPVkZIJkl2uKpj3z+NTBUtTp5oIJtuTCCkVAsjeKF3Nz9Wd2gS+BOxHyk+ 3/K30fGWw1LCIGFxm/Qmp6rrrOWx32nBur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0iM0qKkp6EGiQp/2RFu9oXeBv1gRV8c4//AGBB+l8a79vB6UNzQ+ch18eYwqmt41GDos/ wrc9z/2PgBHvLqQQHOb076bqzKuJCQYRVPugwdYFmPpBPG//ukOYgLzczp1LEKiYjTI9dzYy iqPrTMiirwfy8UQkaC69FXGxT+gu/AlrzLZBC2MAQpJDSsjOOZJgrBED3CCsp6sy67DEzG8U IAswZT20Qz3JcjleezkaLxl8EuVz/iEKibAplVkAoMs8T+gk1b6ItwOvG8vdR43bptcEdMMX KM1kVgIjHO0FCfwBZKbn6rgYyjX5fe8Som/PhwqRoYQMvCdizNrDAkyPBTOgz6FfLkEjKc+J 5qBasewHD4dB+xizTOzRo8gPUwDnEgDKKK6bc6T8ilLJpLCOCLEFelabgTmgyJQxPrsnTg5O u13b6OioyizmsWnCsUO2d9CcQI5PjIgCIroqsdaUOeGL0A0UCsiEvLdi/dpMYBsg60fxK+C8 2CfS31o7gP1pUTGDgGWNVFlSrfkBqhkoVwBYCcDAFeP2loYW7iJ0psxTZUMUIMcxLRR9sIsF /ghUOecM8tLUQXCqmg8b4GijYlMdyaLpAOpPginayliY5dfaRDAwYLgTCvS9Q0lLCm+he0hq ZKOiyLZRpsiQVx5LcD0MfiA8XK4jUI/qslTAXTaE4J2Q1r91opAJwjarO4FE+tVJTrtnjKlh hurWzEGruzzkqoJ2djuh5Hciby2EuF7T3FoL0OC4ZmYbSDlr3eem6leW+O1fBfYZmP+2IOmQ c53l/jcEvk2rGxmgrpGMYRA7PwBvoP0hrpg0A5bMm3BbA2rBpNeM3C255RzmZMX9IBJmzmde xypwcZbC4WrKcm+MV82JSgZVMqh+8wQuAHv6aUSHB2nyg5xpKGKQGdDDSmq0SZ9FoZ4AKkh4 OUmufMV1TCBtwoXAo6GoBx5p2WoBV4cYpojraAfUdPKiBJ061RsYq78Ky7R4bOPYNAVKkJxG Dulu5Pftu561G7HKmICKiHV+e9jhpg1mQtryWUaLA+jgev1hf4Q3TxQ/w8oTw9T8A517uJrN kVvNGx3Pa+o/Tx4oORiBUWCQxpgAj+d8WzPk2o5rnXTFRSUZzacPV8DNvao12FH1WBlJxxw3 qySkUThWhbUJPDB5DM4AxNZmqayXO5K11Pwne68FJ64BLg8Wz3uh5GuaUcuqxfKBcAQhlXNl dJ1/dRfOLHKCioNn5IVU4Wq96wcaBShFlxwRftM+KAoH2aFXBqQ3TOICV66e+ITBvjs3HK7N fdTJZN0Z0zj7BqNkzEVPr5TArlWmPVy2sEOVIm2LkE7spyejAFTjrTuygbEilUWHupeyfQGF tuJdhapMHChun9Pqmqc8OhGIjWZZPcHVi3d3ce00ucCBs8fud5CbUgJj7+Gn0iUFCBF/Bukm hzJSIGL7u5lyKVqx5DNFIcaDSqKCNrDbsa62yHtjMZ/Nvb0LtbotSkZjnLFLjZmF+IddPovn IvcreOt+l3OuYgHdlzwmr6DJvFv3tqzVu8GCfDHBiBWsgXaUfC9/iZZ3X6zLKFIt9Zv5sOHY Q+cQ+nofP43X+Zt/lFkWxJ8IT08VZuuNrzBoBmjpcuiEhIeiAzLDO22/E/TMF10SHU6BI3cO CTV5dCV+dFqnKZdDkQlBtZnIaNCDn3NZK8ET+D15B6kVjSGo1XbtrXbwE9qrXmBD3SfC8/17 K7UXhW0Jlz4pKjMy8ofqIBo+AEeCHFmm+QrY0YB4JhMhiunCHIdZ/EoWXnc5kq4TgSpvH05W N3MUIfmISznWDVfbRj17JLoVRzZA+0HP9a/KzA0l69Rh+FaG6vYaIaNNA85i5u1Rtcn5Oq8b 9Qf83jxeBW93/mFgM4Ns+ejj74PKuzynRo1FIOUryA2Kx0FR7AL3XlgWgdBSEQr1i0LeFrjf QAIeIyPfK13pYMd3yqtl7651Sz1ZA/S8gg=
  • Ironport-hdrordr: A9a23:0fuA26/4448r2J1GhQNuk+AwI+orL9Y04lQ7vn2ZKCYlCvBw8v rEoB11726XtN98YgBCpTniAsm9qBHnhPlICOAqVN/OMDUO01HYSr2Kg7GSugHIJw270PJB3q F9dKVEBMT3FkUSt7eG3CCIV/glhPaK+L21nuvFpk0dKT2CqJsO0y5JTiieGk1yAC9cBZQ4E5 KYou5KvSCpd3hSTunTPAhhYwEOnbP2fImNW298O/fv0mizZN6TmcTH+5P05H0jbw8=
  • Ironport-phdr: A9a23:IwNY0BDMn0yGsZ7zAIFGUyQUwUgY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua43ygeRFt+Lt6wcw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdutcVjIZtK6s91gbCr2dVdehR2W5nKlWfkgrm6Mu34JBt7Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XQSTmsZkhxTAwjY9x76RYv+sjH7tuVmxiaXO9D9QK0uVjSj6 6drTwLoiDsCOjUk/mzbltB8gaRGqx+nuhdxwZPbYJuNOfRjYK3TetAUS2RBUMtKSyBNHp+wY 5cVAuYdIepVqZT2qVsUrRu5AAmhHOzvxSFPhn/40603yPguERrc0AwlHtIBqnHUrNTvOKgMT O+10a/FxijMYP1Kwzny8pTIcgw/rvGWW7J9acTfxVcuGg7GkFmdq4LrMi6a2OkQr2WW7OhtW OyvhWMjrwx9viWiy8gth4TXhI8Z1lHJ+CtlzIs7O9C1VlN2b96iHZBNuS+aMI52TdkjQ2Fuo Cs60aUGuYS6fCgMx5Qo2QTfZ+abfIiP5xLvTPieLi1jhHNlZL2/hwy98Um6yuHmUcm0yllKo yxYmdfPrnAAzwHf58yZRvdn8EqtxCyD2gPX5+1eIE05k7fQJoAlwr4tjZoTrVrMHjXrlkX3j a6ZaF0p9vW05+nhf77ovIWTN5VuhQH7KqkumtKwAeA/MgUWRWeb4+G81Lz4/U3lXrpFlOA5n rPFv5/GPsQXvKu5Aw5P3YYm6hazFSmp38kFnXUfLVJFfgyIj5TxNl3TJP30E+2zjlqxnDtxx P3LOqftD5TVInjGirjhfLJ960BGyAo0yNBS/51UBa8GIPL9VE/8r8DXDgQjPwyxwuboEtB91 oIEVW2RH6CZLbvesVmT6e03OemDeJcVuCrhK/gi//PikGc1mUUBcqmxwZsXdHe4E+x6LEWee Hrgm8sOEWMXvgUlV+Hqk12DUTtLZ3moRa485zc7CJinDYjZXIytjqaBj2+HGcgCbWdfT1uID H3AdoOeWv5KZjjEceF7lTlRWrWmRYEJ3grosQ7zzrshI+bJqX5Qjo7qyNUgv76brho17zEhV 6x1skmIRmBwxCYTQiMumbp4qgp7w0uC1q5xh7pZE8ZS7rVHSFRyLobSmsp9Dd26QQfdZpGRU l/zTdihDz8ZRcl3xt4HZkc7Ftm/3VjYxyT/OLgbi5KCBZh86afAxz70Lsd5xWzB0fwugl4oT ONELiujh6d69k7eC5Oa216BmfOMcqIRlDXI6H/FzWeKuxRAVxVsVKzeQX0FTkLMqNXi+k7LQ /mlAq9hNwpIzM/EJ6dXAjHwpXNBQvqreNHXYmbr3ny1GQ7N3LSHKozjZ2Qa2izZTkkCiQEau 3icZ0A4AW+6rmTSASYLdxqnal7w8eR4tHKwT1MlhwCMYUp70rOp+xkTzfWCQvIX17gAtW8vs TJxVFq62tvXDZKHqW8DNO1TbNQz7n9MziTctgV4P9qtI70jzl8SfgJrvl//gg1tA9YImswro XU2iQtqfPvJihUaLnXIjNauadi1YiHo8RuiarDbwATb2deSoOIU7egg7k/kt0evH1Yj9HNu1 59U1WGd79PEFll3M9q5X0Ap+hx9v7yfbDM64tae2nBrP6ecuSSE3tMgAepjxxq9NYQ6UuvMB ErpHssWCtL7YuMnnFanRhkfeuVT/as1ec6qarHVkL7uN+FmkjW8iG1B640oyUOA+R13TevQ1 ooEyfWVtueefwz7gkuPu8Hz0cBBbDAWRC+kzDT8QZRWbet0dJoKDmGnJ4u2wM9/jtjjQSwQ+ FmmDlIAva3hMR2cJ1Pw2gNe/U8M53mmkC65iTF4jnkoteKe2ifKwuLveFIbPSZNQ3UqgVr3I IeyhswXOSrgJ1F4zl3+vACqlu4F7K1kZ3HeW0JJYzT7Iyl5X628u6DDK89D5ZU0sDlGBeG1Y FSUULn48H54m2voG2pTwix+din/48Sj2UcjzjLMaiggyRiRMdt9zhre+tHGEPtY3z5cATJ9l SGSHF+3ed+g4dSTkZ7H9OG4TWOoEJNJIkyJhcuNsjW24WpyDFixhfe2z5foHA803wfwzJ9vV CzNrVDxbpShhMHYeap3O1JlAlPx8Z8wFYx5nIUYj4pW3HkTg5TT8HYa2zS7IZBQ3qTwa2AIT DgAzovO4QTr70ZkK2qA24PzUnjOp6kpL8n/eG4d3TgxqtxbEKrBpqIRhjN7+xDr5RKUe/V2m S0RjOcj+GJPyf9coxIjl0D/SvgTBRUKZH220U/RqYDv6vwNLGe3Lerpjhs4xI/4Sure5FgFE Hf/cZM/ESIi2d5nPhTD13r87oyic97VCLBb/gudlxOK5wRMALQ2kPdCxS9uOGan+GYg1/Z+l xtlm5ezoImALWxpuqO/GB9RcDPvNYsV/Xn2gKBSk9zzvcjnF4h9GjgNQJrjTO65WDMUu/P9M g+SETo64n6FELvbFAWb5Q9otXXKW5ysMniWIjEew7AADFGFI1dDhQkPQDggtpcjEwGx2MHof AFy7StX41/xrxoKx+51dlH+XmrZuAa0e2I0RZyYf380pklJ40bYN9Db7/omRnACuMb46lzcb DLIAmYARXsEUUGFGV35a7yn5N2atvOdGvL7NfzFJ7OHte1ZUf6Mg5OpyIpvuTiWZaDtdjFvC eM23k1bUDV3AcPczn8ARisZmQrGdIiepR65+2t6ot31o5GJEEr/oJCCDbdfK4Al4xetnaKKL PKdng5wMzNZzY8BzHOOw7MEmlsTgiRvMTShDP5T0EyFBLKVkahRARkBbip1P8Yd9KMw0D5GP svDg8/03Lp15hbQI1xeE1ngk8SoI8EGPjPlXLsoLE2QcrGHLDjKhcz7fPHnIVWxpOxOshyrp TuSHwnoNS/FkjjgUhHpPO1R3nnzAQ==
  • Ironport-sdr: 681a4ea1_qteL50GbcmFrE8aqoBuK4bEhtlGmAafS8yLzqT0fos8oila ESx6eDvzgs+5ri/3h15/nSGPZ9pIO0bY1zdIiWA==

[CFP] Weidenbach'60: First-Order Reasoning, Below and Beyond: Workshop in
Honor of Christoph Weidenbach’s 60th Birthday.

Dear researcher,

[Apologies for the multiple cross-postings]

We invite you to contribute to Weidenbach'60, a workshop in celebration of
Prof. Christoph Weidenbach's 60th birthday.

The workshop is taking place on August 1st, 2025, Stuttgart, Germany, as an
event co-located with CADE-30.

Christoph is a well-known figure in the automated reasoning community, a
leader of the Automation of Logic group at Max-Planck-Institut für
Informatik, Saarbrucken, a former president of CADE Inc, and the main
developer of the well-known automatic prover SPASS.

We invite contributions in areas close to Christoph's research, including but
not limited to first-order reasoning, decidable fragments, SAT and SMT
solving, combination of theories, rewriting, and automated verification.

We solicit
1) extended abstracts of up to 4 pages (excluding bibliography, presentation
only), and
2) full papers of up to 16 pages (excluding bibliography)
both in the Springer Computer Science Proceedings style
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
submitted via easychair (https://easychair.org/conferences/?conf=cade30).

Full papers will be published in a Festschrift, LNCS series of Springer,
after the event. The authors of long papers are expected to take part in and
help with the reviewing process.

Important dates:
- Submission: May 28th, 2025
- Notification: July 2nd, 2025
- Workshop: August 1st, 2025

Organizers:
- Jasmin Blanchette
- Mathias Fleury
- Martin Suda
- Sophie Tourret


  • [Coq-Club] Weidenbach'60: First-Order Reasoning. Call for Papers, geoff, 05/06/2025

Archive powered by MHonArc 2.6.19+.

Top of Page