TCS special issue on Universality in Logics and Physics --- Tribute to Gilles Dowek

6 views

Skip to first unread message

Frédéric Blanqui

unread,

Feb 11, 2026, 10:36:41 AM (6 days ago) Feb 11

to coq-...@inria.fr, gdr...@imag.fr, cicm-m...@lists.informatik.uni-erlangen.de, f...@lists.ugent.be, cl-isabe...@lists.cam.ac.uk, anno...@societe-informatique-de-france.fr, eut...@cs.ru.nl, HomotopyT...@googlegroups.com, maude...@cs.uiuc.edu, p...@csl.sri.com, ag...@lists.chalmers.se, ty...@lists.chalmers.se, fo...@folli.info, f...@cs.cmu.edu, pablo arrighi

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