of CLC (Center for Logic and Computation):
Past committee members: Jirí Adámek; Dov Gabbay; Don Pigozzi; Hava Siegelmann.
The Center is now the SQIG
at IT with revised
goals and structure, focused on classical and quantum computation
and information security.
Last update: July 11, 2006.