[TYPES/announce] WadlerFest, 11--12 April 2016, Edinburgh

[Sam Lindley]

Our colleague, friend, tormentor and educator, Professor Philip Wadler
will turn sixty at the beginning of April, 2016. Phil will be
presented with a festschrift entitled "A list of successes that can
change the world" at a special event, WadlerFest, on Monday
11th–Tuesday 12th April 2016 in Edinburgh.

   http://events.inf.ed.ac.uk/wf2016/

Accepted papers:

   Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna and 
Perdita Stevens
     Reflections on monadic lenses
   Robert Atkey, Sam Lindley and J. Garrett Morris
     Conflation confers concurrency
   Nick Benton, Andrew Kennedy, Martin Hofmann and Vivek Nigam
     Counting successes: effects and transformations for 
non-deterministic programs
   Andrew Black, Kim Bruce and James Noble
     The essence of inheritance
   John T. O'Donnell and Cordelia Hall
     Pointlessness is better than listlessness
   Hugh Leather and Janne Irgens
     The lambda calculus: practice and principle
   Simon Gay
     Subtyping supports safe session substitution
   Neil Ghani, Fredrik Nordvall Forsberg and Federico Orsanigo
     Proof relevant parametricity
   Jeremy Gibbons
     Comprehending ringads
   Ralf Hinze and Dan Marsden
     Dragging proofs out of pictures
   John Hughes
     Experiences with QuickCheck: testing the hard stuff and staying sane
   Graham Hutton and Patrick Bahr
     Cutting out continuations
   Conor McBride
     I got plenty o’ nuttin’
   Martin Odersky, Nada Amin, Tiark Rompf, Sandro Stucki and Samuel Gruetter
     The essence of dependent object types
   Jennifer Paykin and Steve Zdancewic
     Linear lambda-mu is CP (more or less)
   Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg and 
Dimitrios Vytiniotis
     A reflection on types
   Tiark Rompf
     The essence of multi-stage evaluation in LMS
   Andreas Rossberg
     1ML with special effects
   Manuel Serrano
     The computer scientist nightmare
   Avraham Shinnar and Jerome Simeon
     A branding strategy for business types
   Jeremy Siek and Sam Tobin-Hochstadt
     The recursive union of some gradual types
   Bernardo Toninho and Nobuko Yoshida
     Certifying data in multiparty session types
   Peter Thiemann
     A delta for hybrid type checking
   David Turner
     Recursion equations as a programming language
   Jeremy Yallop and Hai Liu
     Causal commutative arrows revisited

Phil holds the chair in theoretical computer science (Robin Milner's
old chair) at the Laboratory for Foundations of Computer Science
(LFCS). A separate event, LFCS30, to celebrate the 30th anniversary of
the founding of the LFCS will take place on Wednesday 13th April in
Edinburgh.

   http://events.inf.ed.ac.uk/lfcs30/

Registration costs £25 and includes both events as well as coffee,
lunch, and a banquet on Tuesday evening.

   http://www.epay.ed.ac.uk/browse/product.asp?compid=1&modid=2&catid=42

Stephen Gilmore
Sam Lindley
Conor McBride
Don Sannella
Phil Trinder

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.