[Club2] Reminder and room change: talk by Florian Haftmann in 10 minutes, room: von Neuman

[Andrei Popescu]

--- On Mon, 3/25/13, Andrei Popescu <uuomul at yahoo.com> wrote:

From: Andrei Popescu <uuomul at yahoo.com>
Subject: [Club2] talk by Florian Haftmann, Wed. April 3, Tarski
To: "club2" <club2 at mailbroy.informatik.tu-muenchen.de>
Date: Monday, March 25, 2013, 2:01 PM

Dear All,  
Next week, Florian will visit us and talk about his recent work on Isabelle's big operators.  
Best regards,   Andrei 
Florian HaftmannWork on big operators======================================================Wed. April. 3, 14:00, Room 01.09.011 ("Alfred Tarski") 
»Big Operators« are a certain class of operators which lift a binaryoperator to (finite) (multi-)sets. We explain the rationale behindrecent renovation in Isabelle/HOL which aims to make definition andapplication of Big Operators more handsome and less cryptic. A key roleis taken by the Isabelle module system, particularly sublocaleinterpretation with mixin equations.
-----Inline Attachment Follows-----

_______________________________________________
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 --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20130403/ce449b6d/attachment.html>