Re: [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 franti...@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 ffa...@dundee.ac.uk
 If possible please indicate whether you wish to join us for dinner.
 
 
 With regards,
 František Farka
 ___
 Haskell mailing list
 Haskell@haskell.org
 http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
 

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Re: [Haskell] Workshop on Type Inference and Automated Proving

[Frantisek Farka]

On Thu, 16 Apr 2015 11:13:19 +0700
Kim-Ee Yeoh k...@atamo.com wrote:

Hi Kim-Ee,

I am  afraid we currently do not plan to record the talks. But if
anything changes anf there will be any recordings I will send an email
to let the people in this mailing list know.

Best,
Franta

 Hi František,
 
 Do you think if it would be at all possible to record this event on
 video for dissemination to the wider research community?
 
 Even a phone camera would be something.
 
 Much collaboration and research opportunities would open up if only
 good ideas had greater reach.
 
 Best,
 
 -- Kim-Ee
 
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell