|
|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
| Taus Brock-Nannestad | Organization: | INRIA & LIX/École Polytechnique |
Pages in this Program | LFMTP on Thursday, July 17th, 2014 | | LFMTP Program | | Linearity on Sunday, July 13th, 2014 | | Linearity Program | | Program | | Program for Saturday, July 12th, 2014 | | Program for Sunday, July 13th, 2014 | | Program for Thursday, July 17th, 2014 | | SD on Saturday, July 12th, 2014 | | SD Program |
|
|
|
