[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