May 14-16th, 2015
VIENNA, AUSTRIA
http://phdsinlogic.logic-cs.at
CALL FOR PARTICIPATION
PhDs in Logic is an annual graduate conference in logic. Each year we
invite four established researchers in various branches of logic to do a
tutorial on their work in two 45-minute sessions. We also give PhD
students the opportunity to do a twenty-minute presentation on their
own work or an overview of some topic in their field.
The conference includes the following tutorial speakers.
Thomas Eiter (Vienna University of Technology)
Michael Moortgat (Universiteit Utrecht)
Revantha Ramanayake (Vienna University of Technology)
Uli Sattler (University of Manchester)
Torsten Schaub (University Potsdam)
PhD students in logic with a background in philosophy, computer science,
mathematics or linguistics are the intended audience for these
tutorials. We welcome students to participate in PhDs in Logic VII. We also
invite master students in logic, first year postdocs, and logicians from
disciplines other than philosophy, computer science, mathematics and
linguistics to apply.
Registration is free of charge. Participants can register on our website at
http://phdsinlogic.logic-cs.at, until April 24, 2015. In case you have any
questions, please do not hesitate to contact us via phdsinlogic@gmail.com.
Organizing Committee: Ronald de Haan, Martin Kronegger.
Scientific Committee: Agata Ciabattoni, Jan van Eijck, Chris Fermüller,
Nina Gierasimczuk, Martin Goldstern, Thomas Icard, Eric Pacuit,
Jakub Szymanik, Anna Zamansky.
Advisory Board: Stefan Szeider, Helmut Veith.
Sponsors: Vienna Center for Logic and Algorithms, Doctoral Program
Logical Methods in Computer Science.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
