Invited special sessions speakers

Model Theory Session

Set Theory Session

Computability Theory Session

Proofs and non-classical logics Session

Logic in Computer Science Session