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

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

[Frédéric Blanqui]

[-- Attachment #1: Type: text/plain, Size: 1525 bytes --]

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.

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/af451bae-1544-4487-ad0e-0e8999dfe570%40inria.fr.

[-- Attachment #2: Type: text/html, Size: 3234 bytes --]