Accessible categories and their connections, Leeds

Accessible categories and their connections
– set theory – model theory – homotopy theory –

17-20 July 2018, University of Leeds

Accessible categories are notable for their importance in other areas of mathematics, be it through combinatorial model categories in homotopy theory or abstract elementary classes in model theory, with large cardinal axioms from set theory often thrown into the mix.  The goal of this workshop is to bring together practitioners from these different fields to try to break down barriers and build new connections.


There is no registration fee, but those wishing to attend should email with “Accessible categories registration” in the subject line and their name and affiliation in the message body to register.  Those wishing to offer a contributed talk should send their title and abstract by June 11th.


Colloquium Logicum 2018 Bayreuth

Colloquium Logicum 2018

14-16 September 2018, Bayreuth, Germany

Submission deadline: May 16th, 2018

The Colloquium Logicum is organized every two years by the “Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften” (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers.

* Isolde Adler (Leeds, England)
* Joerg Brendle (Kobe, Japan)
* Douglas Cenzer (Gainesville FL, U.S.A.)
* Laura Fontanella (Marseille, France)
* Benny Kimelfeld (Haifa, Israel)
* Yang Liu (Cambridge, England)
* Sara Negri (Helsinki, Finland)
* Charlotte Werndl (Salzburg, Austria)

In addition to the keynote talks, there will be a “PhD Colloquium” with invited presentations of excellent recent PhD graduates.

The programme committee invites the submission of abstracts for talks in all fields of research covered by the DVMLG:  mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence).

Abstracts should have between 100 and 500 words and are to be submitted via the easychair submission page


The submission deadline is

* Wednesday, May 16th, 2018.

Authors will be notified about acceptance soon after that.

Programme Committee

* A. Ciabattoni (Wien, Austria),
* V. Harizanov (Washington, U.S.A.),
* D. Klein (Bayreuth, Germany),
* D. Kuske (Ilmenau Germany),
* B. Loewe (Amsterdam, the Netherlands & Hamburg, Germany),
* W. Martens (Bayreuth, Germany),
* D. Macpherson (Leeds, U.K.),
* H. Mildenberger (Freiburg, Germany),
* O. Roy (chair, Bayreuth, Germany).


The Colloquium Logicum 2018 is generously funded by the Deutsche
Forschungsgemeinschaft (DFG-grant LO 834/16-1).

If you have any questions, please contact us by email at .

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

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:

Watch the YouTube video: LogiCS through the students´ eyes:


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:


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:



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

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