Mardi 4 Février
Heure: |
12:00 - 13:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Capacity Planning for Natural Gas Transmission Networks |
Description: |
Jesco Humpola We present a procedure for capacity planning of large-scale real-world natural gas distribution networks. It decides which combination of network extensions such as additional pipelines, compressors or valves should be added to increase the network's capacity or enhance its operational flexibility. We formulate this as a mixed-integer nonlinear problem. A sub-problem has different convex reformulations. Hence we use a combination of linear outer approximation and NLP solution techniques to solve the MINLP. We show that every dual solution of the convex reformulations allows to generate capacity inequalities (or cutting planes) which reduce the overall solution time when added to the formulation. The dual solution also enables the measurement of infeasibility level of the scenario. Furthermore we give a primal heuristic for our model. We present computational results that are obtained by a special tailored version of the solvers SCIP and IPOPT. |
Vendredi 7 Février
Heure: |
00:59 - 12:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Models of a Non-Associative Composition |
Description: |
Guillaume Munch-Maccagnoni We characterise the polarised evaluation order through a categorical structure where the hypothesis that composition is associative is relaxed. Duploid is the name of the structure, as a reference to Jean-Louis Loday's duplicial algebras. The main result is a reflection AdjâDupl where Dupl is a category of duploids and duploid functors, and Adj is the category of adjunctions and pseudo maps of adjunctions. The result suggests that the various biases in denotational semantics: indirect, call-by-value, call-by-name... are a way of hiding the fact that composition is not always associative. |
Lundi 10 Février
Heure: |
00:59 - 15:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
La paraphrase : approches et modélisations linguistiques, mise en oeuvre informatique |
Description: |
Emmanuel Cartier Les paraphrases et les inférences font l'objet d'une attention particulière en TAL étant donné les conséquences d'une bonne extraction / génération dans nombre d'applications : extraction, systèmes de questions/réponses, résumé automatique, traduction automatique, générateurs etc. La présentation focalisera sur les approches et les modélisations linguistiques du phénomène, et de leur mise en oeuvre informatique. Elle pourra servir de ferment de discussion dans le cadre de la campagne SemEval à venir.  |
Mardi 11 Février
Heure: |
14:00 - 17:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Petit voyage autour des sémantiques quantitatives de la logique linéaire |
Description: |
Michele Pagani Une sémantique dénotationelle interprète les types de données (commeBool ou Int) par des espaces mathématiques (posets, treillis,structures algébriques) et les programmes par des fonctions sur cesespaces. L'intérêt d'une telle interprétation étant de donner unedescription du comportement opérationnel des programmes qui faitabstraction du langage dans lequel les programmes sont écrits.Les sémantiques quantitatives sont en particulier les sémantiquesdénotationelles issues de la logique linéaire, où les types de donnéessont interprétés par des espaces vectoriels (ou, plus généralement,des modules), les programmes qui utilisent exactement une fois leursdonnées d'entrée deviennent des fonctions linéaires (au sensalgébrique), alors que les programmes qui utilisent leurs ressourcesun nombre indéterminé de fois (comme les programmes récursifs ou lesprogrammes utilisant l'instruction while, par exemple) sontinterprétés par des fonctions analytiques, approximables par despolynômes, qui représentent des calculs partiels.Ces sémantiques sont particulièrement naturels pour décrire desprogrammes non-déterministes, voire probabilistes ou quantiques,l'addition exprimant une sorte de superposition des états élémentaireset les scalaires associant une estimation quantitative à une tellesuperposition.Dans cet exposé, je chercherai à donner une intuition del'interprétation des programmes via quelques exemples de sémantiquesquantitatives et à donner un aperçu des résultats récemmentobtenus, en particulier dans le cadre des langages fonctionnelsprobabilistes. |
Vendredi 14 Février
Heure: |
00:59 - 12:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Two Intensional Phenomena: The Size of Church-Rosser Diagrams, and Characterization of PTIME via Overlapping Cons-Free Systems |
Description: |
Jakob Grue Simonsen We will informally discuss two very different problems that both concern the intensional behaviour of very simple calculi: First-order term rewriting systems, respectively lambda calculus.
The first problem concerns finding bounds on the size of confluence and Church-Rosser diagrams: If s is a term in a confluent, we know that every "peak" t *<-s ->* t' has a corresponding "valley" t ->* s' *<- t', but it is not at all clear how the number of steps in the "valley" relates to the number of steps in the "peak" and to the size of the starting term s. We will discuss how valley sizes can always be computed, how the sizes may majorize any computable function on the integers, how exponential bounds can be found for first-order term rewriting, and for lambda calculus how there is an enormous difference between the best-known upper bound (not even elementary recursive) and the worst-case example known (doubly exponential).
The second problem concerns implicit complexity and how to characterize the set of PTIME-decidable sets by first-order term rewriting systems in the most liberal fashion possible: No restrictions on reduction strategy (hence no insistence on call-by-name, call-by-value or other functional-programming-inspired strategies), no restrictions on overlaps between left-hand sides of rules, and as few linearity constraints as we can get away with (and absolutely no explicit typing of any kind).
The talk will be kept at high-level and present the interesting problems and challenges; we will only delve into technical details if the audience feels like it. The material presented is based on joint, ongoing, work with Jeroen Ketema and Daniel de Carvalho. |
Mardi 18 Février
Heure: |
12:30 - 13:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Circuit and bond polytopes in series-parallel graphs |
Description: |
Mathieu Lacroix We describe the circuit polytope in series-parallel graphs. We show the existence of a compact extended formulation for the latter, which inductively provides the description in the original space. As a consequence, using the link between bonds and circuits in planar graphs, we also describe the bond polytope in series-parallel graphs.This is a joint work with S. Borne, R. Grappe, P. Fouilhoux and P. Pesneau. |
Vendredi 21 Février
Heure: |
00:59 - 12:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Paramétricité et type identité : application à la structure d'Ï-groupoide des types |
Description: |
Marc Lasson La paramétricité est un concept introduit par Reynolds afin d'étudier l'abstraction de type polymorphe du système F. Elle renvoie au fait que des programmes bien typés ne peuvent ``inspecter le type de leurs arguments'': ils doivent se comporter uniformément au regard des types abstraits. Reynolds formalise cette notion en montrant que les programmes polymorphes du système F satisfont des relations logiques définies par induction sur la structure des types. Le système de types sous-jacent à coq est suffisamment expressif pour exprimer sa propre théorie de la paramétricité. Dans cet exposé, nous nous intéresserons aux conséquences de cette remarque lorsqu'elle est appliquée au type des égalités, et nous montrerons en particulier comment montrer des résultats de paramétricité concernant les espaces de lacet (loop spaces, en anglais) et en déduire des résultats sur la structure de groupoide de la théorie des types. |
Mardi 25 Février
Heure: |
10:30 - 13:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Cluster fans |
Description: |
Gleb Koshevoy One of the main motivation of S.Fomin and A.Zelevinskyfor introducing cluster algebras was the desire toprovide a combinatorial framework to understand the structure of ''dualcanonical bases'' in coordinate rings of various algebraic varieties related to semisimple groups. For a finite cluster algebra, they show that the cluster complex can be implemented as a simplical fan in the vector space span by the simple roots of the corresponding Lie algebra. We show that the cluster complex for cluster algebra of the base affine space for GL(n) can be implementedas a simplicial fan in the space span by interval one-column semistandard Young tableaux filled in the alphabet {1,...,n}. For n>6, such a fan contains infinitely many cones and its support covers semistandard Young tableaux corresponding toreal elements of the dual canonical basis. For types ADE, cluster complexes of the corresponding finite cluster algebras aresubfans of our cluster complex with appropriate n's. |
Heure: |
14:00 - 17:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
A left/right dynamic on permutations |
Description: |
Quentin de Mourgues Soit s une permutation dans Sigma_n.Soit i(s)=s(1), j(s)=s^{-1}(1),Soit C_k le cycle 1>2>...>(k-1)>1 (k,k+1,..,n points fixes).On definit L et R comme suit:L(s) = C_{j(s)}.s etR(s) = s.C_{i(s)}^{-1}Il est facile de voir que L et R sont inversibles, la dynamique L/R partitionne donc Sigma_n en classes d'équivalence qui sont des graphes orientés uniformes (une arête entrant/sortant par "couleur" L et R) fortement connexes.Dans cet exposé, on étudiera ces classes : leur nombre, leur taille, leur structure, etc. |
Vendredi 28 Février
Heure: |
00:59 - 12:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Ludique et types: éléments de déconstruction |
Description: |
Christophe Fouqueré We will discuss/analyze the following observations and the questions they rise:Observations: - Each formula of MALL2 is denoted by a behaviour in Ludics. - Cut-elimination is fully plugged into / at the heart of Ludics. - And with properties expected for a logic.
Questions: - Can we characterize exactly behaviours that denote MALL(c/2/inf) formulas? - Can we define the algebraic structure of a behaviour? I.e. a language for behaviours? - Can we develop a sequent calculus for this language? |
|
|