[Haskell] Workshop on Type Inference and Automated Proving

[Frantisek Farka]

Hello everyone,

some of the people here on the list asked whether there will be
recordings of the workshop.

Now I can announce that we were able to record the whole event and
talks are accesible here:

http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/

Also, all the speakers were kind enough to provide their slides.

Best regards,
Frantisek Farka


On Wed, 15 Apr 2015 22:28:51 +0100
Frantisek Farka <frantisek at farka.eu> wrote:

> 
> *********************************************************************
> 
>     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 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
> 
> 
> 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.
> 
> 
> With regards,
> František Farka
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
>