12-13 April 2012
Gent, Belgium
PhDs in Logic IV, Ghent, April 12-13, 2012 SECOND CALL FOR ABSTRACTS PhDs in Logic IV is a graduate conference organized by and for PhD-students. This edition is the fourth one of an annual Belgian?Dutch happening; earlier editions took place in Ghent (2009), Tilburg (2010), and Brussels (2011). As all previous PhDs in Logic conferences, this two-day graduate conference follows this threefold plan: * Four established tutorial speakers will each give two one-hour tutorial sessions on a relevant topic in logic. * Ten to twenty PhD students are given the opportunity to do a presentation on their own work. * Networking will be encouraged by providing for generous breaks and by having lunch with the entire group. The invited tutorial speakers for this year's edition are Valentin Goranko (Technical University of Denmark), Alessandra Palmigiano (University of Amsterdam), Heinrich Wansing (Ruhr University Bochum), and Andreas Weiermann (Ghent University). We can already provide the topics of two tuturials: Valentin Goranko - Temporal Logics for Reasoning about Computations in Transition Systems Alessandra Palmigiano - Algebraic Modal Correspondence Titles and abstracts for all tutorials will soon be announced through the website. PhD students interested in doing a talk should send a 500-1000 word abstract to phdsinlogic@gmail.com by January 15th, 2012. We welcome PhD students in logic with a background in philosophy, computer science or mathematics. Exceptions can be made for master students and first-year postdocs. For more information, visit our website at www.phdsinlogic2012.ugent.be Timeline Submission deadline January, 15, 2012 Notification February, 13, 2012 Conference April, 12-13, 2012 Organizing Committee Mathieu Beirlaen Tjerk Gauderis Bruno Leclercq Scientific Committee Diderik Batens Leon Horsten Benedikt Lwe Joke Meheus Jean Paul Van Bendegem Sponsors Doctoral School Arts and Humanities, University Ghent, Belgium Website: http://www.ugent.be/doctoralschools/en Centre National de Recherches de Logique - Nationaal Centrum voor Navorsingen in de Logica (CNRL-NCNL), Belgium Website: http://www.logic-center.be/ --