[logic-ml] PhDs in Logic IX, Bochum (Germany), 2-4 May 2017

Hitoshi Omori hitoshiomori at gmail.com
Fri Dec 16 10:45:18 JST 2016


(Apologies for multiple copies)

Call for submissions: PhDs in Logic IX, Bochum, 2nd - 4th May 2017

PhDs in Logic is an annual graduate conference organised by local graduate
students. This interdisciplinary conference welcomes contributions to
various topics in mathematical logic, philosophical logic, and logic in
computer science. It involves tutorials by established researchers as well
as short (20 minutes) presentations by PhD students, master students and
first-year postdocs on their research. We are happy to announce that the
ninth edition of PhDs in Logic will take place at the Ruhr University
Bochum, Germany, during 2nd - 4th May 2017.

Confirmed tutorial speakers are :
Petr Cintula (Czech Academy of Sciences)
María Manzano (University of Salamanca)
João Marcos (University of Natal)
Gabriella Pigozzi (Paris Dauphine University)
Christian Straßer (Ruhr-University Bochum)
Heinrich Wansing (Ruhr-University Bochum)

Abstract submission:

PhD students, master students and first-year postdocs in logic from
disciplines, that include but are not limited to philosophy, mathematics
and computer science are invited to submit an extended abstract on their
research. Submitted abstracts should be between 2 and 3 pages, including
the relevant references. Each abstract will be anonymously reviewed by the
scientific committee. Accepted abstracts will be presented by their authors
in a 20-minute presentation during the conference. The deadline for
abstract submission is 2nd February 2017. Please submit your blinded
abstract via: https://easychair.org/conferences/?conf=phdsinlogic9

For more information please see: http://www.ruhr-uni-bochum.de/phdsinlogicix

Local organisers:
Christopher Badura, AnneMarie Borg, Jesse Heyninck and Daniel Skurt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20161216/ff74729d/attachment.html>


More information about the Logic-ml mailing list