مقالات ارائه شده در همایش

• Salehi Saeed, Logical Approaches to Barriers in Computing and Complexity, announcer, complete article, Herbrand Consistency of IΔ0 and IΔ0+Ω1, 2010/02/17, 2010/02/20
• Salehi Saeed, Logic Colloquium, announcer, brief article, On Herbrand Consistency of Bounded Arithmetics, 2011/07/11, 2011/07/16
• Salehi Saeed, Logic, Methodology and Philosophy of Science, announcer, brief article, Gödel's Incompleteness Phenomenon from Computational Viewpoint, 2011/07/19, 2011/07/26
• Salehi Saeed, Contemporary Issues in Computer and Information Sciences, announcer, complete article, Computation in Logic and Logic in Computation, 2012/05/29, 2012/05/31
• Salehi Saeed, Frontiers in Mathematical Sciences, announcer, complete article, Axiomatizing Mathematical Theories: Multiplication, 2012/12/25, 2012/12/27
• Karimi Ahmad, Salehi Saeed, Frontiers in Mathematical Sciences, announcer, complete article, Diagonalizing Out by Fixed-Points and Self-Reference, 2013/12/25, 2013/12/27
• Salehi Saeed, 10th International Tbilisi Summer School in Logic and Language, announcer, complete article, Axiomatic Mathematics: Issues of Decidability in Logic, 2014/09/22, 2014/09/27
• Salehi Saeed, 5th World Congress on Universal Logic, announcer, complete article, Theorems of Tarski and Gödel's second incompleteness---computationally, 2015/06/25, 2015/06/30
• Salehi Saeed, IPM-Isfahan Workshop on Various Aspects of Modality, announcer, brief article, Turning Yablo's Paradoxes into Modality Theorems, 2016/05/12, 2016/05/12
• Salehi Saeed, Swamplandia 2016: Meta-arithmetical results and their philosophical meaning, announcer, complete article, Theoremizing Paradoxes: Turning Puzzles into Proofs, 2016/05/30, 2016/06/01
• Salehi Saeed, Workshop on Proof Theory, Modal Logic and Reflection Principles, announcer, complete article, Diagonal-free proofs of the Diagonal Lemma, 2017/10/17, 2017/10/20
• حومئی هژیر، جلیلوند منیژه، صالحی پور مهر سعید، فلاحی معصومه، یازدهمین سمینار احتمال و فرایندهای تصادفی، ارائه پوستر، مقاله کامل، توزیع نیم دایره توانی تعمیم یافته، 1396/06/08، 1396/06/09