|
|
 |
|
Mardi 5 Avril
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Tenseurs et physique combinatoire |
| Description: |
Sylvain Carrozza |
| Heure: |
15:00 - 18:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Combinatoire des mots |
| Description: |
Svetlana Puzynina |
Mardi 12 Avril
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Codes, cryptographie et combinatoire |
| Description: |
Valentin Suder |
| Heure: |
15:00 - 18:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Métriques extrémales et plongements de graphes |
| Description: |
Alfredo Hubard Dans cet exposé je présenterai des résultats dans l' intersection de lagéométrie Riemannienne et la topologie algorithmique. Plus précisément, jediscuterai des manières effectives de planariser une surface triangulée, desproblèmes de nombre de croisements, et de la "meilleure" métrique Riemanniennepour une surface. Si le temps le permet, je parlerai également des défis enhaute dimension et des connections avec les nombres de faces des complexessimpliciaux. |
Mardi 19 Avril
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
On Noncrossing Partitions for the Alternating Groups |
| Description: |
Henri Mühle The lattice of noncrossing set partitions of an n-set can beseen as a subgraph of the Cayley graph of the symmetric group S generated by all transpositions. We mimic thisconstruction for the alternating group A2n+1 generated byall 3-cycles. The resulting poset provides a rich new source ofcombinatorics coming from the alternating groups, which in some senseparallels the combinatorics behind the noncrossing set partitions. Wepresent some enumerative and bijective results, and suggest an extensionof this construction to all finite Coxeter groups. This is joint workwith Philippe Nadeau. |
Vendredi 22 Avril
| Heure: |
11:00 - 12:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
New Results on Morris's Observational Theory: the benefits of separating the inseparable |
| Description: |
Giulio Manzonetto We study the theory of contextual equivalence in the untyped lambda-calculus, generated by taking the normal forms as observables. Introduced by Morris in 1968, this is the original extensional lambda theory H+ of observational equivalence.
On the syntactic side, we show that this lambda-theory validates the omega-rule, thus settling a long-standing open problem. On the semantic side, we provide sufficient and necessary conditions for relational graph models to be fully abstract for H+. We show that a relational graph model captures Morris's observational pre-order exactly when it is extensional and lambda-König. Intuitively, a model is lambda-König when every lambda-definable tree has an infinite path which is witnessed by some element of the model.
Joint work with Flavien Breuvart, Domenico Ruoppolo & Andrew Polonsky |
Vendredi 29 Avril
| Heure: |
10:00 - 12:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
La hiérarchie du temps logarithmique |
| Description: |
Damiano Mazza Pendant le développement de travaux en cours avec Cynthia Kop et Jakob Simonsen j'ai eu l'occasion d'étudier un peu plus de près la classe de complexité LH, ou hiérarchie en temps logarithmique, qui est peut-être plus connue dans sa version non-uniforme sous le nom de AC^0 (circuits booléens avec fan-in arbitraire, de taille polynomiale et profondeur constante). Je vais vous parler un peu de cette hierarchie et plus en particulier de son niveau 0, appelé DLOGTIME, qui constitue probablement l'une des plus petites classes de complexité ayant un emploi non-trivial en complexité algorithmique. |
|
|
