PhD Summer Course in Genova, Italy 22-26 July 2013
The course is a self-contained introduction to functional programming, logic programming, and the use of induction and coinduction. We will cover both foundational (inference systems, induction and co-induction, lambda calculus, type system and semantics) and practice/implementation (languages Haskell and Prolog) aspects in dealing with finite and infinite objects.
Instructors: Davide Ancona (davide.ancona@unige.it), Giovanni Lagorio (giovanni.lagorio@unige.it), Elena Zucca (elena.zucca@unige.it), DIBRIS.
Format: One week (20 h) course including theory and practical (lab) session.
The course will be held in Genova in the heart of the Italian Riviera.
Registration (via e-mail before July, 8, 2013) is required to attend the classes.
For more information see http://www.disi.unige.it/dottorato/corsi/DPCIM2013/
The course is offered within the PhD School in Sciences and Technologies for
Information and Knowledge (STIC) at the University of Genova, Italy.