Phds in Logic 2023 | XIV Edition | Granada Program PhDs XIV  

Welcome to the home page of the XIV edition of the conference PhDs in Logic. This edition of the event will take place in Granada, Spain, and we are excited to welcome PhD students from around the world to participate in this opportunity for the exchange of ideas and knowledge in any field related to logic.

We thank all the speakers and participants for attending this conference. We are looking forward to finding the organisers for the next conference. If you are interested in organising, please contact us

At the heart of our motivation for hosting this edition of the PhDs in Logic conference is the desire to promote the study of logic in Spain and to encourage local research groups to engage in international logic-related activities. So we invite you to join us in Granada to be a part of this vibrant community. Let us build a bridge among researchers in logic from all around the world and make this edition of the conference an unforgettable experience. We hope to see you soon!

See here for information on previous editions: Ghent (2009), Tilburg (2010), Brussels (2011 ), Ghent (2012), Munich (2013), Utrecht (2014), Vienna (2015 ), Darmstadt (2016 ), Bochum (2017), Prague (2018), Bern (2019 ), Berlin (2021 ) and Turin (2022 ) .

This edition will take place on site, and we will provide a streaming option for participants. (Link to be announced). You may download, print and display the official poster of the conference     at your institution.

Contact us :



The conference will take place at 'Instituto de Matemáticas de la UGR, IMAG'. The talks marked with ( ) will take place at 'Sala de Conferencias - Facultad de Traducción e Interpretación de Granada'. See the respective locations here.

Wednesday 4th Thursday 5th Friday 6th
8:30 - 9:00 Kick-Off
9:00 - 9:30 Maria Jose Frapolli Jordi López Abad Nina Gierasimczuk
9:30 - 10:00
10:00 - 10:30
10:30 - 11:00 Pedro del Valle-Inclán Curial Gallart Andrea Sabatini
11:00 - 11:30 Coffee Break Coffee Break Coffee Break
11:30 - 12:00 Salvatore Scamperti Mina Young Pedersen Pietro Vigiani
12:00 - 12:30 Damiano Fornasiere Miguel Martins Azul Fatalini
12:30 - 13:00 Simone Ramella and Margarete Ketelsen Elio La Rosa Filip Jankovec
13:00 - 13:30 Lunch Break Lunch Break Lunch Break
13:30 - 14:00
14:00 - 14:30
14:30 - 15:00 Amanda Vidal Julien Murzi Tomás Ibarlucía
15:00 - 15:30
15:30 - 16:00 Coffee Break Coffee Break Coffee Break
16:00 - 16:30 John Lindqvist Open Problems Session (Celestine Lawrence) Role of Logic in Academic Research
16:30 - 17:00 Aleksi Anttila
17:00 - 17:30 Poster Session 1 Poster Session 2 Social Activity
17:30 - 18:00
Social Dinner

Download the entire program of the conference here :

Talks Information

Invited Speakers
Maria Jose Frapolli: Logic in Mathematics.
Jordi López Abad: Fraïssé Banach spaces.
Nina Gierasimczuk: Inductive Inference and Epistemic Modal Logic.
Julien Murzi: The Liar's Revenge.
Tomás Ibarlucía: An invitation to continuous logic.
Amanda Vidal: Modal fuzzy logics: diverging paths.
Contribute Talks
Pedro del Valle-Inclan: Carnap's Problem, Definability and Compositionality.
Salvatore Scamperti and Luca Motto Ros: Universality properties of graph homomorphism: one construction to prove them all.
Damiano Fornasiere and Tommaso Moraschini: Degrees of incompleteness of implicative logics: the trichotomy theorem.
Margarete Ketelsen and Simone Ramello: Definability of henselian valuations in positive characteristic.
John Lindqvist: Modal Logic in the Logic of Sentential Operators.
Aleksi Anttila, Rosalie Iemhoff and Fan Yang: Deep Inference Sequent Calculi for Team-based Logics.
Mahan Vaz and Marcelo Esteban Coniglio: Deontic logic semantics: from Kripke frames to swap structures.
Curial Gallart Rodríguez: High analogs of Martin's Axiom and combinatorics on $\omega_2$.
Mina Young Pedersen: Hybrid Relevant Logic.
Miguel Martins and Tommaso Moraschini: Locally Finite Bi-Intermediate Logics of Trees.
Elio La Rosa: Epsilon Modal Logics.
Andrea Sabatini: Abduction as deductive saturation.
Pietro Vigiani: Non-classical Reasoning with Update-based Implication.
Azul Lihuen Fatalini: Paradoxical sets and the Axiom of Choice.
Filip Jankovec: From Abelian logic to Łukasiewicz unbound.
Poster Session 1
Salvatore Scamperti - Luca Motto Ros, John Lindqvist, Damiano Fornasiere, Aleksi Anttila - Rosalie Iemhoff - Fan Yang, Pedro del Valle Inclán, Antonio Casares, Chun yu Lin, Lisa Michajlova, Luis Felipe Bartolo, Thibaut Kouptchinsky, Hrafn Valtyr Oddsson, Pinelopi Stylianopoulou.
Poster Session 2
Curial Gallart Rodriguez, Andrea Sabatini, Elio La Rosa, Pietro Vigiani, Mina Young Pedersen, Filip Jankovec, Fatalini, Azul Lihuen, Niccolò Rossi, Alexander De Klerck, Thomas Randriamahazaka, Grigorii Stepanov, Ludovico Fusco - Francesco Paoli, Johan Girardot.

More participants

Celestine Lawrence, Laura Hernández Martín, Kalliopi Tente, Pablo Ibáñez Gallardo, Siiri Kivimaki, Esteban Martinez.

Location of the Buildings


Maria Jose Frapolli

Maria Jose Frapolli Sanz.
(University of Granada)

Nina Gierasimczuk

Nina Gierasimczuk.
(Danish Technical University)

Tomás Ibarlucía

Tomás Ibarlucía.
(Université Paris Cité)

Julien Murzi

Julien Murzi.
(University of Salzburg)

Amanda Vidal

Amanda Vidal.
(Artificial Intelligence Research Institute IIIA)

Scientific Committee

Bahareh Afshari. (University of Gothenburg) David Aspero. (University of East Anglia) Cristina Barés Gómez. (University of Sevilla)
Anna Bellomo. (Institut Wiener Kreis) Pedro Cabalar. (Corunna University) Agata Ciabattoni. (Technische Universität Wien)
Pablo Cobreros Bordenave. (University of Amsterdam) Bogdan Dicher. (University of Lisbon) Mirna Dzamonja. (University of Paris)
Sarah Alice Gaggl. (Technische Universität Dresden) Mario Gomez Torrente. (National Autonomous University of Mexico) Øystein Linnebo. (University of Oslo)
Alberto Marcone. (University of Udine) Concha Martínez Vidal. (The University of Santiago de Compostela) Alexandra Shlapentokh. (East Carolina University)
Theodore Slaman. (Berkeley University of California) Fernando Soler Toscano. (University of Sevilla) Mariya I. Soskova. (University of Wisconsin–Madison)
Matteo Viale. (University of Torino) Heinrich Wansing. (Ruhr-University Bochum) Elia Zardini. (Complutense University of Madrid)

Organising Committee

Catalina Torres

Martha Catalina Torres Pachón
(University of Barcelona)

JuanMa Santiago

Juan Manuel Santiago Suárez
(Université Paris Cité and
Politecnico di Torino)

Daira Pinto

Daira Pinto Prieto
(University of Amsterdam)

José Santiago

José S. Santiago Villanueva
(University of Granada and
University of Jaén)

Pedro Garcia

Pedro Abelardo Garcia Sanchez
(University of Granada)

* Important Dates

The conference starts Wednesday morning, October 4, and ends Friday afternoon, October 6.

Abstract submission deadline: May 31, 2023. (Acceptance notification: June 30, 2023.)

Poster submission deadline: July 31, 2023.

Registration for the event is FREE and is open now! Until Agust 31, 2023 .

Financial support for participants

Student members of the Association for Symbolic Logic (ASL) may apply for travel support at ASL. Note that such applications have to be submitted at least 3 months prior to the meeting (October 4). For precise instructions on how to apply for ASL support please see the ASL website. Notice that the deadline for the finantial support aplication is July 4, 2023.


The Host Institution

The University of Granada was officially founded in 1531 and is considered one of Spain’s historic universities. The University of Granada is ranked among the top 10 in Spain and among the top 5 in Mathematics. This University is, for several years, the first European University in receiving and sending students in the Erasmus programme of European mobility. The University currently has around 57,000 students and 27 teaching centres. This congress will take place fundamentally at IMAG (The Math Institute of the University of Granada), institute with a great prestige in mathematics and recently awarded by the Spanish Research Agency with the prestigious “Maria de Maeztu” 2020 Seals of Excellence in Mathematics.

Tourism Information

Granada is a city with a wide range of areas to visit. By far the best known monument is La Alhambra, it consists of a complex of ancient palaces, gardens and fortresses on the outskirts of the city. Inside are some of the most interesting structures such as The Generalife and the Palace of Charles V. At the same time there are several areas to stroll around with one of the most beautiful views such as El Albayzin or El Paseo de los Tristes. There are also other areas to visit such as the Cathedral, the Archaeological and Ethnological Museum or the Museum of Fine Arts.

Travel information

  • From Granada airport. The airport is 17 km from downtown. Correspondences between Granada and its airport can be done by taxi or bus. The cab fare is about 30-35€. There is a 3€ bus airport-downtown (line 245), with different stops. The nearest one to IMAG is the eighth stop, at “Avda. Constitucion Hotel Cóndor”, from where IMAG is just at 10 min of walking distance.
  • From Málaga airport. The bus company Alsa has a service connecting directly the airport of Málaga with the city of Granada. From this airport, there are frequent connections (approx. one per hour). For more information, please visit the Alsa website. Another available connection is through the bus station in Málaga, from where one can find buses leaving to Granada each hour. These buses arrive at the bus station in Granada, from where one can take a taxi to downtown (about 10€) or a city bus (lines SN2 or SN5) in order to arrive to the institute (see here for a map of the city buses in Granada).
  • By high speed train. There are daily connections to and from Granada, with Madrid and Barcelona. The train station in Granada is downtown, at 10 minutes of walking distance from IMAG.


Registration is now closed.

Contact us :

Abstract Submission

If you aim to participate as a speaker in the Phds in Logic XIV conference, please submit your abstrac by Easy Chair

Abstract Submission is now closed.

Poster submission was open Until July 31, 2023. Poster Submission is now closed.

* Submission guidelines: PhD students, master students, and first-year postdocs in logic from disciplines that include but are not limited to computer science, mathematics, and philosophy are invited to submit an extended abstract on their research. Extended abstracts (up to 1 page not including references) are to be prepared using the EasyChair class style. The scientific committee will review all submitted abstracts and determine which ones will be accepted for presentation at the conference. Depending on the number of accepted abstracts and the conference schedule, some presentations will be in the form of short talks, while others will be presented as posters. The committee will make the final decision on the presentation format for each accepted abstract.





This event has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101007627

Institutional Partners