Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Toggle navigation
Attending
Venue: Virtual
Registration
Code of Conduct
Program Outline
Sponsorship
Call for Sponsorship
Sponsors and Supports
Program
ISSTA Program
Your Program
Awards
Sat 18 Jul
Sun 19 Jul
Mon 20 Jul
Tue 21 Jul
Wed 22 Jul
Tracks
ISSTA 2020
Technical Papers
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Student Volunteers
Summer School
Keynote
Workshops
WoSCA
TAV-CPS/IoT
Organization
ISSTA 2020 Committees
Organizing Committee
Track Committees
Technical Papers
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
WoSCA
TAV-CPS/IoT
Contributors
People Index
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2020
(
series
) /
1st International Workshop on Smart Contract Analysis (WoSCA 2020)
/
Program Committee
ISSTA WoSCA
Josselin Feist
Co-chair
Trail of Bits
France
Gustavo Grieco
Co-chair
Trail of Bits
Alex Groce
Co-chair
Northern Arizona University
United States
Elvira Albert
Diego Garbervetsky
University of Buenos Aires and CONICET, Argentina
Argentina
Neville Grech
University of Athens, Greece
Bo Jiang
Beihang University
China
Shuvendu K. Lahiri
Microsoft Research
Hakjoo Oh
Korea University, South Korea
Grigore Roşu
University of Illinois at Urbana-Champaign
United States
Valentin Wüstholz
ConsenSys Diligence
Germany
x
Thu 21 Nov 09:59