ER01: Algorithmic Game Theory

Pierre Lescanne

Dates: December 9-13, 2013.

School outline and timetable .

Local contact :Natacha Portier.

Registration

Registration is free, but the number of participants is limited. Registration includes neither housing nor meals (though for lunch the attendees will be granted access to the student cafeteria). Registration should be made before November 29, 2013 by clicking on this link, filling the form and sending the e-mail message. You will receive a confirmation as soon as possible.

Alternatively, you can copy/paste and fill the form below, then send it by e-mail to nicole.meftah@ens-lyon.fr with the subject line “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

Anne Benoit

Dates: January 13-17, 2014.

Web site.

Local contact : Laure Gonnord.

Registration

Registration is free, but the number of participants is limited. Registration includes neither housing nor meals (though for lunch the attendees will be granted access to the student cafeteria). Registration should be made before January 3, 2014 by clicking on this link, filling the form and sending the e-mail message. You will receive a confirmation as soon as possible.

Alternatively, you can copy/paste and fill the form below, then send it by e-mail to nicole.meftah@ens-lyon.fr with the subject line “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

Pierre Lescanne

Speakers: André Platzer and Sarah Loos.

Dates: January 20-24, 2014.

Web page.

Local contact: Filippo Bonchi

Registration

Registration is free, but the number of participants is limited. Registration includes neither housing nor meals (though for lunch the attendees will be granted access to the student cafeteria). Registration should be made before January 10, 2014 by clicking on this link, filling the form and sending the e-mail message. You will receive a confirmation as soon as possible.

Alternatively, you can copy/paste and fill the form below, then send it by e-mail to nicole.meftah@ens-lyon.fr with the subject line “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.

FDI – Computability (1st semester, 6 ECTS)

Pascal Koiran

Cours : Guillaume Hanrot

TD : Marc De Visme & Pierre Pradic

Chapters :

First computation models:

  • Finite automata / regular languages : deterministic vs non deterministic, equivalence between automata / regular expressions, minisation, limits of regular languages, pumping lemma.
  • Grammars : Chomski’s hierarchy, equivalence context-free / stack, limits of context-free with pumping.

Church-Turing thesis:

  • Turing machines.
  • Equivalence with : recursive functions, lambda-calculus.

Decidable / Undecidable:

  • Undecidable, stopping problem.
  • Theorems: Rice, Kleene.

An introduction to complexity theory:

  • Time-complexity classes, Space-complexity classes, deterministic and non-deterministic classes.
  • Elementary inclusion and separation results.
  • Classes P and NP: certificate-based characterization of NP; Cook’s theorem.

ASR1 – Computer Architecture (1st semester, 6 ECTS)

Florent de Dinechin

Cours : Florent de Dinechin

TD : Florent de Dinechin & Guilhem Gamard & Alexandre Talon

Schedule

  1. History of mechanical computing.
  2. Coding information.
  3. Combinatorial circuits.
  4. Sequential circuits.
  5. Von Neuman architecture.
  6. RISC processors.
  7. Interruptions and shared time.
  8. I/O.
  9. Virtual memory and cache.
Bibliography
  • A. Tanenbaum. Architecture de l’ordinateur. 5e ed., Pearson Education, 2006
  • F. Wahid: Digital Design. Wiley, 2006.
  • Hennessy & Patterson. Computer Architecture: A Quantitative Approach. 3rd ed., Morgan Kaufmann, 2003.

PROG – Programming Languages Theory (1st semester, 6 ECTS)

Daniel Hirschkoff

Cours : Daniel Hirschkoff

TD : Adrien Durier & Alexis Ghyselen & Julien Braine

Programming languages and programs are usually not built as mathematical entities, but rather as technological objets (whose properties can be described as rigorously as possible, in manuals or standards).

This course is about the semantics of programming languages, which provides mathematical tools that make it possible

  • to describe and analyse the statics of programs: what are the constructs made available by the language, what can be read on the code (about the usage of functions, the managment of resources, the risk of errors like division by zero or getting into an infinite loop);
  • to do the same for the dynamics of programs: how a program is supposed to run, what resources are involved at execution time, etc.
  • to discuss translations from a language to another (which is called compilation), and, more generally, to describe programs that manipulate programs.

Bibliography

  • G. Winskel, The semantics of programming languages, MIT Press.
  • J. Reynolds, Theories of Programming Languages, CUP.
  • a web page dedicated to the course will be made available from http://perso.ens-lyon.fr/daniel.hirschkoff

The course consists in 2 hours of lecture per week, together with 2 hours of exercices (on machine, or on paper).

Le cours est organisé selon le schéma hebdomadaire suivant: 2h de cours; 2h de travaux pratiques sur machine; des devoirs à la maison à faire en binôme, un partiel, un examen.

LOG – Mathematical logics (2nd semester, 6 ECTS)

Alexandre Miquel

Cours : Natacha Portier

TD : Guilhem Gamard & Alexis Ghyselen

Naive set theory :

  •  Set theory, Cantor-Bernstein.
  • Ordinals, cardinals, well quasi order, Veblen hierarchy.
  • Axiom of choice.

First order theories :

  • First order languages, natural deduction.
  • First order theory, and extensions.
  • Peano Arithmetics (PA), Zermelo-Fraenkel Set Theory (ZF).

Tarski’s models :

  • Structures and isomorphisms
  • Completeness, compactness, Löwenheim-Skolem theorems.
  • Applications to PA and ZF.

Incompleteness theorems  :

  • Undecidability of arithmetics, link with recursive functions.
  • Gödel’s incompleteness theorems.

ASR2 – Operating Systems & Networks (2nd semester, 6 ECTS)

Eric Fleury

Cours : Michaël Rao

TD : Guilhem Gamard & Rémy Grunblatt & Etienne Moutot

Objective

Understanding operating systems and programming applications interacting with the system.

Bibliography

  •  Jean-Marie Rifflet et Jean-Baptiste Yunès, “UNIX : programmation et communication”, Dunod, 2003.
  •  Andrew S. Tanenbaum et Herbert Bos, “Modern Operating Systems, 4th Ed”,Pearson 2015..

English 2 (2nd semester, 3 ECTS)

Eric Thierry

Cours : Véronique Rancurel, Hélène Windish, Karen Rizo, David Alzapiedi (Veronique.Rancurel)

Ce module  est centré sur l’expression orale et la compréhension orale. Présentation orale, avec transparents, d’un article scientifique (simulation de colloque), apprentissage des techniques et stratégies de communication, anglais du quotidien . Entraînement à la prise de notes à partir de documents vidéo authentiques avec compte rendu écrit.

(Français) Séminaires SIESTE 2012/2013

Eric Fleury

 

Winter School in Computer Science

Computer Science Department — ENS Lyon

Presentation:

The Computer Science department  of ENS Lyon organizes as part of the Computer science Graduate courses (Master d’Informatique Fondamentale) six winter research schools from January to February 2010, consisting in 6 one-week long intensive courses (24 hours), given by leading experts on hot research-active topics. These courses are opened to external participants (researchers and students).

The list of courses, their abstracts and the list of lecturers can be found on the computer science department  web pages.

The 6 winter schools of this year are:

[catlist=19]

Registration:

Warning: registration will close 2 weeks before the beginning of the school.

There are no registration fees. For organization reasons it is however necessary to register online ;

Important: if you wish to attend several schools it is necessary to complete one registration form for each school.

Accommodation

Each participant takes care of his accomodation and meals.

Some complementary information might be added later on the web page of the winter schools.

 

Location

ENS Lyon is located in the south part of the town, easily accessible from the two railway stations. It is also near from the historical town center (15min by subway).

Instructions for reaching ENS Lyon can be found here.

The city of Lyon offers many cultural and tourist interest sites: the Renaissance area of “Vieux Lyon”, the Fourvière hill   (Unesco world heritage sites) among others:

http://www.en.lyon-france.com/