Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

TOPIC SESSIONS

  • Model Theory
  • Set Theory
  • Computability
  • Proof Theory
  • Logic and Computer Science
  • Philosophy of Logic/Philosophical Logic/Non-Classical Logics
Call for paper

Important date

2017-03-17
Draft paper submission deadline
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Jun 26

    2017

    to

    Jun 30

    2017

  • Mar 17 2017

    Draft paper submission deadline

  • Jun 30 2017

    Registration deadline