Phds in Logic 2023 | XIV Edition | Granada

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.

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 :       phdsinlogic@gmail.com

IMAG

* Important Dates

The conference starts Wednesday morning, October 4, and ends Friday afternoon, October 6. We have extended the deadline for poster submission!

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

New! Poster submission deadline: July 31, 2023. (Send your abstract to phdsinlogic@gmail.com)

Registration for the event : OPEN NOW! Until Agust 31, 2023. Register Here.


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.

Venue

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.

Speakers

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) Christel Baier. (Technische Universität Dresden)
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)
Leon Horsten. (University of Konstanz) Øystein Linnebo. (University of Oslo) Menachem Magidor. (The Hebrew University of Jerusalem)
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)
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)

Registration


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.

You are still on time to submit a Poster. Until July 31, 2023. Send your abstract to

phdsinlogic@gmail.com

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

Sponsors

IMAG
SIGLOG

SIGLOG

EU
MOSAIC


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

IIIA-CSIC
ASL
SLMFCE
RSME