[Choose-news] Fwd: Public Lecture given by Dr. Leslie Lamport

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>ch>, "510 Assistenti" <510Assistenti(a)lu.unisi.ch>ch>, "520 Dottorandi" <520Dottorandi(a)lu.unisi.ch> 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 Visiting Professor. Public Lecture “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. Best Regards Mauro Prevostini University of Lugano Faculty of Informatics via G. Buffi 13 CH-6904 Lugano Tel. +41 58 666 47 17 Fax. +41 58 666 45 36 E-mail: mauro.prevostini(a)unisi.ch Web: www.inf.unisi.ch