[Haskell] Workshop on Type Inference and Automated Proving

[Frantisek Farka]

On Thu, 16 Apr 2015 11:13:19 +0700
Kim-Ee Yeoh <ky3 at 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
>