Past TECSWeeks
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 TECSWeek 2004 : Specification Techniques TECS Week 2003 : Program Analysis
|