Miscellaneous academic information from various Universities

• EECS courses at UC Berkeley
• CS courses at Stanford (Spring 2008)
• New EECS Curriculum at MIT
• The 8 threads at Georgia Tech
• CS courses at Imperial College
• Informatics at TU Munich (mostly in German)
• Computer Science at Aarhus
• Diploma in CS at Cambridge
• Computer Science at Oxford
• Bachelor in Computer Science at EPFL
• Computer Science at ETH
• Computer Science and Engineering at IIT Bombay
• Computer Science and Engineering at IIT Delhi
• CS at Tokyo Institute of Technology
• Tecnologico de Monterrey (Ingeniero en Tecnologias Computacionales)
• Licenciatura en Ciencias de la Computacion, Universidad de Buenos Aires

Human-Machine Interface

• Wikipedia
• Designing for Interactions (by Dan Saffer)
• Human-Machine Interface course (Faculty of Information Technology, Brno, Czech Republic)
• Human-Computer Interfaces in Engineering Design (University of British Columbia, Canada)
• HCI at Imperial College (SW Engineering course)
• Graduate courses on HMI at KTH
• Course at the Universidad de Chile

Mathematics and Logic for Computer Science

• Logic (course notes at Imperial College)
• Pandora (Proof Assistant for Natural Deduction using Organised Rectangular Areas)
• Reasoned programming, by K. Broda, S. Eisenbach, H. Khoshnevisan, S. Vickers. (Prentice-Hall, 1994.)
• Introduction to Logic for Computer Science (IIT Delhi)
• Introduction to Computer Science (IIT Delhi) (Slides)
• Mathematics for Computer Science (MIT)