[Haskell] Haskell Digest, Vol 140, Issue 20

[Geraldus]

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-request at haskell.org>:

> Send Haskell mailing list submissions to
>         haskell at 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-request at haskell.org
>
> You can reach the person managing the list at
>         haskell-owner at 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 <frantisek at farka.eu>
> To: spls at dcs.gla.ac.uk, haskell at haskell.org
> Subject: [Haskell] Workshop on Type Inference, May 12
> Message-ID: <20150424184644.68ccd1ac at 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 ffarka at dundee.ac.uk
>
> If possible please indicate whether you wish to join us for dinner.
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>
>
> ------------------------------
>
> End of Haskell Digest, Vol 140, Issue 20
> ****************************************
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20150425/6a27dd13/attachment.html>