The seminar will be hold at the Seminar room of the Centre Blaise Pascal (Access plan) The meeting is open to all members of the labs LIP, LIRIS, and CITI.
| 9h-9h30 | Welcome | ||
| 9h30-10h15 | Guillaume Salagnac (CITI) | Peripheral State Persistence For Transiently Powered Systems | |
| 10h15-10h45 | Coffee break | ||
| 10h45-11h30 | Olivier Muller (TIMA) | An OpenMP flow targeting HPC systems with FPGA | |
| 11h30-13h00 | Lunch | ||
| 13h00-13h45 | Paul Feautrier (LIP) | Toward a polynomial model, with application to the OpenStream Language (cont'd) | |
| 13h45-14h30 | Christophe Alias et Laure Gonnord (LIP) | Estimation of Parallel Complexity with Rewriting Techniques | |
| 14h30-15h00 | Coffee break | ||
| 15h00-15h45 | Romuald Thion (LIRIS) | Inference leakage detection for authorization policies over RDF data | |
| 15h45-16h30 | Patrick Baillot (LIP) | On a type-based time complexity analysis of subrecursive programs |
The seminar will be hold at the Buisson site of ENS Lyon, allée de Fontenay. The meeting is open to all members of the labs LIP, LIRIS, and CITI.
| 9h-9h30 | Welcome | ||
| 9h30-10h15 | Damien Pous (LIP) | Tutorial Coq | |
| 10h15-11h00 | Angela Bonifati (LIRIS) | Schema matching and mapping systems | |
| 11h-11h30 | Coffee break | ||
| 11h30-12h15 | Matteo Mio (LIP) | Tutorial Markov Decision Processes / Stochastic Games | |
| – | |||
| 12h15-13h45 | Lunch break at Descartes CROUS | ||
| – | |||
| 13h45-14h30 | Paul Feautrier (LIP) | Toward a polynomial model, with application to the OpenStream Language | |
| 14h30-15h15 | Tomofumi Yuki (LIP) | Static Analysis of Parallel Programs with Loops, Tasks, and Synchronizations | |
| 15h15-15h45 | Coffee break | ||
| 15h45-16h30 | Tanguy Risset (CITI) | Compilation de dataflow parametrique pour machines multi-core heterogènes | |
| 16h30-17h15 | Adrien Basso-Blandin (LIP) | Model instantiation in KAMI | |
The seminar had gathered 31 people, Thursday 17 March 2016, at résidence Villemanzy, 21 montée St Sébastien at Lyon, 1er arr. (http://www.belambra-villemanzy.fr/fr/seminaires). The meeting was open to all members of the labs CITI-LIP-LIRIS.
| 9h-9h15 | Welcome | ||
| 9h15-10h | Laure Gonnord et Lionel Morel (LIP/CITI) | Les langages flot de données dans tous leurs états | |
| 10h-10h30 | Coffee break | ||
| 10h30-11h15 | Emmanuel Coquery (LIRIS) | Langages de requêtes en bases de données: tour d’horizon des différents paradigmes | |
| 11h15-11h45 | Hélène Coullon (LIP) | The Multi-Stencil Language | |
| 11h45-12h15 | Christian Perez (LIP) | Des langages d'assemblages dans les modèles à composants logiciels | |
| – | |||
| 12h15-13h45 | Lunch break | ||
| – | |||
| 13h45-14h30 | Russ Harmer (LIP) | Executable knowledge | |
| 14h30-15h | Thierry Gautier (LIP) | Programmation et exécution d’algorithmes parallèles | |
| 15h-15h30 | Coffee break | ||
| 15h30-16h | Simon Castellan (LIP) | Weak memory models using event structures | |
| 16h-16h30 | Arnaud Lefray (LIP) | Formalisation of security requirements | |