“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)

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.


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)
  • 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)
  • Saeed Salehipourmehr (University of Tabriz)
    Logarithmic Witnesses in Bounded Induction
  • Mostafa Zaare (Damghan University of Basic Sciences)
    Preservation Theorems for Kripke Models


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.


School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran

  back to top
scroll left or right