PhDs in Logic X, Prague

Call for submissions: PhDs in Logic X, Prague, Czech Republic, 1st – 4th
May 2018

“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 minute) presentations by PhD students, master students and first-year postdocs on their research.

We are happy to announce that the tenth edition of “PhDs in Logic” will take place in Prague, Czech Republic during 1st – 4th May 2018 at the Institute of Philosophy of the Czech Academy of Sciences.

The tutorial speakers are:

Chris Fermüller (TU Wien)
Radek Honzík (Charles University)
Jan Krají?ek (Czech Academy of Sciences)
Roman Kuznets (TU Wien)
Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne)

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 about 2 pages long (not including
references). Each abstract will be anonymously reviewed by the scientific
committee. The accepted abstracts will be presented by their authors in a
20 minute presentation during the conference. The deadline for abstract
submission is 19th January 2018. Please submit your blinded abstract via:

For more information please see:

Local organisers:
Tomás Lávicka, Adam Prenosil, and Petr Svarný (Department of Logic, Charles
University, Prague)


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s