This Week in Logic at CUNY:
Computational Logic Seminar
Time 2:00 – 4:00 PM, April 17, 2012, Room 3209.
Speaker: Çağıl Taşdemir (Graduate Center)
Title: The Power of Knowledge in Games
Abstract: We propose a theory of the interaction between knowledge and
games. continue reading…
This Week in Logic at CUNY
↧
↧
Arctic Set Theory Workshop, February 1-5, 2013
This international workshop on the latest developments in set theory, including set theoretic model theory and constructive set theory, will be held in the Kilpisjärvi Research Center of the University of Helsinki, during February 1-5, 2013. continue reading…
↧
Chicago Logic Day, April 24, 2013
Logic Day, April 24, 2013
On Wednesday April 24th, we will hold a Logic Day at the University of Chicago. Proposed schedule:
J. Baldwin, UIC
Completeness and Categoricity (in power):
Formalization without Foundationalism
2:30 p.m. continue reading…
↧
Set theory and model theory, Tehran, October 12-16, 2015
The purpose of the conference is to bring together researchers and individuals interested in all areas of set theory and model theory, to discuss the latest developments and findings in their areas, take stock of what remains to be done and explore different visions for setting the direction for future work. continue reading…
↧
Large Cardinals and Strong Logics: September 5 through December 16
Dear colleague,
We would like to inform you about the forthcoming CRM Intensive Research Program on Large Cardinals and Strong Logics, to be held from September 5 to December 16, 2016. continue reading…
↧
↧
Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 22-26, 2018
RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION
Set Theory, Model Theory and Applications
(In memory of Mati Rubin)
The international conference “Set Theory, Model Theory and Applications,” in memory of our late colleague Mati Rubin, will take place at the Eilat Campus of Ben-Gurion University of the Negev (Israel) from 22 – 26 April, 2018. continue reading…
↧
2018 North American ASL Meeting, Illinois, May 16-19, 2018
Association for Symbolic Logic
2018 North American Annual Meeting
May 16 – May 19, 2018
Western Illinois University • Macomb, Illinois
Invited Speakers:
Plenary Speakers:
JC Beall, University of Connecticut
(TBA)
A. 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…
↧
More Pages to Explore .....