<div dir="ltr"><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">PhDs in Logic VII</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">May 14-16th, 2015</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">VIENNA, AUSTRIA</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="http://phdsinlogic.logic-cs.at/" target="_blank" style="text-decoration:none"><span style="font-size:13px;font-family:Arial;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://phdsinlogic.logic-cs.at</span></a></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">CALL FOR PARTICIPATION</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">PhDs in Logic is an annual graduate conference in logic. Each year we</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">invite four established researchers in various branches of logic to do a</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">tutorial on their work in two 45-minute sessions. We also give PhD</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">students the opportunity to do a twenty-minute presentation on their</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">own work or an overview of some topic in their field.</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The conference includes the following tutorial speakers.</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Thomas Eiter (Vienna University of Technology)</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Michael Moortgat (Universiteit Utrecht)</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Revantha Ramanayake (Vienna University of Technology)</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Uli Sattler (University of Manchester)</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Torsten Schaub (University Potsdam)</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">PhD students in logic with a background in philosophy, computer science,</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">mathematics or linguistics are the intended audience for these</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">tutorials. We welcome students to participate in PhDs in Logic VII. We also</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">invite master students in logic, first year postdocs, and logicians from</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">disciplines other than philosophy, computer science, mathematics and</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">linguistics to apply. </span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Registration is free of charge. Participants can register on our website at</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="http://phdsinlogic.logic-cs.at/" target="_blank" style="text-decoration:none"><span style="font-size:13px;font-family:Arial;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://phdsinlogic.logic-cs.at</span></a><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">, until April 24, 2015. In case you have any</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">questions, please do not hesitate to contact us via </span><span style="font-size:13px;font-family:Arial;color:rgb(17,85,204);vertical-align:baseline;white-space:pre-wrap"><a href="mailto:phdsinlogic@gmail.com" target="_blank">phdsinlogic@gmail.com</a></span><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">.</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Organizing Committee: Ronald de Haan, Martin Kronegger. </span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller,</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Nina Gierasimczuk, Martin Goldstern, Thomas Icard, Eric Pacuit,</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Jakub Szymanik, Anna Zamansky.</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Advisory Board: Stefan Szeider, Helmut Veith.</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program</span></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"></p><p dir="ltr" style="font-size:12.8000001907349px;line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Logical Methods in Computer Science.</span></p></div>