Invited special sessions speakers
Model Theory Session
Speakers will be announced soon.
Set Theory Session
Speakers will be announced soon.
Computability Theory Session
Speakers will be announced soon.
Proofs and
non-classical logics Session
Speakers will be announced soon.
Logic in Computer Science
Session
Speakers will be announced soon.