Email Gateway (Feb 11 2026 at 15:36): Email Gateway (Feb 11 2026 at 15:36):From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Dear colleagues,
This is to announce the special issue of Theoretical Computer Science,
titled “Universality in Logics and Physics”. It welcomes original
contributions exploring the connections between logics, computation, and
possibly physical theories.
Topics include, but are not limited to, logical frameworks, proof
systems interoperability, ecumenical proof libraries, automated
deduction, quantum programming languages, and physics-inspired models of
computation. Submissions presenting advances on the notion of
universality across these domains are particularly encouraged. This
issue aims to pay tribute — through science only — to the intellectual
legacy of Gilles Dowek, whose work built bridges between these communities.
TCS is not so open to review papers, so we expect mainly original
contributions. All contributions will go through rigorous peer-review.
The deadline for submission is the 31st of December of this year. All
details are provided on:
https://www.sciencedirect.com/special-issue/328918/universality-in-logics-and-physics
Frank Pfenning and Pablo Arrighi, Editors.
Last updated: Feb 22 2026 at 05:16 UTC