Séminaire "Complexité, Logique et Informatique"

Comme son titre l'indique, les thèmes centraux de ce séminaire sont à l'interface entre la complexité et la logique considérées tant d'un point de vue fondamental qu'à travers leurs applications à l'informatique (et à d'autres domaines comme la biologie ou la physique statistique, par exemple).

Une liste non exhaustive de sujets d'intérêts : complexité algorithmique et structurelle, complexité implicite, modèles finis, complexité algébrique, logique pour les bases de données, la vérification  ou l'intelligence artificielle, logique et combinatoire, calcul quantique, calculabilité, nouveaux modèles de calculs et nouvelles problématiques en complexité,....




Il a lieu, irrégulièrement, le mardi après-midi sur le site Sophie Germain.

Organisateur : Hervé Fournier

Abonnement à la liste de diffusion
Ce séminaire participe à l'ACM