| show | edit | edit as text | add to group

History of: FP-Graz - Functional Programming Graz: Proofs in Isabelle/HOL

Current version (2017-02-28T00:33:13.506444)

    acronym: FP-Graz
title: Functional Programming Graz: Proofs in Isabelle/HOL
startdate: 2017-02-02
starttime: 19:00
endtime: 22:00
timezone: Europe/Vienna
city: Graz
country: AT
address: Brockmanngasse 15, Graz, 8010, Austria
tags: functional-programming vortrag meetup realraum
urls:
    Isabelle/HOL http://isabelle.in.tum.de/
    meetup https://www.meetup.com/Functional-Programming-Graz/
description:
Diese Woche wird es eine kurze Präsentation über Isabelle/HOL geben.
Ich werde zeigen wie man mit dem Theorembeweiser Isabelle/HOL die Korrektheit funktionaler Programme beweisen kann.

Es ist jeder herzlich eingeladen, der sich für funktionale Programmierung oder formale Verifikation interessiert, oder einfach so zuhören will.