• Mehran S. Fallah and Zeinab Iranmanesh, Amirkabir University of Technology
  Intuitionistic Modal Logic and Modal Type Systems
(ABSTRACT)
October 15, 2009
• Farzad Didehvar, IPM & Amirkabir University of Technology
  Relation Between the Usual Order and the Enumeration Orders of Elemnets of r.e. Sets
(ABSTRACT)
October 29, 2009
• Rasool Ramezanian, Sharif University of Technology
  Logical Modeling of Social Systems
(ABSTRACT)
November 12, 2009
• Sharar Ahmadi, Amirkabir University of Technology
  Proof-carrying Code
(ABSTRACT)
December 24, 2009
• Ramtin Khosravi, University of Tehran
  Applying IOCO Testing to Electronic Funds Transfer Systems
(ABSTRACT)
January 21, 2010
• Mohammad Izadi , Sharif University of Technology
  Verification of Reactive Systems
(ABSTRACT)
February 25, 2010

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