Recent and upcoming talks by Juliette Kennedy

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: Artur 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…