Liebe Freunde der Hamburger Informatik,
mit der beigefügten Einladung von Herrn Prof. Dr. Winfried Lamersdorf möchten wir Sie gerne auf den am Mittwoch, den 19.10.2011 stattfindenden Vortrag von Herrn Dr. Leslie Lamport aufmerksam machen.
Mit freundlichen Grüßen
Antje Lünstedt
Universität Hamburg
MIN-Fakultät
Fachbereich Informatik
Vogt-Kölln-Straße 30
22527 Hamburg
Fon: +49 40 428 83 2401
Fax: +49 40 428 83 2206
Von: fbi-alle-bounces@mailhost.informatik.uni-hamburg.de [mailto:fbi-alle-bounces@mailhost.informatik.uni-hamburg.de] Im Auftrag von Anne Awizen
Gesendet: Mittwoch, 5. Oktober 2011 13:06
An: FBI alle
Betreff: [Fbi-alle] Vortrag Dr. Leslie Lamport 19.10.2011, 14:15 Uhr, B-201
Gesendet: Mittwoch, 5. Oktober 2011 13:06
An: FBI alle
Betreff: [Fbi-alle] Vortrag Dr. Leslie Lamport 19.10.2011, 14:15 Uhr, B-201
Liebe FBI-Mitglieder,
das nächste Semester naht unausweichlich und damit auch die Lehrevorbereitungen. Und diesmal haben wir für den Auftakt der Vorlesung VIS (Verteilte Systeme und Informationssicherheit) ein ganz besonderes Schmankerl anzubieten, auf das ich auch alle sonstig Interessierten einladend hinweisen möchte (zumindest soweit das Fassungsvermögen von B-201 reicht):
Am Mittwoch, 19.10.2011, wird ab 14 c. t im Zuse-Hörsaal Dr. Leslie Lamport (seit 2001 Microsoft Research Silicon Valley, CA, USA) eine Einführung halten zum Thema:
"From Byzantine Generals to Hackers³
Abstract: To implement highly reliable computer systems for flying airplanes, algorithms were developed in the 1970s that tolerate arbitrary faults--including faults that mimic malicious behavior. These algorithms led to ones that might be used in the 21st century to foil truly malicious human behavior.
Für die, die es nicht wissen sollten: Leslie Lamport ist nicht nur der Erfinder von LaTeX, sondern (seit Jahrzehnten) auch vieler Konzepte und Algorithmen im Bereich der Verteilten Systeme und vieler ihrer formalen Grundlagen und ein mit vielen Auszeichnungen (inkl. mehrerer Dr. h. c.) weltweit geehrter Informatiker.
Nach dem Vortrag bietet sich für alle Interessierten bis 17:00 Uhr die Gelegenheit zur Diskussion mit Dr. Lamport.
Viele Grüße,
Winfried Lamersdorf
Am Mittwoch, 19.10.2011, wird ab 14 c. t im Zuse-Hörsaal Dr. Leslie Lamport (seit 2001 Microsoft Research Silicon Valley, CA, USA) eine Einführung halten zum Thema:
"From Byzantine Generals to Hackers³
Abstract: To implement highly reliable computer systems for flying airplanes, algorithms were developed in the 1970s that tolerate arbitrary faults--including faults that mimic malicious behavior. These algorithms led to ones that might be used in the 21st century to foil truly malicious human behavior.
Für die, die es nicht wissen sollten: Leslie Lamport ist nicht nur der Erfinder von LaTeX, sondern (seit Jahrzehnten) auch vieler Konzepte und Algorithmen im Bereich der Verteilten Systeme und vieler ihrer formalen Grundlagen und ein mit vielen Auszeichnungen (inkl. mehrerer Dr. h. c.) weltweit geehrter Informatiker.
Nach dem Vortrag bietet sich für alle Interessierten bis 17:00 Uhr die Gelegenheit zur Diskussion mit Dr. Lamport.
Viele Grüße,
Winfried Lamersdorf
Content-Type: text/plain;
Content-Description: ATT4154190.txt
Content-Disposition: inline;
______________________________________________________________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler