“Bulletin Board”

 School of Mathematics - December 14, 2005

A Two-Day Seminar on Mathematical Logic

School of Mathematics, IPM
Tehran, Iran
Jan. 4-5, 2006

School of Mathematics, IPM
Tehran, Iran
Jan. 4-5, 2006

There will be a special session in Mathematical Logic at the School of Mathematics in IPM on Jan. 4-5, 2006. 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. The tentative plan is to have some talks of 45 minutes each.


Confirmed Speakers
  • Bahareh Afshari (University of Leeds, U.K)
  • Characterization of High D.C.E Degrees
  • Mojtaba Aghaei (Isfahan University of Technology)
  • Logic of Proofs and Provability
  • S. Masih Ayat (Tarbiat Modares University & IPM)
  • Weak Models of Arithmetic and Diophantine Approximations
  • Majid Alizadeh (IPM)
  • Variety of Basic Algebras
  • S. Mohammad Bagheri (Tarbiat Modares University & IPM)
  • Model Theory of Probability Structures (II)
  • Farzad Didehvar (Shahid Beheshti University & IPM)
  • Quantum Computing
  • Mehdi Ghasemi (Tarbiat Modares University)
    An Application of Non-standard Analysis
  • Shahram Mohsenipour (IPM)
  • An Application of Galois Theory in Weak Arithmetic
  • Mojtaba Moniri (Tarbiat Modares University & IPM)
  • Binary Coding of Rotations & Computability
  • Morteza Moniri (Shahid Beheshti University & IPM)
  • Models of Bounded Arithmetic
  • Masoud Pourmahdian (Amir Kabir University of Technology & IPM)
  • Model Theory of Probability Structures (I)
Time Table
Time Wednesday, Jan. 4, 2006
8:30-9:00 Registration
9:00-9:15 Opening (G.B. Khosrovshahi)
9:15-10:00 M. Alizadeh
10:00-10:15 Coffee Break
10:15-11:00 Mojtaba Moniri
11:00-11:15 Break
11:15-12:00 S. M. Ayat
12:00-14:00 Lunch
14:00-14:45 M. Pourmahdian
14:45-15:00 Coffee Break
15:00-15:45 B. Afshari
15:45-16:00 Break
16:00-16:45 F. Didehvar
Time Thursday, Jan. 5, 2006
9:00-9:45 Sh. Mohsenipour
9:45-10:00 Break
10:00-10:45 M. Aghaei
10:45-11:15 Coffee Break & Group Photo
11:15-12:00 S. M. Bagheri
12:00-12:45 M. Ghasemi
12:45-14:00 Lunch
14:00-14:45 Morteza Moniri
14:45-15:00 Coffee Break
15:00-15:45 Problem Session

School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran
back to top
scroll left or right