“Bulletin Board”

School of Mathematics - December 14, 2009
Two-Day Seminar on Mathematical Logic School of Mathematics, IPM Tehran, Iran December 30-31, 2009 (Dey 9-10, 1388)
School of Mathematics, IPM Tehran, Iran December 30-31, 2009 (Dey 9-10, 1388) Objective There will be a special session in Mathematical Logic at the School of Mathematics in IPM on December 30-31, 2009 (Dey 9-10, 1388). The goal of this session is to bring together many of the people in Iran who are working in Mathematical Logic and related areas, to introduce students and young researchers the topics of recent research. Organizer Shahram Mohsenipour (IPM) Morteza Moniri (Shahid Beheshti University & IPM) Massoud Pourmahdian (Amirkabir University of Technology & IPM) Registration In order to register for the seminar, please contact (021)22290928. Confirmed Speakers S. Mohammad Bagheri (Tarbiat Modarres University & IPM) Linear Fragment of Metric Model Theory Farzad Didehvar (Amirkabir University of Technology & IPM) Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets Abbas Edalat (Imperial College, UK) TBA Jafar Sadegh Eivazloo (University of Tabriz) Valuational and Non-valuational Definable Gaps in some Ordered Structures Morteza Moniri (Shahid Beheshti University & IPM) A New Hierarchy of Subsystems of Heyting Arithmetic Rasool Ramezanian (Sharif University of Technology) TBA Saeed Salehipourmehr (University of Tabriz) Logarithmic Witnesses in Bounded Induction Mostafa Zaare (Damghan University of Basic Sciences) Preservation Theorems for Kripke Models Time-Table Time Wednesday, December 30 Thursday, December 31 9:00-10:00 Registration & Opening Massoud Pourmahdian (9:00-9:45) 10:00-10:45 Morteza Moniri Abbas Edalat 10:45-11:15 Coffee Break Coffee Break 11:15-12:00 Saeed Salehipourmehr Jafar Sadegh Eivazloo 12:00-14:00 Lunch Lunch 14:00-14:45 Mostafa Zaare S. Mohammad Bagheri 15:00-15:45 Rasool Ramezanian Farzad Didehvar * The lunch fee, which is 25,000 Rials per day, will be due at the time of registration. Place School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran

  back to top