INVITED LECTURES

  • Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
    • On Synchronous and Asynchronous Interaction in Distributed Systems
  • Andreas Blass and Yuri Gurevich
    • One Useful Logic that Defines Its Own Truth
  • Rastislav Královič and Richard Královič
    • Deterministic Models of Communication Faults
  • Antonio Cano Gómez and Jean-Éric Pin
    • A Robust Class of Regular Languages
  • Piotr Sankowski
    • Algebraic Graph Algorithms


WMiI UMK