Category Archives: Conferences

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

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

Descriptive Set Theory in Turin

Date and place: September 6th to 8th, 2017 – Torino (Italy)


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


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é
Social Dinner at Ristorante Quadre (map)

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.


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)

Workshop on Computability Theory and Foundations of Mathematics, Singapore, September 8-12, 2017



Workshop on Computability Theory and Foundations of Mathematics
(National University of Singapore, 8 – 12 September 2017)

Abstracts of talks should be submitted via email to with the subject line: CTFM2017 submission.

The length of abstract is limited to 2 pages including references. The authors are recommended to prepare their abstracts in the following IMS format:
Tex file:
PDF example:

Submission deadline: September 1, 2017

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

CTFM began as a “Workshop on Proof Theory and Computability Theory” and held its first meeting in Japan. Previous venues were Matsushima (2008, 2009), Inawashiro (2010), Sendai (2011), Tokyo (2012). The series assumed the name “Computability and Foundations of Mathematics” at the 2013 meeting which was hosted in Tokyo. CTFM 2017 will be the first time a meeting in the series is held outside Japan.

The previous meetings attracted not only researchers in Japan but also many from around the world. In particular, since 2013, logicians from Singapore have had frequent scientific exchanges with their Japanese counterpart through the platform of the CTFM meetings.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

Invited Speakers

Joerg Brendle (Kobe University, Japan)
Satoru Kuroda (Gunma Prefectural Women’s University, Japan)
Ludovic Patey (The University of California, Berkeley, USA)
Toshimichi Usuba (Waseda University, Japan)
Thomas Zeugmann (Hokkaido University, Japan)
Hao Zhaokuan (Fudan University, China)

Program Committee

Dilip Raghavan (National University of Singapore)
Stephen Simpson (Pennsylvania State University)
Frank Stephan (National University of Singapore)
Kazuyuki Tanaka (Tohoku University) (Chair)
Yue Yang (National University of Singapore)
Keita Yokoyama (Japan Advanced Institute of Science and Technology)

Organizing Committee

Chi Tat Chong (National University of Singapore)
Kazuyuki Tanaka (Tohoku University)
Guohua Wu (Nanyang Technological University)
Yue Yang (National University of Singapore)
Keita Yokoyama (Japan Advanced Institute of Science and Technology)


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

Winter School, Hejnice, Jan 27 – Feb 3, 2018

The Winter School in Abstract Analysis, section Set Theory & Topology will take place between Jan 27th and Feb 3rd 2018 in Hejnice, Czech Republic.

Tutorial speakers for the Winter School 2018 are:

Leandro Aurichi
Joel David Hamkins
Jordi Lopez-Abad
Itay Neeman

The registration will open in October 2017, conference fee is expected to be 350 EUR and covers all expenses including the bus from Prague to Hejnice and back. Accommodation will be in double rooms.

Registration deadline — December 31st, 2017

To get more information about the conference please visit the web page

If you have any questions please do not hesitate to contact us.

We hope to see you in January,

David Chodounský, Jan Starý and Jonathan Verner

Symposium of the Set Theoretic Pluralism network, Bristol, June 20-25

The second and final symposium of the Set Theoretic Pluralism (STP) network will take place at the University of Bristol on June 20-25, 2017. We would like to invite researchers from all relevant disciplines to attend the symposium, including set theory, philosophy of mathematics, metaphysics, philosophy of language, and epistemology.

The STP network draws together experts in mathematics and philosophy to grapple with the increasingly popular idea that mathematical reality may be best understood as fractured and indeterminate. Participants will include Sy David Friedman (Vienna), Peter Koellner (Harvard), Hugh Woodin (Harvard), Sean Walsh (UC Irvine), Toby Meadows (Queensland), Philip Welch (Bristol), Giorgio Venturi (Campinas), Carolin Antos (Vienna), Neil Barton (Vienna), Zeynep Soysal (Harvard), and Benedict Eastaugh (Bristol).

Registration for the symposium is now open (participation is free, but registration is required). The registration deadline is Monday 5 June, 2017.

To register, please email and include the following information:

* Name and affiliation.

* Whether you would like to attend the conference dinner, scheduled for Thursday 22 June, 2017. Places are limited and will be allocated on a first-come, first-served basis.

* Any dietary restrictions or preferences.

* Which days you plan to attend the symposium, if you are not attending the entire event.

Further details of the symposium, including the programme and details of the location, will be published on the symposium website:

The STP network is funded by a Leverhulme International Network grant and is hosted at the University of Bristol. The STP network partners include the University of Aberdeen, Harvard University, the University of Bristol, the University of Vienna, the University of Helsinki, and the University of California, Irvine. For more details of the network’s context and aims, please refer to the network website:

We look forward to seeing you here!

Toby Meadows, Philip Welch, and Benedict Eastaugh

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

Applications of model theory to operator algebras, Houston, July 31 – August 4

Dear Colleagues,

This is an announcement for an NSF-funded conference on “Applications
of Model Theory to Operator Algebras” to be held at the University of
Houston from July 31 — August 4, 2017. This conference will feature a
lecture series by our main speaker, Ilijas Farah, as well as several
plenary research talks by various experts in Operator Algebras and
Model Theory.

The purpose of this conference is two-fold: First, to serve as a
“master class” for non-experts and young researchers to learn about
fundamental concepts presented by Professor Ilijas Farah, a leading
expert and renowned expositor of these topics; and second, to inform
and update experts in other areas of operator algebras about the
latest advances and achievements of the subject. More information on
these talks, and the topics covered, can be found on the conference

We hope you will be able to attend.


The Organizers
Mehrdad Kalantar (University of Houston)
Mark Tomforde (University of Houston)
Ping Wong Ng (University of Louisiana at Lafayette)
Leonel Robert (University of Louisiana at Lafayette)

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