Tevfik Bultan - Professional Activities


Current Professional Activities

CAV 2015 Program Committee Member
ICSE 2015 Program Committee Member
ATVA 2015 Program Committee Member
SEFM 2015 Program Committee Member
HVC 2014 Program Committee Member
FSE 2014 Program Committee Member
ASE Steering Committee Member
TSE Editorial Board Member

Past Professional Activities

ASE 2014 Program Committee Member
SEFM 2014 Program Committee Member
ICST 2014 Program Committee Member
SOCA Editorial Board Member (2006-2013)
ASE 2013 Program Committee Co-Chair
FACS 2013 Program Committee Member
QASBA 2013 Keynote Speaker
FORTE/FMOODS 2013 Program Committee Member, Keynote Speaker
ICST 2013 Program Committee Member
FSE 2012 Program Committee Co-Chair
FACS 2012 Keynote Speaker
ASE 2012 Doctoral Symposium Co-Chair
ICSE 2012 Doctoral Symposium Program Committee Member
FIT 2012 Program Committee Member
ATVA 2011 Program Committee Co-Chair
INFINITY 2011 Keynote Speaker
UYMS 2011 Keynote Speaker
VLDS 2011 Program Committee Member
ASE 2011 Program Committee Member
MEMOCODE 2011 Program Committee Member
ESEC/FSE 2011 Program Committee Member
ICWS 2011 Program Committee Member
TAV-WEB 2010 Program Committee Member
WS-FM 2010 Program Committee Co-Chair, Co-Organizer
Workshop on Formal Methods Keynote Speaker
SSS 2010 Safety and Verification Track, Program Committee Member
ICWS 2010 Program Committee Member
ASE 2010 Workshop Co-Chair, Program Committee Member
PESOS 2010 Program Committee Member
MEMOCODE 2010 Program Committee Member
ISSTA 2010 Program Committee Member
ASE 2009 Expert Review Panel
PESOS 2009 Program Committee Member
MEMOCODE 2009 Program Committee Member
ISSTA 2009 Program Committee Member
PASTE 2008 Keynote Speaker
ICSOC 2008 Program Committee Member
FACS 2008 Program Committee Member
ASE 2008 Program Committee Member
TAV-WEB 2008 Program Committee Co-chair, Co-organizer
CONCUR 2008 Keynote Speaker
NSV 2008 Invited Speaker
MEMOCODE 2008 Program Committee Member, Keynote Speaker
TACAS 2008 Program Committee Member
WWV 2007 Program Committee Member
ASE 2007 Program Committee Member
AFM 2007 Program Committee Member
ICSOC 2007 Program Committee Member
IW-SOSWE 2007 Program Committee Member
SOQUA 2007 Program Committee Member
MEMOCODE 2007 Program Committee Member
ISSTA 2007 Program Committee Member
WQVV 2007 Organizing Committee Member
WSCA 2007 Program Committee Member
SOCA 2007 Program Committee Member
WWV 2006 Invited Speaker
ICSOC 2006 Program Committee Member
TAV-WEB 2006 Program Committee Chair, Organizing Committee Member
ASE 2006 Program Committee Member
IW-SOSE 2006 Program Committee Member
ICSE 2006 Emerging Results Track, Program Committee Member
MEMOCODE 2006 Program Committee Member
DILSOS 2006 Program Committee Member
SVV 2006 Program Committee Member
ICSOC 2005 Program Committee Member
ASE 2005 Program Committee Member
SVV 2005 Program Committee Member
ATVA 2005 Program Committee Member
SoftMC 2005 Program Committee Member
ICWS 2005 Program Committee Member
MEMOCODE 2005 Program Committee Member, Panel Chair
ICSE 2005 Program Committee Member
AVIS 2005 Program Committee Member
SVV 2004 Program Committee Member
ATVA 2004 Program Committee Member, Invited Speaker
TAV-WEB 2004 Program Committee Co-chair, Co-organizer
WWW 2004 Poster Committee Member
ATVA 2003 Program Committee Member
CIAA 2003 Program Committee Member, Organizing Committee Chair
ISSTA 2002 Program Committee Member