info@viam.science.tsu.ge (+995 32) 2 30 30 40 (+995 32) 2 18 66 45

Ana Idadze

  • Applied Logic and Programming Laboratory
    Senior Programmer
  • Office: University str.11, 0186 Tbilisi, Georgia
  • Phone: +995598380073
  • E-mail: idadzeanna@gmail.com
  • Research fields:

Summary

Projects

Talks

  • Universal first-order safety properties, by Besik Dundua (Speaker), Ana Idadze, Helmut Seidl at XXXVI International Enlarged Sessions of the Seminar of Ilia Vekua Institute of Applied Mathematics of Ivane Javakhisvili Tbilisi State University , Tbilisi, Georgia, 19-21 April, 2022.