Mercurial > hg > Members > atton > generated_seminar_slides

comparison index.html @ 79:ee5429cf4dfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 13 Jul 2015 19:17:38 +0900
parents be05064aea7e
children 21325b72ffc3
comparison
equal deleted inserted replaced
78:be05064aea7e 79:ee5429cf4dfd
59 <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li> 59 <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li>
60 <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li> 60 <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li>
61 <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li> 61 <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li>
62 <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li> 62 <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
63 <li>20150616 : <a href="slides/20150616/slide.html">Verification of programs using Code Segments and Data Segments</a></li> 63 <li>20150616 : <a href="slides/20150616/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
64 <li>20150714 : <a href="slides/20150714/slide.html">Report of LOLA + LICS/ICALP</a></li>
64 </ul> 65 </ul>
65 66
66 </body> 67 </body>
67 </html> 68 </html>