From: "Mauro Prevostini" <mauro.prevostini(a)unisi.ch>
Date: 8 marzo 2006 10:14:54 GMT+01:00
To: "500 Docenti" <500Docenti(a)lu.unisi.ch>, "510 Assistenti"
<510Assistenti(a)lu.unisi.ch>, "520 Dottorandi"
Subject: Public Lecture given by Dr. Leslie Lamport
The Faculty of Informatics is pleased to announce a Public Lecture
sponsored by Ticino's Rotary Clubs within the celebrations of the
100 years of Rotary International.
The Public Lecture will take place on March 15, 2006, and will be
given by Dr. Leslie Lamport, from Microsoft Research atMountain
View in California, who will be at the University of Lugano as
“How to Write a Proof”
March 15 at 18:00 (06:00PM)
Aula Magna at USI Lugano
Details can be found at http://www.inf.unisi.ch/guest-lectures/
You’re kindly asked to forward this email message to anybody
interested in this event.
University of Lugano
Faculty of Informatics
via G. Buffi 13
Tel. +41 58 666 47 17
Fax. +41 58 666 45 36