You are invited to attend (or zoom-into) STUK 12, Set Theory in the United Kingdom. The meeting will take place on the campus of UCL on February 15, 2024, from 11am-6pm and will be broadcast via zoom.
https://www.dpmms.cam.ac.uk/~dbl25/STUK/
Invited speakers will include:
* Shaun Allison
* Raiean Banerjee
* Martina Ianella
The organizers are Benedikt Loewe and Andrew Brooke-Taylor. The local organizer is Samuel Coskey.
The registration for YSTW 2024 is now open, please see https://erdoscenter.renyi.hu/events/young-set-theory-workshop.
We are pleased to announce that registration for the Winter School in Abstract Analysis 2024, section Set Theory & Topology is now open. The conference will take place between Jan 27 and Feb 3 2024, in Hejnice, Czech Republic.
Tutorial speakers for this year are:
Sandra Müller (Vienna University of Technology)
Juris Steprāns (York University)
Zoltán Vidnyánszky (Eötvös Loránd University)
Andy Zucker (University of Waterloo)
Attendees are also invited to contribute research talks.
The early registration conference fee is 12000 CZK (~490 EUR) and covers all expenses, including the bus from Prague to Hejnice and back. The deadline for payment of the early registration fee is
January 4, 2024
After January 4, the conference fee will be 15000 CZK (~615 EUR).
To get more information about the conference and to register please visit our web page:
If you have any questions please do not hesitate to contact us. We hope to see you in January.
Next year’s Young Set Theory Workshop will take place 17-21 June in Budapest. Please see here for more information: https://erdoscenter.renyi.hu/events/young-set-theory-workshop.
Perspectives on Set Theory, IMPAN, Warsaw Nov 13-17, 2023
Tutorials:
Benjamin Siskind (TU Wien)
Jan Hubička (Charles University)
Confirmed Speakers:
Dilip Raghavan (National University of Singapore)
James Cummings (CMU)
Dima Sinapova (Rutgers)
Paul Larson (Miami University)
John Steel (UC Berkeley)
Steve Jackson (UNT)
Stevo Todorcevic (University of Toronto)
Gabriel Goldberg (UC Berkeley)
Vera Fischer (University of Vienna)
Sandra Müller (TU Wien)
Farmer Schlutzenberg (TU Wien)
Menachem Magidor (Hebrew University)
Yair Hayut (Hebrew University)
Jouko Väänänen (University of Helsinki)
Moti Gitik (University of Tel Aviv)
Chris Lambie-Hanson (IMCAS)
Boban Velickovic (University of Paris)
David Aspero (University of East Anglia)
Jindřich Zapletal (University of Florida, Gainesville)
Assaf Rinot (Bar-Ilan University)
Hugh Woodin (Harvard University)
Part of Structures Semester
Scientific Committee:
Omer Ben Neria and Grigor Sargsyan
Local Organizers:
Bartosz Wcisło and Grigor Sargsyan
The Hao Wang Lectures and Workshops
Time: 26-28 Sep. 2023, Tsinghua University
Venue: Lecture Hall, Tsinghua University Library
Background: Hao Wang (1921-1995), a student of Jin Yuelin and later W.V.O. Quine and Paul Bernays, was an important logician, philosopher, and mathematician who taught at Harvard, Oxford and Rockefeller University. His many contributions include pioneering the practice and theory of automated deduction, the use of tiling methods in the foundations of computation which influenced the theory of computational complexity, and the philosophy of mathematics where he became an authoritative interpreter and propagator of Gödel’s philosophical ideas, while also developing his own “substantial factualism” in between theoretical foundations and everyday discourse.
In collaboration with the Yau Mathematical Sciences Center, the Institute for Interdisciplinary Information Sciences, and the Department of Philosophy at Tsinghua University, the Logic Center at Tsinghua University has initiated the Hao Wang Distinguished Lecture Series. This series will feature prominent international scholars in the fields of mathematical and computational logic on an annual basis. The inaugural Wang Hao lecturers will be Professor Hugh Woodin (Harvard) and Professor Moshe Vardi (Rice).
http://tsinghualogic.net/JRC/event-series/whlectures/
Program
September 26 (Tue.) evening
Opening of lectures and workshops chair: Fenrong Liu
19:00-19:30 opening + group photo
Gang Peng, Andrew Yao, Shing-Tung Yau, Yuping Ni, Wenming Tang
19:30-19:45 tea break
— — — — — — — — —
Public lecture 1 chair: Shing-Tung Yau
19:45-21:15 Hugh Woodin: Is there mathematical truth beyond the reach of mathematical proof?
* September 27 (Wed.) afternoon
Workshop on mathematical logic and philosophy of maths chair: Qi Feng
13:30-14:30 Hugh Woodin: The axiom V = Ultimate-L and Goldberg’s ultrapower axiom
14:30-14:45 tea break
14:45-15:25 Su Gao: From computational complexity to classifications in mathematics
15:25-15:30 break
15:30-16:10 Liuzhen Wu: A surjection from Cartesian square onto powerset
16:10-16:15 break
16:15-16:55 Taotao Xing: Hao Wang on Predicativism
16:55-18:35 supper at Jia Suo restaurant
* September 27 (Wed.) evening
Public lecture 2 chair: Andrew Yao
19:00-20:30 Moshe Vardi: What came first, math or computing?
20:30-21:30 reception
* September 28 (Thu.) afternoon
Workshop on computational logic chair: Junhua Yu
13:30-14:30 Moshe Vardi: Machine learning and logic: fast and slow thinking
14:30-14:45 tea break
14:45-15:25 Thomas Bolander: Epistemic planning: logical formalism, computational complexity, and robotic implementations
15:25-15:30 break
15:30-16:10 Yijia Chen: First-order logic, AC^0-circuits, and graph of bounded shrub-depth
16:10-16:15 break
16:15-16:55 R Ramanujam: Bounds on proof size and security verification
16:55-17:00 closing of the lectures and workshops
17:00-18:40 supper at Jia Suo restaurant
This is the third and last announcement of the Conference on Generic Structures to be held at the Będlewo Conference Center in Poland from October 23rd to October 27th, 2023. The conference is a part of the IDUB Thematic Research Programme STRUCTURES of the University of Warsaw, and it is co-organized by the Banach Center. Its aim is to bring together researchers from areas such as descriptive set theory, model theory, functional analysis, dynamical systems and theoretical computer science, interested in objects that are generic, exhibit typical behavior, and that are built in a manner reminiscent of the Fraïssé limit construction.
The meeting is a conceptual follow-up to the Workshop on Generic Structures held at the Institute of Mathematics of the Czech Academy of Sciences in 2021 (see https://gens.math.cas.cz/).
Key Details and Extended deadlines:
Registration: The registration is open now. Kindly complete the registration form by October 1st in order to participate (including invited speakers). The form is available at the following link: https://www.impan.pl/en/activities/banach-center/conferences/23-genericstructures/registration-form
Conference Fee: The participation fee for on-site attendance is set at 1650 PLN or 360 EUR. This comprehensive fee includes accommodation from October 22nd to October 28th, meals, coffee breaks, the conference dinner and transportation from/to Poznan. Additionally, the conference will be offered in a hybrid format, with online participation available at no cost. All necessary details regarding the payment are available on our website: https://www.impan.pl/en/activities/banach-center/conferences/23-genericstructures/payment
Call for Contributions: We invite your active engagement through a contributed talk or a poster presentation. Please submit your abstract by October 1st to the email adress radecka@math.cas.cz, and our selection process will be completed by October 4th.
Support for Young Researchers: We especially encourage the participation of postdoctoral researchers, PhD students and students. Limited financial support covering 50% or 100% of expenses is available. To apply, kindly send an email to radecka@math.cas.cz including a cover letter explaining your need, along with a recommendation letter from an appropriate source (to be sent directly to the aforementioned email address by the author), no later than October 1st. We will finalize the selection process by October 4th.
The list of invited speakers is available on the conference website: https://www.impan.pl/en/activities/banach-center/conferences/23-genericstructures/invited-speakers
We eagerly anticipate your participation and the insightful contributions you will bring to the Conference on Generic Structures. For more information please visit the website: https://www.impan.pl/en/activities/banach-center/conferences/23-genericstructures or ask one of the organisers.
Thank you for your attention, and we look forward to welcoming you to Będlewo.
Best Regards,
Michal Doucha,
Wiesław Kubiś,
Aleksandra Kwiatkowska,
Maciej Malicki,
Paulina Radecka
The Alfréd Rényi Institute of Mathematics is pleased invite you to the following event of the von Neumann 120 commemorative year.
Please find the login information on the conference webpage.
Programme
09:15 a.m. Opening by Péter Pál PÁLFY, President of the János Bolyai Mathematical Society (BJMT)
9:20 – 10:05 Alain Connes (zoom)( Collège de France, IHES): von Neumann and rings of operators
10:10 – 10:55 Klaus Schmidt (University of Vienna, Department of Mathematics): John von Neumann and the birth of Ergodic Theory
11:00 – 11: 30 Coffee Break
11:30 – 12:15 Matthew D. Foreman (University of California, Irvine, Department of Mathematics): von Neumann’s Classification Program is provably impossible
12:20 – 13:15 William Hugh Woodin (Harvard, Faculty of Arts and Science, Department of Philosophy): The axiom V = Ultimate-L and Goldberg’s Ultrapower Axiom
There will be 6 keynote talks primarily aimed at PhD students and early career researchers.
Keynote speakers:
All participants are encouraged to submit an abstract (1000 words). The scientific committee will decide between two possibilities: 20 minutes presentation and poster session, or poster session.
Inscriptions are compulsory for ALL participants, but there are no inscription fees.
Student members of the Association for Symbolic Logic (ASL) may apply for travel support at ASL. Note that such applications have to be submitted at least 3 months prior to the meeting.
The “Sociedad de Lógica, Metodología y Filosofía de la Ciencia” also offers support for members. https://solofici.org/ayudas-a-jovenes-investigadores-para-la-asistencia-a-congresos-internacionales-2/
See the webpage of the meeting for further information https://t.ly/xP60z and do not hesitate to contact us at phdsinlogic@gmail.com.
Best,
Catalina Torres
Jose Santiago
Daira Pinto
Juan M Santiago
The Young Set Theory Workshop 2023 will take place in Münster, Germany, May 29th – June 3rd, 2023.
There will be 5 tutorials and 5 invited talks from various areas of set theory, primarily aimed at advanced PhD students and early career researchers.
The registration deadline is April 24!
More information can be found on the conference website: https://uni-muenster.de/MathematicsMuenster/go/yst2023
Archive of the European Set Theory Society 