Abstract :
The following topics are dealt with: Petri nets; programming languages; bisimilarity; formal languages; game graphs and game semantics; databases; modal and second-order logic; category theory; knowledge representation; computability and theorem proofs; randomization and probabilities; computational complexity; and automata theory.
