[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(https://urldefense.com/v3/__http://www.tableaux-ar.org/__;!!IBzWLUs!WjUwR7d2P7dSwgaI9gkIG5yXjcN8cZK7ko3aJeBS_mstCk5U8D-7hnq7-TXQWWyv18VYuNKkaiNKkfE8jBj0WdkDhYhXcgQzRHf-8Irb$
) 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
(https://urldefense.com/v3/__http://frocos.cs.uiowa.edu/__;!!IBzWLUs!WjUwR7d2P7dSwgaI9gkIG5yXjcN8cZK7ko3aJeBS_mstCk5U8D-7hnq7-TXQWWyv18VYuNKkaiNKkfE8jBj0WdkDhYhXcgQzRBPP1zha$
) 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 [email protected] 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
--
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Deputy Director of the Computer Science and Philosophy programme
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
URL:
https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!WjUwR7d2P7dSwgaI9gkIG5yXjcN8cZK7ko3aJeBS_mstCk5U8D-7hnq7-TXQWWyv18VYuNKkaiNKkfE8jBj0WdkDhYhXcgQzRMK3-ZAG$
UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!WjUwR7d2P7dSwgaI9gkIG5yXjcN8cZK7ko3aJeBS_mstCk5U8D-7hnq7-TXQWWyv18VYuNKkaiNKkfE8jBj0WdkDhYhXcgQzREHoP5qC$
>*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!WjUwR7d2P7dSwgaI9gkIG5yXjcN8cZK7ko3aJeBS_mstCk5U8D-7hnq7-TXQWWyv18VYuNKkaiNKkfE8jBj0WdkDhYhXcgQzRMGCeTDO$
>*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!WjUwR7d2P7dSwgaI9gkIG5yXjcN8cZK7ko3aJeBS_mstCk5U8D-7hnq7-TXQWWyv18VYuNKkaiNKkfE8jBj0WdkDhYhXcgQzRGnL4-N4$
>*
-----------------------------------
