The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institut für Exakte Wissenschaften, University of Bern.

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 usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.

Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011), Munich (2013), Utrecht (2014), Vienna (2015), Darmstadt (2016), Bochum (2017) and Prague (2018).

News


[25/03] The full program is available.
[25/02] List of accepted abstracts available!
[04/01] Download the official poster.

Important dates


Abstract Submission Deadline: January 13, 2019
Travel Grants Deadline: January 24, 2019
Notification of Acceptance: February 22, 2019
Student Lodge Reservation Deadline: February 25, 2019
Registration Deadline: March 24, 2019
Conference Dates: April 24-26, 2019

Organizing Committee

Almudena Colacito
(Mathematical Institute, University of Bern)
Eveline Lehmann
(Institute of Computer Science, University of Bern)
Arianna Novaro
(IRIT, University of Toulouse)
Nenad Savić
(Institute of Computer Science, University of Bern)
Olim Tuyt
(Mathematical Institute, University of Bern)

Scientific Committee

Francesco Berto (University of St. Andrews)
Nick Bezhanishvili (University of Amsterdam)
Marta Bílková (Charles University Prague)
Agata Ciabattoni (TU Wien)
Fabrice Correia (University of Geneva)
José Gil-Férez (University of Bern)
Umberto Grandi (University of Toulouse 1)
Helle Hvid Hansen (TU Delft)
George Metcalfe (University of Bern)
Sara Negri (University of Helsinki)
Francesca Poggiolesi (University of Paris 1)
Floris Roelofsen (University of Amsterdam)
Alexandra Silva (University College London)
Dima Sinapova (University of Illinois at Chicago)
Thomas Studer (University of Bern)

Invited Speakers

Ronald de Haan

Solving Hard Problems Using Logic

Ronald is a postdoc at the ILLC in Amsterdam. He is a researcher in complexity theory, computational social choice, and knowledge representation.

Gerhard Jäger

From the Foundational Crisis of Mathematics to Explicit Mathematics

Gerhard is Professor of Logic and Theoretical Computer Science at the University of Bern. He is a researcher in foundations of explicit mathematics, set theory, and proof theory.

Alessandra Palmigiano

Categories, Concepts, Theories, and Interrogative Agendas [...]

Alessandra is Associate Professor at the Delft University of Technology. She is a researcher in applied, mathematical, and epistemic logic.

Luca Reggio

Dualities in logic

Luca is a postdoc at the Institute of Computer Science of the Czech Academy of Sciences. He is a researcher in algebraic logic, duality theory, and logic for computer science.

Francesca Toni

(Cancelled)

Francesca is Professor in Computational Logic at Imperial College London. She is a researcher in abstract argumentation, logical abduction, and artificial intelligence.

Amanda Vidal

On many-valued modal logics

Amanda is a postdoc at the Institute of Computer Science of the Czech Academy of Sciences. She is a researcher in many-valued logics, non-classical logics, and practical efficiency studies.

Attendance is free but registration is mandatory


(Registration is now closed)

Students may apply to the Association for Symbolic Logic for modest travel grants.
The deadline for sending the application for the grants was on the 24th of January.

(Download here a zip file with a pdf, a jpg and a printable version of the poster.)