[TYPES/announce] FroCoS/ITP/TABLEAUX 2025 call for participation

[Tarmo Uustalu]

                         Call for participation

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

             https://urldefense.com/v3/__https://icetcs.github.io/frocos-itp-tableaux25/__;!!IBzWLUs!Xhaxj1C170JIRA_Rg_Dp5AHQ_mh7H71Wi4nEgpDWlWCkeXL6pNwDt0SmKxu1N4-ugK4V007khP79CgjNb_a6CLuN1MYL$ 
	    

      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+ITP
- 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.