Last updated on July 6, 2018
Past talks
- 13/06/2018 : Let's Be Lazy We Have Time, journées GDR GPL, Grenoble, France
- 30/05/2018 : Distributed Computation of Vector Clocks in Petri Nets Unfolding for Test Selection, WODES, Sorento Coast, Italy
- 24/05/2018 : Pomsets and unfolding of reset Petri nets, séminaire 68NQRT, IRISA, Rennes, France
- 25/09/2017 : Message-Passing Algorithms for the Verification of Distributed Protocols, LaBRI, Bordeaux, France
- 06/09/2017 : Let's Be Lazy We Have Time, FORMATS, Berlin, Germany
- 20/02/2017 : Lazy Reachability Analysis in Distributed Systems, IRIF, Paris, France
- 24/08/2016 : Lazy Reachability Analysis in Distributed Systems, CONCUR, Québec, Canada
- 29/03/2016 : Solveurs SAT et application au model checking, journée AFSEC, Paris, France
- 01/03/2016 : Lazy Reachability Analysis in Distributed Systems, séminaire 68NQRT, IRISA, Rennes, France
- 15/12/2014 : Calcul de résumés de réseaux d'automates et applications, séminaire d'équipe STR, IRCCyN, Nantes, France
- 03/04/2014 : Computation of Summaries Using Net Unfoldings, séminaire 68NQRT, IRISA, Rennes, France
- 25/03/2014 : Computation of Summaries Using Net Unfoldings, LIP6, Paris, France
- 24/03/2014 : Message-Passing Algorithms for the Verification of Distributed Protocols, LIAFA, Paris, France
- 21/03/2014 : Computation of Summaries in Networks of Automata, IRCCyN, Nantes, France
- 20/03/2014 : Computation of Summaries in Networks of Automata, séminaire Lab-STICC/MOCS, UBO, Brest, France
- 18/03/2014 : Computation of Summaries in Networks of Automata, Université Lille 1, Lille, France
- 05/03/2014 : Computation of Summaries Using Net Unfoldings, Groupe de travail Tempo-MExICo, LSV, Cachan, France
- 04/03/2014 : Message-Passing Algorithms for the Verification of Distributed Protocols, LRI, Orsay, France
- 20/01/2014 : Message Passing Algorithms for the Verification of Distributed Protocols, VMCAI, San Diego, USA
- 12/12/2013 : Computation of summaries using net unfoldings, FSTTCS, Guwahati, India
- 19/11/2013 : Computation of summaries using net unfoldings, Séminaire annuel de l'équipe CONVECS, Col de Porte, France
- 09/07/2013 : Factored Planning: From Automata to Petri Nets, ACSD, Barcelone, Spain
- 28/03/2013 : Cost-Optimal Factored Planning Using Weighted Automata Calculus, LaBRI, Bordeaux, France
- 07/03/2013 : Distributed Cost-Optimal Planning, LINA, Nantes, France
- 04/03/2013 : Distributed Cost-Optimal Planning, INRIA Grenoble, Montbonnot, France
- 13/11/2012 : Distributed Cost-Optimal Planning, soutenance de thèse, IRISA, Rennes, France
- 04/10/2012 : Turbo Planning, WODES, Guadalajara, Mexico
- 28/06/2012 : Turbo Planning, séminaire 68NQRT, IRISA, Rennes, France
- 25/04/2012 : Modular Cost-Optimal Planning Using Weighted Automata Calculus, TUM, Münich, Germany
- 20/03/2012 : Modular Optimal Planning Using Weighted Automata Calculus, Newcastle University, Newcastle, UK
- 21/11/2011 : Toward a Distributed A*-algorithm, réunion du projet européen DISC, Institute for Mathematics, Brno, Czech Republic
- 31/09/2011 : Networks of Automata With Read Arcs: A Tool for Distributed Planning, congrès mondial IFAC, Milan, Italia
- 20/06/2011 : Distributed Optimal Planning: An Approach by Weighted Automata Calculus, workshop AlgoGT, Grenoble, France
- 16/03/2011 : Modular Aspects of Probabilistic Diagnosers, réunion du projet européen DISC, CWI, Amsterdam, Netherlands
- 15/05/2010 : Cost-Optimal Factored Planning: Promises and Pitfalls, ICAPS, Toronto, Canada
- 15/03/2010 : Automata With Context: Adding Read Arcs in Networks of Automata, réunion de l'équipe DISTRIBCOM, ENS Cachan Bretagne, Rennes, France
- 08/03/2010 : Automata With Context: Adding Read Arcs in Networks of Automata, réunion du projet européen DISC, IRISA, Rennes, France
- 22/01/2010 : Planification optimale distribuée, ENS Cachan Bretagne, Rennes, France
- 15/01/2010 : An Inplementation of a Factored Optimal Planner, réunion de l'équipe DISTRIBCOM, ENS Cachan Bretagne, Rennes, France
- 12/11/2009 : Distributed Optimal Planning: An Approach by Weighted Automata Calculus, séminaire 68NQRT, IRISA, Rennes, France
- 17/09/2009 : Summarising Game Segments, GAMES, Udine, Italia