HOL Program Committee
The program committee of HOL14 is shown below.
- Ramana Kumar (University of Cambridge) - chair
|
|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
HOL Program Committee
The program committee of HOL14 is shown below.
|
|