C

• Compilation and Verification of Quantum Software in the Noisy and Approximate Regime

D

• DeQS (De)constructing Quantum Software - DeQS

Q

• QISS The Quantum Information Structure of Spacetime

A

• Algebraic and Coalgebraic Semantics for Knowledge Acquisition Algebraic and coalgebraic semantics for knowledge acquisition: foundations, applications, and tool support
• Analysis of evaluation and satisfiability problems Structural and game-based analysis of evaluation and satisfiability problems
• Automating quantum circuit transformations Automating quantum circuit transformations for optimisation and fault-tolerance

D

• Dynamics and Security in Evolutionary Network Computation

E

• Entanglement in Quantum Computing An Abstract Approach to Entanglement in Quantum Computing

F

• Foundational Structures for Compositional Meaning
• Foundational Structures and Methods for Quantum Informatics

G

• Game Semantics of Concurrency, Objects and Mobility Towards a Game Semantics of Concurrency, Objects and Mobility

I

• Information Flow: Foundations and Applications to Security
• Information Hiding

L

• LINT Logic of Interaction and Information Flow

P

• Pushdown Automata and Game Semantics

Q

• QICS Foundational Structures for Quantum Information and Computation
• Quantum Information and its Ramifications for IT The Structure of Quantum Information and its Ramifications for IT

S

• Structures at the Interface of Physics and Computer Science

T

• The Road to a New Quantum Formalism The Road to a New Quantum Formalism - Categories as a Canvas for Quantum Foundations