[Om-announce] PhDs in Logic VII (May 14-16, 2015), Call for participation

Ronald de Haan dehaan at kr.tuwien.ac.at
Wed Apr 15 17:41:06 CEST 2015


PhDs in Logic VII


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 at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150415/fc4ea91c/attachment-0001.html>


More information about the Om-announce mailing list