Call for papers


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 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