Publications of the Department

2022

Referenced Publications

• Patricia Bouyer, Mickaël Randour, Pierre Vandenhove, Characterizing Omega-Regularity Through Strategy Complexity of Games on Infinite Graphs, Symposium on Theoretical Aspects of Computer Science, Marseille, France, 2022.

Presentations & posters with abstract

• Céline Nihoul, Les droites et les plans dans l'espace : quels impacts des pratiques enseignantes sur les apprentissages des élèves ?, Séminaire de l'Ecole Doctorale Thématique Didactique des disciplines, Mons, Belgique, 2022.

Presentations & posters without abstract

• Pierre Vandenhove, Characterizing Omega-Regular Languages Through Strategy Complexity of Games on Infinite Graphs (invited talk), LaBRI seminar, Bordeaux, France, 2022.
• Karl Grosse-Erdmann, A curious difference between H(C) and H(D), Computational Methods and Function Theory, CMFT 2021, Valparaiso (en ligne), Chili, 2022.

2021

Referenced Publications

• Stéphane Charpentier, Karl Grosse-Erdmann, Quentin Menet, Chaos and frequent hypercyclicity for weighted shifts, Ergodic Theory and Dynamical Systems, 41 (2021), pp. 3634–3670, Cambridge University Press.
• Sophie Grivaux, Etienne Matheron, Quentin Menet, Does a typical lp-space contraction have a non-trivial invariant subspace?, Transactions of the American Mathematical Society, 374 (2021), pp. 7359–7410, American Mathematical Society.
• James Main, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, International Conference on Concurrency Theory, , , 2021.
• Patricia Bouyer, Youssouf Oualhadj, Mickaël Randour, Pierre Vandenhove, Arena-Independent Finite-Memory Determinacy in Stochastic Games, International Conference on Concurrency Theory, , , 2021.
• James Main, Mickaël Randour, Jeremy Sproston, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, International Conference on Concurrency Theory, , , 2021.
• Quentin Menet, Invariant subspaces for Fréchet spaces without continuous norm, Proceedings of the American Mathematical Society, 149 (2021), pp. 3379–3393, American Mathematical Society.
• Sophie Grivaux, Etienne Matheron, Quentin Menet, Linear dynamical systems on Hilbert spaces: Typical properties and explicit examples, Memoirs of the American Mathematical Society, 269 (2021), pp. 1–147, American Mathematical Society.
• Damien Galant, Cédric Pilatte, A note on optimal degree-three spanners of the square lattice, Discrete Mathematics, Algorithms and Applications, (2021).
• Romuald Ernst, Céline Esser, Quentin Menet, U-frequent hypercyclicity notions and related weighted densities, Israel Journal of Mathematics, 241 (2021), pp. 817–848, Springer.
• Quentin Menet, Inverse of frequently hypercyclic operators, Journal of the Institute of Mathematics of Jussieu, (2021), Cambridge University Press.

Congress proceedings with peer-reviewing

• Stéphanie Bridoux, Nicolas Grenier-Boley, Christophe Hache, Julie Horoks, Aline Robert, Fabrice Vandebrouck, Une opérationnalisation de la Théorie de l'Activité en didactique des mathématiques, XXème école d'été de didactique des mathématiques, Autrans, France, 2021.

Publications (not referenced)

• Cédric Pilatte, New bound for Roth’s theorem with generalized coefficients, 2021.
• Françoise Point, ON EXPONENTIAL TOPOLOGICAL FIELDS ENDOWED WITH A GENERIC DERIVATION., 2021.
• Françoise Point, On definable groups in expansions of topological  fields by a generic derivation., 2021.
• Françoise Point, On topological  fields of characteristic 0 with a generic derivation., 2021.
• Françoise Point, Théorie des modèles 1, course notes, 2021.
• Guillaume Saes, Cette FORME va changer le MONDE !, 2021.
• Céline Nihoul, Impact des pratiques enseignantes sur la conceptualisation des droites et des plans dans l'espace: une étude de cas, 2021.

Popularization

• Thomas Brihaye, Mathipulations, 2021, Exposé, Athénée Royal Marguerite Bervoets de Mons.
• Thomas Brihaye, Comment les maths t’aident à réaliser des défis dignes de Fort Boyard ou d’Harry Potter ?, 2021, Exposé, Université des enfants à l’UMONS.
• Thomas Brihaye, Trouver le vainqueur de Condorcet, 2021, La mémoire des rues, .
• Thomas Brihaye, Mathipulations, 2021, Exposé, Institut de la Providence de Champion.
• Thomas Brihaye, Mathipulations, 2021, Exposé, Institut Saint-Louis de Namur.
• Thomas Brihaye, Quand les jeux mènent aux prix Nobel, 2021, Exposé, Athénée Royal de Mons.
• Thomas Brihaye, Mathématiques, théorie des jeux et monde réel, 2021, Exposé, Collège du Sacré-Coeur de Charleroi.
• Thomas Brihaye, Théorie des jeux, mathématiques et psychologie, 2021, Exposé, journées math-sciences (UMONS).
• Guillaume Saes, PARLONS PEU, PARLONS MATHS !, 2021, Images des maths, https://images.math.cnrs.fr/Parlons-peu-Parlons-Maths.html.
• Thomas Brihaye, Mathipulations, 2021, Exposé, Communauté Scolaire Sainte-Marie de Namur.
• Thomas Brihaye, Théorie des jeux, mathématiques et psychologie, 2021, Exposé, Communauté Scolaire Sainte-Marie de Namur.

Book chapters

• Maria Trigueros, Stéphanie Bridoux, Ann O'Shea, Laura Branchetti, Challenging issues in the teaching and learning of Calculus and Analysis, 2021, Routledge.

Presentations & posters with abstract

• Guillaume Saes, Analyse de la régularité des trajectoires de processus non-localement bornés et Applications à l'analyse de données physiologiques de marathoniens, Colloque Probabilités et Statistiques, Lilles, France, 2021.
• Guillaume Saes, Une nouvelle caractérisation des exposants de régularités ponctuelles pour les trajectoires non-localement bornées, Journée du GdR Analyse Multifractale, Porquerolles, France, 2021.

Presentations & posters without abstract

• Kevin Agneessens, Vecteurs aléatoires fréquemment hypercycliques, Groupe de Travail d'Analyse Fonctionnelle, Villeneuve d'Ascq, France, 2021.
• Quentin Menet, How to shift from frequent hypercyclicity to chaos?, Frontiers of Operator Theory, Luminy (CIRM), France, 2021.
• Céline Nihoul, Etude didactique des pratiques enseignantes pour l’enseignement des équations de droites et de plans dans l’espace : quels impacts sur les apprentissages des élèves ?, Séminaire du CREM (Centre de Recherche sur l’Enseignement des Mathématiques), Nivelles, Belgique, 2021.
• James Main, Timed Games with Window Parity Objectives, Journées du GT Vérif, Gif-sur-Yvette, France, 2021.
• Pierre Vandenhove, Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, Journées du GT Vérif, Gif-sur-Yvette, France, 2021.
• Françoise Point, On definable groups in expansions of topological  fields by a generic derivation., Fields Institute (Thematic Program on Trends in Pure and Applied Model Theory), Toronto, Canada, 2021.
• Charly Delfosse, TRAIL doctoral school: thesis presentation, TRAIL doctoral school, Brussels, Belgium, 2021.
• Karl Grosse-Erdmann, Dynamique de shifts à poids sur un arbre, Séminaire d'Analyse fonctionnelle, Lille, France, 2021.
• James Main, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, Highlights of Logic, Games and Automata, Online, , 2021.
• Pierre Vandenhove, Arena-Independent Finite-Memory Determinacy, Highlights of Logic, Games and Automata, Online, , 2021.
• Pierre Vandenhove, Arena-Independent Finite-Memory Determinacy in Stochastic Games, International Conference on Concurrency Theory (CONCUR 2021), Paris, France, 2021.
• Quentin Menet, Linear Dynamics, 1st EUNICE Math Symposium, (online), , 2021.
• Pierre Vandenhove, Arena-Independent Finite-Memory Strategies, GT ALGA, Journées annuelles 2021, Online, France, 2021.
• Quentin Menet, A-hypercyclicity, Four Days in Linear Dynamics, The University of Campania Luigi Vanvitelli (online), Italy, 2021.
• Karl Grosse-Erdmann, Recurrent operators, Four Days in Linear Dynamics, The University of Campania Luigi Vanvitelli (online), Italy, 2021.
• Angelos Gaitanis, Ward De Paepe, francesco Contino, Towards Real Time Transient mGT Performance Assessment, ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition, Virtual, Online, 2021.
• Karl Grosse-Erdmann, Zero-one law of orbital limit points, AMS Spring Western Sectional Meeting, San Francisco (virtual), USA, 2021.
• Pierre Vandenhove, Arena-Independent Finite-Memory Strategies, Groupe de Travail Concurrence & Distribué et Model-Checking & Synthèse, LMF, École normale supérieure Paris-Saclay, Université Paris-Saclay, France, 2021.
• Stéphanie Bridoux, Cécile de Hosson, Analyser les pratiques enseignantes : Pourquoi ? Comment ? Approche didactique en mathématique et en physique, Journée d'étude de l'Ecole Doctorale Thématique « Didactique des disciplines », UMONS, Belgique, 2021.
• Mickaël Randour, Games Where You Can Play Optimally With Finite Memory, International Workshop on Formal Methods in AI, London, UK, 2021.
• Cédric Pilatte, The Inverse Slope Problem and Additive Combinatorics, British Mathematical Colloquium (BMC), Glasgow, (Online), United Kingdom, 2021.

2020

Referenced Publications

• Stéphanie Bridoux, Antoine Derobertmasure, Simon De Val, L'introduction des nombres irrationnels dans l'enseignement secondaire belge francophone - une étude du discours des enseignants, Petit X, 113 (2020), pp. 3–29, Institut de Recherche sur l'Enseignement des Mathématiques.
• Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Logical Methods in Computer Science, 16 (2020), pp. 13:1–13:30, Technischen Universitat Braunschweig.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games., Logical Methods in Computer Science, 16 (2020), pp. 8:1–8:43, Technischen Universitat Braunschweig.
• Aline Goeminne, Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games, Information Processing Letters, 163 (2020), Elsevier.
• Pierre Vandenhove, Decisiveness of Stochastic Systems and its Application to Hybrid Models, International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium, 2020.
• Patricia Bouyer, Thomas Brihaye, Mickaël Randour, Cédric Rivière, Pierre Vandenhove, Decisiveness of Stochastic Systems and its Application to Hybrid Models, International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium, 2020.
• Cédric Pilatte, NP-completeness of slope-constrained drawing of complete graphs, Journal of Computational Geometry, (2020), Carleton University.
• Pierre Vandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, International Conference on Concurrency Theory, Vienna, Austria, 2020.
• Thomas Brihaye, Aline Goeminne, On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games, International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Autriche, 2020.
• Quentin Menet, Inverse of U-frequently hypercyclic operators, Journal of Functional Analysis, 279 (2020), Elsevier.
• Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickaël Randour, Pierre Vandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, International Conference on Concurrency Theory, Vienna, Austria, 2020.
• Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux, On the Termination of Dynamics in Sequential Games, Information and Computation, (2020), Elsevier.
• Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickaël Randour, Simple Strategies in Multi-Objective MDPs, International Conference on Tools and Algorithms for Construction and Analysis of Systems, Dublin, Ireland, 2020.
• Quentin Lambotte, Françoise Point, On expansions of (Z,+,0), Annals of Pure and Applied Logic, 171 (2020), pp. 1–36, Elsevier. DOI: 10.1016/j.apal.2020.102809.
• Javier Falcó, Karl Grosse-Erdmann, Algebras of frequently hypercyclic vectors, Mathematische Nachrichten, 293 (2020), pp. 1120–1135, Wiley - VCH Verlag GmbH & Co..
• Nathanael Mariaule, Expansions of the p-adic numbers that interpret the ring of integers, Mathematical Logic Quarterly, 66 (2020), pp. 82–90, John Wiley & Sons. DOI: 10.1002/malq.201900040.
• Sonia L'Innocente, Françoise Point, Bézout domains and lattice-valued modules, Journal of Pure and Applied Algebra, 224 (2020), pp. 444–467, Elsevier.
• Quentin Menet, A bridge between U-frequent hypercyclicity and frequent hypercyclicity, Journal of Mathematical Analysis and Applications, 482 (2020), Elsevier.
• Cédric Pilatte, On the sets of n points forming n + 1 directions, Electronic Journal of Combinatorics, (2020), Electronic Journal of Combinatorics. DOI: 10.37236/8308.
• Javier Falcó, Karl Grosse-Erdmann, Algebrability of the set of hypercyclic vectors for backward shift operators, Advances in Mathematics, 366 (2020), Elsevier.
• Karl Grosse-Erdmann, Karl Weierstrass: A Westphalian mathematician, Mathematical Intelligencer, 42 (2020), pp. 60–63, Springer.

Congress proceedings with peer-reviewing

• Stéphanie Bridoux, Cécile de Hosson, Céline Nihoul, Pratiques in situ d’enseignants universitaires et confrontation avec le vécu des étudiants : une étude de cas, INDRUM, Bizerte, Tunisie, 2020.
• Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Nathalie Lebrun, Zoé Mesnil, Céline Nihoul, The professional identity of teacher-researchers in mathematics, INDRUM, Bizerte, Tunisie, 2020.
• Nithyaraaj Kugalur Palanisamy, François Ducobu, Edouard Rivière, Pedro Arrazola, Influence of the Choice of the Parameters on Constitutive Models and their Effects on the Results of Ti6Al4V Orthogonal Cutting Simulation, Esaform 2020, Cottbus, Allemagne, 2020.

Publications (not referenced)

• Françoise Point, Theorie des modèles 1, course notes, 2020.
• Damien Galant, Cédric Pilatte, A note on optimal degree-three spanners of the square lattice, 2020. arXiv: 2010.13473.

Popularization

• Clotilde Fermanian Kammerer, Stéphane Jaffard, Guillaume Saes, LA PAROLE À JEAN PERRIN : LES COURBES SANS TANGENTE, 2020, Images des maths, http://images.math.cnrs.fr/La-parole-a-Jean-Perrin-les-courbes-sans-tangente.html.
• Quentin Menet, Les systèmes dynamiques ou l'art d'itérer, 2020, Séminaire du CREM, .
• Mickaël Randour, Les éclaireurs : la première ligne de soins, la théorie des jeux et les bugs informatiques, 2020, RTBF - Les éclaireurs, Brussels, Belgium.
• Thomas Brihaye, Mathématiques, théorie des jeux et monde réel, 2020, Exposé, Communauté Scolaire Sainte-Marie Namur.
• Thomas Brihaye, Mathipulations, 2020, Exposé, Auberge de jeunesse de Mons.
• Thomas Brihaye, Mathématiques, théorie des jeux et monde réel, 2020, Exposé, Institut Saint André de Ramegnies-Chin.
• Thomas Brihaye, Mathipulations, 2020, Exposé, Institut Saint André de Ramegnies-Chin.
• Christophe Troestler, Stéphanie Bridoux, Optimisation: quand les extrêmes sont les meilleurs, 2020, Institut Saint André, Ramegnies-Chin.
• Christophe Troestler, Quand les extrêmes sont les meilleurs !, 2020, Institut Saint André, 7520 Ramegnies Chin.

Presentations & posters with abstract

• Françoise Point, Generic differential expansions of topological fields of characteristic 0, Mathematical Science Research Institute, Berkeley, US-CA, 2020.
• Guillaume Saes, Multifractal analysis of sums of random pulses, Journée du GdR AFHP, Marseille, France, 2020.
• Pierre Vandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Grenoble, France, 2020.

Presentations & posters without abstract

• Pierre Vandenhove, Understanding Finite-Memory Determinacy, LMF Research Days, Saclay, France, 2020.
• Quentin Menet, Jeux de Banach-Mazur, espace de contractions et injectivité, Journées annuelles du GDR AFHP, CIRM, France, 2020.
• Quentin Menet, Sous-espaces invariants et noyaux de seminormes, Séminaire d'Analyse Fonctionnelle, Lille, France, 2020.
• Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Nathalie Lebrun, Zoé Mesnil, Céline Nihoul, The professional identity of teachers-researchers in mathematics, INDRUM, Bizerte, Tunisie, 2020.
• Stéphanie Bridoux, Cécile de Hosson, Céline Nihoul, University teachers' in situ pratices and comparison with students' experiences: a case study, INDRUM, Bizerte, Tunisie, 2020.
• Aline Goeminne, On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games, International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Austria, 2020.
• Aline Goeminne, On Relevant Equilibria in Reachability Games, 68NQRT seminar, Rennes, France, 2020.
• Karl Grosse-Erdmann, Opérateurs fréquemment récurrents, Séminaire d'Analyse Fonctionnelle, Lille, France, 2020.

2019

Referenced Publications

• Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Benjamin Monmege, Bruno Quoitin, Dynamics on Games: Simulation-Based Techniques and Applications to Routing, Foundations of Software Technology and Theoretical Computer Science, , , 2019.
• Quentin Brouette, Pablo Cubides-Kovacsics, Françoise Point, Strong density property of definable types and closed ordered differential fields, Journal of Symbolic Logic, (2019), Cambridge University Press.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Christophe Troestler, Francesca Gladiali, Massimo Grossi, A non-variational system involving the critical Sobolev exponent. The radial case., Journal d'Analyse Mathématique, (2019), Magnes Press. arXiv: 1603.05641.
• Nithyaraaj Kugalur Palanisamy, Edouard Rivière, Arrazola Pedro, François Ducobu, Comparison of Johnson-Cook and modified Johnson-Cook material constitutive models and their influence on finite element modelling of Ti6Al4V orthogonal cutting process, AIP Conference Proceedings, 2113 (2019), American Institute of Physics. DOI: 10.1063/1.5112617.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Nathan Thomasset, On Relevant Equilibria in Reachability Games, Reachability Problems, Brussels, Belgium, 2019.
• Karl Grosse-Erdmann, Frequently hypercyclic bilateral shifts, Glasgow Mathematical Journal, 61 (2019), pp. 271–286, Cambridge University Press.
• Sonia L’Innocente, Françoise Point, Gena Puninski, Carlo Toffalori, The Ziegler spectrum of the ring of entire complex valued functions, Journal of Symbolic Logic, (2019), Cambridge University Press.
• Juan Bès, Quentin Menet, Alfredo Peris, Yunied Puig, Strong transitivity properties for operators, Journal of Differential Equations, 266 (2019), pp. 1313–1337, Elsevier.
• Véronique Bruyère, Quentin Hautem, Mickaël Randour, Jean-François Raskin, Energy Mean-Payoff Games, International Conference on Concurrency Theory, Amsterdam, The Netherlands, 2019.

Congress proceedings with peer-reviewing

• Françoise Point, Valued modules on skew polynomial rings and Bézout domains, Model theory of modules, algebras and categories, Erice, Italie, 2019.
• Stéphanie Bridoux, Classe inversée pour introduire les suites numériques: une expérience en première année universitaire, EMF 2018, Gennevilliers, France, 2019.
• Céline Nihoul, Les équations de droites dans l'espace: une étude des proximités discursives dans les manuels de l'enseignement secondaire belge, Espace Mathématique Francophone (EMF), Paris, France, 2019.
• Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Nathalie Lebrun, Zoé Mesnil, Céline Nihoul, L'identité professionnelle des enseignants-chercheurs en mathématiques, chimie et physique, Espace Mathématique Francophone (EMF), Paris, France, 2019.

Publications (not referenced)

• Stéphanie Bridoux, Formation CORSCI - Pratiques enseignantes à l'université et confrontation au vécu des étudiants, 2019.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Nathan Thomasset, On Relevant Equilibria in Reachability Games, 2019.
• Françoise Point, Theorie des modeles 1, course notes, 2019.
• Céline Nihoul, Droites et plans dans l'espace: opérationnalisation du cadre de la théorie de l'activité, Séminaire des jeunes chercheurs de l'ARDM (WEJCH19), Paris, France, 2019.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, 2019.
• Cédric Pilatte, Un problème de pentes, Losanges, (2019), Société Belge des Professeurs de Mathématiques d'Expression Française (SBPMef).
• Céline Nihoul, L'enseignement des droites et des plans dans l'espace en Belgique: une étude des moments d'exposition des connaissances, 2019.

Popularization

• Thomas Brihaye, Mathématiques, théorie des jeux et monde réel, 2019, Exposé, Athénée Royal de Binche.
• Thomas Brihaye, Mathématiques, théorie des jeux et monde réel, 2019, Exposé, Athénée Royal de Binche.
• Quentin Menet, Didier Leroy, Coralie Muylaert, Fabienne Vande Meerssche, Les Eclaireurs : Moyen-Orient, Effet Papillon et Economie Vertueuse, 2019, Emission, .
• Mickaël Randour, Pint of Science Mons 2019, 2019, Festival scientifique, Mons.
• Florent Delgrange, Aline Goeminne, Marion Hallet, Quentin Meurisse, Clément Tamines, Nathan Thomasset, Mickaël Randour, Kevin Van Mieghem, A vous de jouer !, 2019, Atelier, Journées Math-Sciences.
• Thomas Brihaye, Mathipulations, 2019, Exposé, Université de Liège, Pi Day 2019 (seconde édition).
• Thomas Brihaye, Mathipulations, 2019, Exposé, Université de Liège - Pi Day 2019.
• Thomas Brihaye, Mathipulations, 2019, Exposé, Institut Saint Laurent de Marche-en-Famenne.
• Thomas Brihaye, Retour vers le futur: à toi de jouer!, 2019, Expo, Institut Saint Laurent de Marche-en-Famenne.
• Christophe Troestler, Stéphanie Bridoux, Optimisation — Quand les extrêmes sont les meilleurs !, 2019, Collège Saint Guibert, Gembloux.
• Thomas Brihaye, Quand les jeux mènent aux Prix Nobel, 2019, Exposé, Athénée Royal de Saint Ghislain.

Presentations & posters with abstract

• Christophe Troestler, A computer assisted proof of the symmetries of least energy nodal solutions on squares, Second Days Of Nonlinear Elliptic PDE in Hauts-de-France, Calais, France, 2019.
• Monia Mestiri, Common upper frequent hypercyclicity, FNRS Group Functional Analysis, Liège, Belgique, 2019.
• Monia Mestiri, Critère de U-fréquente hypercyclicité commune, Séminaire d'Analyse et Géométrie, Marseille, France, 2019.

Presentations & posters without abstract

• Karl Grosse-Erdmann, Chaotic weighted backward shift operators, Séminaire, Université de Valencia, Valencia, Espagne, 2019.
• Thomas Brihaye, Game theory, Evolution and Network, 68NQRT, Rennes, France, 2019.
• Aline Goeminne, Multiplayer Reachability Games Played on Graphs, Grascomp Doctoral Day (GDD’19), UNamur, Belgique, 2019.
• Mickaël Randour, Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives (invited talk), LSV working group, ENS Paris-Saclay, Cachan, France, 2019.
• Quentin Menet, Dynamic behaviors of the inverse of an operator, Workshop d'automne de l'ANR Front, Clermont-Ferrand, France, 2019.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Une expérience de classe inversée en première année universitaire: quelle (ré)organisation des apprentissages, 20ème Ecole d'Eté de Didactique des Mathématiques, Autrans, France, 2019.
• Mickaël Randour, Games Where You Can Play Optimally With Finite Memory, GT ALGA annual meeting 2019, Paris, France, 2019.
• Pierre Vandenhove, Reachability in Stochastic Hybrid Systems, Highlights of Logic, Games and Automata, Warsaw, Poland, 2019.
• Mickaël Randour, Games Where You Can Play Optimally With Finite Memory, Highlights of Logic, Games and Automata, Warsaw, Poland, 2019.
• Aline Goeminne, On Relevant Equilibria in Reachability Games, Highlights of Logic, Games and Automata, Warsaw, Poland, 2019.
• Thomas Brihaye, Théorie des jeux, évolution et réseaux informatique, 13ème Journée des Doctorants en Mathématiques du Nord-Pas-de-Calais, Université de Lens, France, 2019.
• Pierre Vandenhove, Reachability in Stochastic Hybrid Systems, 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019.
• Mickaël Randour, Extending finite-memory determinacy by Boolean combination of winning conditions, 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019.
• Aline Goeminne, On Relevant Equilibria in Reachability Games, 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019.
• Aline Goeminne, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Aline Goeminne, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, Méthodes Formelles et Vérification, Bruxelles, Belgique, 2019.
• Mickaël Randour, Extending finite-memory determinacy by Boolean combination of winning conditions, 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada, 2019.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada, 2019.
• Céline Nihoul, Droites et plans dans l'espace: opérationnalisation du cadre de la théorie de l'activité, Séminaire des jeunes chercheurs de l'ARDM (WEJCH19), Paris, France, 2019.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, UnRAVeL Research Training Group, Aachen, Germany, 2019.
• Aline Goeminne, PSPACE algorithm for SPEs in quantitative reachability games, Centre Fédéré en Vérification (ULB), Bruxelles, Belgique, 2019.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Mardi des Chercheurs 2019 (MdC2019), Mons, Belgique, 2019.
• Mickaël Randour, Rich behavioral models: illustration on journey planning (invited talk), LSV seminar, ENS Paris-Saclay, Cachan, France, 2019.
• Marion Hallet, Dynamics in graph games, Ecole Jeunes Chercheurs en Informatique Mathématique, Marseille, France, 2019.
• Stéphanie Bridoux, Étude de pratiques in situ d'enseignants universitaires et confrontation avec le vécu des étudiants, La pédagogie universitaire: un terrain pour les recherches en didactique des disciplines, Rouen, France, 2019.
• Marion Hallet, Dynamics in graph games, GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgique, 2019.
• Mickaël Randour, Rich behavioral models: illustration on journey planning (invited talk), GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgique, 2019.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Theory and Algorithms in Graph and Stochastic Games, Mons, Belgium, 2019.
• Quentin Menet, Le chaos linéaire: un paradoxe?, Colloquium du LMPA, Calais, France, 2019.
• Céline Nihoul, Favoriser la conceptualisation des droites et des plans dans l'espace: les apports du didacticien, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2019.
• Pierre Vandenhove, Reachability in Infinite Markov Chains, Mardi des Chercheurs, Mons, Belgique, 2019.
• Aline Goeminne, Games played on graph with quantitative reachability objectives, Mardi des Chercheurs, Mons, Belgique, 2019.
• Monia Mestiri, U-fréquente hypercyclicité commune, Séminaire d'Analyse Fonctionnelle, Lille, France, 2019.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, MFV seminar - ULB, Brussels, Belgium, 2019.
• Mickaël Randour, Journey planning in uncertain environments, the multi-objective way, Complex Systems think tank, Mons, Belgium, 2019.

2018

Referenced Publications

• Luc Bélair, Françoise Point, Fractional parts of dense additive subgroups of real numbers, Algebra Universalis, 79 (2018), pp. 1–23, Birkhauser Verlag.
• Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege, Efficient Algorithms and Tools for MITL Model-Checking and Synthesis, IEEE International Conference on Engineering of Complex Computer Systems, Melbourne, Australie, 2018.
• Stéphane Le Roux, Arno Pauly, Mickaël Randour, Extending finite-memory determinacy by Boolean combination of winning conditions, Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, 2018.
• Quentin Menet, Invariant subspaces for non-normable Fréchet spaces, Advances in Mathematics, 339 (2018), pp. 495–539, Elsevier.
• Françoise Point, Definability of types and vc density in topological differential fields, Archive for Mathematical Logic, 57 (2018), pp. 809–828, Springer. DOI: 10.1007/s00153-017-0607-y.
• Patricia Bouyer, Mauricio Gonzalez, Nicolas Markey, Mickaël Randour, Multi-weighted Markov decision processes with reachability objectives, International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany, 2018.
• Karl Grosse-Erdmann, Upper frequent hypercyclicity and related notions, Revista Matemática Complutense, 31 (2018), pp. 673–711, Universidad Complutense de Madrid.
• Stéphanie Bridoux, Classe inversée: une expérience en première année universitaire, Petit X, 106 (2018), pp. 24, Institut de Recherche sur l'Enseignement des Mathématiques.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives, International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Allemagne, 2018.
• Quentin Brouette, Françoise Point, Anand Pillay, Greg Cousins, Embedded Picard-Vessiot extensions, Communications in Algebra, 46 (2018), pp. 1_7, Taylor and Francis. DOI: 10.1002/malq.201600098.
• Patricia Bouyer, Nicolas Markey, Kim G. Larsen, Simon Laursen, Mickaël Randour, Average-energy games, Acta Informatica, 55 (2018), pp. 91–127, Springer.
• Christophe Troestler, Francesca Gladiali, Massimo Grossi, Entire radial and nonradial solutions for systems with critical growth, Calculus of Variations and Partial Differential Equations, 57 (2018), Springer. arXiv: 1612.03510.
• Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier, When are stochastic transition systems tameable?, Journal of Logical and Algebraic Methods in Programming, (2018), Elsevier.
• Quentin Menet, Existence of common hypercyclic subspaces for the derivative operator and the translation operators, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A Matemáticas, 113 (2018), pp. 487–505, Real Academia de Ciencias Exactas, Fisicas y Naturales.

Publications (not referenced)

• Françoise Point, Théorie des modèles 1, course notes, 2018.
• Françoise Point, Topological large fields, their generic differential expansions and transfer results, Kolchin seminar, New-York, Etats-Unis, 2018.
• Pablo Cubides Kovacsics, Françoise Point, Topological large fields, their generic differential expansions and transfer results, Workshop on Tame Expansions of O-minimal Structures, Konstanz, Allemagne, 2018.
• Stéphanie Bridoux, Formation CORSCI - Classe inversée pour enseigner les mathématiques: une expérience en première année universitaire, 2018.
• Françoise Point, Topological large fields, their generic differential expansions and transfer results, Model-Theoretic Methods in Number Theory and Algebraic Differential Equations, Manchester, Angleterre, 2018.
• Monia Mestiri, Common A-hypercyclicity, 2018.
• Céline Nihoul, Droites et plans dans l'espace: méthodologie et analyse d'une étude de terrain, Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH), Rennes, France, 2018.
• Marion Hallet, Introduction à la cryptographie, 2018.

Popularization

• Thomas Brihaye, Mathipulations, 2018, Exposé, Athénée des Pagodes .
• Mickaël Randour, Prévenir les bugs informatiques, 2018, Interview, FNRS.TV, Bruxelles.
• Christophe Troestler, Optimisation — Quand les extrêmes sont les meilleurs !, 2018, École des Ursulines, Mons.
• Christophe Troestler, Stéphanie Bridoux, Optimisation: quand les extrêmes sont les meilleurs, 2018, Ecole des Ursulines, Mons.
• Thomas Brihaye, Mathipulations, 2018, Exposé, Ecole internationale du Shape, section belge.
• Thomas Brihaye, Mathématiques, théorie des jeux et Prix Nobel, 2018, Exposé, CES Saint Vincent de Soignies.
• Stéphanie Bridoux, Toucher l'infini du bout des doigts: du domaine de la fiction?, 2018.
• Thomas Brihaye, Mathématiques, modéles et réalité, 2018, Exposé, Journées math-sciences 2018.
• Aline Goeminne, Marion Hallet, Quentin Hautem, Mickaël Randour, A vous de jouer !, 2018, Exposé, Journées Math-Sciences.
• Christophe Troestler, Optimisation — Quand les extrêmes sont les meilleurs !, 2018, École IPET, Nivelles rue du Paradis 79A - 1400 NIVELLES.

Presentations & posters with abstract

• Stéphanie Bridoux, Classe inversée pour introduire les suites numériques: une expérience en première année universitaire, Espace Mathématique Francophone (EMF) 2018, Gennevilliers, France, 2018.
• Christophe Troestler, Une preuve assistée par ordinateur pour les symétries des solutions nodales d'énergie minimale de Lane-Emden sur le carré, Séminaire d’analyse appliquée A³, Amiens, France, 2018.
• Antonelle Pardo, Philippe Dony, Remy Demeester, Aline Goulard, Mathieu Rivolta, Marc Joris, Serge Stenuit, IMPACT DE L’IMPLÉMENTATION D’UNE STRATÉGIE GLOBALE COLLABORATIVE MÉDECIN-PHARMACIEN SUR LES PRATIQUES DE PRESCRIPTION ET D’ADMINISTRATION DE L’ANTIBIOPROPHYLAXIE À L’HÔPITAL CIVIL MARIE CURIE DU CHU DE CHARLEROI, 29e JOURNEE SCIENTIFIQUE de l'AFPHB, Mons, Belgique, 2018.

Presentations & posters without abstract

• Quentin Brouette, Clôture algébrique et dimension en théorie des modèles, Séminaire théorie des modèles, Mons, Belgique, 2018.
• Karl Grosse-Erdmann, A glimpse at linear dynamics, Recent advances in Operator theory and Operator algebras OTOA 2018, Bangalore, Inde, 2018.
• Aline Goeminne, Jeux sur graphe et objectifs d'atteignabilité, Séminaire Jeunes (Math-Info), Mons, Belgique, 2018.
• Karl Grosse-Erdmann, Chaos and frequent hypercyclicity for weighted shifts, Autumn Workshop ANR Front, Lens, France, 2018.
• Céline Nihoul, Les équations de droites dans l'espace: une étude des proximités discursives dans les manuels de l'enseignement secondaire belge, Espace Mathématique Francophone (EMF) 2018, Gennevilliers, France, 2018.
• Florent Delgrange, Safe Reinforcement Learning, L² meeting, Mons, Belgium, 2018.
• Mickaël Randour, Answering reachability problems in Markov decision processes using learning algorithms, L² meeting, Mons, Belgium, 2018.
• Quentin Menet, Invertible operators and dynamical properties, Workshop on Functional Analysis and Operator Theory, Valencia, Espagne, 2018.
• Françoise Point, Nullstellensatz in exponential fields, Real Algebraic Geometry and Model Theory (RAGMT), Konstanz, Allemagne, 2018.
• Aline Goeminne, Constrained existence problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives, International Symposium on Games, Automata, Logics, and Formal Verification, Saarbrücken, Allemagne, 2018.
• Aline Goeminne, Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives, Highlights of Logic, Games and Automata, Berlin, Allemagne, 2018.
• Marion Hallet, Dynamics and Coalitions in Sequential Games : Poster Presentation, GAMENET Training School, Cracovie, Pologne, 2018.
• Thomas Brihaye, Mathipulations, 44e congrès de la Société Belge des Professeurs de Mathématique d’expression française, Athénée Robert Catteau de Bruxelles, Belgique, 2018.
• Audrey Kumps, Bruno De Lièvre, Le numérique au service de l'apprentissage. Exemples de pratiques enseignantes, Educode, Bruxelles, Belgique, 2018.
• Karl Grosse-Erdmann, Linear dynamics, Linear dynamics and Reconstruction of signals from incomplete frequency data, Copenhague, Danemark, 2018.
• Quentin Lambotte, Superstable expansions of (Z,+,0), Logic Colloquium 2018, Udine, Italie, 2018.
• Aline Goeminne, Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives, 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018), Cachan, France, 2018.
• Thomas Brihaye, Stochastic o-minimal hybrid systems, 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis, Oxford, UK, 2018.
• Aline Goeminne, Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives, 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis - MoRe 2018, Oxford, UK, 2018.
• Karl Grosse-Erdmann, Algebren in der linearen Dynamik, Séminaire, Trier, Allemagne, 2018.
• Quentin Menet, Invariant subspaces in Fréchet spaces, Pawel Domanski Memorial Conference, Bedlewo, Pologne, 2018.
• Karl Grosse-Erdmann, Algebraic structures in linear dynamics, Pawel Domanski Memorial Conference, Bedlewo, Pologne, 2018.
• Stéphanie Bridoux, Table ronde "Liaison lycée-enseignement supérieur", SMF 2018, Lille, France, 2018.
• Aline Goeminne, Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives., GT Vérification, Grenoble, France, 2018.
• Mickaël Randour, Rich behavioral models: illustration on journey planning (invited session), GT Vérification, Grenoble, France, 2018.
• Marion Hallet, Dynamics on Sequential Games and Games played on Graph, GT Vérification, Grenoble, France, 2018.
• Céline Nihoul, L'enseignement des droites et des plans dans l'espace: une étude des moments d'exposition des connaissances, Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH), Rennes, France, 2018.
• Thomas Brihaye, When are Stochastic Transitions Systems Tameable ?, Séminaire du département d’informatique de l’Université de Liverpool, Liverpool, UK, 2018.
• Céline Nihoul, L'enseignement des droites et des plans dans l'espace: une étude des moments d'exposition des connaissances, Journée doctorale thématique en didactique des disciplines, Mons, Belgique, 2018.
• Thomas Brihaye, When are Stochastic Transitions Systems Tameable ?, Groupe de contact Conception de systèmes informatiques corrects, Bruxelles, Belgique, 2018.
• Marion Hallet, A vous de jouer !, Journées Math-Sciences, Mons, Belgique, 2018.
• Marion Hallet, Cryptographie, Journées Math-Sciences, Mons, Belgique, 2018.
• Marion Hallet, Dynamics and Coalitions in Sequential Games, MOVE, Aix-Marseille Université, France, 2018.
• Maja Volkov, Supersingular abelian varieties with non semisimple Tate module, Number Theory Seminar, Durham, Royaume-Uni, 2018.
• Maja Volkov, Local Geometric Galois Representations, Pure Maths Colloquium, Durham, Royaume-Uni, 2018.
• Mickaël Randour, Rich behavioral models: illustration on journey planning (invited talk), Verification seminar - University of Oxford, Oxford, UK, 2018.

2017

Referenced Publications

• Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux, Dynamics and Coalitions in Sequential Games, International Symposium on Games, Automata, Logics and Formal Verification, Rome, Italie, 2017.
• Thomas Brihaye, Gilles Geeraerts, Hso-Ming Ho, Benjamin Monmege, Timed-Automata-Based Verification of MITL over Signals, International Symposium/Workshop on Temporal Representation and Reasoning, Mons, Belgique, 2017.
• Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, MightyL : A Compositional Translation from MITL to Timed Automata, International Conference on Computer Aided Verification, Heidelberg, Allemagne, 2017.
• Raphaël Berthon, Mickaël Randour, Jean-François Raskin, Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes, International Colloquium on Automata, Languages and Programming, , , 2017.
• Quentin Menet, Linear chaos and frequent hypercyclicity, Transactions of the American Mathematical Society, 369 (2017), pp. 4977–4994, American Mathematical Society.
• Christophe Troestler, Colette De Coster, Serge Nicaise, Spectral analysis of a generalized buckling problem on a ball, Positivity, 21 (2017), pp. 1319–1340, Birkhäuser. DOI: 10.1007/s11117-017-0469-x, arXiv: 1610.04840.
• Patricia Bouyer, Piotr Hofman, Mickaël Randour, Nicolas Markey, Martin Zimmermann, Bounding Average-energy Games, Foundations of Software Science and Computation Structure, , , 2017.
• Mickaël Randour, Jean-François Raskin, Ocan Sankur, Percentile Queries in Multi-Dimensional Markov Decision Processes, Formal Methods in System Design, 50 (2017), pp. 207–248, Kluwer Academic Publishers.
• Véronique Bruyère, Emmanuel Filiot, Mickaël Randour, Jean-François Raskin, Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, Information and Computation, 254 (2017), pp. 259–295, Elsevier.

Congress proceedings with peer-reviewing

• Nathalie Lebrun, Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Zoé Mesnil, Céline Nihoul, L'identité professionnelle des enseignants chercheurs de physique. Comparaison avec celle des mathématiciens, ARDIST, Saint-Malo, France, 2017.
• Salma Kuhlmann, Mickael Matuzinski, Françoise Point, The valuation difference rank of a quasi-ordered difference field, New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr, Allemagne, 2017.

Publications (not referenced)

• Pierre Carlier, Verification of Stochastic Timed Automata, 2017.
• Isabelle Bloch, Stéphanie Bridoux, Viviane Durand-Guerrier, Denise Grenier, Patrick Frétigné, Jacqueline Mac Aleese, Gwenola Madec, Chantal Menini, Marc Rogalski, Pascale Sénéchaud, Fabrice Vandebrouck, Limites de suites réelles et de fonctions numériques d'une variable réelle: constats, pistes pour les enseigner, Petit X, (2017), Institut de Recherche sur l'Enseignement des Mathématiques.
• Stéphanie Bridoux, Formation CORSCI - Classe inversée pour enseigner les mathématiques: une expérience en première année universitaire, 2017.
• Françoise Point, Topological large fields and their generic expansion to differential fields, Model theory and applications to geometry, Padoue, Italie, 2017.
• Françoise Point, Bézout domains and lattice valued modules, Model theory of modules, algebras and categories, Erice, Italie, 2017.
• Céline Nihoul, Droites et plans dans l'espace: apports des outils théoriques dans l'évolution d'un travail de recherche en didactique., Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH17), La Grande Motte, France, 2017.
• Céline Nihoul, Bilan et premiers résultats de recherche: les droites et les plans dans l'espace, 2017.

Popularization

• Marion Hallet, Les deux orientations de l’espace euclidien, les déplacements et les retournements de l’espace euclidien en 5ième et 6ième secondaires., 2017.
• Christophe Troestler, Stéphanie Bridoux, Optimisation — Quand les extrêmes sont les meilleurs !, 2017, Collège St Benoit, Maredsous.
• Christophe Troestler, Stéphanie Bridoux, Optimisation — Quand les extrêmes sont les meilleurs !, 2017, Collège Notre-Dame de Tournai, Tournai.
• Thomas Brihaye, Mathipulations, 2017, Exposé, Journées math-sciences à l’UMONS.
• Pierre Carlier, Marion Hallet, Quentin Hautem, Jouer n'est pas qu'un jeu, 2017, Présentation orale, Journées Math Sciences Mons.
• Christophe Troestler, Les procédures de vote sous la loupe mathématique, 2017, Collège Notre-Dame de Tournai, Tournai.
• Stéphanie Bridoux, Prisonniers des maths, 2017, Journées Math-Sciences, Mons.
• Thomas Brihaye, Mathématiques, théorie des jeux et Prix Nobel, 2017, Exposé, Congrès MATh.en.JEANS organisé à Arras (France).
• Thomas Brihaye, Quand les jeux mènent aux prix Nobel, 2017, Exposé, Collège Notre-Dame de Tournai.
• Christophe Troestler, Les procédures de vote sous la loupe mathématique, 2017, École Vallée Bailly, Braine-l'Alleud.
• Thomas Brihaye, Quand les jeux mènent au prix Nobel, 2017, Exposé, Athénée Royal de Saint Ghislain.

Presentations & posters with abstract

• Monia Mestiri, Common upper frequent hypercyclicity, Journées du GDR AFHP, Bordeaux, France, 2017.
• Monia Mestiri, U-fréquente hypercyclicité commune pour les multiples d’un opérateur, Séminaire Analyse et Géométrie, Marseille, France, 2017.
• Christophe Troestler, A computer assisted proof of the symmetry of solutions to a PDE, Computers in Scientific Discovery 8, Mons, Belgium, 2017.
• Christophe Troestler, Radial and non-radial positive solutions to a system with critical growth on ℝᴺ, First days of Nonlinear Elliptic PDE in Hauts-de-France, Valenciennes, France, 2017.
• Marion Hallet, Dynamiques sur le jeux sous forme extensive, Ecole jeunes chercheurs en Informatique mathématique, Lyon, France, 2017.

Presentations & posters without abstract

• Marion Hallet, Dynamics and Coalitions in Sequential Games, The 2nd Winter School in Engineering and Computer Science on Formal Verification, Jerusalem, Israël, 2017.
• Marion Hallet, Le concept de stabilité dans les jeux sur arbre, Séminaire Jeunes (Math-Info), Mons, Belgique, 2017.
• Pierre Carlier, Verification of Stochastic Timed Automata, Séminaire du LSV, ENS Paris-Saclay (Cachan), France, 2017.
• Quentin Menet, Invariant subspaces in Fréchet spaces, Seminario del IUMPA, Valencia, Espagne, 2017.
• Karl Grosse-Erdmann, Frequently hypercyclic bilateral shifts, Nonlinear functional analysis, Valencia, Espagne, 2017.
• Quentin Menet, Invariant subspaces in Fréchet spaces, Journées du GDR AFHP, Bordeaux, France, 2017.
• Mickaël Randour, Rich behavioral models: illustration on journey planning (invited session talk), Highlights of Logic, Games and Automata, London, England, 2017.
• Marion Hallet, Dynamics and Coalitions in Sequential Games, Méthodes formelles et vérification, UBL (Bruxelles), Belgique, 2017.
• Maja Volkov, La loi de réciprocité quadratique, Brussels Summer School of Mathematics, Bruxelles, Belgique, 2017.
• Quentin Menet, Typical properties of hypercyclic operators on Hilbert Spaces, CEDYA (Congreso de Ecuaciones Diferenciales y Aplicaciones), Logrono, Espagne, 2017.
• Céline Nihoul, Droites et plans dans l'espace: apports des outils théoriques dans l'évolution d'un travail de recherche en didactique., Journée des doctorants de l'Ecole doctorale thématique en Didactique des disciplines, Bruxelles, Belgique, 2017.
• Marion Hallet, Jouer n'est pas qu'un jeu, Filles et maths : une équation lumineuse, Jeumont, France, 2017.
• Céline Nihoul, Droites et plans dans l'espace: apports des outils théoriques dans l'évolution d'un travail de recherche en didactique., Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH17), La Grande Motte, France, 2017.
• Nicolas Grenier-Boley, Stéphanie Bridoux, Céline Nihoul, Martine De Vleeschouwer, Cécile de Hosson, Rita Khanfour-Armale, Nathalie Lebrun, Caroline Leininger-Frézal, Zoé Mesnil, Pratiques d'enseignement des enseignants-chercheurs en chimie, géographie, mathématique et physique: problématique, méthodologie, premiers résultats, Petit séminaire national, Paris, France, 2017.
• Mickaël Randour, Bounding Average-Energy Games, 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala, Sweden, 2017.
• Mickaël Randour, Bounding Average-Energy Games, MFV seminar - ULB, Brussels, Belgium, 2017.
• Quentin Brouette, Dimensions en théorie des modèles et d’autres sujets mathématiques, Séminaire Jeunes (Math-Info), Mons, Belgique, 2017.
• Mickaël Randour, Rich behavioral models: illustration on journey planning and focus on multi-constraint percentile queries in Markov decision processes (invited talk), Informatik Kolloquium - RWTH Aachen, Aachen, Germany, 2017.
• Quentin Menet, Sous-espaces invariants pour les espaces de Fréchet, Séminaire Analyse et Géométrie, Marseille, France, 2017.
• Stéphanie Bridoux, Classe inversée pour enseigner les mathématiques: une expérience en première année d'université, Séminaire interacadémique de l'école doctorale en Didactique des disciplines, Mons, Belgique, 2017.
• Nathanael Mariaule, Some remarks about the field of p-adic numbers expanded by a multiplicative subgroup, Model Theory and Applications, Mons, Belgique, 2017.
• Loïc Asius, Stéphanie Bridoux, Marie-Christine Levy, Monique Pariès, Françoise Pilorge, Aline Robert, Laurent Vivier, Table ronde sur la classe inversée pour le secondaire ou quand le prof de math est sur YouTube, Séminaire de l'IREM de Paris 7, Paris, France, 2017.

2016

Referenced Publications

• Quentin Brouette, Definable types in the theory of closed ordered differential fields, Archive for Mathematical Logic, 56 (2016), Springer.
• Stéphanie Bridoux, Christphe Hache, Nicolas Grenier-Boley, Aline Robert, Les moments d’exposition des connaissances en mathématiques, analyses et exemples, Annales de Didactique et des Sciences Cognitives, 21 (2016), pp. 187–233, IREM Paris 7.
• Quentin Menet, Alfredo Peris, Juan Bès, Yunied Puig, Recurrence properties of hypercyclic operators, Mathematische Annalen, 366 (2016), pp. 545–572, Springer.
• Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder, Real-time Synthesis is Hard!, Lecture Notes in Computer Science, (2016), Springer.
• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games, Acta Informatica, (2016), Springer.
• Quentin Menet, Frédéric Bayart, Romuald Ernst, Non-existence of frequently hypercyclic subspaces for P(D), Israel Journal of Mathematics, 214 (2016), pp. 149–166, Springer.
• Nathalie Bertrand, Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Decisive Stochastic Timed Automata, International Colloquium on Automata, Languages and Programming, Rome, Italie, 2016.
• Françoise Point, Michel Rigo, Laurent Waxweiler, Defining multiplication in some additive expansions of polynomial rings, Communications in Algebra, (2016), Taylor and Francis.
• Luc Bélair, Françoise Point, La logique des parties fractionnaires de nombres réels, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354 (2016), pp. 645–648, Elsevier Masson.
• Quentin Menet, Romuald Ernst, Stéphane Charpentier, Gamma-supercyclicity, Journal of Functional Analysis, 270 (2016), pp. 4443–4465, Elsevier.
• Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, Compositional Design of Stochastic Timed Automata, Computer Science Symposium in Russia, Saint-Pétersbourg, Russie, 2016.
• Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Quentin Menet, Composition of stochastic timed automata, Lecture Notes in Computer Science, (2016), Springer.
• Christophe Troestler, Christopher Grumiau, D. Bonheure, Multiple radial positive solutions of semilinear elliptic problems with Neumann boundary conditions, Nonlinear Analysis: Theory, Methods and Applications, (2016), pp. 236–273, Elsevier. arXiv: 1603.05610, DOI: 10.1016/j.na.2016.09.010.
• Karl Grosse-Erdmann, Fabien Heuwelyckx, The pricing of lookback options and binomial approximation, Decisions in Economics and Finance, (2016), Springer.
• Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Efficient Energy Distribution in a Smart Grid using Multi-Player Games, Cassting/SynCoP, Eindhoven, Pays-Bas, 2016.
• Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo Pérez, Mickaël Randour, Jean-François Raskin, Non-Zero Sum Games for Reactive Synthesis (invited paper), Language and Automata Theory and Applications, Prague, Czech Republic, 2016.
• Luc Bélair, Maxime Gélinas, Françoise Point, Ensembles reconnaissables de séries formelles sur un corps fini, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354 (2016), pp. 225–229, Elsevier Masson.
• Patricia Bouyer, Nicolas Markey, Mickaël Randour, Arnaud Sangnier, Daniel Stan, Reachability in Networks of Register Protocols under Stochastic Schedulers, International Colloquium on Automata, Languages and Programming, , , 2016.

Congress proceedings with peer-reviewing

• Céline Nihoul, Quelques difficultés d'étudiants universitaires à reconnaître les objets "droites" et "plans" dans l'espace: une étude de cas, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Moments d'exposition des connaissances à l'université: le cas de la notion de limite, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Stéphanie Bridoux, Introduire la notion de convergence avec une ingénierie des années 1980: rêve ou réalité didactique pour l’enseignant?, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Stéphanie Bridoux, Viviane Durand-Guerrier, Contributions and limits of a specific course on manipulation of formal statements for fresh university students, CERME 9, Prague, République Tchèque, 2016.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Viviane Durand-Guerrier, Martine De Vleeschouwer, Denise Grenier, Chantal Menini, Marc Rogalski, Pascale Sénéchaud, Fabrice Vandebrouck, Introduction aux concepts de limite de fonction et de suite en première année d'université: adaptation de deux ingénieries, EMF 2015, Alger, Algérie, 2016.
• Mickaël Randour, Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games, GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Pays-Bas, 2016.

Publications (not referenced)

• Françoise Point, On the field of transseries-construction and first-order properties., Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Allemagne, 2016.
• Françoise Point, (Un)decidable expansions of certain Euclidean rings, Definability and Decidability Problems in Number Theory, Oberwolfach, Allemagne, 2016.
• Françoise Point, Théorie des modèles 1, course notes, 2016.
• Stéphanie Bridoux, Cécile Allard, Loic Asius, Monique Chappet-Pariès, Françoise Pilorge, Aline Robert, Quand le professeur de mathématiques est sur You Tube, 2016.
• Nathalie Bertrand, Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Decisiveness and stochastic timed automata, 12th Summer School on Modelling and Verification of Parallel Processes (MOVEP'16), Gênes, Italie, 2016.
• Fabien Heuwelyckx, Lookback options with floating strike and binomial approximations, 2016.
• Karl Grosse-Erdmann, Frequently hypercyclic operators: Recent advances and open problems, Advanved courses of mathematical analysis VI, Antequera, Espagne, 2016.

Popularization

• Christophe Troestler, Les procédures de vote sous la loupe mathématique, 2016, Athénée Royal de Nivelles, Nivelles.
• Christophe Troestler, Stéphanie Bridoux, Quand les extrêmes sont les meilleurs !, 2016, Collège Saint Benoit, Maredsous.
• Thomas Brihaye, Quand les jeux mènent aux prix Nobel, 2016, Exposé JMS 2016, UMONS.
• Thomas Brihaye, Quand les jeux mènent aux prix Nobel, 2016, Exposé, Athénée Royal de Nivelles.
• Thomas Brihaye, Nicolas Boulanger, Philippe Grosjean, Tom Mens, COMPLEXYS - Research Institute for Complex Systems, 2016, Belgian Research in Belgium, .

Presentations & posters with abstract

• Françoise Point, Decidability questions for theories of modules over certain Bézout rings, BN-pair, a conference in the honor of the 60th birthdays of Alexandre Borovik and Ali Nesin, Istanbul, Turquie, 2016.
• Julie De Pril, Cécile Godfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, World Finance Conference, New York, Etats-Unis, 2016.
• Françoise Point, Alternatives for pseudofinite groups, Model theory of finite and pseudo finite structures, Leeds, Grande-Bretagne, 2016.
• Julie De Pril, Cécile Godfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, 19th International Symposium on Ethics, Business and Society, IESE Business School Barcelone, Espagne, 2016.

Presentations & posters without abstract

• Françoise Point, On the field of transseries-construction and first-order properties., Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Allemagne, 2016.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Christophe Hache, Aline Robert, Anciennes et nouvelles questions sur l'enseignement supérieur-Un exemple de recherches actuelles sur l'exposition des connaissances en cours magistral, Séminaire national de didactique des mathématiques, Paris, France, 2016.
• Karl Grosse-Erdmann, The search for linearity in linear dynamics, Infinite dimensional analysis, Kent, USA, 2016.
• Françoise Point, (Un)decidable expansions of certain Euclidean rings, Definability and Decidability Problems in Number Theory, Oberwolfach, Allemagne, 2016.
• Karl Grosse-Erdmann, Return times and associated densities in linear dynamics, Measure theory seminar, Kent State University, Kent, USA, 2016.
• Quentin Menet, Periodic points at the service of hypercyclicity, Journées du GDR AFHP, Toulouse, France, 2016.
• Mickaël Randour, Average-energy games, Highlights of Logic, Games and Automata, Bruxelles, Belgique, 2016.
• Thomas Brihaye, Decisive Stochastic Processes, Highlights of Logic, Games and Automata, Bruxelles, Belgique, 2016.
• Thomas Brihaye, About Banach-Mazur games, Journées montoises d'informatique théorique, Liège, Belgique, 2016.
• Mickaël Randour, Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games, GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Pays-Bas, 2016.
• Karl Grosse-Erdmann, Upper frequent hypercyclicity, Workshop on Dynamics of linear operators, Istanbul, Turquie, 2016.
• Karl Grosse-Erdmann, Frequently hypercyclic operators - a survey, Workshop on Dynamics of linear operators, Istanbul, Turquie, 2016.
• Quentin Menet, A rich family of weighted operators, Séminaire d’Analyse de l’Université Polytechnique de Valencia, Valencia, Espagne, 2016.
• Quentin Lambotte, Superstable expasions of (Z,+,0), Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016.
• Quentin Menet, Periodic points at the service of hypercyclicity, Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logrono, Espagne, 2016.
• Quentin Brouette, Differential Galois groups of strongly normal extensions, Second joint conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016.
• Karl Grosse-Erdmann, On upper frequent hypercyclicity, Second joint conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016.
• Julie De Pril, Cécile Godfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, Recent Advances in Social Finance, Université de Rennes I, France, 2016.
• Mickaël Randour, Reachability in Networks of Register Protocols under Stochastic Schedulers, MFV seminar - ULB, Brussels, Belgique, 2016.
• Cécile Godfroid, Julie De Pril, How to reconcile financial incentives with prosocial motivation of loan officers in microfinance?, Matinée des Chercheurs 2016, Valenciennes, France, 2016.
• Karl Grosse-Erdmann, Upper frequent hypercyclicity, Aspects of universality 2016, Würzburg, Allemagne, 2016.
• Quentin Brouette, Types définissables dans les corps ordonnés différentiellement clos., Séminaire théorie des modèles et groupes, Université Paris 7, France, 2016.
• Mickaël Randour, Planning a journey in an uncertain environment: variations on the stochastic shortest path problem, InforTech Scientific Day, Mons, Belgium, 2016.
• Céline Nihoul, Outils didactiques et méthodologie pour mieux comprendre les difficultés d'enseignement des droites et des plans dans l'espace, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2016.
• Pierre Carlier, Atteignabilité dans les automates temporisés et stochastiques, Séminaire Jeunes (Math-Info) 2016, Mons, Belgique, 2016.
• Mickaël Randour, Reachability in Networks of Register Protocols under Stochastic Schedulers (invited talk), IRISA - INRIA Rennes seminar, Rennes, France, 2016.
• Stéphanie Bridoux, Introduire la notion de convergence avec une ingénierie des années 1980: rêve ou réalité didactique pour l’enseignant?, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Céline Nihoul, Difficulties encountered by students to recognize "lines" and "planes" in space, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Quentin Lambotte, Expansions superstables du groupe des entiers, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2016.
• Nathalie Bertrand, Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Decisiveness and stochastic timed automata, Séminaire du groupe de travail Vasco-Mexico du LSV, ENS Cachan, Cachan, France, 2016.
• Cécile Godfroid, Julie De Pril, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, 7th Conference on Innovative Trends Emerging in Microfinance, Shanghai, Chine, 2016.
• Nathalie Bertrand, Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Decisiveness and stochastic timed automata, Centre Fédéré en Vérification (ULB), Bruxelles, Belgique, 2016.
• Quentin Brouette, Differential Galois theory, from Picard-Vessiot extensions to strongly normal extensions, Séminaire Logique et Analyse, Université de Gand, Belgique, 2016.
• Stéphanie Bridoux, Une expérience de pédagogie inversée, Journées communes CII Lycée et Université, Bordeaux, France, 2016.
• Mickaël Randour, Planning a journey in an uncertain environment, Modeling & Simulation Day - Energie and Complexys Institutes - UMONS, Mons, Belgium, 2016.
• Karl Grosse-Erdmann, Frequently hypercyclic operators, and related notions, Séminaire d'analyse Liège Trèves, Trier, Allemagne, 2016.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Moments d’exposition des connaissances à l’université : le cas de la notion de limite, Journée "Enseignement de l'Analyse à l'université", Paris, France, 2016.

2015

Referenced Publications

• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo Pérez, Gabriel Renault, Quantitative Games under Failures, Foundations of Software Technology and Theoretical Computer Science, Bangalore, Inde, 2015.
• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege, Simple Priced Timed Games Are Not That Simple, Foundations of Software Technology and Theoretical Computer Science, Bangalore, Inde, 2015.
• Thomas Brihaye, Axel Haddad, Quentin Menet, Simple strategies for Banach-Mazur games and sets of probability 1, Information and Computation, (2015), Elsevier.
• Quentin Menet, Juan Bès, Existence of common and upper frequently hypercyclic subspaces, Journal of Mathematical Analysis and Applications, 432 (2015), pp. 10–37, Elsevier.
• Céline Nihoul, Stéphanie Bridoux, Difficultés d'élèves à interpréter des constructions dans l'espace. Une étude de cas., Petit X, 98 (2015), pp. 53–76, Institut de Recherche sur l'Enseignement des Mathématiques.
• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games., International Conference on Concurrency Theory, Madrid, Espagne, 2015.
• Christophe Troestler, Christopher Grumiau, Marco Squassina, Asymptotic symmetries for fractional operators, Nonlinear Analysis: Real World Applications, 26 (2015), pp. 351–371, Elsevier. arXiv: 1407.4029, DOI: 10.1016/j.nonrwa.2015.06.001.
• Quentin Menet, Existence and non-existence of frequently hypercyclic subspaces for weighted shifts, Proceedings of the American Mathematical Society, 143 (2015), pp. 2469–2477, American Mathematical Society.
• Quentin Menet, Hereditarily hypercyclic subspaces, Journal of Operator Theory, 73 (2015), pp. 385–405, Academia Romana.
• Christophe Troestler, Serge Nicaise, Colette De Coster, Nodal properties of eigenfunctions of a generalized buckling problem on balls, Positivity, (2015), Birkhäuser. arXiv: 1408.6180, DOI: 10.1007/s11117-015-0331-y.
• Mickaël Randour, Variations on the Stochastic Shortest Path Problem (invited paper), International Conference on Verification, Model Checking and Abstract Interpretation, Mumbai, India, 2015.
• Patricia Bouyer, Nicolas Markey, Mickaël Randour, Kim G. Larsen, Simon Laursen, Average-energy games, International Symposium on Games, Automata, Logics and Formal Verification, , , 2015.
• Mickaël Randour, Jean-François Raskin, Ocan Sankur, Percentile Queries in Multi-Dimensional Markov Decision Processes, International Conference on Computer Aided Verification, , , 2015.
• G. Bennett, Karl Grosse-Erdmann, Some pretty simple inequalities I, Positivity, 19 (2015), pp. 251–288, Birkhäuser.
• Krishnendu Chatterjee, Laurent Doyen, Mickaël Randour, Jean-François Raskin, Looking at Mean-Payoff and Total-Payoff through Windows, Information and Computation, 242 (2015), pp. 25–52, Elsevier.

Congress proceedings with peer-reviewing

• Viviane Durand-Guerrier, Stéphanie Bridoux, Contributions and limits of a specific course on manipulation of formal statements for fresh university students, CERME 9, Prague, République Tchèque, 2015.

Publications (not referenced)

• Céline Nihoul, Difficultés d'étudiants universitaires à reconnaître les objets "droites" et "plans" dans l'espace, 2015.
• Morgane Estiévenart, Verification and synthesis of MITL through alternating timed automata, 2015.
• Monique Chappet-Pariès, Stéphanie Bridoux, Nicolas Grenier-Boley, Christophe Hache, Aline Robert, Les moments d'exposition des connaissances en mathématiques, 2015.
• Céline Nihoul, Difficultés d'étudiants universitaires dans la conceptualisation des équations de droites et de plans dans l'espace, Séminaire WEJCH 2015, Mons, Belgique, 2015.
• Quentin Brouette, Françoise Point, Differential Galois theory in the class of formally real fields, Logic Colloquium, Vienne, Autriche, 2015.
• Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, Composition of stochastic timed automata, Frontiers of Formal Methods, Aachen, Allemagne, 2015.

Popularization

• Thomas Brihaye, Quand les jeux mènent aux prix Nobel, 2015.
• Christian Du Brulle, Quentin Menet, Après le doctorat, place au postdoctorat, 2015, Journal en ligne, Daily Science.
• Thomas Brihaye, Thomas Brihaye, professeur d’analyse à Mons et à... Port-au-Prince !, 2015, Daily Science, .
• Thomas Brihaye, Les ordinateurs quantiques, quelles conséquences pour la complexité algorithmique ?, 2015.

Presentations & posters with abstract

• Julie De Pril, Cécile Godfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, 5th European Reward Management Conference, Bruxelles, Belgique, 2015.
• Christophe Troestler, On positive solutions to the Lane-Emden problem with Neumann boundary conditions, Séminaire ANEDP - Analyse non linéaire et EDP, Bruxelles, Belgique, 2015.
• Christophe Troestler, Amir Chaudhry, Tools to explore the OPAM Community, OCaml 2015, Vancouver, Canada, 2015.
• Christophe Troestler, Colette De Coster, Serge Nicaise, Nodal properties of eigenfunctions of a generalized buckling problem on balls, 8ème édition de la Matinée des Chercheurs 2015 (MdC2015), Mons, Belgique, 2015.

Presentations & posters without abstract

• Karl Grosse-Erdmann, Upper frequent hypercyclicity, and related notions, Journées du GdR "Analyse fonctionnelle et harmonique et probabilités", Marseille, France, 2015.
• Quentin Menet, Linear Chaos and Frequent Hypercyclicity, Operator Algebra Seminar, Leuven, Belgique, 2015.
• Thomas Brihaye, A brief introduction to evolutionnary game theory, Sixth Cassting meeting, Cachan, France, 2015.
• Quentin Brouette, Stellensätze in closed ordered differential fields, Structures algébriques ordonnées et leurs interactions, Luminy, France, 2015.
• Karl Grosse-Erdmann, Upper frequently hypercyclic operators, Frontières de la dynamique linéaire, Marseille, France, 2015.
• Quentin Menet, Linear Chaos and Frequent Hypercyclicity, Frontiers of Operator Dynamics, CIRM (Luminy), France, 2015.
• Mickaël Randour, Percentile Queries in Multi-Dimensional Markov Decision Processes, Highlights of Logic, Games and Automata, Prague, Czech Republic, 2015.
• Mickaël Randour, Synthesis in Multi-Criteria Quantitative Games (invited talk - Ackermann Award lecture), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Allemagne, 2015.
• Fabien Heuwelyckx, Lookback Options in the Binomial Model, 7th General AMaMeF and Swissquote Conference, Lausanne, Suisse, 2015.
• Quentin Menet, Linear dynamical systems, 3rd Heidelberg Laureate Forum, Heidelberg, Allemagne, 2015.
• Mickaël Randour, Percentile Queries in Multi-Dimensional Markov Decision Processes, 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, USA, 2015.
• Quentin Menet, Linear Chaos and Frequent Hypercyclicity, Workshop Functional Analysis Valencia, Valencia, Espagne, 2015.
• Karl Grosse-Erdmann, Upper-frequently hypercyclic operators, Workshop on functional analysis Valencia 2015, Valencia, Espagne, 2015.
• Mickaël Randour, Average-energy games, Annual seminar of the LSV, Dourdan, France, 2015.
• Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, Compositional Design of Stochastic Timed Automata, Annual seminar of the LSV, Dourdan, France, 2015.
• Quentin Menet, Different notions of hypercyclicity and hypercyclic subspaces, Recent Trends in Operator Theory and Function Theory, Lille, France, 2015.
• Mickaël Randour, Percentile Queries in Multi-Dimensional Markov Decision Processes (invited talk), LACL seminar - UPEC, Créteil, France, 2015.
• Karl Grosse-Erdmann, Upper-frequently hypercyclic operators, Universal functions 2015, Heraklion, Grèce, 2015.
• Mickaël Randour, Average-energy games, FIfth CASSTING meeting, Brussels, Belgium, 2015.
• Céline Nihoul, Difficultés d'étudiants universitaires dans la conceptualisation des équations de droites et de plans dans l'espace., Séminaire WEJCH 2015, Mons, Belgique, 2015.
• Mickaël Randour, Planning a journey in an uncertain environment: variations on the stochastic shortest path problem, EDT Complex Meeting - UNamur, Namur, Belgium, 2015.
• Thomas Brihaye, About Banach-Mazur games, AutoMathA 2015 : Jewels of Automata : from Mathematics to Applications, Leipzig, Allemagne, 2015.
• Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, Compositional Design of Stochastic Timed Automata, Méthodes formelles et Vérification, Bruxelles (ULB), Belgique, 2015.
• Maja Volkov, Variétés abéliennes supersingulières à module de Tate non semisimple, Arithmétique en Plat Pays, Lille, France, 2015.
• Quentin Menet, Propriétés de récurrence des opérateurs hypercycliques, Séminaire d'Analyse Fonctionnelle, Lille, France, 2015.
• Mickaël Randour, Average-energy games, ERC Workshop in Verification, Vienne, Autriche, 2015.
• Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, Composition of stochastic timed automata, ERC Workshop in Verification, Vienne, Autriche, 2015.
• Fabien Heuwelyckx, Les arbres et les options lookback, 8ème édition de la Matinée des Chercheurs 2015 (MdC2015), Mons, Belgique, 2015.
• Mickaël Randour, Games with Window Quantitative Objectives, Frontiers of Formal Methods (FFM 2015), Aachen, Germany, 2015.
• Quentin Menet, Linear Chaos and Frequent Hypercyclicity, Analysis Seminar, Houston, US-TX, 2015.
• Quentin Menet, Linear Chaos and Frequent Hypercyclicity, Linear Analysis Seminar, College Station, USA, 2015.
• Viviane Durand-Guerrier, Stéphanie Bridoux, Contributions and limits of a specific course on manipulation of formal statements for fresh university students, CERME 9, Prague, République Tchèque, 2015.
• Mickaël Randour, Percentile Queries in Multi-Dimensional Markov Decision Processes, Dagstuhl Seminar, "Non-Zero-Sum-Games and Control", Wadern, Allemagne, 2015.
• Quentin Menet, Hypercyclic subspaces, Banach Spaces Seminar, College Station, USA, 2015.
• Mickaël Randour, Percentile Queries in Multi-Dimensional Markov Decision Processes, CFV seminar, Brussels, Belgium, 2015.
• Quentin Menet, Chaos linéaire et fréquente hypercyclicité, Séminaire d'analyse et géométrie, Marseille, France, 2015.

2014

Referenced Publications

• Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski, Stochastic Timed Automata, Logical Methods in Computer Science, (2014), Technischen Universitat Braunschweig.
• Stéphane Charpentier, Quentin Menet, Augustin Mouze, Closed universal subspaces of spaces of infinitely differentiable functions, Annales de l'Institut Fourier, 64 (2014), pp. 297–325, Association des Annales de l'Institut Fourier.
• Julie De Pril, János Flesch, Jeroen Kuipers, Gijs Schoenmakers, Koos Vrieze, Existence of Secure Equilibrium in Multi-Player Games with Perfect Information, Lecture Notes in Computer Science, 8635 (2014), pp. 213–225, Springer.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and Alternating Timed Automata over Infinite Words, Lecture Notes in Computer Science, (2014), Springer.
• Arnaud Carayol, Axel Haddad, Olivier Serre, Randomization in Automata on Infinite Trees, ACM Transactions on Computational Logic, 15 (2014), pp. 1–33, Association for Computing Machinery (ACM). DOI: 10.1145/2629336.
• Nathalie Bertrand, Thomas Brihaye, Blaine Genest, Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata, Lecture Notes in Computer Science, (2014), Springer.
• Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi, Adding negative prices to priced timed games, Lecture Notes in Computer Science, (2014), Springer.
• Fabien Heuwelyckx, Convergence of European Lookback Options with Floating Strike in the Binomial Model, International Journal of Theoretical and Applied Finance, (2014), World Scientific Publishing.
• Quentin Menet, Hypercyclic subspaces and weighted shifts, Advances in Mathematics, 255 (2014), pp. 305–337, Elsevier.
• Christopher Grumiau, Christophe Troestler, Convergence of a mountain pass type algorithm for strongly indefinite problems and systems, Electronic Journal of Differential Equations, Conference 21 (2014), pp. 129–147, Texas State University - San Marcos. arXiv: 1301.1456.

Publications (not referenced)

• Stéphanie Bridoux, La transition secondaire-université dans les cours de mathématiques: une expérience à l'UMONS, Congrès AIPU 2014, Pédagogie universitaire : entre enseignement et recherche, Mons, Belgique, 2014.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and alternating timed automata over infinite words, 2014.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On alternating timed automata for MITL, Journées montoises d'informatique théorique, Nancy, France, 2014.
• Julie De Pril, Equilibria in Multiplayer Cost Games, Dagstuhl Seminar: ”Quantitative Models: Expressiveness, Analysis, and New Applications”, Dagstuhl, Germany, 2014.
• Stéphanie Bridoux, La transition secondaire-université: une expérience en Belgique, Repères: Revue des Instituts de Recherche sur l'Enseignement des Mathématiques, (2014), Topiques.
• Stéphanie Bridoux, Enseignement des premières notions de topologie à l'université - Une étude de cas, Actes du séminaire national de didactiques des mathématiques, (2014).

Popularization

• Thomas Brihaye, Mathématiques, théorie des jeux et prix Nobel, 2014, Exposé, CREM (Nivelles).
• Thomas Brihaye, Mathématiques : quand les jeux mènent aux prix Nobel, 2014, Exposé, Collège Notre-Dame (Tournai).
• Thomas Brihaye, Applications de la théorie des jeux en informatique, 2014, Exposé, Académie royale des sciences, des lettres et des beaux-arts de Belgique.
• Stéphanie Bridoux, Christophe Troestler, Optimisation: quand les extrêmes sont les meilleurs, 2014, JMS, UMONS.
• Stéphanie Bridoux, Christophe Troestler, Optimisation: quand les extrêmes sont les meilleurs, 2014, JMS, UMONS.
• Aaron Bohy, Pierre Carlier, Julie De Pril, Youssouf Oualhadj, Mickaël Randour, Jouer n'est pas qu'un jeu !, 2014, Atelier, Journées Maths-Sciences, Mons.
• Christophe Troestler, Stéphanie Bridoux, Optimisation — quand les extrêmes sont les meilleurs, 2014, Institut Sainte-Marie, La Louvière.
• Thomas Brihaye, Mathématiques, théorie des jeux et prix Nobel, 2014, Exposé, Université du Luxembourg.
• Thomas Brihaye, Quand les jeux mènent aux prix Nobel, 2014, Exposé, Institut Sainte Marie (La Louvière).
• Stéphanie Bridoux, Manuel Couvreur, Valérie Henry, Marie-Noëlle Hindryckx, Jean-Louis Jadoulle, Francesco Lo Bue, Cécile Moucheron, François Reniers, Marc Romainville, Xavier Simon, Germain Simons, Didier Villers, Ghislaine Viré, N’importe qui pourra-t-il enseigner n’importe quoi à nos enfants ?, 2014, Le Soir, Bruxelles.

Presentations & posters with abstract

• Julie De Pril, Existence of Secure Equilibrium in Multi-Player Games with Perfect Information, Mathematical Foundations of Computer Science 2014 - 39th International Symposium (MFCS 2014), Budapest, Hungary, 2014.
• Ashish Agarwal, Sebastien Mondet, Philippe Veber, Christophe Troestler, Biocaml: The OCaml Bioinformatics Library, Bioinformatics Open Source Conference (BOSC 2014), Boston, US-MA, 2014.
• Christophe Troestler, Solutions positives de l'équation de Lane-Emden avec conditions au bord de Neumann, Séminaire du LAMAV, Valenciennes, France, 2014.
• Julie De Pril, Equilibria in Multiplayer Cost Games, Dagstuhl Seminar: ”Quantitative Models: Expressiveness, Analysis, and New Applications”, Dagstuhl, Germany, 2014.

Presentations & posters without abstract

• Mickaël Randour, Planning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem Revisited (invited talk), LIF seminar - MOVE research group, Marseille, France, 2014.
• Quentin Menet, Chaos linéaire et fréquente hypercyclicité, Séminaire d'Initiation à l'Analyse, Paris, France, 2014.
• Quentin Menet, Linear Chaos and Frequent Hypercyclicity, Istanbul Analysis Seminars, Istanbul, Turquie, 2014.
• Stéphanie Bridoux, Difficultés d'étudiants universitaires dans la conceptualisation des équations de plans dans l'espace., Journée d'étude "Espace & Abstraction", Mons, Belgique, 2014.
• Stéphanie Bridoux, Céline Nihoul, Difficultés d’étudiants universitaires dans la conceptualisation des équations de plans dans l’espace, journée nationale de l’ADMEE ≪ Espace et abstraction : Evaluer les compétences complexes de la maternelle à l’université ≫, Mons, Belgique, 2014.
• Quentin Menet, Chaos linéaire et fréquente hypercyclicité, Journées du Gdr AFHP, Lille, France, 2014.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On alternating timed automata for MITL, Journées montoises d'informatique théorique, Nancy, France, 2014.
• Karl Grosse-Erdmann, On frequently hypercyclic operators, VI International Course of Mathematical Analysis in Andalucía, Antequeras, Málaga, Espagne, 2014.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and alternating timed automata over infinite words, FORMATS - Formal Modelling and Analysis of Timed Systems, Florence, Italy, 2014.
• Quentin Menet, Existence of common hypercyclic subspaces, IWOTA, Amsterdam, Pays-Bas, 2014.
• Quentin Menet, Existence of frequently hypercyclic subspaces,, FNRS Group - Functional Analysis, Esneux, Belgique, 2014.
• Stéphanie Bridoux, Viviane Durand-Guerrier, Les suites, un objet typique de la transition secondaire-université, Commission Inter IREM Université, Rennes, France, 2014.
• Karl Grosse-Erdmann, Some pretty simple inequalities, 7th Conference on Function spaces, Edwardsville, US-IL, 2014.
• Thomas Brihaye, Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata, Troisième réunion Cassting, Bruxelles, Belgique, 2014.
• Quentin Menet, Shifts à poids sur lp et sous-espaces fréquemment hypercycliques, Journées Cortenaises d’Analyse Mathématiques, Corte, France, 2014.
• Quentin Menet, Existence de sous-espaces fréquemment hypercycliques, Séminaire d'Initiation à l'Analyse, Paris, France, 2014.
• Thomas Brihaye, Banach-Mazur games and fairly correct systems, Réunion du NCM – Comité National de Mathématique, Mons, Belgique, 2014.
• Stéphanie Bridoux, Difficultés des étudiants de L1 dans des tâches de manipulation des définitions, Groupe de travail Didactique et épistémologie des mathématiques du supérieur, Montpellier, France, 2014.
• Stéphanie Bridoux, La complexité des tâches de manipulation des définitions: le cas des notions de topologie, Séminaire de Didactique et épistémologie des mathématiques, Montpellier, France, 2014.
• Karl Grosse-Erdmann, Un principe d'extrapolation dans la théorie des inégalités, Séminaire d'analyse fonctionnelle, Lille, France, 2014.
• Thomas Brihaye, Multiplayer cost games with simple Nash equilibria, Réunion annuelle du GT jeux du GDR-IM, Paris, France, 2014.
• Quentin Brouette, Differential Galois Theory and Real Fields, British Postgraduate Model Theory 2014 (BPGMT2014), Leeds, Grande-Bretagne, 2014.

2013

Referenced Publications

• Quentin Menet, Hypercyclic Subspaces on Fréchet Spaces Without Continuous Norm, Integral Equations and Operator Theory, 77 (2013), pp. 489–520, Birkhauser Verlag.
• Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell, Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points, Lecture Notes in Computer Science, (2013), Springer.
• Thomas Brihaye, Quentin Menet, Simple strategies for Banach-Mazur games and fairly correct systems, International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Italie, 2013.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and alternating timed automata, Lecture Notes in Computer Science, (2013), pp. 47–61, Springer.
• Christopher Grumiau, Marco Squassina, Christophe Troestler, On the Mountain-pass algorithm for the quasi-linear Schrodinger equation, Discrete and Continuous Dynamical Systems, 18 (2013), pp. 1345–1360, Dept. of Mathematics, Southwest Missouri State University. arXiv: 1205.0517, DOI: 10.3934/dcdsb.2013.18.1345.
• Sonia L'Innocente, Françoise Point, Carlo Toffalori, On the model theory of the logarithmic function in compact Lie groups, Journal of Algebra and Its Applications, 12 (2013), pp. 1350055–1/1350055–22, World Scientific. DOI: 10.1142/S0219498813500552.
• Quentin Brouette, A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Mathematical Logic Quarterly, (2013), John Wiley & Sons.
• Françoise Point, Abderezak OuldHoucine, Alternatives for pseudofinite groups, Journal of Group Theory, 16 (2013), pp. 461–495, Walter de Gruyter. DOI: 10.1515/jgt-2013-0006.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert, On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games, Logical Methods in Computer Science, 9 (2013), Technischen Universitat Braunschweig.
• Thomas Brihaye, Julie De Pril, Sven Schewe, Multiplayer Cost Games with Simple Nash Equilibria, Lecture Notes in Computer Science, 7734 (2013), pp. 59–73, Springer.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, On Equilibria in Quantitative Games with Reachability/Safety Objectives, Theory of Computing Systems, 54 (2013), pp. 150–189, Springer. DOI: 10.1007/s00224-013-9495-7.
• Karl Grosse-Erdmann, Sung Guen Kim, Bihypercyclic bilinear mappings, Journal of Mathematical Analysis and Applications, 399 (2013), pp. 701–708, Elsevier.
• Véronique Bruyère, Marc Ducobu, Olivier Gauwin, Visibly Pushdown Automata: Universality and Inclusion via Antichains, Language and Automata Theory and Applications, Bilbao, Espagne, 2013.
• Massimo Grossi, Christopher Grumiau, Filomena Pacella, Lane Emden problems with large exponents and singular Liouville equations, Journal de Mathématiques Pures et Appliquées, (2013), Elsevier.
• Christopher Grumiau, Nonlinear Schrödinger problems: symmetries of some variational solutions, NoDEA. Nonlinear Differential Equations and Applications, 20 (2013), pp. 511–521, Birkhauser Verlag. DOI: 10.1007/s00030-012-0163-4.
• Massimo Grossi, Christopher Grumiau, Filomena Pacella, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, Annales de L'Institut Henri Poincaré. Analyse Non Linéaire, 30 (2013), pp. 121–140, Elsevier. DOI: 10.1016/j.anihpc.2012.06.005.

Congress proceedings with peer-reviewing

• Axel Haddad, Model Checking and Functional Program Transformations, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, Guwahati, Inde, 2013. DOI: 10.1109/LICS.2011.28.

Publications (not referenced)

• Axel Haddad, Shape-Preserving Transformations of Higher-Order Recursion Schemes, 2013.
• Bertrand Desmons, Mathematical study of wrinkling shapes of thin membranes, 2013.
• Quentin Menet, Existence and non-existence of hypercyclic subspaces, 2013.
• Marc Ducobu, Antichains for QBF evaluation and VPA decision problems, 2013.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and alternating timed automata, 2013.
• Julie De Pril, Equilibria in Multiplayer Cost Games, 2013, UMONS.
• Christophe Troestler, oasis2opam, software, 2013.
• Stéphanie Bridoux, Mélanie Deronne, Compétences: la parole aux enseignants, Losanges, (2013), Société Belge des Professeurs de Mathématiques d'Expression Française (SBPMef).

Popularization

• Thomas Brihaye, Quentin Menet, Topology, probability, games and verification, 2013, Notes de la cinquième BSSM, .
• Thomas Brihaye, Mathématiques: quand les jeux mènent aux prix Nobel, 2013.
• Thomas Brihaye, Quand les jeux mènent au prix Nobel, 2013.
• Christopher Grumiau, Les dérivées dans le monde du sport, 2013, Institut Saint-Laurent, Marche-en-Famenne.
• Christophe Troestler, Stéphanie Bridoux, Maths en rue: Quiz Mathématique, 2013, Math en Rue, Bruxelles.
• Christophe Troestler, Stéphanie Bridoux, Optimisation — quand les extrêmes sont les meilleurs, 2013, Athénée Royal Vauban, Charleroi.
• Christophe Troestler, Stéphanie Bridoux, La théorie des graphes au secours des géographes, 2013, Printemps des Sciences, UMONS.
• Christophe Troestler, Stéphanie Bridoux, Optimisation — quand les extrêmes sont les meilleurs, 2013, Centre Scolaire Ma Campagne, Ixelles.
• Christopher Grumiau, Les dérivées dans le monde du sport, 2013, invitation Ecole secondaire, Athenée de Nivelles.

Presentations & posters with abstract

• Fabien Heuwelyckx, Lookback options in the binomial model, Nord-Pas de Calais/ Belgium Congress of Mathematics, Valenciennes, France, 2013.
• Fabien Heuwelyckx, On the Convergence of European Options in the Binomial Model, PhD-Day (BMS), Bruxelles, Belgique, 2013.
• Christophe Troestler, Multiplicity and symmetry of positive solutions to semi-linear elliptic problems with Neumann boundary conditions, International Workshop on Variational Problems and PDE's, São Paulo, Brazil, 2013.
• Fabien Heuwelyckx, On the Convergence of European Lookback Options with Floating Strike in the Binomial Model, Advances in Mathematics of Finance - 6th General AMaMeF and Banach Center Conference, Varsovie, Pologne, 2013.
• Christophe Troestler, Multiplicité et symétrie des solutions positives de problèmes semilinéaires elliptiques avec conditions au bord de Neumann, Séminaire A³, Amiens, France, 2013.
• Christopher Grumiau, Convergence of MPA for indefinite problems, systems and quasi-linear problems, P(n)-seminar, Rome, Italy, 2013.

Presentations & posters without abstract

• Stéphanie Bridoux, La formation initiale à l'université - Quelques spécificités proposées à l'UMONS, Colloque des mathématiques, Liège, Belgique, 2013.
• Quentin Menet, Hypercyclic subspaces, Nord Pas de Calais / Belgium Congress of Mathematics, Mons, Belgique, 2013.
• Quentin Menet, Banach-Mazur games, Nord Pas de Calais / Belgium Congress of Mathematics, Valenciennes, France, 2013.
• Thomas Brihaye, Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points, ATVA - International Symposium on Automated Technology for Verification and Analysis, Hanoï, Vietnam, 2013.
• Quentin Menet, Shifts à poids sur lp et sous-espaces fréquemment hypercycliques, Séminaire d'analyse et géométrie, Marseille, France, 2013.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and alternating timed automata, Second Cassting Meeting, Aalborg, Danemark, 2013.
• Marc Ducobu, Right-Universality of Visibly Pushdown Automata, Runtime Verification, Rennes, France, 2013.
• Thomas Brihaye, Simple strategies for Banach-Mazur games and fairly correct systems, Highlights of Logic, Games and Automata, Paris, France, 2013.
• Thomas Brihaye, On the decidability of priced timed games, Highlights of Logic, Games and Automata, Paris, France, 2013.
• Quentin Menet, Simple strategies for Banach-Mazur games and fairly correct systems, Fourth International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Italie, 2013.
• Cédric Rivière, Thomas Brihaye, Introduction à la théorie des jeux, Ville numérique et agriculture bio-high-tech, Paris, Cité des Sciences, France, 2013.
• Quentin Brouette, Differential Galois theory and formally real fields, Oberseminar Modelltheorie, Universität Konstanz, Allemagne, 2013.
• Quentin Brouette, Stellensätze in closed ordered differential fields, Oberseminar Reelle Geometrie und Algebra, Universität Konstanz, Allemagne, 2013.
• Quentin Menet, Hypercyclic subspaces on Fréchet spaces without continuous norm, Operators on Banach spaces: Banach space Meeting 2013, Castro Urdiales, Espagne, 2013.
• Karl Grosse-Erdmann, Sums of powers vs. powers of sums, Workshop Functional Analysis, Valencia, Espagne, 2013.
• Stéphanie Bridoux, Mélanie Deronne, L'approche par compétences dans l'enseignement des mathématiques: un état des lieux en Belgique avant une nouvelle réforme des programmes, Séminaire du Laboratoire de Didactique André Revuz, Paris, France, 2013.
• Morgane Estievenart, Thomas Brihaye, Gilles Geeraerts, On MITL and alternating timed automata, Méthodes Formelles et Vérification, Bruxelles, Belgique, 2013.
• Stéphanie Bridoux, Des dispositifs pour mieux accueillir les étudiants à l'université, La réforme des programmes de lycée: et alors?, Lyon, France, 2013.
• Quentin Menet, Hypercyclic subspaces for weighted shifts, Measure Theory Seminar, Kent, USA, 2013.
• Quentin Menet, Hypercyclic subspaces in Fréchet spaces without continuous norm, Measure Theory Seminar, Kent, USA, 2013.
• Quentin Menet, Dynamical systems and hypercyclic operators, Colloquium (Department of mathematical sciences), Kent, USA, 2013.
• Quentin Menet, Hypercyclic subspaces on Fréchet spaces, Analysis Seminar, Bowling Green, USA, 2013.
• Quentin Menet, Hypercyclic subspaces, Analysis Seminar, Bowling Green, USA, 2013.
• Marc Ducobu, Visibly Pushdown Automata: Universality and Inclusion via Antichains, 7th International Conference on Language and Automata Theory and Applications (LATA 2013), Bilbao, Espagne, 2013.
• Stéphanie Bridoux, La transition secondaire/supérieur: la parole aux acteurs de terrain, Journée des Préfets et des Directeurs d'écoles, Mons, Belgique, 2013.
• Stéphanie Bridoux, Enseignement des premières notions de topologie à l'université - Une étude de cas, Séminaire national de didactique des mathématiques, Paris, France, 2013.
• Fabien Heuwelyckx, Options Lookbacks dans le Modèle Binomial, Matinée des chercheurs (MDC 2013), Mons, Belgique, 2013.
• Fabien Heuwelyckx, Le modèle discret pour évaluer les options lookback, Séminaires pour jeunes doctorants; Faculté des Sciences de l'UMons, Mons, Belgique, 2013.
• Julie De Pril, Multiplayer Cost Games with Simple Nash Equilibria, Symposium on Logical Foundations of Computer Science (LFCS 2013), San Diego, US-CA, 2013.

2012

Referenced Publications

• Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet, Almost-Sure Model-Checking of Reactive Timed Automata., Proceedings IEEE Computer Society Bioinformatics Conference, QEST 2012 (2012), pp. 138–147.
• Nicolas Guzy, Françoise Point, Topological differential fields and dimension functions, Journal of Symbolic Logic, 77 (2012), pp. 1147–1164, Cambridge University Press. DOI: 10.2178/jsl.7704050.
• A. Bonilla, Karl Grosse-Erdmann, Frequently hypercyclic subspaces, Monatshefte für Mathematik, 168 (2012), pp. 305–320, Springer.
• Catherine Finet, A generalization of the Riesz–Fischer theorem and linear summability methods, Journal of Approximation Theory, 164 (2012), pp. 841–853, Elsevier.
• Luc Bélair, Françoise Point, Corrigendum to: Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 77 (2012), pp. 727–728, Cambridge University Press.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert, Subgame Perfection for Equilibria in Quantitative Reachability Games., Foundations of Software Science and Computation Structure, Tallinn, Estonie, 2012.
• Paul Van Praag, 2. compte rendu de l’ ouvrage : d’Udekem-Gevers (Marie) ,La machine Mathématique (1946-1962) ,Académie royale de Belgique, Mémoire de la Cl. Des Sc., 3e série.,33, n° 2073, 2011, Revue Belge de Philologie et d'Histoire, t.90 (2012), Fondation universitaire.
• Christophe Troestler, Nicolas Tacheny, A mountain pass algorithm with projector, Journal of Computational and Applied Mathematics, 236 (2012), pp. 2025–2036, Elsevier. DOI: 10.1016/j.cam.2011.11.011.

Congress proceedings with peer-reviewing

• Stéphanie Bridoux, Notions de topologie: élaboration de leviers didactiques à intégrer dans un enseignement pour favoriser les apprentissages des étudiants, EMF 2012, Genève, Suisse, 2012.
• Axel Haddad, IO vs OI in Higher-Order Recursion Schemes, 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonie, 2012. DOI: 10.4204/EPTCS.77.4.

Publications (not referenced)

• Françoise Point, Cours "Théorie des modèles 1" (Cours du trimestre automne 2012), course notes, 2012.
• Christophe Troestler, Delimited Overloading, software, 2012.
• Thomas Brihaye, Portrait de chercheur -- Thomas Brihaye, 2012.
• Christophe Troestler, Bertrand Desmons, Fabian Pijcke, Pierre Hauweele, Archimedes: a scientific 2D plotting library, software, 2012.
• Christophe Troestler, Mesh: a collection of algorithms to build and manipulate triangular meshes, software, 2012.
• Quentin Brouette, A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Logic Colloquium 2012, Manchester, UK, 2012.
• Céline Denayst, Identification des peptides au moyen des modèles de Markov cachés, Master thesis, 2012, UMONS.
• Véronique Bruyère, Marc Ducobu, Olivier Gauwin, Visibly pushdown automata on trees: universality and u-universality, 2012.
• Christophe Troestler, L-BFGS: a binding to the code by J. Nocedal giving a quasi-Newton method for the optimization of functions of many variables, software, 2012.
• Christophe Troestler, Odepack: an OCaml interface to the celebrated collection of code to numerically solve systems of ordinary differential equations, software, 2012.

Popularization

• Thomas Brihaye, Trains, sécurité, math et jeux, 2012.
• Stéphanie Bridoux, Christophe Troestler, Optimisation — quand les extrêmes sont les meilleurs, 2012, Institut Saint-Laurent, Marche-en-Famenne.
• Thomas Brihaye, Retour vers le futur, à toi de jouer!, 2012.
• Stéphanie Bridoux, Christophe Troestler, Quiz Mathématique, 2012, Printemps des Sciences, UMONS, Mons.
• Thomas Brihaye, Trains, sécurité, math et jeux, 2012.

Book chapters

• Paul Van Praag, Un pionnier en histoire des mathématiques : le Père Henri Bosmans sj (1852-1928), 2012, KADOC-Prosopon.

Presentations & posters with abstract

• Christophe Troestler, Multiplicity and symmetry of positive solutions to semi-linear elliptic problems with Neumann boundary conditions, Variational and Topological problems, Flagstaff, USA, 2012.
• Christopher Grumiau, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, Variational and Topological problems, Flagstaff, USA, 2012.
• Bertrand Desmons, Wrinkling of thin membranes laying on fluid substrates under small compression, Spring School in Nonlinear Partial Differential Equations, Brussels, Belgium, 2012.
• Christopher Grumiau, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, Spring School in Nonlinear Partial Differential Equations, Brussels, Belgium, 2012.