نام و نام خانوادگی: احمد کریمی
دانشکده: علوم پایه
گروه آموزشی: ریاضی
مرتبه علمی: استادیار
پست الکترونیک: firstname.lastname@example.org
تاریخ بروزرسانی: 1395/12/02
June 2016, Yablo-like Brandenburger-Keisler Paradox in Epistemic Game Theory, Logica2016, Hejnice, Czech Republic.
May 2016, Yabloesque Paradoxes and Modal Logic, IPM-Isfahan Workshop on Various Aspects of Modality, University of Isfahan, Iran.
December 2015, Non Self Referential Paradox in Epistemic Game Theory, 3rd Conference of Iranian Association for Logic, Tarbiat Modares University, Tehran, Iran.
August 2015, Yablo's Paradox as a Theorem in Temporal Logic, Logic Colloquium 2015 (LC15), University of Helsinki, Finland.
August 2014, A Universal Diagonal Schema by Fixed-Points, 26th European Summer School in Logic, Language and Information (ESSLLI 2014), University of Tübingen, Tübingen-Germany.
July 2014, Universal Diagonal Schema and Yablo’s Paradox, Logic Colloquium 2014 (LC14), Vienna University of Technology, Vienna-Austria.
June 2014, Yablo’s Paradox as a Theorem in Modal Logic, Department of Mathematics, Tarbiat Modares University, Tehran-Iran.
January 2012, Yablo’s Paradox and Self-reference, Department of Mathematics, Tarbiat Modares University, Tehran-Iran.
Ahmad Karimi, Surprised Examination Paradox in Dynamic Probabilistic Epistemic Logic, In preparation.
Ahmad Karimi, A Non Self-Referential Paradox in Epistemic Game Theory, Reports on Mathematical Logic 52,(2017),45-56
Ahmad Karimi, Idempotent Multipliers of Figa-Talamanca-Herz Algebras, Submitted for publication, 2016
Ahmad Karimi, Energy Aware Routing in Wireless Networks, Computer Engineering and Applications Journal Vol. 5, No. 3 (2016), pp. 127-133.
Ahmad Karimi, Yablo-like Brandenburger-Keisler Paradox in Epistemic Game Theory, In Proceeding of Logica (2016), pp. 28-30.
Ahmad Karimi & Saeed Salehi, On the Formalization of Yablo’s Paradox, Submitted for publication, 2015
Ahmad Karimi & Saeed Salehi, A Universal Diagonal Schema and Yablo’s Paradox, The Bulletin of Symbolic Logic Vol. 21, No. 1, 2015
Ahmad Karimi & Saeed Salehi, Diagonalizing by Fixed-Points, Bulletin of Iranian Mathematical Society, Accepted for publication, 2014
Ahmad Karimi, A Universal Diagonal Schema by Fixed-Points, Proceeding of the 26th European Summer School in Logic, Language and Information ESSLLI, 2014
Ahmad Karimi & Saeed Salehi, Diagonalizing-Out by Fixed–Points and Self–Reference, In Proceeding of Frontiers in Mathematical Science (2013), Sharif University of Technology, Tehran, Iran.
Reza Tanha, Farid Ghaderi & Ahmad Karimi, Capacity Planning for Fossil Fuel and Renewable Energy Resources Power Plants, In Proceeding of the International Conference on Renewable Energy Quality and Power (2008), Spain (ICREPQ’08).
Ahmad Karimi & Ali S. Janfada, A Fuzzy Controller for Heating System, In Proceeding of the 37thIranian Mathematical Conference (2006), Tarbiat Moalem University of Azarbayjan, Tabriz, Iran.