Data61 Seeking Proof Engineers
==
(applications close 15 October 2015)
http://ssrg.nicta.com.au/jobs/proof-engineers2015
If only there was a place where I could prove theorems for money, change the
world, and have fun while doing it...
Sounds too good to exist?
In the
, and will be required to sign copyright release forms. All
submissions must be written in English.
ORGANIZATION
Program Chairs
Gerwin Klein, NICTA and The University of New South Wales, Australia
Ruben Gamboa, University of Wyoming, USA
Workshop Chair
David Pichardie, INRIA, France
Program Commi
On 25/10/2010, at 7:09 PM, Romain Demeyer wrote:
> I'm working on static verification in Haskell, and I search for existing
> works on specification of Haskell programs (such as pre/post conditions, for
> example) or any other functional language.
We have used Haskell extensively in the verifica
Thanks for all the replies I got, they have been helpful!
Cheers,
Gerwin
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Hi,
is any of you aware of activities that aim to translate Haskell into
interactive theorem provers like PVS or Isabelle/HOL? (automatically or
manually).
We know about the Programatica project and Brian Huffman's work, but turned
up little else.
Cheers,
Gerwin
_