Saeed Salehi - Personal Website (the Appendix)

• Mathematics Genealogy
  As depicted in this picture, my scientific ancestors go back to Chioniadis (Ilkhans Court at Tabriz, 1296) and then to the Iranian Khawaja Nasir al-Din al-Tusi and finally to Sharaf al-Din al-Tusi, according to the website of Mathematics Genealogy Project (a service of the NDSU Department of Mathematics, in association with the American Mathematical Society); many other great scientists (such as Tarski, Lobachevsky, Kant, Kepler, Copernicus, and Leibniz) show up in the middle of the scientific ancestral tree (and da Vinci, Gauß, Cantor, and Hilbert are some scientific distant cousins there).
  


• Some Other Talks / Lectures
• [Invited] The New York City Category Theory Seminar [online & on-site] (NYCTS), The Graduate Center of The City University of New York, USA, 23 November 2022.
  • Title: Self-Reference and Diagonalization: their difference and a short history.
• [Invited] 7th Frontiers Summer School in Mathematics [on-site] (School’1401), Institute for Advanced Studies in Basic Sciences (IASBS), Zanjan, Iran, 27–30 August 2022.
  • Title (Tutorial): A Quick Introduction to Mathematical Logic (for undergraduate students of mathematics).
• [Invited] Monthly Talks of the Iranian Association for Logic [online] (IAL Monthly), Iran, 22 August 2022.
  • Title: A Semantic Look at Some Non-Classical Logics.
• [Invited] Weekly Seminars on Models of Peano Arithmetic [online] (MoPA), City University of New York, Graduate Center, USA, 10 May 2022.
  • Title: ω-Consistency: Gödel’s “Much Weaker” Notion of Soundness.
• [Invited] The 3rd International World Logic Day [online] (WLD’21), Iranian Association for Logic, hosted by Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran, 14 January 2021.
  • Title: A Common Trick of Gödel and Tarski.
• [Invited] Mathematical Logic and its Applications (Arak’19), Technical University of Arak (& IPM), Arak, Iran, 4 September 2019.
  • Title: Logic and Computation and their Interactions.
• Mathematical Logic Weekly Seminar (IPM weekly), IPM, Tehran, Iran, 20 June 2019.
  • Title: Talking About the Sentences that Talk About Themselves!.
• Mathematical Logic Weekly Seminar (IPM weekly), IPM, Tehran, Iran, 21 March 2017.
  • Title: A New Look at Some Fundamental Theorems.
• [Invited] IPM-Isfahan Workshop on Various Aspects of Modality (Isfahan’16), IPM-Isfahan Branch, Isfahan, Iran, 12 May 2016.
  • Title: Turning Yablo’s Paradoxes into Modality Theorems.
• Mathematical Logic Weekly Seminar (IPM weekly), IPM, Tehran, Iran, 30 October 2014.
  • Title: The Fundamental Theorem of Algebra in Logic.
• [Invited] Biweekly Seminars on Logic (Fall 2014), Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran, 28 October 2014.
  • Title: Fundamental Theorem of Algebra from a Logical Perspective.
• [Invited] Mathematical Logic and its Applications (IPM’13), Shahid Beheshti University (& IPM), Tehran, Iran, 18–19 December 2013.
  • Title: Cantor’s Diagonal Argument: A Characterization.
• Mathematical Logic Weekly Seminar (IPM weekly), IPM, Tehran, Iran, 3 October 2013.
  • Title: Theoremizing Paradoxes.
• Mathematical Logic Weekly Seminar (IPM weekly), IPM, Tehran, Iran, 25 April 2013.
  • Title: Rosser Phenomenon: Applications in Recursion Theory.
• Mathematical Logic and its Applications (Kerman’12), Shahid Bahonar University of Kerman (& IPM), Kerman, Iran, 14–15 November 2012.
  • Title: Decidability and Undefinability: A Case for Quantifier Elimination.
• [Invited] Summer School on Theoretical Computer Sciences (IPM-CS’12), IPM, Tehran, Iran, 7–15 July 2012.
  • Title [Tutorial]: Logic in Computer Science.
• Mathematical Logic and its Applications (Isfahan’11), University of Isfahan, Isfahan, Iran, 30 November–1 December 2011.
  • Title: Primitive Recursiveness vs. Definability by Bounded Formulas.
• Mathematical Logic Weekly Seminar (IPM weekly), IPM, Tehran, Iran, 2 December 2010.
  • Title: Gödel’s Incompleteness from a Computational Viewpoint.
• Tabriz Seminar on Mathematical Logic (Homepage, Speakers, Program, Venue, [old] News), University of Tabriz (& IPM), Tabriz, Iran, 27–28 October 2010.
  • Title: Rice’s Theorem for First-Order R.E. Theories.
• Modal Logic and Computer Science (IPM’10), IPM, Tehran, Iran, 3 June 2010.
  • Title: Modal Logics (Normal & Non-Normal).
• Two-Day Seminar on Mathematical Logic (IPM’09), IPM, Tehran, Iran, 30–31 December 2009.
  • Title: Logarithmic Witnesses in Bounded Induction.
• Colloquium on Mathematical Logic (CML’06), Universiteit Utrecht (and Universiteit van Amsterdam – a joint event), Utrecht, The Netherlands, 21 April 2006.
  • Title: Modal Logic of Cut-Free Provability in Weak Arithmetics.
• Mathematical Lectures (IPM 2004), School of Mathematics, IPM, Tehran, Iran, 1–2 December 2004.
  • Title: Variants of Kleene’s Recursive Realizability.
  • Title: Variety Theory of Tree Languages.


• Invited talks / lectures that were not delivered:
  • 6th Frontiers Summer School in Mathematics [online] (School’1400), IPM, Tehran, Iran, 23 August–2 September 2021.
    • Title (Tutorial): A Quick Introduction to Mathematical Logic (for undergraduate students of mathematics).
      • Propositional Logic (23 August 2021, morning).
      • Boolean Algebras (23 August 2021, afternoon).
      • Aristotle’s Syllogism (25 August 2021, morning).
      • Equational Logic (25 August 2021, afternoon).
      • Predicate Logic (28 August 2021, morning).
      • Foundations of Mathematics (28 August 2021, afternoon).
      • Theory of Computation (30 August 2021, morning).
      • Gödel’s Incompleteness (30 August 2021, afternoon).
  • Logical Models of Reasoning and Computation (LMRC’08), Steklov Mathematical Institute, Moscow, Russia, 5–8 May 2008.
    • Title: Mathematical Interpretations of Non-Normal Modality.


• Some Photos
  • Some Photos of Arak’19, Arak, 4 September 2019.
  • A photo with Matthias Baaz (during Tbilisi’14), Tbilisi, 24 September 2014.
  • A photo of IPM’13, Tehran, 18 December 2013.
  • Two Group Photos (the first and the second) of Kerman’12, Kerman, 15 November 2012.
  • Group Photo of Isfahan’11, Isfahan, 1 December 2011.
  • A photo with Wilfrid Hodges (during CLMPS’11); and a photo of my talk at CLMS’11, Nancy, 25 July 2011.
  • A photo with Joan Bagaria and Joost Joosten (during LC’11), Barcelona, 11 July 2011.
  • Two Group Photos (the first and the second) of LABCC’10; another photo, Greifswald, 17 February 2010.
  • Group Photo of IPM’09, Tehran, 31 December 2009.
  • Group Photo of IPM-LC’07, Tehran, 15 June 2007.
  • A photo with Jorge Almeida, Porto, June 2006.
  • A photo with Dirk van Dalen. Another one with Dirk and his wife, Dokie. One other on the grave of L.E.J. Brouwer, Utrecht, April 2006.
  • A photo of my supervisor (Magnus Steinby) and grand-supervisor (Arto Salomaa) with me, Turku, July 2004.
  • A photo with Wim Ruitenburg and Magnus Steinby, Turku, August 2003.
  • Some photos from the webpage of Wim Ruitenburg: the first (with Albert Visser, Turku, August 2003) [a bigger photo] and the second (Utrecht, August 1999).
  • Some photos (the first, the second, the third, the fourth, the fifth, and the sixth) of the MFCS 2003, Bratislava, August 2003.
  • Group Photo of SMS’03, Montreal, 18 July 2003.
  • Group Photo of AFL’02, Debrecen, 18 August 2002.
  • Group Photo of Logic Colloquium 2001, Vienna, 11 August 2001.


• Some Videos
  • Video at The New York City Category Theory Seminar, 23 November 2022.
  • Video at Models of Peano Arithmetic, 10 May 2022.
  • Video at Workshop on the Incompleteness Theorems, 17 August 2021.
  • Video at Celebrating 90 Years of Incompleteness, 8 July 2021.
  • Video at Wormshop 2017, 18 October 2017.
  • Video at Front’13, 25 December 2013 (in Persian).


• (More on my) PhD Theses
  • Varieties of Tree Languages, University of Turku, Finland, 2005.
  • Herbrand Consistency in Arithmetics with Bounded Induction, Polish Academy of Sciences, Warsaw, 2002.


• Transcripts
  • University of Turku (Finland): Page1, Page2, Page3.
  • Sharif University of Technology (Tehran, Iran): Page1, Page2.


• Supervised BSc Theses
• Department of Mathematics, University of Tabriz, Tabriz, Iran (in Persian):
• S. Hosseinkhani (2014), A Mathematical Introduction to Logic.
• A. Esmailzadeh (2013), The Philosophy and Logic of Mathematics.
• M. Jafari (2012), The Foundations of Mathematical Sciences and Set Theory.
• M. Rezayati (2011), Mathematical Logic and Set Theory.
• F. Karimi (2010), The Foundations of Mathematics and Its Problems.


• Some Other Teaching-Related Activities
• Tabriz Math House
• The main objectives of the house are popularizing mathematics (and raising public awareness of its applications and beauty), and also organizing competitions for high-school students, such as the international mathematics tournament of the towns.
  One thing that I am doing in the House is translating the tournament questions (sent from Moscow) from English to Persian for Iranian students, and then translating back their (correct and incorrect!) answers from Persian to English for sending to Moscow (to be re-graded and awarded accordingly). It is fun, and challenging, to translate the wrong answers or fallacious mathematical proofs and resisting from correcting them!
• Designing New Courses
• I was a member of the Committee of Educational Planning for Mathematical Sciences in 2018, for writing the syllabus of some newly designed courses for the MSc and PhD programs of Mathematical Logic (in Persian).
  I also designed some new courses (such as Logic and Computation) for postgraduate students in the university.
• Designing Questions for National Entrance Examinations
• For the Entrance Exams of MSc and PhD Programs in Mathematical Logic and Computer Science, 2012 and 2013.


• Administrative Services (a selection)
  • A Committee Member for Promotion, and Tenure Applications, of Faculty Staff, as an external referee (in other universities).
  • A Member of the Admission Committee (for [post-]graduate students) at the University of Tabriz.
  • A Member of Faculty Hiring Search Committee, University of Tabriz.
  • Serving at various (Educational and Research) Committees, University of Tabriz.
  • Advisor, and Referee, of several MSc and PhD theses (at various universities).
  • Referee of several Book Proposals.
  • A Member of the Logic Group Council, School of Mathematics, IPM, 2013–2017.


• Awarded Grants (a selection)
  • Some (International) Travel Grants
    • Grant for participating and delivering a talk at the International Workshop on Logical Approaches to Barriers in Computing and Complexity (LABCC’10), Greifswald, Germany, 17–20 February 2010.
    • Grant for participating and presenting a poster at the Fourth European Congress of Mathematics (4ECM), Stockholm, Sweden, 27 June–2 July 2004.
    • Grant for participating at Summer School on Structural Theory of Automata, Semigroups and Universal Algebra, NATO Advanced Study Institute and Universite de Montreal, Montreal, Canada, 7–18 July 2003.
    • Grant for participating at Summer School and Workshop on Proof Theory, Computation and Complexity, Technische Universitat Dresden, Dresden, Germany, 23 June–4 July 2003.
    • Grant for participating and delivering a talk at the (6th) Student Session of the (13th) European Summer School in Logic, Language and Information (ESSLLI’01), Helsinki, Finland, 13–24 August 2001.
    • ASL Student Travel Grants for participating and delivering talks at Logic Colloquiums in 1999 (Utrecht, The Netherlands), 2000 (Paris, France), and 2001 (Vienna, Austria).
  • PhD Studentship
    • Study Grant awarded by Institute of Mathematics of the Polish Academy of Sciences, Warsaw, Poland (1999).
    • Study Grant awarded by Turku Centre for Computer Science, Turku, Finland (2000).


• Visits (a selection)
  • Post-doctoral (funded) visit to Department of Mathematics, Institute for Advanced Studies in Basic Sciences, Zanjan, Iran, October 2006–September 2007.
  • Post-doctoral (funded) visit to Research Group for Theoretical Computer Science and Logic, Institute of Computer Science and Applied Mathematics, Universität Bern, Bern, Switzerland, September 2006.
  • Post-doctoral (funded) visit to Department of Philosophy and Religious Studies, Universiteit Utrecht, Utrecht, The Netherlands, April 2006.


• Some (Nostalgic) Name Badges
  • Name Badge of Wormshop’17, Moscow, 17–20 October 2017.
  • Name Badge of Swamplandia’16, Ghent, 30 May–1 June 2016.
  • Name Badge of Isfahan’16, Isfahan, 12 May 2016.
  • Name Badge of CICIS’12, Zanjan, 29–31 May 2012.
  • Name Badge of CLMPS’11, Nancy, 19–26 July 2011.
  • Name Badge of LC’11, Barcelona, 11–16 July 2011.
  • Name Badge of LABCC’10, Greifswald, 17–20 February 2010.
  • Name Badge of FTCS’08, Tehran, 31 January–10 February 2008.
  • Name Badge of IPM-LC’07, Tehran, 10–15 June 2007.
  • Name Badge of ATAL’06 (of CSL’06), Szeged, 30 September–1 October 2006.
  • Name Badge of ICALP’04, Turku, 12–16 July 2004.
  • Name Badge of 4ECM, Stockholm, 27 June–2 July 2004.
  • Name Badge of MFCS’03, Bratislava, 25–29 August 2003.
  • Name Badge of SMS’03, Montreal, 7–18 July 2003.
  • Name Badge of WPT’03, Dresden, 23 June–4 July 2003.
  • Name Badge of AFL’02, Debrecen, 13–18 August 2002.
  • Name Badge of ESSLLI’01, Helsinki, 13–24 August 2001.
  • Name Badge of LC’01, Vienna, 6–11 August 2001.
  • Name Badge of LC’00, Paris, 23–31 July 2000.
  • Name Badge of LC’99, Utrecht, 1–6 August 1999.
  • Name Badge of a TUCS Christmas party.


• A Persian Translation of Enderton’s Logic Book
  The late Professor Herbert B. Enderton once wrote in his homepage on his book A Mathematical Introduction to Logic that “I am told that a Farsi translation was published in Tehran by Markaz Nashr Daneshgahi, but I have never seen a copy.”
  • Here is a 2 July 2009 snapshot of his homepage from archive.org.
  I offered to send him a Persian translation of the book on 19 October 2009, and he happily agreed. On 24 November 2009 he wrote to me, “Saeed, the book arrived today! I am very happy that at last I can see the Farsi translation. Thank you! I am indebted to your kindness in sending me the book.”   He died the next year (on 20 October 2010).
  • Here is a 21 October 2011 snapshot of his homepage from archive.org,
  in which he had written, “A Farsi translation of the first edition was published in Tehran by Markaz Nashr Daneshgahi. I recently received a copy, courtesy of Dr. Saeed Salehi, of the University of Tabriz.”   God Bless Him.


• A Blog Post based on a work of mine by Dick Lipton & Ken Regan (see also a news.knowledia.com entry and Maths Online by Stella Seremetaki).


• Hobbies
  • reading and listening to music (very often done together!),
  • walking (long distances) and sightseeing (cities and the nature),
  • Tai Chi Chuan – Yang Style (for keeping fit and staying healthy).

Back ☚