#### 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.

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

Important dates

Abstract Submission Deadline:

Travel Grants Deadline:

Notification of Acceptance:

Registration Deadline:

Conference Dates:

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) |

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) |

(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.

(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.

(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.

(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.

(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.

(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.

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