Institut de Mathématiques de Luminy

  Agenda du Master 2 MDFI  

Emploi du temps
2005-2006

[ cours fondamentaux ] [ options ]

  • Tous les cours, ainsi que la réunion du 3 octobre, ont lieu dans les locaux de l'Institut de Mathématiques de Luminy (http://iml.univ-mrs.fr), dans la salle de travail du 2ème étage (salle 212) .

COURS FONDAMENTAUX

Semaine 1 : 3/10 -> 7/10
------------------------

* Lu 3/10
10h: reunion de rentrée - tous les enseignants des cours fondamentaux sont
invités à y participer, pour présenter leur enseignement.
14h: visite de la bibliothèque du CIRM (rendez-vous salle 212)
* Ma 4/10
16h - 17h30 : Introduction à la théorie des nombres (1/10)
* Me 5/10
9h30 - 12h : Logique et théorie du calcul (1/10)
* Ve 7/10
9h30 - 12h : Preuves et types (1/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (1/10)

Semaine 2 : 10/10 -> 14/10
--------------------------

* Lu 10/10
9h30 - 12h30 et 14h - 17h30 : Combinatoire des graphes (1/4)
* Ma 11/10
14h - 17h30 : Introduction à la théorie des nombres (2/10)
* Me 12/10
9h30 - 12h : Logique et théorie du calcul (2/10)
* Ve 14/10
9h30 - 12h : Preuves et types (2/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (2/10)

Semaine 3 : 17/10 -> 21/10
--------------------------

* Lu 17/10
9h30 - 12h30 et 14h - 17h30 : Combinatoire des graphes (2/4)
* Ma 18/10
14h - 17h : Introduction à la théorie des nombres (3/10)
* Me 19/10
9h30 - 12h : Logique et théorie du calcul (3/10)
* Ve 21/10
9h30 - 12h : Preuves et types (3/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (3/10)

Semaine 4 : 24/10 -> 28/10
--------------------------

* Lu 24/10
9h30 - 12h30 et 14h - 17h30 : Combinatoire des graphes (3/4)
* Ma 25/10
14h - 17h30 : Introduction à la théorie des nombres (4/10)
* Me 26/10
9h30 - 12h : Logique et théorie du calcul (4/10)
* Ve 28/10
9h30 - 12h : Preuves et types (4/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (4/10)

Semaine 5 : 31/10 -> 4/11
-------------------------
Rq: le mardi 1/11 est férié. Le cours "Introduction à la théorie des nombres" est déplacé au lundi 31/10.

* Lu 31/10
14h - 17h : Introduction à la théorie des nombres (5/10)
* Me 2/11
9h30 - 12h : Logique et théorie du calcul (5/10)
* Je 3/11
14h - 16h30 : Combinatoire des mots (1/10)
* Ve 4/11
9h30 - 12h : Preuves et types (5/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (5/10)

Semaine 6 : 7/11 -> 11/11
-------------------------
Rq: le vendredi 11/11 est férié, le cours de Serge Vladuts est déplacé au mardi matin. Celui de Laurent Regnier est déplacé au jeudi matin.

* Lu 7/11
9h30 - 12h30 et 14h - 17h30 : Combinatoire des graphes (4/4)
* Ma 8/11
9h30 - 12h : Introduction aux courbes elliptiques et à la cryptographie elliptique (6/10)
14h - 17h30 : Introduction à la théorie des nombres (6/10)
* Me 9/11
9h30 - 12h : Logique et théorie du calcul (6/10)
* Je 10/11
9h30 - 12h : Preuves et types (6/10)
14h - 16h30 : Combinatoire des mots (2/10)

Semaine 7 : 14/11 -> 18/11
--------------------------

SEMAINE INRIA-SOPHIA

Semaine 8 : 21/11 -> 25/11
--------------------------

* Ma 22/11
14h - 17h30 : Introduction à la théorie des nombres (7/10)
* Me 23/11
9h30 - 12h : Logique et théorie du calcul (7/10)
* Je 24/11
9h30 - 12h et 14h - 16h30 : Combinatoire des mots (3/10 et 4/10)
* Ve 25/11
9h30 - 12h : Preuves et types (7/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (7/10)

Semaine 9 : 28/11 -> 2/12
-------------------------

* Ma 29/11
14h - 17h30 : Introduction à la théorie des nombres (8/10)
* Me 30/11
9h30 - 12h : Logique et théorie du calcul (8/10)
* Je 1/12
9h30 - 12h et 14h - 16h30 : Combinatoire des mots (5/10 et 6/10)
* Ve 2/12
9h30 - 12h : Preuves et types (8/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (8/10)

Semaine 10 : 5/12 -> 9/12
-------------------------

* Lu 5/12
9h30 - 12h et 14h - 16h30 : Combinatoire des mots (7/10 et 8/10)
* Ma 6/12
14h - 17h30 : Introduction à la théorie des nombres (9/10)
* Me 7/12
9h30 - 12h : Logique et théorie du calcul (9/10)
* Je 8/12
9h30 - 12h et 14h - 16h30 : Combinatoire des mots (9/10 et 10/10)
* Ve 9/12
9h30 - 12h : Preuves et types (9/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (9/10)

Semaine 11 : 12/12 -> 16/12
---------------------------
A prévoir cette semaine: un cours de rattrapage de Michel Laurent (1h30).

* Ma 13/12
14h - 17h30 : Introduction à la théorie des nombres (10/10)
* Me 14/12
9h30 - 12h : Logique et théorie du calcul (10/10)
* Ve 16/12
9h30 - 12h : Preuves et types (10/10)
14h - 16h30 : Introduction aux courbes elliptiques et à la cryptographie elliptique (10/10)

EXAMENS
-------

Les examens des cours fondamentaux sont des épreuves écrites qui auront lieu la première semaine de janvier 2006, du mardi 3/1/2006 au vendredi 6/1/2006. Le calendrier précis en sera fixé ultérieurement.

OPTIONS

-


ARCHIVES

Historique des emplois du temps :
- 2000-2001 (options)
- 2001-2002 (options)
- 2002-2003 (options)
- 2003-2004 (options)
- 2004-2005 (options)

Historique des stages :
- 1999-2000
- 2000-2001
- 2001-2002
- 2002-2003


École d'été

The LINEAR International Summer School
(Linear Logic and Applications)
August 30 to September 7, 2000
S.Miguel, Azores, Portugal

Mise à jour le 20 octobre 2005, EL