[Haskell] MPC 2015 - Call For Participation
CALL FOR PARTICIPATION 12th International Conference on Mathematics of Program Construction (MPC 2015) Königswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ Early registration deadline: *** 29 May 2015 *** Hotel rooms reserved until: *** 29 May 2015 *** BACKGROUND The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. VENUE The conference will take place in Königswinter, Maritim Hotel, where accommodation has been reserved. Königswinter is situated on the right bank of the river Rhine, opposite Germany's former capital Bonn, at the foot of the Siebengebirge. REGISTRATION To register for the conference send an email to mpc2...@online.de stating your name and affiliation. We will then provide further details, including hotel booking. You can also use the email address for any queries you might have. The early registration fee for the conference is 375 Euros if you pay via bank transfer and 385 Euros if you pay using PayPal. The early registration deadline is 29 May 2015; after this point, the registration fee rises to 425 Euros (bank transfer) and 435 Euros (PayPal). We have a block booking of rooms at the conference hotel at a special reduced rate, but only until 29th May 2015; after this point, the rooms will be released and the special rate unavailable. INVITED SPEAKERS * Carroll Morgan, University of New South Wales (Link http://www.cse.unsw.edu.au/~carrollm/) A nondeterministic lattice of information * Torsten Grust, Universität Tübingen (Link http://db.inf.uni-tuebingen.de/team/TorstenGrust.html) A Compilation of Compliments for a Compelling Companion: the Comprehension ACCEPTED PAPERS * Exploring an Interface Model for CKA Bernhard Möller and Tony Hoare * On Rely-Guarantee Reasoning Stephan Van Staden * A Relation-Algebraic Approach to Multirelations and Predicate Transformers Rudolf Berghammer and Walter Guttmann * Preference Decomposition and the Expressiveness of Preference Query Languages Patrick Roocks * Hierarchy in Generic Programming Libraries José Pedro Magalhães and Andres Löh * Polynomial Functors Constrained by Regular Expressions Dan Piponi and Brent Yorgey * A Program Construction and Verification Tool for Separation Logic Brijesh Dongol, Victor B. F. Gomes, and Georg Struth * Calculating Certified Compilers for Non-Deterministic Languages Patrick Bahr * Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens * A clear picture of lens laws Sebastian Fischer, Zhenjiang Hu, and Hugo Pacheco * Regular Varieties of Automata and Coequations Julian Salamanca, Jan Rutten, Marcello Bonsangue, Enric Cosme-Llópez, and Adolfo Ballester-Bolinches * Column-wise Extendible Vector Expressions and the Relational Computation of Sets of Sets Rudolf Berghammer * Turing-Completeness Totally Free Conor McBride * Auto in Agda: Programming proof search using reflection Pepijn Kokke and Wouter Swierstra * Fusion for Free: Efficient Algebraic Effect Handlers Nicolas Wu and Tom Schrijvers PROGRAMME COMMITTEE Ralf HinzeUniversity of Oxford, UK (chair) Eerke Boiten University of Kent, UK Jules Desharnais Université Laval, Canada Lindsay GrovesVictoria University of Wellington, New Zealand Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton University of Nottingham, UK Johan Jeuring Utrecht University and Open University, The Netherlands Jay McCarthy Vassar College, US Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Dave Naumann Stevens Institute of Technology, US Pablo NogueiraUniversidad Politécnica de Madrid, Spain Ulf NorellUniversity of Gothenburg, Sweden Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong José Nuno OliveiraUniversidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université Paris-Sud, France Tom SchrijversKU Leuven, Belgium Emil Sekerinski McMaster University, Canada Tim SheardPortland State University, US Anya Tafliovich University of Toronto Scarborough, Canada Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtländer Universität Bonn, Germany LOCAL ORGANIZERS Ralf Hinze University of Oxford, UK (co-chair) Janis Voigtländer Universität Bonn, Germany (co-chair) José Pedro MagalhãesStandard Chartered Bank,
[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
[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