[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