We welcome submissions of papers that strike a balance between technical developments and philosophical discussion. Authors of accepted papers will have 30-45 minutes to present their work.
If you’re interested in presenting at the workshop, please send your extended abstract (1000-1500 words) prepared for double-blind review in PDF format to firstname.lastname@example.org by 1 March, 2016.
A Studia Logica volume on the philosophical aspects of meta-arithmetical and set-theoretic results will be edited by the organizers. Participants are welcome to submit papers for the volume some time after the conference. Details TBA.
Presentation abstract submission: March 1, 2016
Acceptance notification: April 15, 2016
Workshop: May 30, 2016 – June 1, 2016