equal
deleted
inserted
replaced
207 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School |
207 <A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School |
208 on Logic and Theorem Proving in Programming Languages</A> (4h) |
208 on Logic and Theorem Proving in Programming Languages</A> (4h) |
209 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>] |
209 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>] |
210 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>] |
210 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>] |
211 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>] |
211 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>] |
212 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>] |
212 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>] |
213 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>] |
213 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>] |
214 [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>] |
214 [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>] |
215 </ul> |
215 </ul> |
216 |
216 |
217 </TD> |
217 </TD> |
218 </TR> |
218 </TR> |
219 |
219 |