Lenore D. Zuck
Recent PC:
Steering Committees:
Editor:
Workshop Organizer (recent):
- 2013: TACAS, VSTTE, RV, SPIN
- 2012: TACAS, FC, WESCR, SSS, ISOLA
- 2011: TACAS, VMCAI
- 2010: TACAS, OOPSLA
Steering Committees:
- VMCAI, TACAS, ETAPS
Editor:
- STTT
Workshop Organizer (recent):
- Runtime Verification: the application perspective (ISOLA 2012), with Sven Dietrich, Mireille Hilderbrandt, and Aiko Pras
- Ethics in Data Sharing (Dagstuhl, Jan 2014), with Yliès Falcone