Morteza Moniri

Academic Service

• Member, Graduate Affairs Committee, Faculty of Mathematical Sciences (Shahid Beheshti University), 2016 - 2020.
  

• Member, Research Council, Faculty of Mathematical Sciences (Shahid Beheshti University), 2011 - 2015.
  

• Director, Mathematics Department (Shahid Beheshti University), 2011-2015.
  

• Director, Mathematical Logic Group (School of Mathematics, IPM), 2010-2014.

• Member, Scientific Council (School of Mathematics, IPM), 2010-2014.
  

Conference Organization:

• Annual Seminar on Mathematical Logic and its Applications (Dec 18-19, 2013, Shahid Beheshti University)

• Annual Seminar on Mathematical Logic and its Applications (Nov 14-15, 2012, Shahid Bahonar Univ. of Kerman)

• Annual Seminar on Mathematical Logic and its Applications (Nov 30 & Dec 1, 2011, University of Isfahan)

• Workshop on Modal Logic and Computer Science (June 3, 2010, IPM)

• Workshop on Quantum Computing (Aug. 1-5, 2004, IPM).
  

• Workshop and Conference on Logic, Algebra, and Arithmetic (Oct. 18-22, 2003, IPM).

Recent Talks

• The Culture of Research and Publication in Mathematics (Dec 16, 2015, Shahid Beheshti University), (in Farsi)

• Logic, Algebra and Computation (Oct 3, 2015, Shahid Beheshti University)

• Naturalism in The Philosophy of Mathematics (Oct 3, 2015, Shahid Beheshti University), (in Farsi)

• What are Structual Properties? (2021, Iran Association for Logic), (in Farsi)

Some Talks

• Kripke Model Theory, INVITED TALK at the University of Leeds (School of Mathematics), 2008.

• Intuitionistic Bounded Arithmetic, INVITED TALK at the international conference: Logical Models of Reasoning and     Computation (Steklov Mathematical Institute, Moscow May 5-8, 2008).

• Independence Results for Weak Systems of Intuitionistic Arithmetic, Logic Colloquium 2002, Muenster.

• Intuitionistic Weak Arithmetics, Kripke Models and Provably Total Functions, Logic Colloquium 2001, Vienna.

• Some Results on Intuitionistic Π1-induction, Logic Colloquium 2000, Paris.

• Classical Equivalence of H(T) and T, Logic Colloquium 99, Utrecht.