Events

Entropy : how to use it to obtain bounds on the size of a set

Foxes and Lorelei

Reading texts related to the course topic (7)

Multi-resolution

Algebra (I) : applications of linear algebra

Ectoplasms and funeral urns

Algebra (II) : the polynomial method

Shenanigans and reversals

The modern antecedents of semiotics (2)
Signs, perception and action : Reid and Condillac, or how can one not be a realist ?

How to classify a library

In search of the lost library : Galen in Paris

Orthonormal wavelet bases

How to reason about software The birth of program logic

Entering religion, and leaving the Way

For a Peircian-inspired realist semiotics (1)
Icons, clues, symbols, objects and interpreters : drawing on the wealth of signs to anchor ourselves in the world

What are catalogs thinking about?

Building the school canon, building literature

Natural species, causal profile and multiple constitution

Image parsimony and compression

Variables and loops : Hoare logic

Program logic put to the test : twists and turns with Frama-C/WP

Revenge and conversion

For a Peircian-inspired realist semiotics (2)
Meaning, assertion, reasoning and action

The universal book, or the ideal, ghostly order of the world

Building and deconstructing a library of world literature

The joint factory

Pointers and data structures : separation logic

Auto-active proof of programs in SPARK

Theophanies and apotheoses

For a Peircian-inspired realist semiotics (3)
Take into account the semantic, epistemic and ontic reality of vagueness to stay as close as possible to reality