[Club2] Invitation: Formale Beweise von Suchbauminvarianten @ Wed Mar 16, 2016 14:00 - 14:30 (Club2)

julianbrunner at gmail.com julianbrunner at gmail.com
Fri Mar 11 16:36:58 CET 2016


You have been invited to the following event.

Title: Formale Beweise von Suchbauminvarianten
Speaker: Daniel Stüwe
Type: Bachelor's Thesis Presentation
Abstract: Diese Bachelorarbeit beschäftigt sich mit 1--2--Bruder-- und  
AA--Bäumen. Es wurde dabei mit Hilfe des interaktiven Theorembeweisers  
Isabelle/HOL sowohl die Datenstrukturen und ihre Invarianten als auch die  
Suchbaumoperationen wie Einfügen und Löschen formalisiert. Es wurden  
passende Zwischeninvarianten, Zustände der Bäume während einer  
Transformation, definiert, insofern sie nicht bereits in den Quellen  
gegeben waren. Zweck der Formalisierung war, den  tatsächlichen Erhalt der  
Invarianten unter den Operationen computergestützt zu beweisen. So konnten  
etwa grobe Fehler in der Veröffentlichung vom P. Radge zur funktionalen  
Implementierung von AA--Bäumen gefunden werden.
When: Wed Mar 16, 2016 14:00 - 14:30 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * stuewe at in.tum.de
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=cmJhZzBsOXJhbnJoMXV2bm0wNzFnZm44YzAgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWI5NWQ4Y2MxYTAwNTlmZWI4OTM2MDUyZTVlZmFlM2I2NTdiZWRiNDU&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160311/e65e5f6f/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2153 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160311/e65e5f6f/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2201 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160311/e65e5f6f/attachment.bin>


More information about the Club2 mailing list