Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a

Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.

Quelle sécurité alimentaire en Inde ? Dilemmes économiques, socio-politiques et environnementaux. Une mise en miroir  francilienne. Colloque organisé par l’Association France-Union Indienne

Les 20, 21 et 22 novembre 2017, se sont tenues à Tours les journées MASA consacrées à l’interopérabilité des données en Archéologie.  L’après-midi du 20 a été consacré à des ateliers de formation, l

Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to

Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and

Nora Seni, "Forms, logics and actors of philanthropy from the 19th century to our day" Colloque Pauvreté et philanthropie à Istanbul Under the auspices of H.A.H. the Ecumenical Patriarch

Après deux ouvrages sur le sujet dans un format de publication plus traditionnel, comprenant un volume imprimé adossé aux preuves en ligne, nous avons fait ici le choix d'une publication, certes

J’analyserai la naissance des notions de "vérité" et de "réalité (objective)", notions qui nous semblent aller de soi, mais sont en réalité apparues à un moment précis de l'histoire de notre

TRIBUNE de Michel Wieviorka, parue dans Libération, le 5 janvier 2015. " Ulrich Beck a disparu, le 1er janvier, de façon tout à fait imprévisible. Et avec lui, nous perdons une figure intellectuelle

Much of the technical terminology of computer science betrays its logical heritage: ‘language’, ‘symbol’, ‘syntax’, ‘semantics’, ‘value’, ‘reference’, ‘identifier’, ‘data’, etc.  Classically,