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 28 février 2017 | Emmanuel Fleury
(LaBRI)
| Digital Currencies |

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

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

mardi 11 avril 2017 | Ranko Lazic
(University of Warwick)
| TBA |

mardi 18 avril 2017 | Filip Mazowiecki
(University of Warwick)
| TBA |

mardi 09 mai 2017 | Alain Finkel
(LSV)
| TBA |

mardi 16 mai 2017 | Igor Walukiewicz
(LaBRI)
| negotiations / higher-order |

mardi 13 juin 2017 | Igor Walukiewicz
(LaBRI)
| higher-order / negotiations |

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

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.