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

30 views

Skip to first unread message

Frédéric Blanqui

unread,

Feb 11, 2026, 10:36:41 AMFeb 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

Frank Pfenning and Pablo Arrighi, Editors.

Frédéric Blanqui

unread,

Sep 24, 2026, 1:37:10 AM (13 days ago) Sep 24

to gdr...@gdr-ifm.fr, gdr...@imag.fr, cicm-m...@lists.informatik.uni-erlangen.de, f...@lists.ugent.be, cl-isabe...@lists.cam.ac.uk, types-a...@lists.seas.upenn.edu, 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, anno...@socinfo.fr, defi-ipp-...@groupes.renater.fr, gdr.s...@groupes.renater.fr, Frank Pfenning, pablo arrighi

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.