Plenary meeting: April 14-15 2014

Venue: Inria Rhones-Alpes

Program:

Monday, April the 14th 2014

• 9h30-10h: accueil café.
• 10h-12h30: Implémentation Tatoo (ex Sxsi) et liens avec le solveur XML. Salle A109
• 14h-16h: Prise en compte des contraintes d'intégrité et liens avec démonstrateurs SMT. Salle A109
• 16h-16h30: pause
• 16h30-17h30: Au delà d'XML prise en compte d'autres formats JSon, RDF : typage. Salle A109

Tuesday, April the 15th 2014

• 9h-9h30 : accueil café
• 10h-12h30: Au delà d'XML prise en compte d'autres formats JSon, RDF : formalisation/mécanisation avec Coq. Salle G121
• 14h-16h: intégration des résultats : XQuery 4.0. Salle A103

ANR Project mid-term evaluation

Location: 7 Rue Watt, Paris 13ème

People attending:

• Nabil Layaïda
• Pierre Genevès
• Matthieu Sozeau
• Kim Nguyễn

The slides of the presentation are available here

Plenary meeting: December 16-17 2013

Venue: Batiment Sophie Germain, Paris 13ème (see here for directions)

Program:

MONDAY DECEMBER THE 16TH

Amphi Turing [RdC]

Session 1: Typing of XQuery

• 13:30-14:30 XQuery typing (Pierre Geneves and Nils Gesbert)
• 14:30-15:30 XQuery/XPath typing via CDuce (Kim Nguyen)
• 15:30-16:00 Coffee break

Session 2: Polymorphism

• 16:00-17:00 Polymorphic functions with Set-Theoretic Types (Giuseppe Castagna)
• 17:00-17:45 Typing of Mongo-DB (Adrien Husson)
• 17:45-18:30 A syntactic type system for recursive modules (Hyeonseung Im)
• 20:00 DINNER at the "Louis Vin" (see here for directions)

TUESDAY DECEMBER THE 17TH

Room 3052 (3rd floor)

• 08:40--9:00 Breakfast

Session 3: "Coq"

• 09:00-10:00 A first Coq mechanized course in relational databases.(Véronique Benzaken et Evelyne Contejean)
• 10:00-11:00 Polymorphic Universes in Coq: subtyping and unification (Matthieu Sozeau)
• 11:00-12:00 From certified JavaScript semantics to certified analyses. (Alan Schmitt)

Discussion

• 12:00-13:30 In particular preparation of the presentation of Typex for February the 26th (the presence of Workpackage and site leaders is requested)

Kick-off meeting: January 9-10 2012

Venue: Room 5D07, PPS, Chevaleret (see here for directions)

Program:

9 JANVIER salle 0D07 (RdC, Plateau D)

• 13:45-14:00 Accueil
• 14:00-15:00 Olivier Couchaieres (ANR) modalités pratiques de suivi (rapports contractuels, possibilités de ventilation des aides, embauches des stagiaires, etc)
• 15:00-15:30 G. Castagna. Présentation TYPEX, aspects organisationnels, planification
• 15:30-16:00 Pause café
• 16:30-17:00 N. Layaida Présentation du WP1
• 17:00-17:30 M. Sozeau Présentation du WP2
• 17:30-18:00 K. Nguyễn Présentation du WP3

10 JANVIER salle 5C03 (5eme etage plateau C)

• 9:30- 10:15 Zhiwu Xu inference de types pour un langages avec sous-typage sémantique
• 10:15 -11h00 Nils Gesbert Sous-typage sémantique avec polymorphisme à l'aide d'un solveur
• 11:00 -12:30 Pause café plus travail en groupes.