Will be a video record of talks available? Very interesting stuff, but there is no chance for me to present.
сб, 25 апр. 2015 г. в 17:02, <haskell-requ...@haskell.org>: > Send Haskell mailing list submissions to > haskell@haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > or, via email, send a message with subject or body 'help' to > haskell-requ...@haskell.org > > You can reach the person managing the list at > haskell-ow...@haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell digest..." > > > Today's Topics: > > 1. Workshop on Type Inference, May 12 (Frantisek Farka) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 24 Apr 2015 18:46:44 +0100 > From: Frantisek Farka <franti...@farka.eu> > To: s...@dcs.gla.ac.uk, haskell@haskell.org > Subject: [Haskell] Workshop on Type Inference, May 12 > Message-ID: <20150424184644.68ccd...@farka.eu> > Content-Type: text/plain; charset=US-ASCII > > Hello everyone, > > as the 12th of May is getting closer I would like to invite you > yet again for the Workshop on Type Inference and Automated Proving > at University of Dundee. > > Please send me an email if you wish to attend as described bellow. > It helps us with organization. > > For those who have not decided yet, I am please to announce that > we have one more speaker - Conor McBride will give a (revolutionary?) > talk. > > Best regards, > Frantisek Farka > > > The Theory of Computation group at the University of Dundee invites > you for the > > ********************************************************************* > > WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING > > Tuesday the 12th of May, 12PM to 6PM > School Of Computing, > University of Dundee > > http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ > > ********************************************************************* > > Refreshments have been kindly funded by SICSA and will be available > from 12:00, with talks beginning at 12:45. For the detailed programme > please see the above website. > > Talks: > > Tom Schrijvers (Katholieke Universiteit Leuven) > GADTs Meet Their Match: Pattern-matching Warnings that > Account for GADTs, Guards, and Laziness > > Bob Atkey (University of Strathclyde) > An Algebraic Approach to Typechecking and Elaboration > > Edwin Brady (University of St Andrews) > Implementing a Dependently Typed Programming Language > > Peng Fu (University if Dundee) > Nontermination Analysis for Evidence Construction in Type > Class Inference > > Adam Gundry (Well-Typed LLP) > A Typechecker Plugin for Units of Measure: Domain-specific > Constraint Solving in GHC Haskell > > Katya Komendantskaya (University of Dundee) > Structural Resolution and Universal Productivity Checker > > J. Garrett Morris (University of Edinburgh) > Substructural Types with Class > > Connor McBride (University of Strathclyde) > Type Inference needs Revolution > > > After the talks we plan to continue the discussion at the nearby > Duke's Corner bar and then go for dinner, place is yet to be > announced but in the walking distance from both Seagate bus station > and Dundee railway station. > > Please let us know if you are coming by either replying to this email, > or by contacting me at ffa...@dundee.ac.uk > > If possible please indicate whether you wish to join us for dinner. > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Haskell mailing list > Haskell@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > ------------------------------ > > End of Haskell Digest, Vol 140, Issue 20 > **************************************** >
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
