Title: Cafe
Subjects: Formal methods (Computer science), Congresses, Algebraic logic