Events

Archive theory

Appraisals and reappraisals : the question of the musical canon since 1945

Library of great adventures and SF shelving in the corridor : collection and canonicity in serial productions

From reality to thought via language

Parallelism with shared memory : the logic of concurrent separation

VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic

Conclusions

For a Peircian-inspired realist semiotics (4)
Semiotics and perception, or how to relate to the world without judging it or getting lost in it: the virtues of the abductive approach

Libraries and power

Librarian's life

The reality of social entities

Some extensions of the separation logic

Reasoning about time in separation logic

Quantum algorithms : when quantum physics challenges the Church-Turing thesis

Fibrous with additional structure on a curve

From some Peircian legacies : Merits and limits of naturalist semiotic readings of C. Morris, R. Millikan and F. Dretske

Species, taxa and classification

Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation

Quantum communication networks

Weakly coherent shared memory logic

Custom protocols in separation logic : ghost resources and invariants in Iris logic

Moduli space of fibers and the affine Grassmannian

Conclusions : The benefits of a realist semiotic approach to contemporary challenges, or how to think through the triangle : language-mind-world

Cannon and oblivion

Translations and new libraries in wartime : the case of the German Occupation (1940-1944)

The possible, species, and the question of the autonomy of metaphysics

Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification

Certifying random number generation with quantum technology

Logics for functional and higher-order languages