Le séminaire MF a lieu salle **178** presque tous les mardis à 11H.

Pour proposer un séminaire, le calendrier vous aidera à choisir une date disponible.

Pour s'abonner ou se désabonner de la liste de diffusion.

Date | Orateur | Titre |
---|---|---|

mardi 21 novembre 2017 | Angelo Montanari
(University of Udine)
| Model Checking: the Interval Way |

mardi 28 novembre 2017 | Matthias Englert / Ranko Lazic
()
| TBA |

mardi 05 décembre 2017 | Cyril Gavoille
(LaBRI)
| La coloration de graphe dans le modèle LOCAL - Partie I |

mardi 12 décembre 2017 | Cyril Gavoille
(LaBRI)
| La coloration de graphe dans le modèle LOCAL - Partie II |

Date | Orateur | Titre |
---|---|---|

mardi 14 novembre 2017 | MF (LaBRI) | Reunion d'equipe MF |

mardi 07 novembre 2017 | Loïc Paulevé (LRI - Paris Sud) | Formal methods for capturing dynamics of biological networks |

mardi 31 octobre 2017 | Vincent Penelle (LaBRI) | Rewriting Higher-order Stack Trees |

mardi 24 octobre 2017 | Amina Doumane (LIP - ENS Lyon) | Constructive completeness for the linear-time mu-calculus |

mardi 17 octobre 2017 | David Janin (LaBRI) | Timed domains: an appetizer |

mardi 10 octobre 2017 | Miguel Romero (Oxford University) | The complexity of graph query languages |

mardi 03 octobre 2017 | Joanna Ochremiak (IRIF) | Proof complexity of constraint satisfaction problems |

mardi 26 septembre 2017 | Vincent Penelle (LaBRI) | Which classes of origin graph are generated by transducers? |

mardi 04 juillet 2017 | Stefan GRUNER (University of Pretoria, South Africa) | SAT-based Bounded Model Checking for 3-Valued Abstractions - Part II |

mardi 27 juin 2017 | Stefan GRUNER (University of Pretoria, South Africa) | SAT-based Bounded Model Checking for 3-Valued Abstractions |

mardi 13 juin 2017 | Emilia Descotte (UBA, Argentine) | Axiomatizations for downward XPath on Data Trees |

mardi 30 mai 2017 | Victor Marsault (University of Liège) | An efficient algorithm to decide the periodicity of b-recognisable sets using MSDF convention |

mardi 23 mai 2017 | Michael Raskin (LaBRI) | A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model |

mardi 16 mai 2017 | Igor Walukiewicz (LaBRI) | Proving safety of concurrent programs |

mardi 09 mai 2017 | Alain Finkel (LSV, ENS Cachan) | WBTS: the new class of WSTS without WQO. |

mardi 25 avril 2017 | Nathan Lhote (LaBRI) | On Reversible Transducers |

mardi 04 avril 2017 | Andrzej Murawski (University of Warwick) | Automata theory and game semantics of higher-order computation |

mardi 28 mars 2017 | David Janin (LaBRI) | Time domain (for time denotational semantics) |

mardi 21 mars 2017 | Laurent Bienvenu (LIRMM Montpellier) | Learning probability measures |

mardi 14 mars 2017 | Gabriele Puppis (LaBRI) | On the decomposition of finite-valued streaming string transducers |

mardi 07 mars 2017 | Charles Grellois (University of Bologna) | Verifying properties of functional programs: from the deterministic to the probabilistic case |

mardi 28 février 2017 | Emmanuel Fleury (LaBRI) | Digital Currencies |

mardi 14 février 2017 | Hugo Gimbert (LaBRI) | Emptiness of nonzero automata is decidable |

mardi 24 janvier 2017 | Rasmus Ibsen-Jensen (IST Austria) | Faster algorithms for program analysis |

mardi 10 janvier 2017 | B Srivathsan (CMI Chennai) | Why liveness for timed automata is hard, and what we can do about it |

- Méthodes Formelles 2016-....
- Graphes et Logique 2010-2015.
- Modélisation et Vérification 2010-2015.
- MVTsi 2009-2010.
- MVTsi 2008-2009.
- MVTsi 2007-2008.
- MVTsi 2006-2007.
- MVTsi 2005-2006.
- MVTsi 2004-2005.
- MVTsi 2003-2004.
- MVTsi 2002-2003.
- MVTsi 2001-2002.
- MVTsi 2000-2001.
- MVTsi 1999-2000.
- MVTsi 1998-1999.
- MVTsi 1997-1998.
- MVTsi 1996-1997.
- MVTsi 1995-1996.
- Sémantique du parallélisme 1994-1995.
- Sémantique du parallélisme 1993-1994.
- Sémantique du parallélisme 1992-1993.