Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FroCoS/ITP/TABLEAUX 2025 call for participation

Email Gateway (Aug 11 2025 at 16:01):

From: Tarmo Uustalu <tarmo@cs.ioc.ee>
Call for participation

FroCoS/ITP/TABLEAUX '25
Reykjavik, Iceland, 27 September-2 October 2025

https://icetcs.github.io/frocos-itp-tableaux25/

15th International Symposium on Frontiers of Combining Systems
FroCoS 2025

16th International Conference on Interactive Theorem Proving
ITP 2025

34th International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX 2025

Three theorem-proving conferences, FroCoS, ITP and TABLEAUX, colocate
in Reykjavik 27 Sept-2 Oct 2025, together with two satellite workshops
of ITP, on Rocq and Lean.

Invited speakers:

• Kaustuv Chaudhuri (LIX, Inria and École Polytechnique),
  FroCoS+TABLEAUX

• Carsten Fuhs (Birkbeck, University of London), FroCoS

• Raheleh Jalali (U. of Bath), TABLEAUX
• Kathrin Stark (Heriot Watt U.), ITP
• Laura Titolo (Code Metal), ITP

The accepted paper lists of the three conferences are available on the
conference websites.

Registration is now open. Early registration is until 25 Aug.

The conferences are hosted by the ICE-TCS lab of the Department of
Computer Science of Reykjavik University.

They are sponsored by the Iceproof project of the Collaboration Fund
of the Icelandic Ministry of Culture, Innovation and Higher Education,
the AI Journal, Inria and Springer.

Last updated: Aug 20 2025 at 20:23 UTC