Title of my talk on Thursday
by Franz Lichtenberger - Monday, 27 March 2006, 04:19 PM
  Please notice that I just entered the title of my talk on the course homepage, it is:

Logic-independence of specification formalisms: the institution level.

-franz