Reflections on Set Theoretic Reflection, 16-19 November 2018, Sant Bernat, Catalonia

The set theory conference Reflections on Set Theoretic Reflection will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia.

It is organised in partnership with the Clay Mathematics Institute in celebration of Joan Bagaria’s 60th birthday.

Keynote Speakers

Peter Koellner (Harvard)
Paul Larson (Miami)
Menachem Magidor (Jerusalem)
Jouko Väänänen (Helsinki and Amsterdam)
W. Hugh Woodin (Harvard)


David Asperó (UEA, Norwich)
Carles Casacuberta (IMUB, Barcelona)
Miguel Ángel Mota (ITAM, México)
Konstantinos Tsaprounis (UAegean, Samos)


Very informal gathering of logicians, Los Angeles, 1-3 Feb 2019

Los Angeles (CA), 1-3 Feb 2019

VIG 2019

There will be a Very Informal Gathering of Logicians (VIG) at UCLA, from
Friday, February 1, to Sunday, February 3, 2019. The 20th in a series of
biennial logic meetings at UCLA, this event will celebrate the 50th
anniversary of the 1967-68 Logic Year at UCLA and the many influences it
had in Mathematical Logic. The invited speakers are:

Justin Moore giving the Hjorth Lecture
Julia Knight
Krzysztof Krupinski
Chris Laskowski
Menachem Magidor
Donald A. Martin
Grigor Sargsyan
Brandon Seward
Ted Slaman
John Steel
Anush Tserunyan
Robin Tucker-Drob
Hugh Woodin.

16th Asian Logic Conference, Astana (Kazakhstan), 17-21 Jun 2019

Sixteenth Asian Logic Conference
Nazarbayev University
Astana, Kazakhstan
17-21 June 2019

The Sixteenth Asian Logic Conference will be held at Nazarbayev University
Astana, Kazakhstan,17-21 June 2019. It will be the second 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), Mumbai (2015), Daejeon (2017).


Call for Contributed Talks

Each contributed talk should last 20 minutes including questions and
answers. If you would like to give a contributed talk, please send the
following materials as email attachments to at
by May 1, 2019:

1. The title & short abstract of your proposed talk (LaTeX version +
PDF version)

2. A short resume (no more than 2 pages long) including a select
publication list

When sending your email, please:

Begin the subject line with [Talk]

Name your title/abstract files as: lastname_firstname_subject e.g.,
John_Mark_Settheory.tex, John_Mark_Settheory.pdf

Name your resume file as: lastname_firstname_resume e.g.,

After reviewing your application, we will notify you of the result by May
9, 2019.

Abstract should be prepared according to the ASL instructions using the
ASL abstract style.

Ab­stracts are pub­lished as part of the meeting reÂport in The
Bul­letin of SymÂbolic Logic only if at least one au­thor is a member
of the ASL at the time the re­port is sent for pub­lication.

Ab­stracts of contributed pa­pers sub­mitted by ASL mem­bers will be
pub­lished in The Bul­letin of Symbolic Logic, provided that they
sat­isfy the Rules for Abstracts (see above).–

PhDs in Logic XI, Bern

PhDs in Logic XI
24th–26th April 2019, Bern, Switzerland

Call for papers

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.

Abstracts of contributed talks of 2 pages (not including references) are
to be prepared using the EasyChair class style and submitted via
EasyChair. Each abstract will be reviewed by the scientific committee. The
accepted abstracts will be presented by their authors in a short
presentation during the conference.

The deadline for contribution is on 7th of January 2019, and the
notification of acceptance will be sent by 22nd of February 2019.

We welcome students to participate in PhDs in Logic XI regardless of
whether they want to submit a contribution. We also encourage students and
postdocs in logic from disciplines other than computer science,
mathematics, and philosophy to apply.

Students interested in participating, even without giving a talk, should


INPhINIT is a doctoral fellowship programme devoted to attracting international Early-Stage Researchers to the top Spanish research centres in the areas of Bio and Heath Sciences, Physics, Technology, Engineering and Mathematics. 

INPhINIT is sponsored and managed by the “la Caixa” Foundation with the aim of attracting the best scientific talent and fostering innovative and high-quality research in Spain by recruiting outstanding international students and offering them an attractive and competitive environment for conducting research of excellence.

INPhINIT recruits per call 57 Early-Stage Researchers of any nationality who have not lived/worked in Spain more than 12 months between 29 May 2015 and 29 May 2018. They will enjoy a 3-year employment contract at the Research Centre of their choice among those selected and awarded by the Spanish Ministry of Economy and Competitiveness (“Severo Ochoa” centres of excellence and “Maria de Maeztu” units of excellence, such as the Barcelona Graduate School of Mathematics) and the Spanish Ministry of Health (“Carlos III centres of excellence”). In addition, researchers establish a personal career development plan including transnational, intersectoral and interdisciplinary mobility opportunities, and attend a full range of complementary training courses and workshops.

Full information about the programme and how to apply here.

If you are interested please contact Joan Bagaria.

Position as Maitre de conférence in mathematical logic, Paris (France), Deadline: 24 Oct 2018

There will be an opening for a Maitre de Conférence position (Assistant Professor) in Mathematical Logic at the University of Paris 7 in 2019. The hiring procedure in France requires candidates to go through a qualification procedure. This procedure is done by the CNU (ministry committee). More information can be found on the following website:

In order to initiate the procedure the candidates should create an account on the website

The deadline for this is October 24 2018. The candidates then have till December 18 to upload their file (cv, publications, etc) . The committee then examines the files and the results are announced in February 2019. The actual positions will be announced in March 2019, but in order to apply the candidates already need to have the qualification.

For more information, please contact Boban Velickovic

A tenure track position in logic at the University of Torino

There is an opening for a tenure track researcher position (evolving into a permanent professorship) in mathematical logic in Torino University.
This is officially called RTD-B MAT/01 position.
The deadline for applications is set for the 5th September 2018. Details on
how to apply can be found here:
Alessandro Andretta
Luca Motto Ros
Matteo Viale