|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
| Ekaterina Komendantskaya Pages in this Program ACL2 on Saturday, July 12th, 2014 | ACL2 Program | ARW-DT Call for Papers | ARW-DT Program Committee | Coq on Friday, July 18th, 2014 | Coq Program | ICLP DC Program Committee | ICLP on Monday, July 21st, 2014 | ICLP Program | Program | Program for Friday, July 18th, 2014 | Program for Monday, July 21st, 2014 | Program for Saturday, July 12th, 2014 |
|
|
|