2010 ICSE Computer Science Theory 2011 ICSE Computer Science Theory 2012 ICSE Computer Science Theory 2013 ICSE Computer Science Theory 2014 ICSE Computer Science Theory 2015 ICSE Computer Science Theory