Autumn school: Theoretical Computer Science
Ha Noi, October 19-30, 2015

Time: October 19-30, 2015

Location: Room 301, Building A5, Institute of Mathematics Hanoi, VAST, 18 Hoàng Quốc Việt, Hà Nội.

The school is open to all students from all universities of Hanoi. Participation is free.
Registration is not mandatory but recommended, please send e-mail to Phan Thi Ha Duong or Christophe Crespelle.

The purpose of the school is to provide students with some insight into hot topics in computer science at the frontier with mathematics. It is intended to undergraduate students between the 3rd and the 5th year, in mathematics or computer science.
It is composed of two independant courses on two different topics, given by researchers of the Computer Science Laboratory (LIP) of ENS de Lyon. Each of the courses will include both lectures and exercises/practical work sessions, as well as a final exam, held 2 weeks after the school, to allow students to test their new knowledge and understanding. The lectures are given in english.

  • First lecture: “Introduction to Effective Approximation Theory”
    Teacher: Nicolas Brisebarre (CNRSLIPENS de Lyon)

    This course will cover part of approximation theory from the point of view of effective computation. We’ll present methods for the computation of good polynomial or rational approximants and some applications (certified quadrature, global optimization,…). The course will consist of lectures, exercises and practical sessions. We will use Maple or SAGE during the practical sessions.
  • Second lecture: “Point processes, Palm calculus and stochastic geometry”
    Teacher: Anthony Busson (UCBLLIPENS de Lyon)

    This lecture will begin with a refresher on stochastic point processes, and its different properties (stationarity, homogeneity, etc.). It will be followed by a presentation of Palm calculus (that will be the main part of this lecture). Then, we will generalized the different formulae and tools presented earlier to point processes distributed in the plane. The different lectures will be combined to exercices that aim to illustrate the different notions and to show the different application fields (telecomunication, computer science, complex networks, etc.).

First week: 19-23 October. Room 301, Building A5.

Monday Tuesday Wednesday Thursday Friday
Morning
8:30 – 11:30
Room A5.301
Palm Palm French Class:
Check schedule!
Palm French Class:
Check schedule!
Afternoon
14:00 – 17:00
Room A5.301
Approx Approx Approx Approx Palm

Second week: 26-30 October. Room 301, Building A5.

Monday Tuesday Wednesday Thursday Friday
Morning
8:30 – 11:30
Room A5.301
French Class:
Check schedule!
Palm French Class:
Check schedule!
Palm French Class:
Check schedule!
Afternoon
14:00 – 17:00
Room A5.301
Approx Approx Approx Approx Palm

Back