[DL] all for Bids to Host TABLEAUX-FroCoS 2027

[Franz Baader]

Dear colleagues,

We are pleased to announce the call for proposals for hosting and organising TABLEAUX-FroCoS 2027, on their 34th and 16th editions, respectively.

- TABLEAUX (http://www.tableaux-ar.org/) is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableaux-based reasoning and related methods is presented.

- FroCoS (http://frocos.cs.uiowa.edu/) is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis.

Tableaux and FroCoS have co-located for quite a number of editions. In 2027 we intend to continue this partnership. We expect the 2027 edition to have around 100 participants.

Bids should be sent to e.pimentel at ucl.ac.uk and should include at least the following information:

      • name and email address of a contact person
      • names of other people involved
      • address of website for the bid
      • approximate dates of the conference
      • structure (e.g., k workshop days and n days of presentations, excursion, etc.)
      • advantages of the proposed venue
      • estimated costs and registration fee


The deadline for bids is 31st March 2026. The bids will be analysed by the TABLEAUx and FroCoS Steering committees and the result will be made public by mid April 2026.

TABLEAUX and FroCoS steering committees

-------------------------------------------------
Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Seniorprofessur für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: franz.baader at tu-dresden.de
-------------------------------------------------