Linear Logic

• Physicists Create a Working Transistor From a Single Atom
  The New York Times
• Why We Compute
  Daniel Reed
• No Objections to Nano?
  The Scientist

Conferences:

• STOC 2012: The 44th ACM Symposium on Theory of Computing - May 19 – 22, 2012;  New York, NY, USA

Courses:

• Introduction to Programming using C++ - For students who wish to prepare for employment as professional software developers, or who want to better understand the concepts and terminology used by professional …

• Does Chomsky complexity affect genetic programming computational requirements?
  SAICSIT '11: Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
• Billiards: an optimization challenge
  C3S2E '11: Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
• Robot games for elderly
  HRI '11: Proceedings of the 6th international conference on Human-robot interaction