Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Seminars

Seminars   


Date Title
  Feb 17, 2012 Proofs are Programs! , Edsko de Vries
  Feb 10, 2012 Estimating the number of species in the world, Brett Houlding, TCD
  Jan 27, 2012 What can grid and cloud computing do for you? , David O'Callaghan, TCD
  Jan 20, 2012 What can formal methods do for you? , Andrew Butterfield, TCD
  Dec 16, 2011 Conceptual data independence: domain-independent design for the construction of multi-domain applications, Simon McGinnes, TCD

Page: 4 of 4  Records: 80

Page 1 2 3 4