Institut de Mathématiques de Toulouse

Accueil > Événements Scientifiques > Séminaires & Groupes de Travail > Séminaires > Séminaire Info-Math

Séminaire Info-Math

par Clément Gineste, Mathieu Sablik - publié le

Séminaire Info-Math

Ce séminaire à pour but d’exposer des résultats récents dans
l’interface des mathématiques discrètes et de l’informatique théorique à des
personnes pas nécessairement spécialistes.




  • Jeudi 6 avril 2017 16:00-17:00 - Ararat Harutyunyan - IMT

    Ramsey theory and large homogenous sets in graphs and digraphs

    Lieu : Salle 207 (F.Pellos) - 2ème étage - Bâtiment 1R2


  • Jeudi 20 avril 2017 16:00-17:00 - David Fernandez Duque - IRIT

    Logical methods in dynamical systems

    Lieu : Salle 207 (F.Pellos) - 2ème étage - Bâtiment 1R2


  • Jeudi 4 mai 2017 16:00-17:00 - Arnaud Chéritat - IMT

    Calculabilité des ensembles de Julia d’après Braverman et Yampolsky

    Lieu : Salle 001 à l'IRIT

    Notes de dernières minutes : Calculabilité des ensembles de Julia d’après Braverman et Yampolsky.


  • Jeudi 18 mai 2017 16:00-17:00 - Arnaud Chéritat - IMT

    Calculabilité des ensembles de Julia d’après Braverman et Yampolsky

    Résumé : Durant la première séance Arnaud nous a expliqué comment définir la notion de calculabilité pour des objets continus (objets définis sur des espaces métriques). Il nous a aussi définit la notion d’ensemble de Julia. Pour la prochaine séance on essayera de voir dans quel cas l’ensemble de Julia est calculable.


  • Jeudi 1er juin 2017 16:00-17:00 - Eduardo Hermo - IRIT

    Relational semantics and Turing progressions

    Résumé : Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this talk, we will present a modal system (TSC) that generates principles that hold between the different Turing progressions under a natural arithmetical interpretation. We will also discuss the completeness of TSC w.r.t. a minor variation of Ignatiev’s model for the closed fragment of Japaridze’s provability logic GLP.

    Lieu : IRIT Salle 001


  • Jeudi 8 juin 2017 16:00-17:00 - David Ellison - RMIT University Melbourne‎

    Gendarmes, Voleurs et Topologie algébrique

    Résumé : Le jeu du gendarme et du voleur, introduit par Alain Quilliot en 1978, est un jeu à deux joueurs sur un graphe. Le gendarme commence en choisissant son point de départ sur un sommet du graphe ; puis le voleur choisit le sien. Ensuite, ils se déplacent chacun leur tour le long des arêtes du graphe. La question est de savoir si le gendarme a une stratégie qui lui permet d’attraper le voleur. Dans le cas contraire, la question devient : combien faut-il de gendarmes pour attraper le voleur ?
    Quilliot a démontré dans sa thèse qu’un seul gendarme suffit à attraper le voleur si et seulement si le graphe est démontable, c’est-à-dire si et seulement si on peut le réduire à un seul sommet en retirant successivement des sommets où le voleur peut être coincé. Il s’ensuit que les graphes démontables correspondent à la classe d’homotopie du point, et que certains invariants homotopiques, comme les groupes d’homologie, permettent de découvrir des propriétés structurelles des graphes où le gendarme peut attraper le voleur.

    Lieu : Salle F.Pellos (Salle 207) - 2ème étage - Bâtiment 1R2


  • Jeudi 22 juin 2017 16:00-17:00 - Thibaut Godin - IRIF

    Mealy automata : dynamic of the action, singular points and Wang tilings

    Résumé : Mealy automata are a powerful tool to generate (semi)groups. Since the 80’s, they have been used to solved several major conjectures in (semi)group theory. Although, people started to study them from a (theoretical) computer science perspective only recently. This approach is rich and brought many interesting results and questions.
    In this talk, we focus on the dynamic of the action of the group on the regular tree and we show that classical tool from automata theory can be used to simplify and generalize known results and to provide information on this action. Then, we study a closely related problem and use a connection between Mealy automata and Wang tilings to obtain an undecidability theorem.
    this is based on a joint work with D. D’Angeli, I. Klimann, M. Picantin, and E. Rodaro.

    Lieu : Salle 001 à l'IRIT


  • Jeudi 29 juin 2017 16:00-17:00 -

    The Infinite Epsilon Calculus.

    Résumé : The Epsilon Calculus is a formal framework designed by Hilbert as part of his foundational program. As we show, there is a natural way in which it can be generalized to incorporate expressions of countable length, e.g., statements of the form “x=0 or x=1 or x=2 or …”. We give an overview of the general theory of the Infinite Epsilon Calculus, focusing on its connection to infinite games and various mathematical axioms.

    Lieu : salle 001, IRIT


  • Mercredi 18 octobre 2017 16:00-17:00 - Vincent Delecroix - LaBRI, Université de Bordeaux

    Calculabilité de la minimalité des échanges d’intervalles.

    Lieu : Salle 207 — Salle F.Pellos - 2ème étage - Bâtiment 1R2


  • 1 | 2

iCal