Mercurial > cpdt > repo
comparison staging/index.html @ 566:1a231194d164
Two new courses
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 19 Oct 2018 10:27:35 -0400 |
parents | 7020e5a4af96 |
children | c3d4217e1da7 |
comparison
equal
deleted
inserted
replaced
565:7020e5a4af96 | 566:1a231194d164 |
---|---|
57 <li>CS252 at Harvard <a href="http://www.cs.harvard.edu/~adamc/cpdt/">(Fall 2008)</a></li> | 57 <li>CS252 at Harvard <a href="http://www.cs.harvard.edu/~adamc/cpdt/">(Fall 2008)</a></li> |
58 </ul> | 58 </ul> |
59 | 59 |
60 <h3>Classes where CPDT is/was a supplementary text</h3> | 60 <h3>Classes where CPDT is/was a supplementary text</h3> |
61 <ul> | 61 <ul> |
62 <li>ITP at U. Tübingen <a href="http://ps.informatik.uni-tuebingen.de/teaching/ws18/itp/">(Winter 2018/2019)</a></li> | |
63 <li>CS410 at Portland State (<a href="http://web.cecs.pdx.edu/~apt/cs510coq/">Fall 2018</a>, Spring 2013)</li> | |
62 <li>CSI 5137 at U. Ottawa (<a href="http://www.site.uottawa.ca/~afelty/csi5137/">Fall 2018</a>)</li> | 64 <li>CSI 5137 at U. Ottawa (<a href="http://www.site.uottawa.ca/~afelty/csi5137/">Fall 2018</a>)</li> |
63 <li>6.822 at MIT (<a href="https://frap.csail.mit.edu/">Spring 2018</a>, Spring 2017, Spring 2016)</li> | 65 <li>6.822 at MIT (<a href="https://frap.csail.mit.edu/">Spring 2018</a>, Spring 2017, Spring 2016)</li> |
64 <li>CS 6115 at Cornell <a href="http://www.cs.cornell.edu/courses/cs6115/2017fa/">(Fall 2017)</a></li> | 66 <li>CS 6115 at Cornell <a href="http://www.cs.cornell.edu/courses/cs6115/2017fa/">(Fall 2017)</a></li> |
65 <li>CS750 at IIT Kanpur <a href="https://www.cse.iitk.ac.in/users/ppk/teaching/Programs-Proofs-and-Types/">(Fall 2017)</a></li> | 67 <li>CS750 at IIT Kanpur <a href="https://www.cse.iitk.ac.in/users/ppk/teaching/Programs-Proofs-and-Types/">(Fall 2017)</a></li> |
66 <li>6.820 at MIT (<a href="https://learning-modules.mit.edu/class/index.html?uuid=/course/6/fa17/6.820">Fall 2017</a>, <a href="http://stellar.mit.edu/S/course/6/fa15/6.820/">Fall 2015</a>, <a href="http://stellar.mit.edu/S/course/6/fa13/6.820/">Fall 2013</a>)</li> | 68 <li>6.820 at MIT (<a href="https://learning-modules.mit.edu/class/index.html?uuid=/course/6/fa17/6.820">Fall 2017</a>, <a href="http://stellar.mit.edu/S/course/6/fa15/6.820/">Fall 2015</a>, <a href="http://stellar.mit.edu/S/course/6/fa13/6.820/">Fall 2013</a>)</li> |
71 <li>CS 565 at Purdue <a href="https://www.cs.purdue.edu/homes/gpetri/cs565-spring2014/">(Spring 2014)</a></li> | 73 <li>CS 565 at Purdue <a href="https://www.cs.purdue.edu/homes/gpetri/cs565-spring2014/">(Spring 2014)</a></li> |
72 <li>Formal Methods at UST China <a href="http://staff.ustc.edu.cn/~bjhua/courses/theory/2014/index.html">(Spring 2014)</a></li> | 74 <li>Formal Methods at UST China <a href="http://staff.ustc.edu.cn/~bjhua/courses/theory/2014/index.html">(Spring 2014)</a></li> |
73 <li>185.A60 at TU Vienna <a href="https://tiss.tuwien.ac.at/course/courseDetails.xhtml?windowId=ddd&courseNr=185A60&semester=2014S">(Spring 2014)</a></li> | 75 <li>185.A60 at TU Vienna <a href="https://tiss.tuwien.ac.at/course/courseDetails.xhtml?windowId=ddd&courseNr=185A60&semester=2014S">(Spring 2014)</a></li> |
74 <li>CMPS203 at UC Santa Cruz <a href="http://courses.soe.ucsc.edu/courses/cmps203/Winter14/01">(Winter 2014)</a></li> | 76 <li>CMPS203 at UC Santa Cruz <a href="http://courses.soe.ucsc.edu/courses/cmps203/Winter14/01">(Winter 2014)</a></li> |
75 <li>CS 430 at Yale <a href="http://flint.cs.yale.edu/cs430/info.html">(Fall 2013)</a></li> | 77 <li>CS 430 at Yale <a href="http://flint.cs.yale.edu/cs430/info.html">(Fall 2013)</a></li> |
76 <li>CS410 at Portland State <a href="http://web.cecs.pdx.edu/~apt/cs510coq/">(Spring 2013)</a></li> | |
77 <li>IFT 6172 at U. Montreal <a href="http://www.iro.umontreal.ca/~monnier/6172/">(Spring 2013)</a></li> | 78 <li>IFT 6172 at U. Montreal <a href="http://www.iro.umontreal.ca/~monnier/6172/">(Spring 2013)</a></li> |
78 <li>TIES341 at U. Jyväskylä <a href="http://functional-programming.it.jyu.fi/TIES343/TIES341.html">(Spring 2013)</a></li> | 79 <li>TIES341 at U. Jyväskylä <a href="http://functional-programming.it.jyu.fi/TIES343/TIES341.html">(Spring 2013)</a></li> |
79 <li>CMPT 340 at U. Saskatchewan (Spring 2012)</li> | 80 <li>CMPT 340 at U. Saskatchewan (Spring 2012)</li> |
80 <li>CS252r at Harvard <a href="http://www.eecs.harvard.edu/~greg/cs252rfa11/">(Fall 2011)</a></li> | 81 <li>CS252r at Harvard <a href="http://www.eecs.harvard.edu/~greg/cs252rfa11/">(Fall 2011)</a></li> |
81 <li>G54DTP at Nottingham <a href="http://www.cs.nott.ac.uk/~vxc/g54dtp/g54dtp.html">(Spring 2011)</a></li> | 82 <li>G54DTP at Nottingham <a href="http://www.cs.nott.ac.uk/~vxc/g54dtp/g54dtp.html">(Spring 2011)</a></li> |