Welcome to the homepage of the Logic Group in the Department of Mathematical Sciences at Sharif University of Technology.

The mainstream of research in this group is Constructive Mathematics. Typical fields of interest include non-Classical Logics, Proof Theory, Philosophy of Mathematics and Philosophical Logic.

Student community includes students of Computer Science and Mathematics and the group also incorporates with the Group of Philosophy of Science.

The group holds weekly seminars on Mathematical Logic and Philosophy of Mathematics. A monthly tea-time on Mathematical Logic and Methodology of Science will begin from fall 2007.