Hi all,
I have found out that new haskell.org site and migration of Haskell wiki
to wiki.haskell.org did broke some of the old links, e. g.:
http://www.haskell.org/haskellwiki/index.php?title=Functor-Applicative-Monad_Proposal&oldid=58553
is redirecting simply to
https://wiki.haskell.org/Haskel
*
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/
***
On Thu, 16 Apr 2015 11:13:19 +0700
Kim-Ee Yeoh 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
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
enough to provide their slides.
Best regards,
Frantisek Farka
On Wed, 15 Apr 2015 22:28:51 +0100
Frantisek Farka wrote:
>
> *
>
> WORKSHOP ON TYPE INFERENCE AND AUTOMATED PROVING
>
> Tuesday the 12th o
Call for Papers
Workshop on
Logic Programming for Type Inference
16-17 October 2016, New York, USA
https://ff32.host.cs.st-andrews.ac.uk/lpti16/
Objectives and scope
---
Two facts are universally acknowledged: critical software must be
subject to formal verification and modern
