Category Archives: Conferences

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.

Tutorials

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

https://www.math.uh.edu/analysis/2017conference.html

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

We hope you will be able to attend.

Sincerely,

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.


Speakers:

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


Organisers:
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: http://sgslps.ch/upcoming

Simon Thomas: the first 60 years, Rutgers, September 15-17, 2017

The conference Simon Thomas: the first 60 years will take place this September 15–17 at Rutgers University, New Brunswick, New Jersey.

List of speakers
Clinton Conley
Ilijas Farah
Matt Foreman
Alekos Kechris
Justin Moore
Andrew Marks
Itay Neeman
Anush Tserunyan
Robin Tucker-Drob
Saharon Shelah
Hugh Woodin

Organizer
Grigor Sargsyan

MFO workshop in Set Theory, Oberwolfach, February 2017

Set Theory (Workshop ID: 1707)
12 Feb – 18 Feb 2017

Organisers

  • Ilijas Farah, Toronto
  • Sy-David Friedman, Wien
  • Ralf Schindler, Münster
  • Hugh Woodin, Cambridge MA

Noncommutative Geometry and Operator Algebras, Nashville, May 5–11, 2017

Noncommutative Geometry and Operator Algebras

May 5 – May 11, 2017

Vanderbilt University, Nashville, Tennessee, USA

http://my.vanderbilt.edu/ncgoa17

The Fifteenth Annual Spring Institute on Noncommutative Geometry
and Operator Algebras will take place at Vanderbilt University from
May 5 to May 11, 2017, under the direction of Jesse Peterson. The
topic of this year’s conference/school is:

Operator Algebras and Logic

As in previous years, the meeting will be a combination of spring
school and international conference, and we strongly encourage
students and postdocs to attend. The application deadline for
financial support is March 17, 2017. Please consult the conference
website http://my.vanderbilt.edu/ncgoa17 for more information.
Online registration is now open at the above website.

NCGOA Spring Institute 2017 | Vanderbilt UniversityNCGOA Spring Institute 2017 

Minicourse Speakers

Speaker Affiliation Title
Bradd Hart McMaster University
Justin Moore Cornell University
Roman Sasyk Universidad de Buenos Aires
Simon Thomas Rutgers University
Anush Tserunyan UIUC

Invited Speakers

Speaker Affiliation Title
Alessandro Carderi TU Dresden
Ionut Chifan University of Iowa
Clinton Conley Carnegie Mellon University
Isaac Goldbring UC Irvine
Aleksandra Kwiatkowska University of Muenster
Yash Lodha EPFL
Martino Lupini Cal Tech
Andrew Marks UCLA
Paul McKenney Miami University in Ohio
Christian Rosendal UIC
Marcin Sabok McGill University
Thomas Sinclair Purdue University
David Sherman University of Virginia
Slawek Solecki UIUC
Gabor Szabo University of Munster
Aaron Tikuisis University of Aberdeen
Andrew Toms Purdue University
Asger Tornquist University of Copenhagen
Robin Tucker-Drob Texas A&M
Todor Tsankov Institut de Mathematiques de Jussieu–PRG

MAMLS at VCU, April 1-2, 2017

MAMLS at VCU will be a gathering of set theorists working on large cardinals, inner models, forcing and relative consistency results, sponsored by the NSF and the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University. While graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply for travel support, it should be stressed that any participants without their own sources of funding are eligible to apply. Requests will be handled on a case-by-case basis within the limits of the budget. To apply for travel support, contact vcumamls@gmail.com.

The meeting begins at 8:30am on April 1 and ends at 12pm on April 2. See the web site for more information and updates: http://www.people.vcu.edu/~bmcody/mamls2017/

Speakers

Omer Ben-Neria University of California at Los Angeles
James Cummings Carnegie Mellon University
Monroe Eskew Virginia Commonwealth University
Victoria Gitman City University of New York
Joel David Hamkins City University of New York
John Krueger University of North Texas
Dima Sinapova University of Illinois at Chicago
Hugh Woodin Harvard University

Logic Colloquium 2017, August 14-20, 2017

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held
during August 14-20, 2017 at the main campus of Stockholm University. The
Logic Colloquium 2017 is organised and hosted jointly by the Departments
of Mathematics and Philosophy at Stockholm University, and is also
supported by the KTH Royal Institute of Technology.

LC2017 will be co-located with two other logic-related events, all taking
place at Stockholm University:
— the 3rd Nordic Logic Summer School, NLS2017, August 7-12
— the 26th EACSL Annual Conference on Computer Science Logic, CSL2017,
August 20-24.

There will be a joint session of CSL2017 and LC2017 in the morning of
August 20.
Further information about all events can be found on
https://www.lis17.conf.kth.se

INVITED SPEAKERS
——————————
Plenary speakers:
• David Aspero (University of East Anglia)
• Alessandro Berarducci (Pisa)
• Elisabeth Bouscaren (Paris 11)
• Christina Brech (Sao Paolo)
• Sakae Fuchino (Kobe University)
• Denis Hirschfeldt (University of Chicago)
• Wilfrid Hodges (British Academy)
• Emil Jerabek (Prague)
• Per Martin-Löf (Stockholm University)
• Dag Prawitz (Stockholm University)
• Sonja Smets (University of Amsterdam)

Tutorial speakers:
• Patricia Bouyer-Decitre (LSV ENS Cachan)
• Mai Gehrke (Paris 7)

LC-CSL joint session highlight speakers:
• Veronica Becher (Buenos Aires)
• Pierre Simon (UC Berkeley)

Special session on set theory

  • William Chen (Ben Gurion University)
  • Brent Cody (Virginia Commonwealth University, USA)
  • Ashutosh Kumar (Hebrew University, Jerusalem)
  • Giorgio Laguzzi (Freiburg University)
  • Yann Pequignot (University of California, Los Angeles)
  • Sandra Uhlenbrock (University of Vienna)

SUBMISSIONS OF CONTRIBUTED TALKS
———————
Abstracts of contributed talks must be submitted as pdf files via this
EasyChair page: https://easychair.org/conferences/?conf=lc2017
(If you do not have an EasyChair-account yet, you can create one at the
submission site.)

The abstracts must be prepared according to the ASL instructions here:
http://www.aslonline.org/rules_abstracts.html
Please enter Title and Abstract as plain text. As the first keyword, put
the AMS 2010 classification: 03xxx

Abstracts of contributed talks submitted by ASL members, which are
accepted and prepared according to the ASL Rules for Abstracts will be
published in The Bulletin of Symbolic Logic. Upon notification of
acceptance, authors will be requested to submit the LaTex source files.

ASL will provide some student grants for participation at the LC2017.

IMPORTANT DATES:
—————————————————————————

Abstract submission for contributed talks: May 5, 2017
Notification: TBA
—————————————————————————

PROGRAMME COMMITTEE
——————-
• Rod Downey (University of Wellington)
• Mirna Dzamonja (PC chair, University of East Anglia)

• Ali Enayat (University of Gothenburg)
• Fernando Ferreira (University of Lisbon)
• Valentin Goranko (Stockholm University)
• Martin Hils (University of Münster)
• Sara Negri (University of Helsinki)
• Assaf Rinot (Bar-Ilan University)
• Igor Walukiewicz (University of Bordeaux)

ORGANISING COMMITTEE
——————–
• Mads Dam, Department of Theoretical Computer Science, KTH
• Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm
University
• Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of
Technology
• Eric Johannesson, Department of Philosophy, Stockholm University
• Vera Koponen, Department of Mathematics, Uppsala University
• Roussanka Loukanova, Department of Mathematics, Stockholm University
• Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University
• Peter Pagin, Department of Philosophy, Stockholm University
• Anders Lundstedt, Department of Philosophy, Stockholm University
• Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm
University
• Dag Westerståhl, Department of Philosophy, Stockholm University

CONTACTS AND ENQUIRIES:
——————–
For enquiries on scientific and programme issues, send email to Mirna
Dzamonja, M.Dzamonja@uea.ac.uk
For enquiries on organising matters, send email to:
lc2017<at>philosophy.su.se