• S. Mohammad Bagheri, IPM & Tarbiat Modarres University
  Continuous Logic (I)

October 8, 2009
• Masoud Pourmahdian, IPM & Amirkabir University of Technology
  Continuous Logic (II)

October 22, 2009
• Morteza Moniri, IPM & Shahid Beheshti University
  Formalized Forcing and Intuitionistic Bounded Arithmetic.

November 5, 2009
• Karim Khanaki, Tarbiat Modarres University
  A glimps to Logic of Probability.

November 19, 2009
• Mojtaba Mojtahedi, Sharif University of Technology
  An Intermediate Logic.

December 3, 2009
• Shahram Mohsenipour, IPM
  Diophantine Equations and Logical Arithmetic .

December 17, 2009
• Somayyeh Vejdani, University of Tehran
  On Some Theories in Logic of Probability.

December 31, 2009
• Alireza Mofidi, IPM & Tabiat Modarres University
  Perturbations of Continuous Structures.

January 14, 2010
• Mostafa Zaare, Damghan University
  Chains of Kriple Models.

January 28, 2010
• Mehdi Teymuri, IPM
  Around a Definable Version of the Haefliger Theorem for Nested Distributions.

February 18, 2010 (To be Postponed)
• Mohammad Moghaddam, IPM
  Some Other Applications of Ultra Products in Algebra and Algebraic Geometry.

March 11, 2010

Starting date: Thursday, October 8, 2009
Time: 14:30-16:30, Every other Thursdays
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran