Logic List Mailing Archive

CfP: Special Issue of Theoretical Computer Science – Universality in Logics and Physics, deadline: 31 December 2026

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.

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php