[TYPES/announce] CSL’26 -- CALL FOR WORKSHOPS

[Elaine Pimentel]

Dear colleagues,

Computer Science Logic 2026 (CSL’26) 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 at 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://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyMzDljMJY$ 

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!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyM9OAIg24$ >*
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!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyM3r6WgVT$ >*
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!QdKA4kPrphlGIR3gLqBtKShOcycfZRWHcKefmM1PfqB5nmYD5qryG_DR9NJW7JekVfU5VwlQtQdcvOWiISAitIwiRgtzHJdyM5ew8pj0$ >*
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251022/d73fdc51/attachment-0001.htm>