|
|
 |
|
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. |
|
|
