Atlas home || Conferences | Abstracts | about Atlas
Host: University Paris 12
Homepage: http://www.univ-paris12.fr/lacl/LCCS2001
Email: beauquier@univ-paris12.fr
Organizers: D.Beauquier (Univ.Paris 12), J.Cohen (Univ. Paris 12), T. Crolard (Univ. Paris 12), A. Durand (Univ. Paris 12)
Deadline for abstracts: May 02, 2001
Description:
The workshop is held to honour Anatol Slissenko and his outstanding
contributions towards advancing computer science on occasion of his 60th anniversary. The aim
of the workshop is to provide a forum for the exchange of results in the area of logic and
complexity applied to computer science. The preferable topics to be presented are those
connected with scientific interests of A.O. Slissenko.
Topics:
Papers are sollicited in all research areas related to logic
and complexity applied to computer science, including but not limited to : logic and
computability, proofs search in the propositional and predicate calculi, complexity of
combinatorial and geometrical problems, model checking, software specification,
verification.
Speakers: Invited speakers, A. Arnold (Bordeaux), D. Burago (PenState Univ.), D. Grigoriev (Rennes), G. Mints (Stanford), M. Nivat (Paris), A. Razborov (Moscow)
Mail Address:
LACL Université Paris12 61 Avenue du Général de Gaulle 94 010 Créteil FRANCE
Submitted by: Danièle Beauquier
Date received: November 22, 2000
© 2008 Atlas Conferences Inc.