.  Algèbres initiales  Automates  Automates de Büchi  Automates mathématiques, Théorie des  Automates à pile d'ordre supérieur  Automates à plusieurs têtes  Catégories monoidales  Catégories µ-Bicomplètes  Coalgèbres finales  Cohérence  Cohérence  Coinduction / Techniques up-to  Complexité  Complexité de calcul  Conditionnel  Diagrammes de cordes  Display calculs  Déduction  Equivalence de langages  Foncteurs polynomiaux  Informatique -- Mathématiques  Jeux stochastiques  Langages de programmation -- Syntaxe  Langages de programmation  Logique catégorique  Logique de seuil  Logique déontique  Logique linéaire  Logique mathématique  Logique modale monotone  Logique épistémique  Modalité  Preuves cycliques  Théorie de la démonstration  Théorie des jeux  

Luigi Santocanale a dirigé les 3 thèses suivantes :

Puissance expressive des preuves circulaires

par Jerome Fortier sous la direction de Luigi Santocanale et de Srecko Brlek . - Aix-Marseille

Informatique

Soutenue le 19-12-2014

Monotone Modal Logic and Friends

par Sabine Frittella sous la direction de Luigi Santocanale et de Alessandra Palmigiano . - Aix-Marseille

Informatique

Soutenue le 01-12-2014

Algèbre et combinatoire des jeux de parité

par Walid Belkhir sous la direction de Luigi Santocanale - Aix-Marseille 1

Informatique et mathématiques

Soutenue en 2008

Luigi Santocanale a été président de jury de la thèse suivante :

From automata to cyclic proofs : equivalence algorithms and descriptive complexity

par Laureline Pinault sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 23-07-2021

Luigi Santocanale a été rapporteur des 3 thèses suivantes :

Non-determinism, explorable automata and cyclic proofs

par Émile Hazard sous la direction de Damien Pous - Lyon, École normale supérieure

Informatique

Soutenue le 30-09-2022

From automata to cyclic proofs : equivalence algorithms and descriptive complexity

par Laureline Pinault sous la direction de Damien Pous - Lyon

Informatique

Soutenue le 23-07-2021

Jeux graphiques et théorie de la démonstration

par Florian Hatat sous la direction de Laurent Vuillon et de Tom Hirschowitz . - Grenoble

Mathématiques et Informatique

Soutenue le 23-10-2013

Luigi Santocanale a été membre de jury des 4 thèses suivantes :

Non-normal modal logics : neighbourhood semantics and their calculi

par Tiziano Dalmonte sous la direction de Nicola Olivetti - Aix-Marseille

Mathématiques et informatique. Informatique

Soutenue le 05-10-2020

On the proof theory of conditional logics

par Marianna Girlando sous la direction de Nicola Olivetti et de Sara Negri . - Aix-Marseille

Informatique

Soutenue le 08-02-2019

String diagram rewriting : applications in category and proof theory

par Matteo Acclavio sous la direction de Yves Lafont - Aix-Marseille

Mathématiques

Soutenue le 14-12-2016

Le problème de la valeur dans les jeux stochastiques

par Youssouf Oualhadj sous la direction de Hugo Gimbert et de Anca Muscholl . - Bordeaux 1

Informatique

Soutenue le 11-12-2012