Journées Nationales GEOCAL-LAC-LTP 2015
Programme des journées
Lundi 12 octobre 2015
Mardi 13 octobre 2015
09h00 |
Coinductive foundations of infinitary rewriting |
(exposé invité)|
10h00 |
Substitution systems revisited |
|
10h30 |
Compter les lambda termes et le mettre en bijection avec des structures combinatoires |
|
11h00 |
Pause
|
|
11h30 |
Realisability semantics of abstract focussing, formalised |
|
12h00 |
Focusing for Nested Sequents |
|
12h30 |
Completeness of Call-by-Need – A Logical View |
|
13h00 |
Déjeuner
|
|
14h30 |
Interacting Hopf algebras: the theory of linear systems |
|
15h00 |
Questing for a Theory of Quantum Computability |
|
15h30 |
Quantum Diagrammatic Reasoning: Completeness and Incompleteness |
|
16h00 |
Pause
|
|
16h30 |
The power of subtyping |
|
17h00 |
Logique tensorielle et effets algébriques |
|
17h30 | Business meeting GT GeoCal et LAC | |
19h30 |
Dîner au Grand Café Foy, place Stanislas
|