Archives of: saf

1st Mexico-USA Logic Fest, Mexico City, January 10 – 13, 2018

The First Mexico-USA Logic Fest brings together logicians of the two countries, Mexico and the United States, and worldwide friends in order to join forces in research by exchanging ideas, creating graduate student exchange networks and otherwise collaborating.

Venue: ITAM, Mexico City (in the historic neighborhood of San Angel).


This first meeting takes place over 4 days, from Wednesday the 10th to Saturday the 13th of January 2018, with a schedule that includes 17 talks. The rest of the time will be devoted to doing mathematics, as well as to discussing how to strengthen the scientific links between Mexico and the United States. On Saturday 13th, after a couple of talks, we will also have a small excursion.

Invited participants/speakers:

  • Juan Pablo Aguilera
  • Arthur Apter
  • David Aspero
  • Mirna Džamonja
  • David Fernandez Duque
  • Fernando Hernandez Hernandez
  • Michael Hrusak
  • John Krueger
  • Christian Rosendal
  • Grigor Sargsyan
  • John Steel
  • Stevo Todorcevic
  • Victor Torres Perez
  • Anush Tserunyan
  • Jouko Väänänen
  • Andrés Villaveces
  • Hugh Woodin



If you want to join us, please contact us at
The conference fee is 2000 mexican pesos (approximately 120 usd) per participant. It includes lunch and coffee from Wednesday 10 to Friday 12 as well as the social dinner on Friday 12.

We can provide free accommodation (at Hotel El Diplomático or in one of ITAM’s apartments in front of the campus) from Tuesday 9 to Sunday 14 (5 nights) only to those participants giving a talk. If you are not giving a talk (but you want to stay at Hotel El Diplomático), we kindly ask you to do your own arrangements at

Descriptive Set Theory in Turin, September 6 – 8, 2017

Descriptive Set Theory in Turin Date and place: September 6th to 8th, 2017 – Torino (Italy)

Organizers: Alessandro Andretta, Gianluca Basso, Riccardo Camerlo, Vassilis Gregoriades, Luca Motto Ros and Matteo Viale Location: Department of Mathematics “Giuseppe Peano”, Palazzo Campana, via Carlo Alberto 10, Torino. All talks will take place in Aula A, ground floor. To reach Aula A, enter the building, turn right in the first corridor, at the end which you will turn left. At the end of this corridor turn left again and exit in the courtyard. In front of you is Aula A. Useful information Program Day 1 – Wednesday, September 6 09:00 – Registration 09:30 to 10:20 – Gabriel Debs 10:30 to 11:00 – Coffee Break 11:00 to 11:25 – Dominique Lecomte 11:30 to 11:55 – Miroslav Zeleny 12:00 to 13:30 – Lunch 13:30 – 14:30 Discussion Session: Contributions by Silvia Steila, Yann Pequignot, Itaï Ben Yacoov, and Jean Saint-Raymond. 14:30 to 14:55 – Sy-David Friedman 15:00 to 15:50 – Forte Shinko 16:00 to 16:30 – Coffee Break 16:30 to 16:55 – Maciej Malicki 17:00 to 17:25 – Philipp Schlicht Day 2 – Thursday, September 7 09:00 to 09:50 – Julien Melleray 10:00 to 10:25 – Mirna Dzamonja 10:30 to 11:00 – Coffee Break 11:00 to 11:25 – Donát Nagy 11:30 to 11:55 – Márk Poór 12:00 to 13:30 – Lunch 13:30 – 14:30 Discussion Session: Contributions by Dorottya Sziraki, Riccardo Camerlo, Louis Vuilleumier, and Petr Holicky. 14:30 to 14:55 – Jacques Duparc 15:00 to 15:25 – Vladimir Kanovei 15:30 to 15:55 – Pandelis Dodos 16:00 to 16:30 – Coffee Break 16:30 to 16:55 – Raphael Carroy 17:00 to 17:25 – Lionel Nguyen Van Thé Day 3 – Friday, September 8 09:00 to 09:50 – Stephen Jackson 10:00 to 10:25 – Michal Doucha 10:30 to 11:00 – Coffee Break 11:00 to 11:25 – Vojta Kovarik 11:30 to 11:55 – Filippo Calderoni 12:00 to 13:30 – Lunch 13:30 – 14:30 Discussion Session: Contributions by Filippo Cavallari, Vibeke Quorning, Giorgio Laguzzi, and Andrea Vaccaro. 14:30 to 14:55 – Asger Tornquist 15:00 to 15:25 – David Schrittesser 16:00 – Coffee and farewell

Registered Participants

  1. Alessandro Andretta, Università di Torino.
  2. Gianluca Basso, Université de Lausanne and Università di Torino.
  3. Itaï Ben Yaacov, Université Claude Bernard Lyon 1.
  4. Filippo Calderoni, Università di Torino.
  5. Riccardo Camerlo, Polytechnic of Turin.
  6. Raphael Carroy, Kurt Gödel Research Center.
  7. Filippo Cavallari, University of Turin, University of Lausanne.
  8. Gabriel Debs, Institut Mathématique de Jussieu.
  9. Pandelis Dodos, Department of Mathematics, University of Athens.
  10. Michal Doucha, Institute of Mathematics, Czech Academy of Sciences.
  11. Jacques Duparc, University of Lausanne.
  12. Mirna Dzamonja, University of East Anglia.
  13. Sy-David Friedman, Kurt Gödel Research Center, U.Vienna.
  14. Vassilios Gregoriades, University of Turin.
  15. Petr Holicky, Charles University, Prague.
  16. Stephen Jackson, University of North Texas.
  17. Vladimir Kanovei, Institute for the Information Transmission Problems.
  18. Vojta Kovarik, Charles University, Prague.
  19. Giorgio Laguzzi, University of Freiburg.
  20. Dominique Lecomte, Université Pierre et Marie Curie.
  21. Maciej Malicki, Warsaw School of Economics.
  22. Julien Melleray, Université Lyon 1.
  23. Luca Motto Ros, University of Turin.
  24. Donát Nagy, Eötvös Loránd University, Budapest.
  25. Lionel Nguyen Van Thé, Aix-Marseille University.
  26. Yann Pequignot, University of California, Los Angeles.
  27. Márk Poór, Eötvös University, Budapest.
  28. Vibeke Quorning, University of Copenhagen.
  29. Jean Saint Raymond, Université Pierre et Marie Curie – Paris 6.
  30. Philipp Schlicht, University of Bonn.
  31. David Schrittesser, Kurt Gödel Research Center.
  32. Forte Shinko, McGill University.
  33. Silvia Steila, University of Bern.
  34. Dorottya Sziraki, Alfred Renyi Institute of Mathematics, and Central European University.
  35. Asger Tornquist, University of Copenhagen.
  36. Andrea Vaccaro, Università di Pisa – York University.
  37. Matteo Viale, Università di Torino.
  38. Louis Vuilleumier, Université de Lausanne.
  39. Domenico Zambella, Università di Torino.
  40. Miroslav Zeleny, Faculty of mathematics and physics, Charles University, Prague, Czech Republic.

Sponsors The workshop is generously funded by – The Department of mathematics “Giuseppe Peano” – Programma Giovani Ricercatori “Rita Levi Montalcini”, “Nuovi sviluppi in teoria descrittiva degli insiemi”, (PI:Luca Motto Ros) – PRIN 2012 “Modelli e insiemi” (PI: Carlo Toffalori)

On the Infinite, Paris, October 18 – 21, 2017

On the Infinite

An Interdisciplinary Symposium

October 18 – October 21, 2017

Infinity: the break in the horizon, the “what cannot be counted”, boundless, bottomless, eternal, illimitable and absolute. The infinite encloses physical space; the infinite holds time within itself.

Already in the classical period, philosophers were undone by Zeno’s paradox, that an arrow shot from its bow will never reach its target because it must pass through every point between bow and target, and there are infinitely many such points. For cosmologists, the urgent question is: Is the universe finite or infinite? Will it last forever? And theologians saw in it an attribute of God, and were even prohibited to talk about it.

For the mathematician the infinite is the oil in the machine. For the mathematician who is a set theorist the infinite is a totality—completed, though in Aristotle’s sense, out of view; while at the same time the infinite is essentially open: open “above”, so numberless; but also open inwardly, in the way it copies itself internally over and over again, prints an image of itself into every one of its proper parts, and reprints, and reprints, and reprints, toward an endlessly fractured and ramified whole.

Critical conceptions of the infinite coming from outside of mathematics may coalesce around the concept of seriality. In The Infinite Line the art historian Briony Fer writes of the various serial strategies available to the artist; how “repetition, splintered into multiple registers, [is] no longer pitched against the aura of a single, unique artwork, so much as against its other selves.”

In this four-day interdisciplinary symposium we juxtapose lectures by set theorists and other mathematicians with those by art historians, architects, artists and philosophers, in an attempt to create a dialogue across cultures.

Some of the mathematical talks will be aimed at a general audience.

The symposium is accompanied by an exhibition of the work of the sculptor Fred Sandback.

Invited Speakers:

  • Yves André (mathematics, Paris VI)
  • Andrew Arana (philosophy, IHPST Paris)
  • Joan Bagaria (mathematics, Barcelona)
  • Emily Brady (philosophy, Edinburgh)
  • Maria Clara Cortés (art, Universidad Nacional de Colombia)
  • Briony Fer (art history, UCL)
  • Sebastian Gandon (philosophy, Clermont-Ferrand)
  • Wilfrid Hodges (mathematics, QML emeritus)
  • Hanna Johansson (art history, Helsinki)
  • Menachem Magidor (mathematics, Hebrew University)
  • Maryanthe Malliaris (mathematics, University of Chicago)
  • Philip Ording (mathematics, Sarah Lawrence College)
  • Juhani Pallasmaa (architecture, Helsinki)
  • Marja Sakari (art history, Kiasma, Helsinki)
  • SMITH (artist, Paris)
  • John Steel (mathematics, Berkeley)
  • Valdimir Tasic (mathematics, University of New Brunswick)
  • Jean-Philippe Uzan (CNRS, Institut d’Astrophysique de Paris)
  • Andres Villaveces (mathematics, Bogotá)
  • Philip Welch (mathematics, Bristol)
  • Hugh Woodin (mathematics and philosophy, Harvard)

Exhibition: Fred Sandback at the Institute Henri Poincaré.


Michael Harris, Columbia University, New York
Juliette Kennedy, University of Helsinki
Boban Velickovic, Paris Diderot University


Finnish Academy of Science and Letters
Institute Français de Finland
University of Helsinki
Institute Henri Poincaré
European Research Council
Magnus Ehrnrooth Foundation

Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 22-26, 2018


Set Theory, Model Theory and Applications

(In memory of Mati Rubin)


The international conference Set Theory, Model Theory and Applications,in memory of our late colleague Mati Rubin, will take place at the Eilat Campus of Ben-Gurion University of the Negev (Israel) from 22 – 26 April, 2018.

Eilat is Israel’s southernmost city, a popular resort located at the northern tip of the Red Sea, on the Gulf of Eilat. The following Eilat Official Tourism Site contains a lot of useful information.

The main purpose of the conference is to bring together mathematicians working in the areas of set theory and model theory in which Mati Rubin worked in order to exchange ideas and present results of current research.

The total expected number of participants is 70. The list of confirmed participants may be found in here.

Depending on the number of participants we may have some lectures in parallel.

There is no Conference registration fee.

Accommodation: The Organizing Committee will book the rooms for all participants in the Hotel Adi and will offer special prices in this hotel. Eilat has plenty of hotels and in principal the participants could book a hotel of their choice on their own.

Travel to Eilat: Arkia and Israir are the airlines operating flights from TLV (Ben-Gurion international airport)  to Eilat.

We are planning to have Conference Dinner and an excursion for the conference participants and accompanying persons.

Possible financial support depends on the total funds that we shall be able to obtain.

Scientific Committee:

  • Uri Abraham (Ben-Gurion University),
  • Assaf Hasson (Ben-Gurion University),
  • Menachem Kojman (Ben-Gurion University)

Organizing Committee:

Workshop sponsored by the Israel Science Foundation and the Center for Advanced Studies in Mathematics, BGU, Beer Sheva, Israel

Additional support by BGU President, Rector and Dean of the Faculty of Natural Sciences


For additional information, please send e-mail to

Ultrafilters, Ramsey Theory and Dynamics, Villeurbanne, November 20-24, 2017

Ultrafilters, Ramsey Theory and Dynamics

20-24 Nov 2017 Villeurbanne (France)


This week-long event, scheduled between November 20 and November 24, 2017 at the University of Lyon 1, is a combined school and workshop focusing primarily on the rich interactions between ultrafilters, topological dynamics and ergodic theory and applications to Ramsey theory. This event is part of the thematic semester “Graphs, Groups and Dynamics”.

Mini-Course Lecturers:

  • Vitaly Bergelson : Ergodic Ramsey theory
  • Neil Hindman : Central Sets
  • Imre Leader : Ramsey Theory

Invited speakers:

  • Ben Barber
  • Dana Bartosova
  • Mathias Beiglböck
  • Natasha Dobrinen
  • Daniel Glasscock
  • John Johnson
  • Jordi Lopez Abad
  • Joel Moreira
  • Florian Richter
  • Julian Sahasrabudhe
  • Dona Strauss
  • Konstantinos Tyros
  • Andrew Zucker

Local organizing committee

Francois Hennecart (Université Jean-Monnet)

Johannes Kellendonk (Université Lyon 1)

Lionel Nguyen Van Thé (Université d’Aix-Marseille)

Carine Sevestre (LABEX MiLyon)

Stéphan Thomassé (ENS de Lyon)

Luca Q. Zamboni (Université Lyon 1)

Scientific Committee

-Vitaly Bergelson (Ohio State University, USA)

-Neil Hindman (Howard University, USA)

-Imre Leader (University of Cambridge, UK)

Stevo Todorčević (University of Toronto, CA)

Set Theoretic Methods in Topology and Analysis, Będlewo, September 3-9, 2017

Set Theoretic Methods in Topology and Analysis

03.09.2017 – 09.09.2017 | Będlewo

Aims and scope:

  • The purpose of the conference is to bring together well-known specialists and young researchers working in set theory, topology, and their applications in other branches of mathematics, including algebra and functional analysis.

Invited speakers:

  • Uri Abraham, Ben-Gurion University of the Negev, Beer Sheva, Israel
  • Antonio Avilés, University of Murcia, Spain
  • Angelo Bella, University of Catania, Italy
  • Lev Bukovský, Pavol Jozef Safarik University in Košice, Slovakia
  • Alan Dow, University of North Carolina at Charlotte, USA
  • David H. Fremlin, University of Essex, UK
  • Sakaé Fuchino, Kobe University, Japan
  • István Juhász, Hungarian Academy of Sciences, Hungary
  • Piotr Koszmider, Polish Academy of Sciences, Poland
  • Menachem Magidor, Hebrew University of Jerusalem, Israel
  • Ol’ga Sipacheva, M. V. Lomonosov Moscow State University, Russia
  • Mikhail Tkachenko, Metropolitan Autonomous University, Mexico
  • Lyubomyr Zdomskyy, Kurt Gödel Research Center for Mathematical Logic, Austria



Continue reading

Set theoretic & Topological methods in Model Theory, Tezpur, September 7–12, 2017

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

There is no conference fee. However, all invited speakers and participants must register. Accommodation and food for all participants will be provided by the guest house of Tezpur University. Check in date at the guest house is 6th september, 2017 and check out is 13th september, 2017.

Invited Speakers

  • Ehud Hrushovski, Oxford.
  • Tomás Ibarlucía, Paris.
  • Byunghan Kim, Yonsei.
  • Aleksandra Kwiatkowska, Münster, Germany.
  • Ludomir Newelski, Wrocław.
  • Julien Melleray, Lyon.
  • Anand Pillay, Notre Dame.
  • Nick Ramsey, Berkeley.
  • Tomasz Rzepecki, Wrocław.
  • Slawomir Solecki, Urbana–Champaign.
  • Charles Steinhorn, Vassar College, New York.
  • Todor Tsankov, Paris.
  • Frank Wagner, Lyon.


  • Artem Chernikov
  • Krzysztof Krupiński

Andrés Caicedo: Real-valued measurability and Lebesgue measurable sets

University of Notre Dame, Logic Seminar • 125 Hayes-Healy Hall
Tue May 2, 2017 2:00PM – 3:00PM

Speaker: Andres Caicedo – Mathematical Reviews

Title: Real-valued measurability and Lebesgue measurable sets

Abstract: I will show that the existence of atomlessly measurable cardinals does not settle the range of Lebesgue measure on the projective sets.

The 15th Asian Logic Conference, Korea, July 10–14, 2017

The Fifteenth Asian Logic Conference will be held in Daejeon, Korea during July 10 – 14, 2017. It will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

From 1981 to 2008, the Asian Logic Conference has been held triennially and rotated among countries in the Asia-Pacific region. The previous meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987), Tokyo (1990), Singapore (1993), Beijing (1996), Hsi-Tou (1999), Chongqing (2002), Novosibirsk (2005), and Kobe (2008). In 2008, the East Asian and Australasian Committees of the Association for Symbolic Logic decided to shorten the three-year cycle to two. The new two-year cycle began with the meeting in Singapore (2009), and subsequent meetings have been held in Wellington (2011), Guangzhou (2013), and Mumbai (2015).

Some of the previous meetings’ websites can be found HERE.

Plenary Speakers

  • Johann Makowsky (Technion IIT, Israel)
  •  Sara Negri (University of Helsinki, Finland)
  •  Yinhe Peng (University of Toronto, Canada)
  •  Katrin Tent (University of Münster, Germany)
  •  Kwangkeun Yi (Seoul National University, Korea)
  •  Yimu Yin (Sun Yat-sen University, China)
  •  Liang Yu (Nanjing University, China)
  •  Yizheng Zhu (University of Münster, Germany)

Special Session in ​Set Theory

  • Yurii Khomskii (University of Hamburg, Germany)
  • Paul Larson (Miami University, USA)
  • Diego Mejía (Shizuoka University, Japan)
  • Hiroshi Sakai (Kobe University, Japan)

Important Dates

May 12, 2017 : Deadline for contributed talk applications.

May 29, 2017 :

  • Deadline for the payment of reduced registration fee by bank transfer. (After this date, registration fee will no longer be accepted by bank transfer. Only on-site payment (in cash) of standard registration fee will be accepted during the first day of conference.)

  • Notification of the result of contributed talk applications.

June 30, 2017 (or when there are 120 registered participants before this date) : Registration closes.

July 10 – 14, 2017 : Conference

Classification problems in ergodic theory, Irvine, July 14–25, 2017

A 2-week summer school will take place at UC Irvine from Aug. 14 – 25, 2017. The topic of the school will be classification problems in ergodic theory. Lectures will be given by Peter Burton, Matt Foreman, and Brandon Seward.
  1. The first week will treat positive classification results and associated tools. We will primarily focus on entropy theory, starting with the classical entropy theory for actions of countable amenable groups and ending with the quite recent developments of entropy theory for actions of countable non-amenable groups (in particular sofic groups).
  2. The second week will be concerned with anti-classification results: results showing that classifications are not possible with countable resources. We begin with a review of naive descriptive set theory and then discuss classification in this framework. We proceed to show that the classification problem is not solvable for Z-actions, even of real analytic diffeomorphisms of the torus. Finally, we place the classification problems in the hierarchy of analytic equivalence relations under Borel reducibility.
The deadline for applications is May 15, however late applications will still be considered on a case-by-case basis. Funding is available for US citizens and permanent residents (per grant restrictions). More information can be found here: