
February 27  May 22, 2014

 Saleh Aliyari, IPM
Formal Reasoning in Fragments of Natural Languages. February 27, 2014
 Roghayeh Safari, Alzahra University
A Proof of Completeness for Linear Continuous Logic. March 6, 2014
 S. Moahammad Bagheri, Tarbiat Modares University
Linear Model Theory for Lipschitz Structures. April 10, 2014
Shohreh Tabatabaei, University of Lorraine (Henri Poincaree) and INRIA
Formal Semantics of Natural Languages Main Aspects with Some Examples. April 17, 2014
 Mohammad Saleh Zare Pour, Tarbiat Modares University
Mathematical Truth. April 24, 2014
 Massoud Pourmahdian, IPM and Amirkabir University of Technology
Uniformizable Metric Structures. May 1, 2014
 Hadi Farahani, Shahid Beheshti University
Epistemic Verification of Anonymity. May 8, 2014
 Meghad Ghari, IPM
Labeled Sequent Calculus for Justification Logics. May 15, 2014
 Morteza Moniri, IPM and Shahid Beheshti University
Some Results on Models of Bounded Arithmetic. May 22, 2014
Information:
Starting date :
Thursday, February 27, 2014
Time : 14:00 16:00, every Thursdays
Place: School of Mathematics, Niavaran Bldg., Niavaran Square, Tehran, Iran

 
