ER02: Calcul numérique et calcul numérique rigoureux (15-19 Janvier 2018)

Intervenants, présentation de l’école et ressources utiles : voir la version anglaise.

Planning de l’école de recherche ER02

8h15-10h 10h15-12h 14h15-16h 16h15-18h
Monday Chebyshev (amphi B) Chebyshev (salles de TP E001 et 125) Validated numerics (amphi B)
Tuesday Validated numerics (amphi B) Validated numerics (amphi B) Chebyshev (amphi B) Chebyshev (salles de TP E001 et 125)
Wednesday Chebyshev (amphi B) Validated numerics (amphi B) Validated numerics (amphi B)
Thursday Validated numerics (amphi B) Validated numerics (amphi B)
Friday Chebyshev (salles de TP E001 et 125) Chebyshev (amphi B) Exam (amphi B)

ER01: Randomized Algorithms (7-11 décembre)

Date : 7-11 décembre 2015

Intervenants: Joel Ouaknine, Ben Worrell et Stefan Kiefel (Oxford).
Contact local: Pascal Koiran

(Un résumé du contenu se trouve sur la version anglaise de cette page.)

Voici l’emploi du temps :

 

Monday: 9:30 – 11:30 am and 1:30 – 3:30 pm
Tuesday: 9 – 11:30 am, 1:30-3:30 pm and 4-6 pm.
Wednesday: 9-11:30 am and 1:30-3:30 pm.
Thursday: 9 am – 12:30 pm
Friday: 9 am – 12:30 pm and afternoon exam: 2 pm – 4 pm

ER01: Data Structures for Big Data

Date : 12-16 janvier 2015.

Enseignants: Michael Bender (Stony Brook University), Martín Farach-Colton (Rutgers and Tokutek), Samuel McCauley (Stony Brook University)

Description de l’école

Horaires des cours

Monday-Thursday:

  • morning lecture: 9:30am-11:30am

  • afternoon lecture: 1:30pm-3:30pm.

  • recitation/homework practice: 4pm-5pm.

Friday:

  • morning lecture: 9:30am-11:30am

  • afternoon exam:  2pm-5pm

Contact local : Frédéric Vivien.

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le … (sera précisé plus tard) en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 1 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address: 

wishes to attend the research school « ER01: Advanced Data Structures », taking place at ENS Lyon, from Jan. 12 to Jan. 16, 2015.

ER02: Algorithms and Heuristics for Large-scale Data Sets

Date : 19-23 janvier 2015.

Page web dédiée

Enseignants: Nicolas Schabanel (Université Paris-Diderot), Alain Barrat et Bruno Gonçalves (Université Aix-Marseille)

Contact local : Marton Karsai

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le … (sera précisé plus tard) en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 2 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address: 

wishes to attend the research school « ER02: « , taking place at ENS Lyon, from Jan. 19 to Jan. 23, 2015.

ER03: Static Analysis and Compilation

Date : 26-30 janvier 2015.

Page web dédiée

Enseignant: Fernando Magno Pereira (Univ Mineas Gerais, Brazil)

Contact local :  Laure Gonnord

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le … (sera précisé plus tard) en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 3 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address: 

wishes to attend the research school « ER03: Static Analysis and Compilation », taking place at ENS Lyon, from Jan. 26 to Jan. 30, 2015.

ER01: Algorithmic Game Theory

Date : 9-13 décembre 2013.

Description de l’école et emploi du temps.

Contact local : Natacha Portier.

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 29 novembre en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 1 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:

wishes to attend the research school « Algorithmic Game Theory », taking place at ENS Lyon, from Dec. 9 to Dec. 13, 2013.

ER02: Synchronous Approaches for Embedded Systems

Date : 13-17 Janvier 2014.

Site web.

Contact local : Laure Gonnord.

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 3 janvier en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 2 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:

wishes to attend the research school « Synchronous Approaches for Embedded Systems », taking place at ENS Lyon, from Jan. 13 to Jan. 17, 2014.

ER03: Logic of Dynamical Systems

Orateurs : André Platzer et Sarah Loos.

Date: 20-24 Janvier 2014.

Page web.

Contact local : Filippo Bonchi

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 10 janvier 2014 en cliquant sur ce lien, remplissant le formulaire et envoyant le message électronique. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fravec le sujet « Registration form — research school 3 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:

wishes to attend the research school « Logic for Dynamical Systems », taking place at ENS Lyon, from Jan. 20 to Jan. 24, 2014.

ER03: Problèmes de satisfaction de contraintes

21-25 Janvier 2013, ENS Lyon.

Orateurs: Manuel Bodirsky, Michael Pinsker.

Une description plus complète se trouve sur la version anglaise de cette page.

Lundi 21/01. Introduction. Exemples de CSPs de l’intelligence artificielle. Les formules primitives positives et des preuves de NP-difficulté. Des algorithmes efficaces. La conjecture de Feder et Vardi.

Mardi 22/01. L’approche d’algèbre universelle. La correspondance de Galois Inv-Pol, le noyau d’une structure, la conjecture de faisabilité, les operations cycliques.

Mercredi 23/01. Des CSPs sur des domaines infinis. Les limites de Fraïssé, le théorème de Ryll-Nardzewski. La correspondence Inv-Pol sur des domaines infinis. La topologie de convergence simple. Les graphes de Henson et autres exemples.

Jeudi 24/01. Introduction à la théorie de Ramsey. Fonctions canoniques. Classification de problèmes de Graph-SAT

Vendredi 25/01. Problèmes ouverts, projets de recherche.

Inscription

Inscription gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 8 janvier en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternatvement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à research.school.1@gmail.com, avec le sujet « Registration form — research school 3 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:

wishes to attend the research school ‘Constraint satisfaction problems’, taking place at ENS Lyon, from Jan. 21 to Jan. 25.

ER01 (2012) : vérification et certification du logiciel

Intervenants : Patrick Cousot, Radu Iosif, Sandrine Blazy, Sébastien Bardin

Dates : 9 – 12 janvier 2012 – ENS Lyon

Programme (prévisionnel)

1- Interprétation abstraite : application à la vérification (P. Cousot)

  • Interprétation abstraite
  • Estimation de la précision de logiciels numériques
  • Vérification de systèmes complexes intégrés sur puce
  • Vérifications statiques sur des logiciels critiques embarqués temps-réel
  • Vérification de la sécurité de protocoles cryptographiques

2- Model-checking (R. Iosif)

  • Classical first- and second-order logic, finite word and tree automata, closure properties and language emptiness.
  • Relationship between Weak Monadic Second-Order Logic and finite automata. Infinite automata on words (Buechi, Mueller) and on trees (Rabin) automata, and their relationship with Monadic Second-Order Logic.
  • LTL Model Checking and applications

3- Certified compilation (S. Blazy)

  • Formally verified compiler
  • Software proof codesign
  • Translation validation
  • Proof carrying code

4- Test (S. Bardin)

  • Couverture structurelle et mutations
  • Tests de régression
  • Exécution dynamique symbolique
  • Bounded model-checking

Correspondant local : Ch. Alias
Page web de l’école