Exposés :

• Eugene Asarin : What are entropies ? (a short mathematical tutorial for computer scientists)
• Thomas A. Henzinger : The quest for average response time (invited talk)
• Oded Maler, Irini-Eleftheria Mens : Learning on large alphabets
• Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu : Entropy and temporal specifications
• Marie-Pierre Béal, Michel Blockelet, Catalin Dima, Pavel Heller : Zeta-function and entropy of visibly pushdown systems
• Dominique Perrin : Zero-entropy systems
• Stefan Adams, Raimundo Briceno, Brian Marcus, Ronnie Pavlov : Polynomial time approximation of entropy of multi-dimensional shifts of finite type (invited talk)
• Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin : Entropy of timed regular languages
• Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler : Timed regular expressions derivatives and matching
• Joel Ouaknine : A brief history of real-time (invited talk)
• Alexander Shen : Three approaches to information theory: Shannon, Kolmogorov and combinatorial (invited talk)
• Tim Smith : Prediction of infinite words with automata
• Anatol Slissenko : On entropic measures of computations
• Victor Kozyakin : Joint spectral radius for constrained matrix products (invited talk)
• Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor Kozyakin : Entropy games
• Panel: Information and computation: What are the perspectives ?
  • François Fages : Digital/analog computations in a cell slides
  • Alexander Shen : Some challenges

Programme des exposés :

• 9h30 - 10h30 — Breakfast
• 9h30 - 10h30 — Marta Kwiatkovska : An overview of the uses of probabilistic verification
• 10h30 - 11h15 — Aldric Degorre : Asymptotic behaviour in temporal logic
• 11h15 - 12h — Emmanuel Jeandel : Entropy of Turing machines
• 12h - 13h30 — Lunch
• 13h30 - 14h15 — Marie-Pierre Béal : Entropy of sofic-Dyck shifts
• 14h15 - 15h — Radu Iosif : Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
• 15h - 16h — Irini-Eleftheria Mens : Learning Regular Languages over Large Alphabets
• 16h - 17h — Business meeting (Preparation of the meeting with ANR on January 31)

Programme des exposés :

• 9h - 9h30 — Breakfast
• 9h30 - 10h15 — Eugène Asarin : Project Status
• 10h15 - 11h — Catalin Dima : The entropy of trees and tree automata
• 11h - 11h15 — Coffee break
• 11h15 - 12h — Ludwig Staiger : The entropy of (formal) languages and dimensions of subsets in Cantor space
• 12h - 12h45 — Thomas Ferrere : Monitoring quantitative semantics of signal temporal logic
• 12h45 - 14h — Lunch
• 14h - 14h30 — Chunyan Mu : Quantitative entropy-based measures of information flow
• 14h30 - 15h — Nicolas Basset : Timed symbolic dynamics
• 15h - 15h15 — Coffee break
• 15h15 - 15h45 — Radu Iosif : Underapproximation of Procedure Summaries for Integer Programs
• 15h45 - 16h15 — Oded Maler : Optimal Scheduling under Stochastic Uncertainty

Programme des exposés :

• 10h - 11h — Aldric Degorre : fonctions génératrices temporisées.
• 11h - 11h30 — Pause café.
• 11h30 - 12h30 — Exposé(s) VERIMAG (Radu Iosif et/ou Oded Maler).
• 12h30 - 14h — Déjeuner (restaurant du Palais de Justice).
• 14h30 - 15h30 — Catalin Dima : Entropie et croissance des arbres.
• 15h30 - 16h — Pause café.
• 16h - 17h — Nicolat Basset : Codes temporisés.
• 17h - 18h30 — Discussions.

Programme des exposés :

• 11h - Brigitte Vallée : systèmes dynamiques dans l’étude des algorithmes.
• 13h45 - Laurent Bienvenu: entropie - dimension de Hausdorff - complexité de Kolmogorov.
• 14h45 - Anatol Slissenko : L'entropie des partitions et la structure du calcul
• 16h - Dominique Perrin : Echanges d’intervalles.
• 17h - Nicolas Basset : Systèmes dynamiques temporisés et mesure d’entropie maximale.

• Compte rendu de la réunion [pdf]