|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
| Makarius Wenzel Pages in this Program ACL2 Call for Papers | ACL2 Program Committee | APPA on Friday, July 18th, 2014 | APPA Program | Isabelle Home Page | Isabelle on Sunday, July 13th, 2014 | Isabelle Program | ITP on Tuesday, July 15th, 2014 | ITP Program | ITP Program Committee | Program | Program for Friday, July 18th, 2014 | Program for Sunday, July 13th, 2014 | Program for Thursday, July 17th, 2014 | Program for Tuesday, July 15th, 2014 | UITP on Thursday, July 17th, 2014 | UITP Program |
|
|
|