• Massoud Pourmahdian, Amirkabir University of Technology
  Stable Forking Conjecture.

October 30, 2008
• Shahram Mohsenipour, IPM
  Systems of Weak Arithmetic.

November 6, 2008
• Majid Alizadeh, IPM & University of Tehran
  An Introduction to Subintuitionistic Logics.

November 13, 2008
• Mohammad Bagheri, Tarbiat Modares University
  A Theorm of Los Type for Linear Formulas.

November 20, 2008
• Mohammad Moghaddam, IPM
  Some Applications of Ultrapowers in Commutative Algebra and Algebraic Geometry.

November 27, 2008
• Ebrahim Larijani, Swansea University, UK
  Provability of Consistency of PV.

January 1, 2009
• Zanyar Ghadernezhad, Amirkabir University of Technology
  Fusion of First Order Theories.

January 15, 2009
• Alireza Mofidi, Tarbiat Modarres University
  Operator Logic: A Common Extension of Metric and Integral Logic

January 22, 2009
• Aliakbar Safilian,Amirkabir University of Technology
  TTF Method in Computable Analysis

January 29, 2009
• Mojtaba Mojtahedi, Sharif University of Technology
  Kripke Models of Heyting Arithmetic and Models of Peano Arithmetic.

February 5, 2009
• Farzad Didehvar, Amirkabir University of Technolgy
  Uncertainity of the Mind-Body Problem.

February 12, 2009
• Nazanin Tavana, Amirkabir University of Technology
  Fazzy Logic and the Concept of K-compactness.

February 19, 2009
• Massoud Pourmahdian, Amirkabir University of Technology
  Quasi-Urysohn Spaces.

March 5, 2009
• Shahram Mohsenipour, IPM
  Two-Cardinal Theorems and Jensen's Morasses.

March 12, 2009

Starting date: Thursday, October 30, 2008
Time: 14:00, every Thursday
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran