BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verification of Multicast Protocols - Jean Martina (University of 
 Cambridge)
DTSTART:20100223T130000Z
DTEND:20100223T140000Z
UID:TALK22759@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:During this talk I will be giving details regarding my current
  implementation of the FR Electronic Auction Protocol and the challenges I
  am facing regarding the formalisation of Multicast protocols without intr
 oducing nested induction cases. This protocol includes also some new primi
 tives that where never formalised before\, like\, verifiable signature sha
 ring\, which I intend to start implementing in the very close future.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR