Mathematical Logic
 
 
February 27 - May 22, 2014

Titles of Talks


- 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
 
 
back to top
footer
 

webmaster | ipmic@ipm.ir   Copyright © 2012, All rights reserved.