Évènements
Rechercher un événement
29
Jan
Semantics of Fine-Grained Mode Checking
Ariadne Suo (IRIF, Paris Cité)
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information [...]
29
Jan
Prime Decomposition of Real Toric Threefolds
Jules Chenal (Oslo)
A differential threefold is prime when it does not admit a non-trivial connected sum decomposition. A theorem of Kneser and Milnor asserts that every threefold [...]
