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

ანა იდაძე

  • გამოყენებითი ლოგიკისა და პროგრამირების ლაბორატორიის
    უფროსი პროგრამისტი
  • ოფისი: უნივერსიტეტის ქ.11, 0186 თბილისი, საქართველო
  • ტელეფონი: +995598380073
  • ელ.ფოსტა: idadzeanna@gmail.com
  • სამეცნიერო ინტერესები:

მოკლე ინფორმაცია

მოხსენებები

  • 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.