Recent and upcoming talks by Juliette Kennedy

Set Theory: Bridging Mathematics and Philosophy, Konstanz, July 29-31, 2019

Set Theory: Bridging Mathematics and Philosophy July 29-31, 2019, Zukunftskolleg, University of Konstanz, Germany  2nd instalment of the Forcing Project Networking Conferences seriesWebsite: https://fpnc2019.forcing-project.com Organization: Carolin Antos, Neil Barton, Deborah Kant, Daniel Kuby (University of Konstanz) Invited Speakers Joan Bagaria (University of Barcelona) Mirna Džamonja (University of East Anglia) Leon Horsten (University of Bristol) Juliette Kennedy (University of Helsinki) Godehard Link (MCMP, Munich) Marianna Antonutti Marfori (MCMP, Munich) Toby Meadows (University of California, Irvine) Call for Papers The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. continue reading…

4th Arctic Set Theory Workshop

Arctic Set Theory Workshop 4   Kilpisjärvi, Finland January 21-26, 2019 Venue: Kilpisjärvi Research Center of the University of Helsinki. Organizing group: Helsinki Logic Group. Organizers: Juliette Kennedy and Jouko Väänänen. List of confirmed participants: Juan Aguilera, Andrew Arana, David Aspero, John Baldwin, Andrew Brooke-Taylor, Filippo Calderoni, Maria-Clara Cortes, Vincenzo Dimonte, Natasha Dobrinen, Vera Fischer, Ulises Ariet Ramos Garcia, Michael Harris, Rodrigo Hernandez-Gutierrez, Åsa Hirvonen, Michael Hrusak, Asaf Karagila, Juliette Kennedy, Yuri Khomskii, Colin Mclarty, Menachem Magidor, Miguel Moreno, Miguel Angel Mota, Sandra Müller, Joni Puljujärvi, Otto Rajala, Assaf Rinot, Tapio Saarinen, Marcin Sabok, Auli Salmi, David Schrittesser, Xianghui Shi, Dima Sinapova, John Steel, Andres Villaveces, Jouko Väänänen, Hugh Woodin. continue reading…

3rd Arctic Set Theory Workshop

Arctic Set Theory Workshop 3 Kilpisjärvi, Finland January 25-30, 2017 Venue: Kilpisjärvi Research Center of the University of Helsinki. Organizing group: Helsinki Logic Group. Organizers: Juliette Kennedy and Jouko Väänänen. Participants: Juan Aguilera (Vienna), Alessandro Andretta (Torino), Andrew Brooke-Taylor (Leeds), Alexander Cruz (Bogota), Natasha Dobrinen (Denver), Qi Feng (TBC) (Beijing), Vera Fischer (Vienna), Tim Gendron (Cuernavaca), Julia Jankowska (Warsaw), Asaf Karagila (Jerusalem), Juliette Kennedy (Helsinki), Yuri Khomskii (Hamburg), Chris Lambie-Hanson (Jerusalem), Menachem Magidor (Jerusalem), Stefan Miedzianowski (Münster), Miguel Angel Mota (Mexico City), Miguel Moreno (Helsinki), Colin Rittberg (Brussels), Philipp Schilcht (Bonn), David Schrittesser (Copenhagen), Dima Sinapova (Chicago), John Steel (Berkeley), Sandra Uhlenbrock (Vienna), Andres Villavecces (Bogota), Jouko Väänänen (Helsinki). continue reading…

Menachem Magidor 70th Birthday Conference, Jerusalem, February 17-19 2016

Menachem Magidor 70th Birthday Conference The Hebrew University of Jerusalem, February 17-19 2016 Reigstration is now open! Invited speakers: Arthur Apter (CUNY) Joan Bagaria (ICREA & UB) James Cummings (CMU) Mirna Dzamonja (UEA) Ilijas Farah (York) Matthew Foreman (UCI) Moti Gitik (TAU) Juliette Kennedy (Helsinki) Peter Koepke (Bonn) Jean Larson (UFL) Bill Mitchell (UFL) Ralf Schindler (Münster) Saharon Shelah (HUJI) Dima Sinapova (UIC) John Steel (Berkeley) Jouko Väänänen (Helsinki & ILLC) Boban Velickovic (Paris 7) Matteo Viale (Torino) Philip Welch (Bristol) Hugh Woodin (Harvard) Organizers: Laura Fontanella Itay Kaplan Asaf Karagila Assaf Rinot continue reading…

Juliette Kennedy: Change the logic, change the meaning? Inner models and extended logics.

Friday Set Theory Seminar (HUJI) We shall meet Friday (December 12) in the Hebrew University math department building, at 10 am. Speaker: Juliette Kennedy (Helsinki) Title: Change the logic, change the meaning? continue reading…

2nd Arctic Set Theory Workshop, February 12-17, 2015

This international workshop on the latest developments in set theory will be held in the Kilpisjärvi Research Center of the University of Helsinki, during February 12-17, 2015. A group of leading mathematical logicians, together with younger researchers, from Finland, USA, Israel, UK, Germany, France, Canada, Italy, Greece, China, and Austria will meet in this unique location to make progress on the hardest questions of set theory today. continue reading…

INFTY Final Conference, March 4-7 2014

The INFTY Final Conference marks the conclusion of the European Science Foundation Research Networking Programme INFTY – New frontiers of infinity: mathematical, philosophical, and computational prospects. The INFTY network is devoted to the study of a wide range of aspects of Infinity. continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar December 4, Time 2:00 – 4:00 PM, Room 3309 Speaker: Konstantinos Pouliasis, CUNY Graduate Center Title: Extending Curry – Howard Isomorphism With Justifications Abstract: In this talk we discuss JCalc – a typed lambda calculus in the extension of Curry-Howard isomorphism appropriate for the {->} fragment of Justification Logic. continue reading…

Spring 2012 Mid-Atlantic Mathematical Logic Seminar

The MAMLS spring meeting for 2012 will be held at the CUNY Graduate Center and Baruch College, March 9-10, 2012, beginning 1:00 pm Friday, March 9, and ending 5:30 pm Saturday, March 10. continue reading…