Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by Giulio Katis at the Australian Category Seminar.
1998
  • 25 Feburary
    Compositional verification of distributed algorithms
  • 29 April
    On accounting and quantities distributed over space and time
  • 1 July
    An algebra for systems governed by differential and integral equations
  • 14 October
    On the algebra of systems governed by the continuity equation
1997
  • 22 January
    Bicategories and abstract specifications of concurrent systems
  • 26 Feburary
    On concurrent imperative programming
  • 23 April
    An algebra for constructing Petri nets as transition systems (abs)
  • 18 June
    Categories with feedback
  • 2 July
    ⤳ from 18 June
  • 19 November
    Distributed algorithms
  • 26 November
    ⤳ from 19 November
1996
  • 4 September
    On bivariant theories and extensive categories
  • 18 September
    ⤳ from 4 September
  • 27 November
    Graphic toposes