|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
| Adam Chlipala Pages in this Program Coq on Friday, July 18th, 2014 | Coq Program | ITP on Monday, July 14th, 2014 | ITP on Thursday, July 17th, 2014 | ITP Program | LFMTP on Thursday, July 17th, 2014 | LFMTP Program | LFMTP Program Committee | Program | Program for Friday, July 18th, 2014 | Program for Monday, July 14th, 2014 | Program for Thursday, July 17th, 2014 |
|
|
|