• Mor. Moniri, IPM and Shahid Beheshti University
  Around Vardanian's Theorem in Quantified Provability Logic.

Feb. 3, 2005
• Moj. Moniri, IPM and Tarbiat Modarres University
  Constructivity and Primitive Recursivity Issues in Comparing Notions of a Computable Real Number.

Feb. 17, 2005
• M. Pourmahdian, IPM and Amirkabir University of Technology
  A New Example of a Generic Structure.

Feb. 24, 2005
• S. M. Bagheri, Tarbiat Modarres University and IPM
  Preservation Theorems in Intermediate Logic.

March 3, 2005
• F. Didehvar, Shahid Beheshti University
  Rank Aggregation is NP-Hard and an Algorithmetical Approach to This Problem.

March 10, 2005
• M. Alizadeh, IPM
  Algebraic Semantics for Formal Prepositional Logic.

Apr. 14, 2005
• Sh. Mohsenipour, IPM
  The Core Model Theory.

Apr. 21, 2005
• S. M. Ayat, IPM and Tarbiat Modarres University
  Universal Graphs.

Apr. 28, 2005
• M. Ghasemi, IPM and Tarbiat Modarres University
  Sequences with Real Parameter.

May 5, 2005

Starting date: Thursday Feb. 3, 2005
Time: 14:00-15:00, every Thursday
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran