Défis scientifiques du Traitement Informatique de la Langue
Isomorphismes de types. Ou comment la the'orie des nombres peut aider a` la recherche de composantes logicielles
Problèmes de terminaison
Architecture des processeurs actuels et futurs
Jeux et calcul
Bio-informatique: problèmes, enjeux, méthodes et algorithmes
Pirates et sécurité: la logique à la rescousse
Algorithmes d'approximation pour l'optimisation combinatoire