András Hajnal (May 13, 1931 — July 30, 2016)

We are sad to report that András Hajnal, one of the Honorary Presidents of the European Set Theory Society, very unexpectedly died on 30 July 2016 after having a heart attack.

He started his work in axiomatic set theory, in fact he was the first to introduce and study relative constructibility, extending the work of Gödel. However, he is more widely known for his ground breaking work in combinatorial set theory, as one of the founders, in collaboration with Erdős and Rado, of the theory of set mappings and, most of all, the partition calculus. His celebrated joint result with Galvin on cardinal exponentiation initiated Shelah to create PCF theory. He also published more than 30 papers on set theoretic topology and so played an essential role in the introduction of the tools and methods of modern set theory to problems of general topology.

In addition to his work in set theory, he has made significant contributions to finite combinatorics as well. Perhaps the best known of these is the Hajnal–Szemerédi theorem on equitable coloring of graphs that proved a conjecture of Erdős.

Solomon Feferman (December 13, 1928 — July 26, 2016)

We are sad to report that Solomon Feferman died on 26 July 2016 following a stroke. Sol is widely known among mathematicians, philosophers, and computer scientists for his contributions to many areas in mathematical logic and the philosophy of logic and mathematics. He provided the foundations for generalizations of the Gödel incompleteness theorems and the arithmetization and formalisation of metamathematics in general. He shaped modern proof theory; in particular in ordinal analysis he determined the proof-theoretic ordinal of the predicative subsystem, known as the Schütte–Feferman ordinal. Building on earlier work by Turing, he proved results on iterated additions of proof-theoretic reflection principles to arithmetic. Sol’s work on axiomatic theories of truth and, in particular, the Kripke-Feferman system has been highly influential.

6th European Set Theory Conference 2017

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 – 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

Local Organizing Committee:
L. Soukup (chair), M. Elekes (secretary), I. Juhász, V. Kiss, G. Sági, D. Sziráki, Z. Vidnyánszky.

Program Committee:
I. Juhász (chair, Budapest), T. Bartoszynski (Washington, DC), M. Džamonja (Norwich), S. D. Friedman (Vienna), W. Kubiś (Kielce and Prague), M. Magidor (TBC, Jerusalem), H. Mildenberger (Freiburg).

Homepage of the meeting:
https://sites.google.com/site/6thestc/home

If you are interested in attending this meeting, we kindly ask you to fill out the following very short form:
https://goo.gl/Fl5ssU

We also encourage you to forward this message to anyone who you think may be interested but left out from the mailing list, especially to potentially interested students and young set theorists.

With best regards,
The Organizers

Colloquium Logicum 2016 – Final call for abstracts

Final Call for Abstracts – COLLOQUIUM LOGICUM 2016
http://www.math.uni-hamburg.de/spag/ml/CL2016

10-12 September 2016, Hamburg, Germany

Please note that there is only one week left until the deadline for submission of abstracts. If you want to give a talk at the LOGIC COLLOQUIUM 2016, please submit it as soon as possible via https://easychair.org/conferences/?conf=cl2016 .

Submission deadline: 20 June, 2016
______________________________________________________________

The Colloquium Logicum is organized every two years by the “Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften” (DVMLG).

In 2016 the colloquium is organized by the group “Mathematical Logic and Interdisciplinary Applications of Logic” of the University of Hamburg, Germany.

The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

Keynote Speakers.

* Dana Bartosova (São Paulo, Brazil)
* Elisabeth Bouscaren (Paris, France)
* Ekaterina Fokina (Vienna, Austria)
* Laura Fontanella (Jerusalem, Israel)
* Philipp Hieronymi (Urbana-Champaign, IL, USA)
* Rosalie Iemhoff (Utrecht, the Netherlands)
* Gyesik Lee (Anseong, South Korea)
* Norbert Preining (JAIST, Nomi, Ishikawa, Japan)
* Szymon Torunczyk (Warsaw, Poland)
* Charlotte Werndl (Salzburg, Austria and London, UK)

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

https://easychair.org/conferences/?conf=cl2016

The submission deadline is

Monday, 20 June, 2016.

Authors will be notified about acceptance soon after that.

Additionally, registration for the conference is now open. Please go to http://www.math.uni-hamburg.de/spag/ml/CL2016/registration.html for more information on how to register and the registration form.

Programme Committee

* Matthias Aschenbrenner (Los Angeles, USA)
* Arnold Beckmann (Swansea, USA)
* Manuel Bodirsky (Dresden, Germany)
* Martin Hils (Paris, France)
* Benedikt Löwe (Amsterdam, the Netherlands and Hamburg, Germany)
* Thomas Müller (Konstanz, Germany)
* Anca Muscholl (Bordeaux, France)
* Michael Rathjen (Leeds, UK)
* Olivier Roy (Bayreuth, Germany)
* Nicole Schweikardt (Berlin, Germany)
* Mariya Soskova (Sofia, Bulgaria)
* Martin Ziegler (Daejeon, South Korea)

Webpage

http://www.math.uni-hamburg.de/spag/ml/CL2016/

The Colloquium Logicum 2016 is generously funded by the Deutsche Forschungsgemeinschaft (DFG-grant LO 834/14-1)

If you have any questions, please contact us by email at cl2016.math@lists.uni-hamburg.de.

Oberwolfach Prize 2016 – call for nominations

Oberwolfach Prize 2016 in Discrete Mathematics *Call for nominations*
http://www.mfo.de/math-in-public/prizes/oberwolfach-prize

The Board of Trustees of the ESTS is expecting suggestions for the nomination by August 1, to the President of the ESTS, István Juhász, at juhasz.istvan@renyi.mta.hu.

********************************************************
Dear colleagues,

We would like to draw your attention to a call for nominations: The
Oberwolfach Foundation awards in cooperation with the Mathematisches
Forschungsinstitut Oberwolfach a prize for excellent achievements in
*Discrete Mathematics*. This also includes Logic and Theoretical Computer
Science.

The prize amounts to Euro 10.000. Candidates should be mathematicians with
Ph.D./Dr. degree received not more than 10 years ago and must be nominated.
Proposals should contain a description of the scientific achievements,
curriculum vitae and publication list of the candidate.

We request all senior scientists in Discrete Mathematics, Logic or
Theoretical Computer Science to make proposals before September 1st, 2016,
preferably by email to:

director@mfo.de
Prof. Dr. Gerhard Huisken
Director
Mathematisches Forschungsinstitut Oberwolfach gGmbH
Schwarzwaldstrasse 9-11
77709 Oberwolfach-Walke
Germany

Thank you for your attention and cooperation.

Yours sincerely,
Stephan Klaus

********************************************************
Prof. Dr. Stephan Klaus
Scientific Administrator of the MFO
Mathematisches Forschungsinstitut Oberwolfach gGmbH (MFO)
Schwarzwaldstrasse 9-11
D-77709 Oberwolfach-Walke
Germany

Tel/Fax: +49 (0)7834 979 51/55
Email:   klaus@mfo.de
URL:     www.mfo.de

Position in logic in Pisa

The Scuola Normale Superiore (SNS) invites expressions of interest from qualified academics in the field of Logic, and announces the possible opening of one position in its Classe di Scienze Umane at the full professor level.

SNS seeks candidates with a proven record of achievements in logic and a high international profile. Applicants should have a strong interest in the philosophical aspects of logic and in the philosophy of mathematics, so as to integrate their own teaching with Philosophy and History of Philosophy courses offered at the Scuola.

The Scuola Normale is seeking candidates with documented experience with clear potential to promote and direct research activities and with a specific interest in teaching at pre- and post-degree levels to a small set of highly selected students.

Knowledge of the Italian language is appreciated.

As a result of this enquiry, SNS will decide whether or not to fill this teaching position, and what type of contract to offer or procedure to activate.

Expressions of interest  should be addressed to

Preside della Classe di Scienze Umane
Scuola Normale Superiore
Piazza Cavalieri 7
I-56126 Pisa
Italy

or email applications are welcome to the address classi@sns.it, writing EOI/LOG in the subject field.

Deadline for the receipt of applications: May 31, 2016

Applications should include a CV, all relevant information about the applicant and his/her current research interests.