Logic List Mailing Archive

CfW: Workshops Co-located with CSL 2026, 23 Feb 2026, Paris, France – Deadline 31 Oct 2025

Dear colleagues,

Computer Science Logic 2026 (CSL26) will be held in Paris, France, between 23 and 28 February 2026. Following the long tradition of this event, we invite researchers and practitioners to submit proposals for co-located workshops on topics relating to mathematical logic and computer science. Workshops can target the logic in computer science community in general, focus on particular applications, or highlight more specific issues or recent developments.

Co-located events will take place Monday February 23, 2026 and will be held on the same premises as the main conference. Conference facilities are offered free of charge to the organisers. Workshops-only attendees will enjoy a significantly reduced registration fee.

Detailed organisational matters such as paper submission and review process, or publication of proceedings, are up to the organisers of individual workshops. All accepted workshops/tutorials will be expected to have their program ready by 20 January 2026.

Proposals for workshops should contain at least the following pieces of information:

    - name and contact details of the main organiser(s)
    - (if applicable:) names of additional organisers
    - title
    - preferred length of workshop (between half day and one day)
    - estimated number of attendees
    - short (up to one page) description of topic
    - (if applicable:) pointers to previous editions of the workshop, or to similar events
    - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/LNCS...).

Proposals are invited to be submitted by email to e.pimentel@ucl.ac.uk<mailto:e.pimentel@ucl.ac.uk>, no later than 31st October 2025. Selected events will be notified by 15 November 2025. The workshop selection committee consists of the CSL program chairs and the conference organisers.
--
Elaine - on behalf of the organisers
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
URL: https://sites.google.com/site/elainepimentel/

UCL Computer Science is an Athena Swan Gold award winner for gender equality<https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>
UCL is ranked among the top ten in the QS World University Rankings 2024<https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running> and is winner of The Times and Sunday Times University of the Year 2024<https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>
-----------------------------------
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php