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.
Email Gateway (Sep 24 2026 at 05:37):From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Subject: [isabelle] TCS special issue on Universality in Logics and Physics --- Tribute to Gilles Dowek
Dear colleagues,
Theoretical Computer Science has a special issue on “Universality in
Logics and Physics”. It welcomes original contributions (no review
paper) 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, to the
intellectual legacy of Gilles Dowek, whose work built bridges between
these communities.
The deadline for submission is 31 December 2026. 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: Oct 08 2026 at 21:07 UTC