Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lenore Zuck
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2010 profile
SPLASH 2021 profile
Registered user since Thu 18 Jun 2015
Name:
Lenore Zuck
Country:
United States
Affiliation:
UIC
Personal website:
http://cs.uic.edu/~lenore
Contributions
VMCAI 2022
PC Member in Program Committee within the VMCAI 2022-track
PC Member in Program Committee within the VMCAI 2022-track
SAS 2021
Committee Member in Program Committee within the SAS-track
VMCAI 2021
Committee Member in Program Committee within the VMCAI-track
VMCAI 2020
Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track
Treasurer & Conference Manager in Steering Committee within the VMCAI 2020-track
PC Member in Program Committee within the VMCAI 2020-track
ETAPS 2019
Tutorials in Executive Board
Author of ETAPS Steering committee meeting within the Social-track
VMCAI 2019
Committee Member in Program Committee within the VMCAI 2019-track
Session Chair of Invited Talk 2 (part of VMCAI 2019)
VMCAI 2018
Author of P5: Planner-less Proofs of Probabilistic Parameterized Protocols within the VMCAI 2018-track
Session Chair of Invited Talk by Kenneth L. McMillan (part of VMCAI 2018)
VMCAI 2017
Committee Member in Steering Committee
VMCAI
Treasurer & Conference Manager in Organizing Committee
Committee Member in Program Committee
Committee Member in Steering Committee
Share
x
Mon 29 May 21:49