2005

Monday, 10 January 2005

Narrowing analysis of concurrent systems

Narrowing has been traditionally used as a complete method to solve equations. Given a set E of conf…
Read more 

Colloquium

Speaker: Jose Meseguer, University of Illinois at Urbana-Champaign

16:15
ETH Zurich, main campus IFW  A 36 

Monday, 24 January 2005

Mobile Resource Guarantees

The Mobile Resource Guarantees (MRG) project is building infrastructure for endowing mobile programs…
Read more 

Colloquium

Speaker: Martin Hofmann, LMU Munich

16:15
ETH Zurich, main campus IFW  A 36 

Monday, 11 April 2005

The History of Software Patents

This seminar is intended to place the current debates about software patents in the historical conte…
Read more 

Colloquium

Speaker: Martin Campbell-Kelly, University of Warwick

16:15
ETH Zurich, main campus IFW  A 36 

Monday, 25 April 2005

Confluence of Ubiquitous Computing and Augmented Reality

When people hear the term "Augmented Reality" (AR) they currently first think of a head-mounted disp…
Read more 

Colloquium

Speaker: Gudrun Klinker, Technische Universität München

16:15
ETH Zurich, main campus IFW  A 36 

Monday, 2 May 2005

Specification before Satisfaction: The Case for Research into Obtaining the Right Specification

This talk will review some suggestions which have arisen in the six-year "Interdisciplinary Research…
Read more 

Colloquium

Speaker: Cliff Jones, University of Newcastle upon Tyne

16:15
ETH Zurich, main campus IFW  A 36 

Load more events 
 
 
Page URL: https://www.inf.ethz.ch/news-and-events/colloquium/2005.html
Sun Mar 26 20:50:36 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich