Invited Speakers

TANCL ’07

Coalgebraic Logic

Spatio-temporal Logics

Categorical Quantum Logic