2017


Retour à la vue des calendrier
Mardi 7 Novembre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Combinatorial physics. TBC
Description: Joseph Ben Geloun
Mercredi 8 Novembre
Heure: 15:00 - 16:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Formal language theory beyond trees and forests
Description: Tobias Heindel The talk presents the theorems of Myhill-Nerode and Chomsky-Schützenberger, replacing trees and words by rewriting diagrams of semi-Thue systems, which are the paradigm example of planar acyclic circuit diagrams (PLACIDs)---the “graphical syntax” of monoidal categories. The talk will focus on the proposal of a definition of recognizable language in monoidal categories, namely sets of arrows that coincide with the inverse image of their direct image under a monoidal functor to a finite monoidal category. For the case of PLACIDs, this class of languages is shown to coincide with the languages of automata in the sense of Bossut, under modest assumptions on gates of circuit diagrams; moreover, the usual notion of recognizable tree language is recovered. The talk presents the Myhill-Nerode theorem as a tool for solving Bossut's open problem of automata complementation. The remainder of the talk describes work in progress and future work, in particular the Chomsky-Schützenberger theorem for PLACIDs.
Mardi 14 Novembre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Tilings. TBA
Description: Michaël Rao
Heure: 15:45 - 18:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: False Beliefs in mathematics
Description: thé combinatoire
Jeudi 16 Novembre
Heure: 10:00 - 11:00
Lieu: Salle A303 ? , Université de Villetaneuse
Résumé: [Réunion] réunion d'équipe Axe LO
Description: Stefano Guerrini Réunion
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Réseaux de preuve pour MLL+Mix et algorithmes sur les graphes arêtes-coloriés
Description: Nguy?n Lê Thành D?ng Le critère de correction de Danos-Regnier mène à poser le problème
d'algorithmique des graphes suivant : étant donné un graphe apparié,
trouver un cycle (ou un chemin) passant au plus une fois par chaque
paire. Ce problème a été traité en théorie des graphes sous la forme
plus générale de graphes munis d'une coloration sur leurs arêtes
("edge-colored graphs") ; la solution fait intervenir une réduction aux
couplages parfaits et rejoint donc le travail de C. Retoré sur les
"handsome proof-nets".
Partant de cela, on obtient facilement d'une part un critère de
correction pour MLL+Mix en temps linéaire, et d'autre part que le
problème de correction des réseaux MLL+Mix est probablement plus
difficile que celui pour MLL sans la règle Mix (qui est NL-complet). Ce
dernier résultat explique que la littérature sur les critères de
correction pour MLL+Mix soit plus maigre que celle pour MLL.
Nous verrons également d'autres conséquences de ces liens entre logique
linéaire et théorie des graphes, notamment en lien avec le graphe de
dépendances d'un réseau introduit par Bagnol, Doumane et Saurin.
Vendredi 17 Novembre
Heure: 14:15 - 16:30
Lieu: amphi Copernic, Université de Villetaneuse
Résumé: [soutenance] Polyadic Approximations in Logic and Computation
Description: Damiano Mazza
Lundi 20 Novembre
Heure: 15:00 - 16:00
Lieu: Salle A303, bâtiment A, campus de Villetaneuse
Résumé: Séminaire SV : Fadwa Rekik
Description: Fadwa Rekik L’architecture orientée service (SOA) est un paradigme qui offre des mécanismes permettant une grande flexibilité des architectures des systèmes logiciels tout en réduisant leurs coûts de développement puisqu’elle se base sur des entités modulaires et réutilisables appelées services. Ces services peuvent être réutilisés dans le cadre d’une composition ou d’une chorégraphie de services pour la construction de nouveaux processus métiers transverses. De son côté, le paradigme de l’Ingénierie Dirigé par les Modèles (IDM) offre au travers de ses deux principes fondateurs, l’abstraction et l’automatisation, deux moyens puissants de gestion de la complexité sans cesse croissante des systèmes. Combiner les deux paradigmes et concevoir ainsi une approche de type SOA dirigée par les modèles semble une piste prometteuse. Cependant, malgré les progrès de l’application des principes de l’IDM la spécification et le développement des applications SOA, plusieurs problèmes restent à résoudre. Un de ces problèmes est d’effectuer une vérification rigoureuse des modèles de spécification des applications orientées services. Ces modèles sont généralement composés de plusieurs vues sémantiquement liées les unes aux autres. Un deuxième problème est la transformation de ces modèles de spécification en code exécutable. En particulier, les chorégraphies de service doivent être transformées en orchestrations exécutables tout en préservant la sémantique des scénarios de haut niveau décrits par ces chorégraphies et en tenant compte des aspects critiques inhérents aux systèmes distribués tels que l’asynchronisme. La vérification de l'exécution est aussi nécessaire afin de détecter les comportements erronés lors de l’exécution. Pour relever ces défis, nous proposons une approche SOA dirigée par les modèles qui repose sur le standard OMG SoaML. Lors de la spécification, la cohérence des modèles SoaML est vérifiée en utilisant la validation statique des modèles moyennant des règles OCL que nous avons définies. Nous avons spécifié également des règles de transformation pour permettre la génération automatique d'artefacts exécutables. Enfin, nous avons défini un cadre de test à base de modèles pour vérifier la conformité de l’exécution des chorégraphies de services, incluant les orchestrateurs générés, aux modèles de spécification. L'ensemble de notre méthode a été outillé en extension de l’outil de modélisation UML, Papyrus, et de l’outil d’analyse formelle, Diversity.
Mardi 21 Novembre
Heure: 11:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On the polynomial part of a restricted partition function
Description: Karl Dilcher We prove an explicit formula for the polynomial part of a restrictedpartition function, also known as the first Sylvester wave. This isachieved by way of some identities for higher-order Bernoulli polynomials,one of which is analogous to Raabe's well-known multiplication formula forthe ordinary Bernoulli polynomials. As a consequence of our main result weobtain an asymptotic expression of the first Sylvester wave as thecoefficients of the restricted partition grow arbitrarily large.(Joint work with Christophe Vignat).
Heure: 14:45 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Euler Polynomials and Identities for Non-Commutative Operators
Description: Christophe Vignat
Heure: 15:30 - 18:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: False Beliefs in mathematics
Description: thé combinatoire
Vendredi 24 Novembre
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A discussion on the conjectures NP vs PSPACE and NP vs coNP
Description: Hermann Hauesler The aim of this talk is to open a discussion on the justification of the conjectures NP = coNP and NP = PSPACE by means of purely proof-theoretical arguments.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: [répétition] répétition de soutenance de thèse
Description: Thomas Rubiano
Mardi 28 Novembre
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Journée 'flips': Alexander Pilz, Thomas Budzinski, Lionel Pournin, Thomas Fernique
Description: Journée MathStic
Vendredi 1 Décembre
Heure: 10:00 - 13:00
Lieu: TBA
Résumé: [soutenance]
Description: Thomas Rubiano
Heure: 14:30 - 17:00
Lieu: Amphi Fermat, Université de Villetaneuse
Résumé: [Soutenance] Types inductifs, fonctionnels et non-linéaires en ludique
Description: Alice Pavaux
Lundi 4 Décembre
Heure: 15:00 - 16:00
Lieu: Salle A303, bâtiment A, campus de Villetaneuse
Résumé: Séminaire SV : Hiba Ouni
Description: Hiba Ouni
Titre : Parallel Symbolic Observation Graph


Abstract:
Model checking is a powerful technique for verifying and analyzing complex systems in many application fields. The analysis process of complex and concurrent systems often requires large computation resources which represents a real challenge. Even with simple configurations, the well-known state explosion problem is faced as the generated state space of such systems grows exponentially with the number of the system components. Numerous methods and techniques have been developed to overcome this problem including parallel and distributed-memory processing. In this work, we aim at improving the performances of the so called Symbolic Observation Graph (SOG) construction by using parallelization techniques. A SOG is a hybrid structure where the transitions of a system are divided into observed and unobserved ones. The nodes of this graph are then defined as sets of states linked with unobserved transitions (and encoded symbolically with a BDD) and edges are labeled with observed transitions only (and are explicitly represented). We propose two parallel algorithms to build the SOG. The first algorithm is dedicated for shared memory architectures, and is based on the distribution of the SOG construction on several threads using a dynamic load balancing scheme. The second algorithm is proposed for distributed memory architectures, and distributes the SOG construction on processes using a static load balancing scheme.
These two algorithms are implemented and their performances are studied and compared to each other and to the sequential construction of the SOG.
Mardi 5 Décembre
Heure: 12:45 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: soutenance de thèse
Description: Quentin de Mourgues
Mercredi 6 Décembre
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Axel Bacher, Kilian Raschel, Arvind Singh et Niccolò Torri
Description: Journée mathstic
Vendredi 8 Décembre
Heure: 14:00 - 17:00
Lieu: TBA
Résumé: Réduction et Approximations Linéaires
Description: Luc Pellissier TBA
Mardi 12 Décembre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Analysis of the Brun GCD Algorithm. TBA
Description: Loïck Lhote
Heure: 15:00 - 18:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A graph-based method to randomly generate subgroups of free groups
Description: Pascal Weil The study of random algebraic objects sheds a different light on these objects, which complements the algebraic and the algorithmic points of view. When it comes to finitely generated subgroups of free groups, we have a remarkable graphical representation calledthe Stallings graph: the Stallings graph of a subgroup H is a finite labeled graph uniquely associated with H, efficiently computed from a set of generators of H (say, given as reduced words), and from which one can efficiently compute many invariants of H.I will discuss enumerating and randomly generating finitely generated subgroups of free groups, for the distribution given by Stallings graphs: for each positive integer n, one considers the finite number of subgroups whose Stallings graph has n vertices, and oneconsiders the uniform distribution on that set. This requires understanding the combinatorial structure of Stallings graphs, which are interesting objects per se. I will also exhibit natural properties of subgroups which are `generic' for this distribution.This is joint work with F. Bassino (LIPN) and C. Nicaud (LIGM)
Jeudi 14 Décembre
Heure: 12:15 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Flots de liens pour la modélisation des interactions temporelles
Description: Matthieu Latapy Etudier la structure et la dynamique des interactions revêt un caractère crucial pour la compréhension de nombreux phénomènes et pour de nombreuses applications (détection d'événements dans du trafic, détection de fraudes, recommandation de produits, optimisation de réseaux, etc). La structure de telles interactions est étudiée en utilisant des graphes ou des réseaux (ensembles de noeuds et de liens) ; leur dynamique est étudiée en utilisant des signaux ou des séries temporelles (variations d'une propriété au cours du temps) ; pour étudier la dynamique de leur structure, on utilise des séquences de graphes. Toutefois, ces approches ne capturent que de façon très limitée la nature à la fois structurelle et temporelle des interactions, qui nécessite un cadre spécifique. Nous présentons ici une généralisation des graphes, que nous appelons des flots de liens, permettant un traitement cohérent des deux aspects. Nous obtenons un langage pour l'étude directe des séquences d'interactions, similaire à celui des graphes pour l'étude des relations.
Vendredi 15 Décembre
Heure: 11:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Soutenance d'HDR: Computer algebra for lattice path combinatorics
Description: Alin Bostan
Lundi 18 Décembre
Heure: 12:30 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Semantic similarity on transcriptional regulation literature
Description: Oscar Lithgow Experimentally generated biological information needs to be organized and structured in order to become meaningful knowledge. However, the rate at which new information is being published makes manual curation increasingly unable to cope. Therefore, new curation strategies based on natural language processing are promising alternatives.

Particularly, nowadays is improbable to consider all related research and reference every single piece of knowledge contained in the publication. Here is where we believe that computers and specifically, automatic natural language processing can help to inter-connect similar conveyed ideas among a collection of articles through discover ing semantically related sentences within a set of scientific articles and delivering those meaningful relations to the end user.

Given our interest in applying such approaches to the benefit of curation of the biomedical literature, specifically about gene regulation in microbial organisms, we decided to also build a corpus with graded textual similarity evaluated by curators, and designed specifically oriented to our purposes.
Mardi 19 Décembre
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Characterization of the Flexibility of an Energy Consumer and Optimization of its Energy Usage
Description: Claude Le Pape The exploitation of flexibility in energy production and consumption is essential to avoid costly reinforcements of the power system and maintain security of supply while increasing the penetration of renewable (and intermittent) sources of energy. Let us focus on the "demand" side, i.e., on actors which are mostly consumers of energy: manufacturing plants, water networks, commercial buildings (or even elements in a building such as an HVAC (Heating, Ventilation and Air Conditioning) system, an elevator or a pool of elevators), and aggregations of those, such as a district. These actors use energy for their own needs, i.e., manufacture and deliver products to their own customers, deliver drinkable water to their customers, provide a comfortable work place to the employees and visitors of the building, etc. They may also produce energy, either as part of the process they manage (e.g., cogeneration in an industrial plant, elevator braking energy recovery) or with energy product
ion resources installed for cost reduction and security reasons. Finally, they may also have energy storage resources, which could have been installed to build flexibility or for any other reason. Part or all of the stored energy capacity can then be used to reduce operational costs.

Incentives to reduce or shift energy consumption in time must be considered with respect to the main objectives (and other cost factors) of the consuming organization. The very first thing to do is to characterize the available or potential sources of flexibility and how they could be used to make gains in terms of energy, revenues and cost savings, or environmental impact.

• First, there may exist options for definitive savings of energy with no significant impact on the process for which the energy is used. In general, such savings will be doable provided they have an "acceptable" impact on the process or on its outcome. For example, the capacity to slightly dim lights in an elevator enables direct and definitive energy savings. Such dimming is acceptable if it does not occur too often.
• Delays in consumption are possible when a given activity can be delayed (or performed in advance) or, more generally, when savings are possible at a given time but at the expense of further consumption before or after this time. For example, if enough water is available in a water tower, one can delay for a while the pumping of water into the water tower. At some point, however, pumping will be needed to ensure the water tower gets enough water to serve the local customers. Similarly, highly consuming activities in a manufacturing plant might be avoided during a given interval of time, provided these activities are not time-critical and the corresponding products are available in stock. At some point, however, it will become necessary to perform these activities, and consume the corresponding amount of energy to replenish the stock.
• If energy storage (e.g., in batteries, in the form of hot water, etc.) is possible, then the stored energy can be used to provide an apparent consumption flexibility. For example, part of the energy stored in the battery of an elevator can be used to temporarily operate the elevator with no other impact on the elevator’s process.

Considered separately, such sources of flexibility induce very different optimization models: multi-criteria regulation; scheduling with energy resource constraints and costs; energy flow optimization. Things get more complex when these sources of flexibility coexist and when multiple actors, each with its own constraints and objectives, share the same energy network. Practical optimization problems will be presented, using examples from two European projects (Arrowhead and Ambassador) and from the two PhD theses of Chloé Desdouits "Reduction of electricity consumption peaks and optimization problems induced on the demand side" and Peter Pflaum "Energy management strategies for smart grids".
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Phase transition for the hard-core model in the 2-dimensional lattice
Description: Juan Vera Lizcano The hard-core gas model is a natural combinatorial problem that has played an important role in the design of new approximate counting algorithms and for understanding computational connections to statistical physics phase transitions. For a graph G = (V, E) and afugacity t > 0, the hard-core model is defined on the set of independent sets of G where each independent set I has weight w(I) = |I|^t . The equilibrium state of the system is described by the Gibbs distribution in which each independent set I has probability ~w(I). A long-standing open problem to establish the critical fugacity t* for the hard-core gas model on the 2-dimensional integer lattice Z^2. In particular, t* is the conjectured critical point for the phase transition between uniqueness of infinite-volume Gibbsmeasures on Z^2 when t < t* and non-uniqueness when t > t*. Empirical results identified the critical point t* ~ 3.79. The best known bounds show 2.538 < t* < 5.3646.In this talk the techniques to obtain these bounds will be discussed. Special emphasis will be given to the lower bound, which is based on connections between the decay of correlations on the lattice and on its self-avoiding walk tree.
Heure: 15:30 - 18:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: pot de clôture, agrémenté de gâteaux et de False Beliefs in mathematics
Description: thé combinatoire