Lenore Zuck -

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