COMPUTING 2011

Symposium on 75 Years of Turing Machine and Lambda-Calculus

Karlsruhe, Germany, October 20-21, 2011

COMPUTING 2011 is organized by Institute of Cryptography and Security (IKS) and Institute of Theoretical Informatics (ITI) of Karlsruhe Institute of Technology (KIT).

Symposium chair/Contact

Olga Tveretina, olga at ira dot uka dot de

Programme/Organizing Committee

Bernhard Beckert, ITI
Jacques Calmet, IKS
Stephan Falke, ITI
Christoph Gladisch, ITI
Dennis Hofheinz, IKS
Jörn Müller-Quade, IKS
Peter H. Schmitt, ITI
Carsten Sinz, ITI
Mana Taghdiri, ITI
Olga Tveretina, ITI
Roland Vollmar, IKS
Thomas Worsch, IKS