QED Program Committee
The program committee of QED+20 is shown below.
- John Harrison (Intel Corporation) - chair
- Josef Urban (Radboud University) - chair
- Freek Wiedijk (Radboud University Nijmegen) - chair
|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
QED Program Committee
The program committee of QED+20 is shown below.
|
|