International Events

TACAS 2010: 16th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10)

POPL 2010: 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

VSTTE 2010: 3rd Int. Working Conf. on Verified Software: Theories, Tools and Experiments

CAV 2010: 22nd Int. Conf. on Computer Aided Verification

National Events

CSW 2010: I was in the organizing committee of the Computer Science Student Workshop (CSW'10).

UYMS 2010: IV. Ulusal Yazılımı Mühendisliği Sempozyumu ve Sergisi

YKGS 2008: Yazılım Kalitesi ve Yazılım Geliştirme Araçları Sempozyumu