Abstract
Ce numéro spécial, édité à l’occasion du centenaire de la naissance d’Alan Turing, est le fruit d’une double collaboration : d’une part une collaboration internationale qui exprime via internet l’importance de l’année Turing, d’autre part une collaboration locale régulière entre des chercheurs de l’équipe TYPES du Laboratoire Lorrain de Recherche en Informatique (LORIA) qui s’intéressent à la logique, la théorie de la preuve et la programmation, et des philosophes et logiciens du Laboratoire...