Chris Cannings – Modelling evolutionary games

Nov. 19, 2009 The notion of an ESS (evolutionarily stable strategy) was introduced by Maynard Smith and Price(1973) in order to provide an explanation for the co-existence of disparate strategies observed in fights between animals. In some population individuals engage in pairwise contests using strategies drawn from some repertoire S.…

Continue reading

Xavier Leroy – Comment faire confiance à un compilateur ?

29 octobre 2009 Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient “que” des programmes source: des erreurs dans les compilateurs qui les…

Continue reading