9-11 Mai 2016, Conclusion Workshop à l'IRIF
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 ?
23 Janvier 2013, au VERIMAG
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
1 Juin 2012, au LACL : Réunion à six mois
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.
6 Avril 2012 Liafa : EQINOCS et théorie ergodique
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.
15 Novembre 2011 Liafa : Kick-off meeting
- Compte rendu de la réunion [pdf]