Click on http://groups.google.com/group/chalmers-cs-semantics-in-coq/web/schedule-for-the-course
- or copy & paste it into your browser's address bar if that doesn't
work.
be...@chalmers.se wrote:
> I just added a schedule for the course.
>
>
> >
>
--
-- Ana
************************************************************************
ANA BOVE
bove(at)cs.chalmers.se Department of Computer Science and Engineering
http://www.cs.chalmers.se/~bove Chalmers University of Technology
Phone (work) :(46)(31) 772 10 20 and University of Gothenburg
Fax (work) :(46)(31) 772 36 63 S-412 96 Gothenburg - SWEDEN
************************************************************************
But you have to press the agenda button to the right (do not ask me
why).