<div dir="ltr"><div>[apologies for cross-posting]</div><div><br></div><div>PhDs in Logic VII</div><div><br></div><div>May 14-16th, 2015</div><div>VIENNA, AUSTRIA</div><div><br></div><div><a href="http://phdsinlogic.logic-cs.at">http://phdsinlogic.logic-cs.at</a></div><div><br></div><div>FINAL CALL FOR ABSTRACTS AND PARTICIPATION</div><div><br></div><div>PhDs in Logic is an annual graduate conference in logic. Each year we</div><div>invite four established researchers in various branches of logic to do a</div><div>tutorial on their work in two 45-minute sessions. We also give PhD</div><div>students the opportunity to do a twenty-minute presentation on (a) their</div><div>own work or (b) an overview of some topic in their field.</div><div><br></div><div>The conference includes the following tutorial speakers.</div><div><br></div><div>Thomas Eiter (Vienna University of Technology)</div><div>Michael Moortgat (Universiteit Utrecht)</div><div>Revantha Ramanayake (Vienna University of Technology)</div><div>Torsten Schaub (University Potsdam)</div><div><br></div><div>PhD students in logic with a background in philosophy, computer science,</div><div>mathematics or linguistics are the intended audience for these</div><div>tutorials. They are also the type of students we have in mind for our</div><div>thirty-minute student sessions. Students interested in doing a talk</div><div>should send a 500-1000 word blinded abstract to</div><div><a href="https://easychair.org/conferences/?conf=pil2015">https://easychair.org/conferences/?conf=pil2015</a> by February 12th, 2015.</div><div>The selection of the talks will follow a double-blind review process.</div><div>Please make sure that your name and affiliation are not included in the</div><div>abstract.</div><div><br></div><div>We welcome students to participate in PhDs in Logic VII regardless of</div><div>whether they want to do a presentation. We also invite master students</div><div>in logic, first year postdocs, and logicians from disciplines other than</div><div>philosophy, computer science, mathematics and linguistics to apply.</div><div>Students interested in participating without giving a talk should</div><div>contact us at <a href="mailto:phdsinlogic@gmail.com">phdsinlogic@gmail.com</a>.</div><div><br></div><div>For more information, visit our website at</div><div><a href="http://phdsinlogic.logic-cs.at">http://phdsinlogic.logic-cs.at</a>. In case you have any questions, please</div><div>do not hesitate to contact us via <a href="mailto:phdsinlogic@gmail.com">phdsinlogic@gmail.com</a>.</div><div><br></div><div><br></div><div>Organizing Committee: Ronald de Haan, Martin Kronegger. </div><div><br></div><div>Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller,</div><div>Nina Gierasimczuk, Thomas Icard, Eric Pacuit, Jakub Szymanik, Anna Zamansky.</div><div><br></div><div>Advisory Board: Stefan Szeider, Helmut Veith.</div><div><br></div><div>Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program</div><div>Logical Methods in Computer Science.</div><div><br></div></div>