June 24-26, Athens, Greece
Self-embeddings of models of arithmetic: from Vaught to Tanaka
Self-embeddings of models of arithmetic: some recent results
Reciprocity laws and Δ0-definability
Intrinsic complexity in arithmetic (and algebra)
Circuit lower bounds in Bounded Arithmetic
End-extensions of models of second-order arithmetic