| Courses | Title of the courses | mid-term or final exam from Nov. 25, 2013 until Dec. 6, 2013 | Final exam From Mar, 3 2014 until Mar, 14 2014 | Retaking exams from April 12 until July 31, 2014 |
| 2-1 | Logique linéaire et paradigmes logiques du calcul Linear Logic | 2/12/2013 Room 1009 (usual course hours) written exam, all documents allowed | Date, location, format | |
| 2-2 | Modèles des langages de programmation: domaines, catégories, jeux Models of programming languages: domains, categories, games. | Wednesday, December 4 Room 1009 (usual room) from 8h45 to 11h45 (usual course hours) written exam lecture notes and handwritten notes allowed but no books or electronic devices. | Date, location, format | |
| 2-3 | Concurrence Concurrency. | December 6: Deadline for home assignment and written examination on Varacca's part. Usual hour (13:15) and room, lecture notes allowed, no books or electronic devices. | March 7: written examination on second period. Usual room but start at 12:45, lecture notes allowed, no books or electronic devices. | Contact R. Amadio |
| 2-4 | Programmation fonctionnelle et systèmes de types Functional programming and type systems. | December Tuesday 03 Room 1009 Lecture notes and handwritten notes No electronic device | March Tuesday 11 Room 1009, 9:15-11:45. Lecture notes and handwritten notes No electronic device | Contact D. Remy |
| 2-5 | Démonstration automatique Automated deduction. | Date, location, format | 6 mars 9h45-11h45 Bat. Sophie Germain Room 1009 exam mainly on R. Treinen's part 1 exercice on E. Contejean's part Lecture notes and handwritten notes No electronic device project on S. Conchon's part | Contact R. Treinen / E. Contejean |
| 2-6 | Interprétation abstraite: application à la vérification et à l'analyse statique Abstract interpretation: application to verification and static analysis. | December 6. Written exam at usual place (room 1009) and hours (8:45-11:45). Authorized documents: personal notes and printed course slides only; no other document, and no computer. | March 7 (to be confirmed). Oral exam: 20mn presentation of an article from a given list (announced two weeks before the oral) followed by a 10mn question session. | Contact A. Miné |
| 2-7-1 | Fondements des systèmes de preuves Foundations of proof systems. | November 26th, room 1009, written exam | Date, location, format | |
| 2-7-2 | Assistants de preuves Proof assistants. | Date, location, format | March 3, 9:00-11:00, room 1009, written exam March 10, 8:45-11:45, room 1009, 10' project defense | |
| 2-8 | Fondements pour la vérification des systèmes temps-réel Foundations of real time systems verificarion. | le mardi 26 novembre à 16h15, salle 1008, écrit, 2h | le mardi 11 mars à 16h15, salle 1008, écrit, 3h | |
| 2-9-1 | Fondements mathématiques de la théorie des systèmes infinis\\Mathematical foundations of the theory of infinite transition systems. | 27 novembre 12h45-15h45, room 1008, written exam, Allowed documents: your personal notes. No other printed document allowed. No computer allowed. | Date, location, format | |
| 2-9-2 | Vérification algorithmique des programmes Algorithmic verification of programs | Date, location, format | Date, location, format | |
| 2-10 | Aspects algorithmiques de la combinatoire Algorithmic aspects of combinatorics. | December 6, written exam at usual place and hour. | March 7, written exam at usual place and hour. | |
| 2-11-1 | Algorithmique avancée Advanced algorithmics. | Date, location, format | Date, location, format | |
| 2-11-2 | Complexité randominsée Randomized complexity. | 3 decembre 12h45-15h45, room 1008, written exam, Allowed documents: your personal notes. Other printed documents allowed. No computers. | Date, location, format | |
| 2-12-1 | Techniques in Cryptography and Cryptanalysis | 25 November 2013, 16h15-17h45, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers. | 3 March 2014, 16h15-17h45, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers. | Contact M. Abdalla |
| 2-12-2 | Algorithmes arithmetiques pour la cryptologie Arithmetic algorithms for cryptology. | 2 December 17h45-19h15, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers. | 10 March 16h30-18h00, room 1009, written exam. Allowed documents: personal notes and other printed documents. No computers. | |
| 2-13-1 | Systemes polynomiaux, calcul formel et applications Polynomial systems, computer algebra and applications. | December 6. Oral exam at usual place (room 1009) and hours (14:15-15:45). | 4 March 2014, written exam (questions asked on an article handled to students four weeks before the exam) at usual place (room 1009) and hours (14:15-15:45). Allowed documents: personal notes and other printed documents. No computers. | |
| 2-13-2 | Codes correcteurs d'erreurs et application a la cryptologie Error correcting codes and applications to cryptology. | December 2. Written exam | March, 10th, usual places, questions asked on an article handled to students four weeks before the exam | |
| 2-14-1 | Analyse géométrique des données Computational geometry learning. | Dec 3rd , 16h15 - 18h45 Bat. Sophie Germain Room 1009 written exam, documents allowed | Date, location, format | |
| 2-15 | Analyse d'algorithmes Analysis of algorithms. | 5 Décembre, examen écrit, heure et lieu habituels. Documents: notes de cours et notes personnelles; pas de livres ni appareil électronique. | 6 Mars, examen écrit, heure et lieu habituels. Documents: notes de cours et notes personnelles; pas de livres ni appareil électronique. | |
| 2-16 | Modélisation par automates finis. | Date: 6 Dec., 8h45–11h45, salle 1008. Documents: notes de cours et notes personnelles; pas de livres ni appareil électronique. | ||
| 2-17-1 | Fondements sur la modelisation des réseaux Foundations of networks models. | Date, location, format | 4 mars, examen écrit, heure et lieu habituels (16:15 - 19:15, salle 1009). Documents: 2 feuilles A4 R/V avec des notes personnelles. | |
| 2-18-1 | Algorithmique distribuée pour les réseaux Distributed algorithms for the networks. | Date: 3 Dec., 9h–12h, location: room 1008, format: written exam. All paper documents allowed. Electronic devices forbidden. | Date: March 4, 9:00-12:00, location: room 1008, format: written exam. All paper documents allowed. Electronic devices forbidden | |
| 2-18-2 | Algorithmique distribuée avec mémoire partagée. | Date: 2 Déc., 8h45-11h45, lieu: salle 1008 Bat. Sophie Germain, format: écrit, tout les documents écrits sont autorisés, support électronique interdit | Date, location, format | |
| 2-18-3 | Robust concurrent computing | Date, location, format | Date: 06/03/2014, location: salle 1008, Bât. Sophie Germain, format: écrit, tout les documents écrits sont autorisés, support électronique interdit | Contact P. Kuznetsov |
| 2-19 | Méthodes informatiques pour la biologie systémique et synthétique Computational Methods for Systems and Synthetic Biology. | Nov. 25 and Dec. 2 (16.15-19.15); Bât. Sophie Germain, room 1008; oral presentation of articles | March 3 (16.15-19.15) Bât. Sophie Germain, room 1008; written examination, all printed documents allowed, electronic devices excluded. | |
| 2-20-1 | Jeux pour la théorie des automates, la vérification et l'internet Game theory techniques in computer science. | December 2, 8h45-11h45, Sophie Germain, room 1009; written exam, course material allowed | Date, location, format | |
| 2-20-2 | Fondations mathématiques de la théorie des automates Mathematical foundations of automata theory. | December 2, 12:45 - 14:15; Sophie Germain, room 1008; written exam, course material allowed (excluding past exams), electronic devices excluded. | March 3, 12:45 - 15:15; Sophie Germain, room 1008; written exam, course material allowed (excluding past exams), electronic devices excluded. | |
| 2-22 | Algorithmes efficaces en calcul formel Efficient algorithms in computer algebra. | Nov 28, same room and time as usual. Documents: lecture notes and personal notes. No electronic device. | March 13, same room and time as usual. Documents: lecture notes and personal notes. No electronic device. | |
| 2-23-1 | Systèmes synchrones Synchronous systems. | Dec 6, Cecile Germain (same room), written exam, electronic devices excluded. | Date, location, format | |
| 2-24-1 | Optimisation Optimization. | Nov 27 16:15-18:45, same room as lectures (Sophie Germain: 1009), no books, personal notes allowed | Date, location, format | |
| 2-26-1 | Logic, descriptive complexity, and database theory. | 21 november, 9h-11h30, room 1009, written exam | ||
| 2-26-2 | Gestion de données sur le web Web data management. | Date, location, format | Date, location, format | |
| 2-27-1 | Structures Informatiques et Logiques pour la Modélisation Linguistique. | Date: December 4, 4:15pm–7:15pm, location: usual room (1008), format: written exam, all documents allowed, no electronic devices. | Date, location, format | |
| 2-29-1 | Algorithmique des graphes Graph algorithms. | Date: 26 November 9h–12h, location: room 1008, format: written exam all documents allowed. Electronic devices are forbidden | March 11 9h–12h, Room 1008, written exam, all documents allowed. Electronic devices are forbidden | |
| 2-30 | Protocoles cryptographiques: preuves formelles et calculatoires Cryptographic protocols: computational and symbolic proofs. | Date: December 4th, 12:45-15:45 Location: Room 1009, Bat. Sophie Germain Format and allowed documents: all printed/manustript documents are allowed. Electronic devices are forbidden | Date, location, format | |
| 2-31-1 | Algorithmique et complexité des problèmes de satisfaction de contraintes Constraint satisfaction problems: algorithms and complexity. | Date, location, format | Date, location, format | |
| 2-33-1 | Theorie des calculs Theory of computations. | Nov 28, 12:45-15:45, room 1008, written exam. Allowed documents: your personal notes and the handout. No electronic devices. | Date, location, format | |
| 2-34-1 | Informatique quantique et applications Quantum information and applications | Date, location, format | March 12, ROOM CHANGE : Sophie Germain 2018, TIME CHANGE: exam starts at 15h15 or 16h15 (your choice) AUTHORIZED NOTES: handwritten A4 page + printed lecture notes from the class. format: written exam. | contact Sophie Laplante |
| 2-35-1 | Programmation par Contraintes Constraints programming | Dec 5, 9h45-11h45; Sophie Germain, room 1008; written exam, course material allowed. | – | Contact Sylvain Soliman |
| 2-36-1 | Preuves de programmes Proofs of programs. | Date, location, format | March 14, 13:15-16:15 (not the usual hour), room 1009, written exam. Printed slides, handwritten notes, no electronic device. | Contact Claude Marché |
| 2-37-1 | Semantique, langages et algorithmes pour la programmation multicore Semantics, languages and algorithms for multicore programming. | – | Mar 5, 12:45-15:45, room 1008, written exam. Allowed documents: all, including computers | |
| 2-38-1 | Algorithmes pour les graphes plongés Algorithms for embedded graphs. | Nov 27, 8:45-11:45, room 1008, written exam. Allowed documents: your personal notes and the handout. No computers | Date, location, format |