How to get the most out of a conference like FLOC? (abstract)

Asking questions to yourself and others (abstract)

Can Logic Make Us Better People? (abstract)

Research as a collaborative effort (abstract)

Relational verification of probabilistic programs (abstract)

Constrained Horn clauses as a basis of automatic program verification: the higher-order case (abstract)

Rewriting and Applications (abstract)

Panel Discussion (abstract)