18-29 Jul 2016
Irvine CA, U.S.A.
1st IRVINE CONFERENCE on DESCRIPTIVE INNER MODEL THEORY and HOD MICE Department of Mathematics, UC Irvine July 18 -- 29, 2016 http://www.math.uci.edu/~mzeman/CMI/cmi-2016.html Supported by: NSF Grants DMS-x, DMS- 1044150, DMS-y, and UCI CORCL Organizers: Grigor Sargsyan (Rutgers), Nam Trang (Irvine), Martin Zeman (Irvine) This workshop is a sequel to a series of conferences and workshops on descriptive inner model theory including 1st Conference on the core model induction and hod mice that was held in Mnster (FRG), July 19 -- August 06, 2010, the 2nd Conference on the core model induction and hod mice that was held in Mnster (FRG), August 08 -- 19, 2011, the AIM Workshop on Descriptive Inner Model Theory held in Palo Alto (CA), June 02 -- 06, 2014, and to the Conference on Descriptive Inner Model Theory, held in Berkeley (CA) June 09 -- 13, 2014, and the 3rd Conference on the core model induction and hod mice, held in Mnster (FRG), July 20 -- 31, 2015. The main purpose of the workshop is to disseminate and communicate results and recent development in descriptive inner model theory and related subjects. The workshop consists of single talks by experts in the field on their recent work as well as lectures aimed at advanced graduate students interested in inner model theory and related fields. Following past workshops, the first week of the workshop meets M--F; each day consists of 4 lectures (each is 75 minutes long), 2 in the morning and 2 in the afternoon. Between the lectures, we will leave plenty of time for discussions, lunch, and informal seminars. The second week will be more informal; as in the past, the topics and speakers for the second week will be decided during the first week of the meeting. All lectures will take place in Natural Scienes II building, room 1201. map The organizers gratefully acknowledge the financial support from the National Science Foundation (NSF). -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam