Any chance lecture notes will be made available/video will be taken? <br><br>/Joe<br><br><div class="gmail_quote">On Mon, Jan 17, 2011 at 11:35 AM, Conor McBride <span dir="ltr"><<a href="mailto:conor@strictlypositive.org">conor@strictlypositive.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Folks<br>
<br>
For completeness, I thought I'd repost here.<br>
<br>
Conor<br>
<br>
<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
---------- Forwarded message ----------<br>
<br>
LFCS, University of Edinburgh presents:<br>
<br>
**** Introduction to Dependently Typed Programming using Agda ****<br>
by Conor McBride, MSP, University of Strathclyde<br>
<br>
More information available at:<br>
<a href="http://homepages.inf.ed.ac.uk/s0894694/agda-course/" target="_blank">http://homepages.inf.ed.ac.uk/s0894694/agda-course/</a><br>
<br>
Location<br>
=======<br>
School of Informatics, University of Edinburgh, Scotland.<br>
<br>
Description<br>
=========<br>
Types guarantee properties of runtime behaviour. Dependent types give<br>
stronger guarantees based on runtime values. In this course we shall<br>
introduce dependently typed programming using the Agda programming<br>
language.<br>
<br>
The course consists of five weekly afternoon sessions with lectures<br>
and hands-on laboratories. Exercises between sessions will be set.<br>
Refreshments will be provided during breaks.<br>
<br>
Prerequisites<br>
==========<br>
This is a research level course. We assume basic familiarity with a<br>
functional programming language, such as Haskell or ML, in particular<br>
pattern matching and higher-order functions like map.<br>
<br>
<br>
<br>
This course is supported by the Scottish Informatics and Computer<br>
Science Alliance.<br>
<br>
Dates<br>
=====<br>
Mondays, January 31, 2011 - February 28, 2011.<br>
<br>
Registration<br>
==========<br>
Please let us know you are coming so we can prepare accordingly:<br>
Ohad Kammar < ohad.kammar at <a href="http://ed.ac.uk" target="_blank">ed.ac.uk</a>><br>
<br>
More information available at:<br>
---------------------------------------<br>
<a href="http://homepages.inf.ed.ac.uk/s0894694/agda-course/" target="_blank">http://homepages.inf.ed.ac.uk/s0894694/agda-course/</a><br>
</blockquote>
<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div><br>