Category Archives: Conferences

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 :
  • 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, 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

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:

Borel Reducibility of Equivalence Relations, Lausanne, May 29, 2017

SGSLPS 2017 Spring meeting on “Borel Reducibility of Equivalence Relations”

Université de Lausanne (Unil), Amphipôle, Room 340

29 May 2017, 10:30 – 17:00

The SGSLPS 2017 Spring meeting on “Borel Reducibility of Equivalence Relations” will feature four hour-long talks by leading experts in the field. The first talk will be introductory and will aim at a general audience.


  •  Andrew Brooke-Taylor (University of Leeds, Leeds)
  • Raphaël Carroy (Kurt Gödel Research Centre, Vienna)
  • Julien Melleray (Université Claude Bernard Lyon 1, Lyon)
  • Luca Motto Ros (Università di Torino, Turin
About the subject:
Classification has always been a central theme in mathematics. The study of Borel Reducibility of Equivalence Relations deals with the classification of points of standard Borel spaces up to equivalence relations by explicit, or Borel, mappings between such spaces.

This idea gives rise to a notion of complexity of equivalence relations, and tools from Descriptive Set Theory are used to compare such relations and measure their complexities.

The SGSLPS 2017 Spring meeting is organised by the Swiss Graduate Society for Logic and Philosophy of Science, SGSLPS, with funding by the Swiss Academy of Sciences.
The Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS) is an association of advanced undergraduate and graduate students with a distinctive interest in the large domains of logic and philosophy of science

For more information, visit: