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