The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the 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


[26/09] ASL funding available for travel grants.

Important dates


Abstract Submission Deadline: January 7, 2019
Travel Grants Deadline: January 24, 2019
Notification of Acceptance: February 22, 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

(title of tutorial: tba)

Ronald is a postdoc at the Institute of Logic, Language and Computation in Amsterdam. He is a young researcher in complexity theory, computational social choice, and knowledge representation.

Gerhard Jäger

(to be confirmed)

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

Alessandra Palmigiano

(title of tutorial: tba)

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

Luca Reggio

(title of tutorial: tba)

Luca is a PhD student at the Laboratoire J. A. Dieudonné in Nice. He is a young researcher in algebraic logic, duality theory, and logic for computer science.

Francesca Toni

(title of tutorial: tba)

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

Amanda Vidal

(title of tutorial: tba)

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

Attendance is free but registration is mandatory


Students may apply to the Association for Symbolic Logic for modest travel grants.
The deadline for sending the application for the grants is on the 24th of January (at least three months prior to the start of the meeting).