Computational Linguistics Natural language processing / Computational semantics / Natural language generation / Automatic summarization
Mobile Robotics Lab Sensor based robotics
Modelling, Simulation & Design Lab Computer-aided multi-paradigm modelling and simulation / Model compilers & languages / Rapid application development / Reactive systems
Computer Games Lab efficient and playable game implementations / Modelling and analyzing different facts of game structure
Computer Graphics Lab Physically based animation / Deformation / Contact / Modeling motion and control of humans and animals / Interaction capture
Sable Lab Tool development for computation-intensive problems in Java / Better understanding and faster execution of Java programs
Network Dynamics Lab Measuring and predicting complex systems
Reasoning and Learning Lab Probabilistic systems / Markov processes / Decision making under uncertainty / Reinforcement learning
Cryptography Lab Theoretical and practical crypography / Quantum information theory / Quantum computing
Pervasive Security and Privacy Mobile and pervasive computing / Networked embedded systems / Privacy-preserving computing / Cloud systems
A quick tour through phylogenetic networks
Amin Coja-Oghlan: The cavity method
Timothy J. O'Donnell: Computation, Storage, and Generalization in Language
Forthcoming TCS Colloquium...
Forthcoming TCS Seminar...
Modern Image Synthesis: Much more than just pretty pictures