|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
| Matthieu Sozeau Pages in this Program Coq Call for Papers | Coq Home Page | Coq on Friday, July 18th, 2014 | Coq Program | Coq Program Committee | ITP on Thursday, July 17th, 2014 | ITP Program | Program | Program for Friday, July 18th, 2014 | Program for Sunday, July 13th, 2014 | Program for Thursday, July 17th, 2014 | UNIF on Sunday, July 13th, 2014 | UNIF Program |
|
|
|