[Haskell] Summer School on Generic and Effectful Programming (2nd call for participation)
Call for Participation SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING St Anne's College, Oxford, 6th to 10th July 2015 http://www.cs.ox.ac.uk/projects/utgp/school/ TOPIC Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects. This summer school is the closing activity of the EPSRC-funded project Unifying Theories of Generic Programming at Oxford University. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and effectful programming. Each will give about four hours' lectures, distributed throughout the week. Edwin Brady (University of St Andrews) Embedded Domain-Specific Languages in Idris Fritz Henglein (University of Copenhagen) Worst-case Efficient Generic Functional Programming on Bulk Data Andres Löh (Well-Typed) Applying Type-level and Generic Programming in Haskell Conor McBride (University of Strathclyde) Datatypes of Datatypes Don Syme (Microsoft Research) Compile-time Meta-programming for the Information-rich World Tarmo Uustalu (Tallinn University of Technology) Containers for Effects and Contexts PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#. DATES Registration deadline: 21st June 2015 School:6th July (9am) to 10th July 2015 (lunchtime) COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of £135, and BB accommodation in college will be £75 (ensuite) or £48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis. FURTHER INFORMATION Further information, including instructions on how to register, is available at the website: http://www.cs.ox.ac.uk/projects/utgp/school/ ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] Summer School on Generic and Effectful Programming
Call for Participation SUMMER SCHOOL ON GENERIC AND EFFECTFUL PROGRAMMING St Anne's College, Oxford, 6th to 10th July 2015 http://www.cs.ox.ac.uk/projects/utgp/school/ TOPIC Generic programming is a technique that exploits the inherent structure that exists in data, to automatically produce efficient and flexible algorithms that can be adapted to suit different needs. The goal of this school is to explore datatype-generic programming and related topics from a variety of different angles, emphasizing in particular the interplay of generics and effects. This summer school is the closing activity of the EPSRC-funded project Unifying Theories of Generic Programming at Oxford University. LECTURERS Six lecturers from the Programming Languages community, each an acknowledged expert in their specialism, will cover various aspects of generic and effectful programming. Each will give about four hours' lectures, distributed throughout the week. Edwin Brady (University of St Andrews) Embedded Domain-Specific Languages in Idris Fritz Henglein (University of Copenhagen) Worst-case Efficient Generic Functional Programming on Bulk Data Andres Löh (Well-Typed) Applying Type-level and Generic Programming in Haskell Conor McBride (University of Strathclyde) Datatypes of Datatypes Don Syme (Microsoft Research) Compile-time Meta-programming for the Information-rich World Tarmo Uustalu (Tallinn University of Technology) Containers for Effects and Contexts PREREQUISITES The school is aimed at doctoral students in programming languages and related areas; however, researchers and practitioners will be very welcome, as will strong masters students with the support of a supervisor. It will be assumed that participants have a good understanding of typed functional programming, as in Haskell, O'Caml, or F#. DATES Registration deadline: 21st June 2015 School:6th July (9am) to 10th July 2015 (lunchtime) COSTS Costs will be kept low, thanks to support from EPSRC. There will be a nominal registration fee of £135, and BB accommodation in college will be £75 (ensuite) or £48 (shared bathroom) per night. We can accept at most 50 participants; places will be allocated on a first-come, first-served basis. FURTHER INFORMATION Further information, including instructions on how to register, is available at the website: http://www.cs.ox.ac.uk/projects/utgp/school/ ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
