Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
impro [2014/09/02 22:22] vkuncak |
impro [2014/09/03 14:46] vkuncak |
||
|---|---|---|---|
| Line 32: | Line 32: | ||
| Videos: | Videos: | ||
| * **[[http://videos.rennes.inria.fr/ConferenceRV2013/indexViktorKuncak.html|RV Keynote: Executing Specifications using Synthesis and Constraint Solving]]** | * **[[http://videos.rennes.inria.fr/ConferenceRV2013/indexViktorKuncak.html|RV Keynote: Executing Specifications using Synthesis and Constraint Solving]]** | ||
| + | * **[[ | ||
| + | https://www.youtube.com/watch?v=0aPZq6VC2fk|Synthesis in Leon]]** | ||
| * **[[https://www.youtube.com/watch?v=q9sh7f15v8w|Brick Breaker in Pong Designer - version from 2012]]** | * **[[https://www.youtube.com/watch?v=q9sh7f15v8w|Brick Breaker in Pong Designer - version from 2012]]** | ||
| * **[[http://slideshot.epfl.ch/play/ic_il_kuncak|Viktor's Inaugural Lecture at EPFL]]** (uses flash) | * **[[http://slideshot.epfl.ch/play/ic_il_kuncak|Viktor's Inaugural Lecture at EPFL]]** (uses flash) | ||