Upcoming set theory conferences

September 26–30, 2016 Workshop on Set-theoretical Aspects of the Model Theory of Strong Logics Bellaterra, Catalonia, Spain 

November 14–18, 2016 Applications of Strong Logics in Other Areas of Mathematics Bellaterra, Catalonia, Spain 

November 28, 2016 Infinite Combinatorics and Forcing Theory, Kyoto, November 28 – December 1, 2016 

Dec 12–16, 2016 Current Trends in Descriptive Set TheoryWorkshop, Erwin Schrödinger Institute, Vienna 

January 5–7, 2017 Seventh Indian Conference on Logic and its Applications (ICLA) Kanpur, India 

January 6–7, 2017 ASL Winter Meeting (with Joint Mathematics Meetings) Atlanta, Georgia 

January 9–14, 2017 New Zealand Mathematical Research Institute Summer School 2017 Napier, New Zealand 

January 25-30, 2017 3rd Arctic Set Theory workshop

Jan 28–Feb 4, 2017 Winter School in Abstract Analysis, section Set Theory & Topology 

March 20–23, 2017 ASL North American Annual Meeting Boise, Idaho 

April 12–15, 2017 ASL Spring Meeting (with APA) Seattle, Washington 

July 3–7, 2017 6th European Set Theory Conference (6ESTC) of the European Set Theory Society, Budapest, Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences 

John Mayberry (1940-2016)

John Mayberry  passed away on 19th August. He spent his whole post-PhD career in the University of Bristol. He arrived in 1966 having taken a PhD under G. Takeuti at the University of Illinois at Urbana-Champaign. His work was always in the Foundations of Mathematics and particularly set theory. He said that he felt that he had done his best work in his 60’s and indeed most of his thinking culminated in his book “The Foundations of Mathematics in the theory of sets” (Cambridge Encyclopaedia of Mathematics series, CUP 2000).  He was interested in the concept of number and the axiomatic system he devised was a theory of strictly finite sets, but with limitations on the complexity of inductions possible.  This book was well received and sparked the most interest of his work in that community, particularly on the philosophical side. John’s work was developed considerably earlier than this final publication date, and although independently thought out, there were resonances between its axiomatic system and the influential work of Sam Buss in the mid-80’s and 90’s on weak sub-systems of the standard Peano system of axioms.

John was appointed Reader in 2000 and retired in 2005, having mentored up to 14 post graduate students.

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.