english only
EPFL > I&C > Tresor >
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
videos [2016/07/13 11:44]
fsalvi
videos [2018/11/15 10:50] (current)
fsalvi
Line 5: Line 5:
 [[https://​www.youtube.com/​watch?​v=4DNJyiLQp78|Armin Biere: Challenges in Bit-Precise Reasoning]] ([[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​advance-program.shtml|FMCAD'​14]] talk, with [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​slides/​Biere-FMCAD14-tutorial.pdf|slides]] and [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​proceedings/​02_biere.pdf|proceedings]]) [[https://​www.youtube.com/​watch?​v=4DNJyiLQp78|Armin Biere: Challenges in Bit-Precise Reasoning]] ([[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​advance-program.shtml|FMCAD'​14]] talk, with [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​slides/​Biere-FMCAD14-tutorial.pdf|slides]] and [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​proceedings/​02_biere.pdf|proceedings]])
  
-[[http://video.epfl.ch/2649/1/10|Andrew Reynolds: Induction for SMT Solvers]] (see also the talks from the [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​advance-program.shtml|FMCAD'​14]])+[[https://tube.switch.ch/videos/dd5e03cb|Andrew Reynolds: Induction for SMT Solvers]] (see also the talks from the [[http://​www.cs.utexas.edu/​users/​hunt/​FMCAD/​FMCAD14/​advance-program.shtml|FMCAD'​14]])
  
  
Line 12: Line 12:
 [[http://​slideshot.epfl.ch/​play/​suri_moore|J Moore: Machines Reasoning about Machines]] ([[http://​suri.epfl.ch|SuRI]] keynote; also available is the [[ACL2 Demo Session File]]) [[http://​slideshot.epfl.ch/​play/​suri_moore|J Moore: Machines Reasoning about Machines]] ([[http://​suri.epfl.ch|SuRI]] keynote; also available is the [[ACL2 Demo Session File]])
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=726&​plugin=9&​checkplugin=1|William Cook: Model Interpretation and Compilation by Partial Evaluation]]+[[https://tube.switch.ch/videos/e7caa1be|William Cook: Model Interpretation and Compilation by Partial Evaluation]]
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=682&​plugin=9&​checkplugin=1|Mikael Mayer: Complete Program Synthesis for Linear Arithmetics]]+[[https://tube.switch.ch/videos/bde7255e|Mikael Mayer: Complete Program Synthesis for Linear Arithmetics]]
  
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=664&​plugin=9&​checkplugin=1|Martin Vechev: Automatic Inference of Synchronization]]+[[https://tube.switch.ch/videos/8ccfc222|Martin Vechev: Automatic Inference of Synchronization]]
  
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=650&​plugin=9&​checkplugin=1|Peter Schneider-Kamp:​ Automated Termination Analysis of Programs using +[[https://tube.switch.ch/videos/2428d987|Peter Schneider-Kamp:​ Automated Termination Analysis of Programs using 
 Dependency Pairs]] Dependency Pairs]]
  
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl/?​page=video&​lang=2&​connected=0&​id=605&​plugin=9&​checkplugin=1|Makarius Wenzel: The languages of Isabelle: Isar, ML, and Scala]]+[[https://tube.switch.ch/videos/f9a587c5|Makarius Wenzel: The languages of Isabelle: Isar, ML, and Scala]]
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl/?​page=video&​lang=2&​id=521&​connected=0&​checkplugin=1|Geoff Sutcliffe: Thousands of Problems for Theorem Provers]]+[[https://tube.switch.ch/videos/8c09aca2|Geoff Sutcliffe: Thousands of Problems for Theorem Provers]]
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl?​page=video&​lang=2&​connected=0&​id=461&​plugin=9&​plugin=1&​checkplugin=1|Steven Obua: Formalization of the Proof of the Kelper Conjecture]]+[[https://tube.switch.ch/videos/6154a69a|Steven Obua: Formalization of the Proof of the Kelper Conjecture]]
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl?​page=video&​lang=2&​connected=0&​id=449&​plugin=9&​plugin=1&​checkplugin=1|An Improved Algorithm for Three-Color Parity Games]]+[[https://tube.switch.ch/videos/ff9d0f68|An Improved Algorithm for Three-Color Parity Games]]
  
-[[http://ditwww.epfl.ch/cgi-perl/EPFLTV/​home.pl?​page=video&​lang=2&​connected=0&​id=447&​plugin=9&​plugin=1&​checkplugin=1|Solving Parity Games in Practice]]+[[https://tube.switch.ch/videos/5d27e8ac|Solving Parity Games in Practice]]