| |
| |
|
| |
Gallery |
More Talks
|
Educational
|
Awards
|
Miscellany
|
|
| |
|
|
|
|
|
|
| |
| |
- 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.
- 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
- 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.
|
|
|
|
| |
|
Gallery |
More Talks |
Educational |
Awards |
Miscellany |
|
| |
|
|
|
|
|
|
| |
| |
- 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,
7 February 2024.
- [Invited]
The 6th International World Logic Day [online & on-site] (WLD'24), Iranian Association for Logic, hosted by School of Mathematics, IPM, Tehran, Iran, 14 January 2024.
- [Invited] National Informatic Conference of Iran
[online] (NIC'24), School of Computer Science, IPM, Tehran, Iran, 3–4 January 2024.
- [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.
- [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.
- [Invited]
Monthly Talks of the Iranian Association for Logic [online] (IAL Monthly), Iran, 22 August 2022.
- [Invited]
Weekly Seminars on Models of Peano Arithmetic [online] (MoPA), City University of New York, Graduate Center, USA,
10 May 2022.
- [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.
- [Invited] Mathematical Logic and its Applications (Arak’19),
Technical University of Arak (& IPM), Arak, Iran, 4 September 2019.
- Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 20 June 2019.
- Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 21 March 2017.
- [Invited] IPM-Isfahan Workshop
on Various Aspects of Modality (Isfahan’16), IPM-Isfahan Branch, Isfahan,
Iran, 12 May 2016.
- Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 30 October 2014.
- [Invited] Biweekly Seminars on Logic (Fall 2014), Amirkabir University of Technology (Tehran Polytechnic), Tehran,
Iran, 28 October 2014.
- [Invited] Mathematical Logic and its Applications (IPM’13),
Shahid Beheshti University (& IPM),
Tehran, Iran, 18–19 December 2013.
- Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 3 October 2013.
- Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 25 April 2013.
- Mathematical Logic and its Applications (Kerman’12),
Shahid Bahonar University of Kerman (& IPM),
Kerman, Iran, 14–15 November 2012.
- [Invited] Summer School on
Theoretical Computer Sciences (IPM-CS’12),
IPM, Tehran, Iran, 7–15 July 2012.
- Mathematical Logic and its Applications (Isfahan’11),
University of Isfahan, Isfahan, Iran, 30 November–1 December 2011.
- Mathematical Logic Weekly Seminar (IPM weekly),
IPM, Tehran, Iran, 2 December 2010.
- Tabriz Seminar on Mathematical Logic (Homepage, Speakers, Program, Venue, [old] News),
University of Tabriz (& IPM),
Tabriz, Iran, 27–28 October 2010.
- Modal Logic and Computer Science (IPM’10),
IPM, Tehran, Iran, 3 June 2010.
- Two-Day Seminar on Mathematical Logic (IPM’09),
IPM, Tehran, Iran, 30–31
December 2009.
- Colloquium on Mathematical Logic (CML’06),
Universiteit Utrecht (and Universiteit van Amsterdam – a joint event), Utrecht, The Netherlands, 21 April 2006.
- Mathematical Lectures (IPM 2004),
School of Mathematics, IPM, Tehran, Iran, 1–2 December 2004.
- 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).
- Logical Models of Reasoning and Computation
(LMRC’08),
Steklov Mathematical Institute, Moscow, Russia, 5–8 May 2008.
|
|
|
|
| |
|
Gallery |
More Talks
|
Educational |
Awards
|
Miscellany
|
|
| |
|
|
|
|
|
|
| |
| |
- 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).
- (More on my) PhD Theses
- Transcripts
- 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
- 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.
|
|
|
|
| |
|
Gallery |
More Talks |
Educational |
Awards |
Miscellany |
|
| |
|
|
|
|
|
|
| |
| |
- 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
- 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.
|
|
|
|
| |
|
Gallery |
More Talks |
Educational |
Awards |
Miscellany |
|
| |
|
|
|
|
|
|
| |
| |
-
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.”
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).
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 nature),
- Tai Chi Chuan – Yang Style (for keeping fit and staying healthy).
|
|
|
|
| |
|
|
| |
