Preface Prakash Panangaden | ||
Relational Parametricity and Control | ||
Masahito Hasegawa | ||
Tarski's influence on computer science | ||
Solomon Feferman | ||
Generalized Majority-Minority Operations are Tractable | ||
Victor Dalmau | ||
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages | ||
Lars Birkedal, Noah Torp-Smith and Hongseok Yang | ||
On the decidability and complexity of Metric Temporal Logic over finite words | ||
Joel O. Ouaknine and James B. Worrell | ||