Université de Paris VII. Séminaire de complexité algorithmique et de logique