Wednesday, 8 January 2014

5. Schweizer Tag für den Informatikunterricht - Auf dem Weg zum intellektuell herausfordernden Informatikunterricht

Read more 


Speaker: Juraj Hromkovic, ETH Zürich

13:00 - 17:45
Alte Kantonsschule Aarau (Albert-Einstein-Haus) Other Bahnhofstrasse 91, 5001 Aarau

Wednesday, 19 February 2014

Human Computer Interaction - What is a computer? And how do I use one?

Read more 

Inaugural lecture

Speaker: Prof. Dr. Otmar Hilliges, ETH Zürich

17:05 - 18:35
ETH Zurich, main campus HG  F 30 

Thursday, 20 February 2014

Niklaus Wirth 80th Birthday Symposium

Read more 

Convention (Conference)

Speaker: Prof. Dr. Bertrand Meyer, ETH Zürich
Prof. Dr. Carroll Morgan, The University of New South Wales, Australia
Dr. Sc. Clemens Szyperski, Microsoft Research
Dr. Sc. Hans Eberle, Oracle Labs
Prof. Dr. Martin Odersky, EPF Lausanne
Prof. Dr. Michael Franz, University of California, Irvine, USA
Prof. Dr. Niklaus Wirth, ETH Zürich
Dr. Vinton Cerf,

08:30 - 20:00
ETH Zurich, main campus HG  F 30 

Friday, 7 March 2014

Seminars on concurrency

09:00-10:30 Session 1 - Bill Roscoe: FDR3: a modern model checker for CSP - Manfred Broy: The impa…
Read more 


Speaker: Manfred Broy, Maurice Herlihy, Jose Meseguer, Jayadev Misra, Dave Parnas, Bill Roscoe,

09:00 - 16:00
Other ML  H 41.1 

Wednesday, 19 March 2014

Verification of Distributed Systems and Use of Knowledge for Implementing them

Deriving distributed implementations from global specifications has been extensively studied for dif…
Read more 


Speaker: Susanne Graf,

15:15 - 16:00
Other RZ  F 21 

Load more events 
Page URL: https://www.inf.ethz.ch/news-and-events/events/2014.html
Fri Jun 23 07:00:34 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich