Direct access to content


Les Houches Physics School

In the headlines

Video: Freeman Dyson's testimonial on Les Houches in 1954. Here on Vimeo.
Nobel prizes at the top! To know more about this, follow this link (in french).

Livres

Recent Lecture Notes at Oxford University Press

Currently at the school

  • Finite and algorithmic model theory Finite and algorithmic model theory is at the boundary of computer science and mathematics. It studies the relationship between logical definability and computational complexity on finite structures. The consideration of finite structures became intimately related with, for example, computational and descriptive complexity, model checking, database theory, verification, etc., so much so that the boundaries between these subjects are often hard to distinguish.

Pictures from Les Houches

Houches - Vignettes de l'accueil



Date of update April 5, 2012