addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

FP-BUD Presentation Night - Correct Program Construction in Agda

  • May 4, 2011 · 8:00 PM
  • IntelliFactory Office

Hi all,

Here is the abstract for this week's presentation and NOTE THE CHANGE IN DATE (so the meetup is on Wednesday at 8pm):

Correct Program Construction
Speaker: Peter Divianszky

Instead of testing program correctness one can prove that
programs are correct but it is even better to construct
correct programs. We will see how is it possible
with the Agda programming language.

Agda is a functional programming language and a proof assistant.
First I will give a short introduction to the related concepts like
constructive logic and inductive families then we will write short
idiomatic Agda programs interactively.

See you there,

Join or login to comment.

10 went

Our Sponsors

  • IntelliFactory

    Contributes to recruitment of speakers, provides venue and beverages.

  • Cake Solutions

    Sponsored our Scala meetup in November 2016.

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy