Previous TECSWeek Events

TECS Week 2011 :  Computer Networks

TECS Week 2010 :  Formal methods in software verification, testing and debugging

TECS Week 2009 :  Decentralized Cooperative Computing

TECS Week 2008 :  Human-Computer Interaction, Virtual Reality, and Data Visualization

TECS Week 2007 :  Data-intensive Computing

TECS Week 2006 :  Embedded Systems

TECS Week 2005 :  Security Modeling

TECS Week 2004 :  Specification Techniques

TECS Week 2003 :  Program Analysis