Programme

Lundi 26 mars

• 08h30 Accueil (devant l'amphi)
• 08h55 Présentation de l'école (Paul Zimmermann)
• Session du matin [chair E. Jeandel]
  
• 09h00 Satisfaisabilité (SAT) et Satisfaisabilité Modulo Théories (SMT) (1)
  
• 10h30 Pause café
• 11h00 Géométrie numérique (1)
  
• 12h45 Déjeuner
• Exposés des participants [chair D. Boltcheva]
  
• 14h00 Itsaka Rakotonirina - "Verifying equivalence of finite processes"
  
• 14h30 Lydie Richaume - "Dépliement de polycubes - Tours de Manhattan à base H-convexe"
• 15h00 Florian Liétard - "Evitabilité des k-puissances additives"
• 15h30 Pause
• 16h00 Antoine Grospellier - "Correction efficace d'erreurs pour les codes expanseurs quantiques"
• 16h30 Bruno Jartoux - "Efficacité de la recherche locale en optimisation combinatoire géométrique"
• 17h00 Cédric Bérenger - "Partitionnement équilibré de grilles en zones connexes"
  
• 17h30 Fin de la journée

Mardi 27 mars

• Session du matin [chair N. Portier]  
• 09h00 Analyses statiques des réseaux booléens pour la biologie systémique (1)
  
• 10h30 Pause café
• 11h00 Couplage probabiliste et combinatoire (1)
  
• 12h45 Déjeuner
• Exposés des participants [chair L. Vigneron]
  
• 14h00 Charlie Jacomme - "Application des bases de Groebner à la vérification de protocoles cryptographiques"
  
• 14h30 Pierre-Adrien Tahay - "Colonnes dans les automates cellulaires"
• 15h00 Renaud Vilmart - "Completeness of the ZX-Calculus"
• 15h30 Pause
• 16h00 Quentin Brandant - "Polynômes latticiles sur treillis finis"
  
• 16h30 Ilya Galanov - "On self-assembly of aperiodic tilings"
• 17h00 Giovanni Lo Bianco - "Analyse de la structure combinatoire des contraintes de cardinalité"
• 17h30 Pancôme Perrotin - "(Dé)composition de Réseaux d'Automates Booléens"
  
• 18h00 Fin de la journée

Mercredi 28 mars

• Session du matin [chair D. Boltcheva]
• 09h00 Calcul mathématique avec Sage (1)
  
• 10h30 Pause café
• 11h00 Satisfaisabilité (SAT) et Satisfaisabilité Modulo Théories (SMT) (2)
  
• 12h45 Déjeuner
• 14h00 Après-midi libre

Jeudi 29 mars

• Session du matin [chair E. Jeandel]
• 09h00 Géométrie numérique (2)
• 10h30 Pause café
• 11h00 Analyses statiques des réseaux booléens pour la biologie systémique (2) 
  
• 12h45 Déjeuner
• Exposés des participants [chair N. Portier]
• 14h00 Titouan Carette - "Un soupçon de catégories servi sur son lit de logique quantique"
• 14h30 Florian Bridoux - "N-complétude dans les réseaux d'automates"
• 15h00 Pablo Rotondo - "Continued Logarithm Algorithm: a probabilistic study"
• 15h30 Pause
• 16h00 Pierre Mercuriali - "Normal form systems generated by a single connective are equivalent"
• 16h30 Diane Gallois-Wong - "Vérification formelle et filtres numériques"
• 17h00 Justine Falque - "Orbit Algebra of Oligomorphic Permutation Gr oups withPolynomial Profile, Conjecture of Macpherson"
• 17h10 Fin de la journée scientifique
• 18h30-22h30 Repas de gala (salle Grüber, CCI, 53 rue Stanislas, Nancy)

Vendredi 30 mars

• Session du matin [chair L. Vigneron]
• 09h00 Couplage probabiliste et combinatoire (2)
• 10h30 Pause café
• 11h00 Calcul mathématique avec Sage (2)
• 12h45 Déjeuner
• Session de l'après-midi [chair P. Zimmermann]
• 14h00 Comment candidater aux postes académiques ? 
• 15h00 Parité et informatique
• 15h30 Pause
• 16h00 Fin de l'école