[Club2] Invitation: Talk by Russell Hofmann @ Wed Feb 25, 2015 14:00 - 15:00 (Club2)

[Tobias Nipkow]

Nur zur Sicherheit: 14:00-14:20.

Gruss
Tobias Nipkow

On 20/02/2015 10:05, julianbrunner at gmail.com wrote:
> more details »
> <https://www.google.com/calendar/event?action=VIEW&eid=aDB2MTQxbG5wazZza3ZhMWt1YXFvb2k3NnMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWIwYjhlNzM3ZGNjZjc3MWRmMDIwNzVjNGNhYjVmYjNjNGJjN2YzYmM&ctz=Europe/Berlin&hl=en>
>
>
>       Talk by Russell Hofmann
>
> Title: Implementations of Tries in Isabelle
> Type: Bachelor's Thesis Talk
>
> Abstract:
> This thesis discusses existing implementations of tries in Isabelle and aims to
> create a unified implementation, by which the others can be emulated. Therefore
> two possible unified implementations are compared and discussed. For one of
> them, a small excursus is made to bounded natural functors. We then take a look
> at the easiness of proofing for both of them. Finally we will show how to adapt
> the existing implementations and draw some conclusions.
>
> /When/
> 	Wed Feb 25, 2015 14:00 – 15:00 Berlin
> /Where/
> 	MI 00.09.038 (Turing)(map
> <https://maps.google.de/maps?q=MI+00.09.038+(Turing)&hl=en>)
> /Calendar/
> 	Club2
> /Who/
> 	
> •	
> Julian Brunner- creator
> •	
> club2 at mailbroy.informatik.tu-muenchen.de
> •	
> russell.hofmann at tum.de
>
> Going? *Yes
> <https://www.google.com/calendar/event?action=RESPOND&eid=aDB2MTQxbG5wazZza3ZhMWt1YXFvb2k3NnMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=1&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWIwYjhlNzM3ZGNjZjc3MWRmMDIwNzVjNGNhYjVmYjNjNGJjN2YzYmM&ctz=Europe/Berlin&hl=en>-
> Maybe
> <https://www.google.com/calendar/event?action=RESPOND&eid=aDB2MTQxbG5wazZza3ZhMWt1YXFvb2k3NnMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=3&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWIwYjhlNzM3ZGNjZjc3MWRmMDIwNzVjNGNhYjVmYjNjNGJjN2YzYmM&ctz=Europe/Berlin&hl=en>-
> No
> <https://www.google.com/calendar/event?action=RESPOND&eid=aDB2MTQxbG5wazZza3ZhMWt1YXFvb2k3NnMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=2&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWIwYjhlNzM3ZGNjZjc3MWRmMDIwNzVjNGNhYjVmYjNjNGJjN2YzYmM&ctz=Europe/Berlin&hl=en>*
> more options »
> <https://www.google.com/calendar/event?action=VIEW&eid=aDB2MTQxbG5wazZza3ZhMWt1YXFvb2k3NnMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWIwYjhlNzM3ZGNjZjc3MWRmMDIwNzVjNGNhYjVmYjNjNGJjN2YzYmM&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.
>
>
>
> _______________________________________________
> Club2 mailing list
> List page: https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/club2
> Webpage with calendar: http://www21.in.tum.de/club2
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20150221/88f87ba4/attachment.p7s>