~~NOCACHE~~ ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 591 date: mercredi 09 mai 2018 heure: 14h00 salle: 3014 nom: Thomas Colcombet affiliation: IRIF titre: Superpolynomial lower bound for complementing unambiguous automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 453 date: mercredi 14 mars 2018 heure: 14h00 salle: 4033 nom: Joanna Ochremiak affiliation: Université Denis Diderot - Paris 7 titre: Proof complexity, constraint satisfaction and graph isomorphism ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 561 date: mercredi 14 février 2018 heure: 14h00 salle: 4033 nom: Joanna Ocremiak affiliation: Université Denis Diderot - Paris 7 titre: Proof complexity, constraint satisfaction and graph isomorphism ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 458 date: jeudi 23 novembre 2017 heure: 10h00 salle: 4033 nom: Nathanaël Fijlakow affiliation: Turing Institute / CNRS titre: Quasi-polynomial algorithms for parity games ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 447 date: jeudi 16 juin 2016 heure: 10h30 salle: 4033 nom: Florent Capelli affiliation: Liafa titre: Lyndon’s theorem ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 454 date: jeudi 04 février 2016 heure: 10h30 salle: 4033 nom: Christoph Haase affiliation: LSV titre: A Survey on Classical and Novel Results on Presburger Arithmetic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 455 date: jeudi 21 janvier 2016 heure: 10h30 salle: 4033 nom: Christoph Haase affiliation: LSV titre: A Survey on Classical and Novel Results on Presburger Arithmetic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 456 date: jeudi 07 janvier 2016 heure: 10h30 salle: 4033 nom: Sylvain Schmitz affiliation: LSV titre: Ideals in VAS Reachability ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 457 date: jeudi 17 décembre 2015 heure: 10h30 salle: 4033 nom: Ranko Lazic affiliation: Warwick university titre: Rackoff’s Coverability Technique ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 461 date: jeudi 03 décembre 2015 heure: 10h30 salle: 2015 nom: Sylvain Schmitz affiliation: LSV titre: Ideals of Well-Quasi-Orders ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 462 date: jeudi 12 novembre 2015 heure: 10h30 salle: 2015 nom: Luc Segoufin affiliation: LSV titre: Abiteboul-Vianu theorem ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 463 date: jeudi 05 novembre 2015 heure: 10h30 salle: 2015 nom: Thomas Colcombet affiliation: LIAFA titre: “À la Bojańcyk” proof of limitedness ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 464 date: mercredi 01 juillet 2015 heure: 10h00 salle: 4068 nom: Stefan Göller affiliation: LSV titre: Decidability of DPDA equivalence, part IV ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 465 date: mercredi 17 juin 2015 heure: 10h30 salle: 4068 nom: Stefan Göller affiliation: LSV titre: Decidability of DPDA equivalence, part III ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 466 date: mercredi 03 juin 2015 heure: 10h30 salle: 4068a nom: Arnaud Carayol affiliation: LIGM titre: Decidability of DPDA equivalence, part II ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 467 date: mercredi 27 mai 2015 heure: 10h30 salle: 4068a nom: Arnaud Carayol affiliation: LIGM titre: Decidability of DPDA equivalence, part I ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 468 date: mercredi 15 avril 2015 heure: 10h30 salle: 4067 nom: Nathanaël Fijalkow affiliation: LIAFA titre: Algorithmics Properties of Probabilistic Automata, part II ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 469 date: mercredi 01 avril 2015 heure: 10h30 salle: 4068 nom: Nathanaël Fijalkow affiliation: LIAFA titre: The Naughty Side of Probabilistic Automata. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 470 date: mercredi 11 mars 2015 heure: 10h30 salle: 4068 nom: Michał Skrzypczak affiliation: LIAFA titre: On topology in automata theory, Part II ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 472 date: mercredi 11 février 2015 heure: 10h30 salle: 4068 nom: Michał Skrzypczak affiliation: LIAFA titre: On topology in automata theory, Part I ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 471 date: mercredi 28 janvier 2015 heure: 10h30 salle: 4068 nom: Gabriele Puppis affiliation: LABRI titre: Non-determinism vs two-way. ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 473 date: mercredi 17 décembre 2014 heure: 10h30 salle: 4068 nom: Stefan Göller affiliation: LSV titre: Equivalence checking of infinite state systems: A couple of lower bounds ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 474 date: mercredi 03 décembre 2014 heure: 10h30 salle: 4068 nom: Thomas Colcombet affiliation: LIAFA titre: Stabilization monoids and cost functions ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 475 date: mercredi 19 novembre 2014 heure: 10h30 salle: 4068 nom: Thomas Colcombet affiliation: LIAFA titre: Decidability of Boundedness and Limitedness ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 476 date: mercredi 05 novembre 2014 heure: 10h30 salle: 4068 nom: Thomas Colcombet affiliation: LIAFA titre: The star-height problem and its link to boundedness and limitedness ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 477 date: jeudi 10 avril 2014 heure: 10h30 salle: 2014 nom: David Xiao affiliation: LIAFA titre: Une introduction aux graphes expandeurs ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 478 date: jeudi 27 mars 2014 heure: 10h30 salle: 2014 nom: Michael Vanden Boom affiliation: Oxford university titre: Automata characterizations of WMSO ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 479 date: jeudi 13 mars 2014 heure: 10h30 salle: 2014 nom: Olivier Serre affiliation: LIAFA titre: Rabin theorem ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 480 date: samedi 01 mars 2014 heure: 10h30 salle: 2014 nom: Nathanaël Fijalkow affiliation: LIAFA titre: Positional determinacy part II ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 481 date: jeudi 06 février 2014 heure: 10h30 salle: 2014 nom: Thomas Colcombet affiliation: LIAFA titre: Positional determinacy part I ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 482 date: jeudi 19 décembre 2013 heure: 10h30 salle: 4068 nom: Sylvain Schmitz affiliation: LSV titre: Complexity classes beyond elementary ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 483 date: jeudi 28 novembre 2013 heure: 10h30 salle: 4068 nom: Joël Ouaknine affiliation: Oxford university titre: Decision Problems for Linear Recurrence Sequences ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 484 date: jeudi 07 novembre 2013 heure: 10h30 salle: 4068 nom: Thomas Colcombet affiliation: LIAFA titre: Green’s relations and automata theory ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 485 date: jeudi 17 octobre 2013 heure: 10h30 salle: 4068 nom: Arnaud Durand affiliation: Université Denis Diderot - Paris 7 titre: How to count in weak formalisms? ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 486 date: jeudi 13 juin 2013 heure: 10h30 salle: 4068 nom: Łukasz Kaiser affiliation: LIAFA titre: Machine Learning Viewed by a Logician ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 487 date: jeudi 30 mai 2013 heure: 10h30 salle: 4068 nom: Gabriele Puppis affiliation: LABRI titre: The Cost of Repairing Regular Specifications ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 488 date: jeudi 16 mai 2013 heure: 10h30 salle: 4068 nom: Howard Straubing affiliation: Boston college titre: A New Proof of Simon’s Theorem, and Separation by Piecewise Testable Languages ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 489 date: jeudi 18 avril 2013 heure: 10h30 salle: 4068 nom: Thomas Colcombet affiliation: LIAFA titre: Tree walking automata ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 490 date: jeudi 04 avril 2013 heure: 10h30 salle: 4068 nom: Achim Blumensath affiliation: RWTH Aachen titre: The Transduction Hierarchy and Definable Orderings ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 491 date: mercredi 20 mars 2013 heure: 10h30 salle: 4068 nom: Christof Löding affiliation: RWTH Aachen titre: Definability of uniformisation and choice in monadic second order logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 492 date: jeudi 21 février 2013 heure: 10h30 salle: 4068 nom: Christian Choffrut affiliation: LIAFA titre: Uniformization ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 493 date: jeudi 07 février 2013 heure: 10h30 salle: 4068 nom: Thomas Colcombet affiliation: LIAFA titre: The construction of Safra ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 494 date: jeudi 17 janvier 2013 heure: 10h30 salle: - nom: Stefan Göller affiliation: LSV titre: Two lower bound techniques in formal verification ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 495 date: jeudi 20 décembre 2012 heure: 10h30 salle: - nom: Sam Van Gool affiliation: LIAFA titre: A topological proof of Gödel’s completeness theorem for first-order logic ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 496 date: jeudi 13 décembre 2012 heure: 10h30 salle: - nom: Colin Riba affiliation: ENS Lyon titre: A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 497 date: jeudi 14 juin 2012 heure: 10h30 salle: - nom: Frédéric Magniez affiliation: LIAFA titre: An Introduction to Communication Complexity ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 498 date: jeudi 31 mai 2012 heure: 10h30 salle: - nom: Thomas Colcombet affiliation: LIAFA titre: The collapse of monadic second order logic over countable linear orderings ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 499 date: jeudi 10 mai 2012 heure: 10h30 salle: - nom: Thomas Colcombet affiliation: LIAFA titre: The monadic theory of orderings ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 500 date: jeudi 03 mai 2012 heure: 10h30 salle: - nom: Michel De Rougemont affiliation: LIAFA titre: Games for Monadic Σ11 (EMSO) and probabilistic methods ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 501 date: jeudi 12 avril 2012 heure: 10h30 salle: - nom: Olivier Carton affiliation: LIAFA titre: Kamp's theorem ---- ---- datatemplateentry ---- template: templates:seance classe: seance type: Logic, automata, algebra and games seminaire: laag id: 502 date: lundi 26 mars 2012 heure: 10h30 salle: submarine nom: Achim Blumensath affiliation: LIAFA titre: Stability theory ----