Position in mathematical logic in Torino

We are happy to announce that there is an opening for a tenure-track position in mathematical logic in the mathematics department at the University of Torino, Italy. The prospective applicant should have a strong background in any field of mathematical logic.

Tenure will be decided after three years, and is subordinate to the candidate having obtained the “Abilitazione Scientifica Nazionale”, the Italian habilitation for being an associate professor in mathematical logic.
In order to apply there is a number requirements to be fulfilled, which involve several of delicate bureaucratic steps to be undertaken right away.
There is also a number of issues regarding the duties which come along with the position one must be aware before applying.
The application period will last one month and will be announced in the next two months, while the position will start in early 2019—all the relevant deadlines are not yet known.

Those willing to apply should contact any one of us at their earliest convenience, in order to get the relevant information.
The email address is firstname.familyname@unito.it

Best wishes,

Alessandro Andretta (full professor in mathematical logic — Torino University)
Luca Motto Ros (associate professor in mathematical logic — Torino University)
Matteo Viale (associate professor in mathematical logic — Torino University)


16 fully funded PhD positions on Logical Methods in Computer Science, Austria

TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for our joint doctoral program on Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF).

Please see the flyer: LogiCS_Flyer_2018

The link to the program: http://bit.ly/July12018

Watch the YouTube video: LogiCS through the students´ eyes: http://bit.ly/HotspotVienna


LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering

(i) computational logic,

(ii) databases and artificial intelligence,

(iii) computer-aided verification, and

(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.


Austria has a vibrant and highly active and successful logic in computer science community. Students are supervised by leading researchers in their fields:

E. Bartocci, A. Biere, R. Bloem, A. Ciabattoni,

G. Gottlob, T. Eiter, R. Grosu, L. Kovacs

M. Maffei, M. Ortiz, U. Schmid, M. Seidl

S.Szeider, G. Weissenbacher, S. Woltran


We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates.

The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund.

Additional positions will be available through other funding.


The applicants are expected to have completed an excellent bachelor’s and master’s degree in computer science, mathematics, or a related field.

Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis.

Applications will be screened on the following dates:

June 1, 2018

July 1, 2018

September 1, 2018

The positions will be filled on continuous basis till October 2018.

Applications by the candidates need to be submitted electronically.

Detailed information: http://logic-cs.at/phd/admission/


Austria has a highly active and successful logic in computer science community.

Recent activities include:


Vienna Summer of Logic, the Largest Conference in the History of Logic


ALGO 2017


FMCAD 2017


Austrian Research Network in Rigorous Systems Engineering


Vienna Center for Logic and Algorithms


International Kurt Goedel Society


The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses.

For further information please contact:


Web: www.vcla.at/

Facebook: bit.ly/FBVCLA

Twitter: @vclaTUwien

PhD opportunities in Torino

he call for the joint PhD programme in Mathematics of the polytechnical university of Torino and of the  state university of Torino will open on May 2nd and will close after May 25. The number of the fellowships will be no less than 11.
The mathematical field of specialization of the successful applicant will be decided by her/him after the selection process, applications from strong candidates with interests in in logic/set theory are welcome.

Details on how to apply can be found at


For further information please contact Matteo Viale.

Set theory today, Vienna

Set theory today: A conference in honor of Georg Cantor – registration/call for contributed talks

The meeting “Set theory today: A conference in honor of Georg Cantor” is  held by the Kurt Gödel Research Center, under the auspices of the European Set Theory Society, in Vienna, 10 – 14 September 2018We have already invited many brilliant set theorists to present at the meeting. For a list of confirmed participants please see 


We are happy to announce that the conference will have no registration fee but if you plan to attend, please send an email by June 30 to the organizers with your full name and affiliation, dates of arrival and departure at


A limited number of spots is available for short, contributed talks (20-30 minutes). If you would like to be considered for such a talk, please send your registration email including an abstract and title for your talk before May 15. We can offer a modest support towards accommodation costs if needed (please, specify in case you also want to give a talk).

ASL student support: Student members of the ASL may apply for travel support at ASL. Note that such applications have to be submitted at least 3 months prior to the meeting. For precise instructions on how to apply for ASL support please see http://www.aslonline.org/studenttravelawards.html

KNAW Academy Colloquium on Generalised Baire Spaces, Amsterdam

KNAW Academy Colloquium
Generalised Baire Spaces
Koninklijke Nederlandse Akademie van Wetenschappen
Royal Dutch Academy of Arts and Sciences
Amsterdam, The Netherlands
Master Class: 22 August 2018 / Colloquium: 23-24 August 2018


Participation in this event is strictly limited to participants who have been invited by the Royal Academy. There is a limited number of invitation slots remaining. Researchers interested in participating in the event should contact the organisers (see below) and ask for an invitation to participate. Invitations do not come with any funding.

Speakers at the Master Class: Andreas Blass, Andrew Brooke-Taylor, Philipp Schlicht, and Jouko Vaananen.

Invited speakers at the Colloquium: David Aspero, Vera Fischer, Radek Honzik, Tapani Hyttinen, Yurii Khomskii, Giorgio Laguzzi, Diana Carolina Montoya, Luca Motto Ros, Dima Sinapova.

Short presentations by: Thomas Baumhauer, Filippo Calderoni, Vincenzo Dimonte, Peter Holy, Daisuke Ikegami, Marlene Koelbing, Vadim Kulikov, Sandra Mueller, David Schrittesser, Sarka Stejskalova, Dorottya Sziraki, Wolfgang Wohofsky, and Liuzhen Wu.

Organisers. Lorenzo Galeotti, Benedikt Loewe, Philipp Luecke. Send e-mail to bloewe (at) science (dot) uva (dot) nl.

Description of the event. Descriptive set theory and set theory of the reals traditional deal with well-known and well-studied topological spaces such as the real numbers, Cantor space, and Baire space. In recent years, set theorists are increasingly interested in the uncountable analogues 2^kappa of the Cantor space (generalised Cantor space) and kappa^kappa of the Baire space (generalised Baire space) for uncountable cardinals kappa.

While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly, e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.

The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Loewe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory like uncountable combinatorics, forcing, large cardinals, inner models and classical descriptive set theory and also involves techniques from classical model theory. The community met first at the Amsterdam Set Theory Workshop 2014 in November 2014, then at a satellite workshop to the German mathematics congress in Hamburg in September 2015, and finally at a workshop at the Hausdorff Center for Mathematics in Bonn in September 2016. This Academy Colloquium is a reunion of the community after a hiatus of two years.

The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium. The KNAW Master Class will take place on 22 August 2018.

The Colloquium is generously funded by the Koninglijke Nederlandse Academie van Wetenschappen, the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, and the research project REGPROP at the Universitaet Hamburg (funded by the European Commission, grant number 706219).

Rolf Schock Prize 2018 awarded to Saharon Shelah

The Royal Swedish Academy of Sciences, the Royal Academy of Fine Arts and the Royal Swedish Academy of Music have awarded this year’s Rolf Schock Prizes to four outstanding individuals.

More information can be found on the announcement of the award on the website of the Royal Swedish Academy of Sciences. The following is an excerpt.

Saharon Shelah, Hebrew University of Jerusalem, Israel, is rewarded with the 2018 Rolf Schock Prize in Logic and Philosophy,

“for his outstanding contributions to mathematical logic, in particular to model theory, in which his classification of theories in terms of so-called stability properties has fundamentally transformed the field of research of this discipline.”

Saharon Shelah has made fundamental contributions to mathematical logic, particularly in model theory and set theory. In model theory, Shelah developed classification theory, concerning the classification of first-order theories in terms of properties of their classes of models. The classes of models of so-called stable theories have structural properties that can be characterised in geometrical terms, while the class of models of an “unstable” theory lacks structure. Most of contemporary research in model theory builds on Shelah’s work. Shelah has also made decisive contributions to set theory, including the development of a new variety of the forcing method and remarkable results in cardinal arithmetic, and he has solved deep problems in other areas, such as algebra, algebraic geometry, topology, combinatorics, computer science, and social choice theory.  Shelah has had, and still has, an indisputable and exceptional position in mathematical logic, particularly in model theory. He is almost unbelievably productive, with seven books and more than 1100 articles to date.

Mini-Symposium on Mathematical Logic, Graz

Mini-Symposium on Mathematical Logic
September 3, 2018
at the 18th European Women in Mathematics General Meeting
September 3-7 2018
University of Graz, Austria

Announcement and Call for Papers

The General Meeting of the EWM focuses on female mathematicians and
their achievements. As part of this event, the Mini-Symposium on
Mathematical Logic concentrates on recent results that demonstrate
the fruitfulness of working at the interface between different parts
of logic — that is, model theory, set theory, recursion (or
computability) theory and proof theory — or between logic and other
areas of mathematics. Our speakers therefore come from different
fields of mathematical logic and are interested in cross-connections
between their fields and areas of application such as topology,
group theory, real geometry and combinatorics. For the general
audience we are planning an introductory lecture on recent
developments in model theory and its applications to real geometry.

We invite female researchers to apply for very short contributed
talks (10-12 minutes) at the Mini-Symposium. Also, application is
now open for travel support for graduate students to participate in
the Mini-Symposium. Applications should be submitted by March 15th
2018 to receive full consideration. For more information, please
see: http://www.math.uni-konstanz.de/~thomas/ewm2018logic/ <http://www.math.uni-konstanz.de/~thomas/ewm2018logic/> [1]

We also encourage female researchers to contribute posters to a
thematic grouping on Mathematical Logic as part of the EWM’s poster
session; please see
https://sites.google.com/site/ewmgm18/mini-symposia <https://sites.google.com/site/ewmgm18/mini-symposia>

Mini-Symposium invited speakers:
Laura Fontanella (Université Aix Marseille)
Charlotte Kestner (Imperial College, London)
Salma Kuhlmann (University of Konstanz)
Heike Mildenberger (Albert-Ludwigs University of Freiburg)
Diana Carolina Montoya (Kurt Gödel Research Center, Vienna)

Organisers of the Mini-Symposium:
Carolin Antos (University of Konstanz)
Vera Fischer (University of Vienna)
Margaret Thomas (McMaster University/University of Konstanz)