| |
February 27 - May 22, 2014
- Saleh Aliyari, IPM
Formal Reasoning in Fragments of Natural Languages.
February 27, 2014
- Roghayeh Safari, Al-zahra 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
|
|
| |
|
