Dissertation: On the complexity of proofs in several Logical Systems
Association for Symbolic Logic (ASL)Armenian Mathematical Union (AMU)
Mathematical logic Theory of recursive functions, Discrete mathematic, Theory of calculations complexity, Theory of proofs complexity
Nov 17-Dec 7, 1982; Sep 26 - Oct 13, 1985 Visiting Scholar, Department of Mathematics, Karls University, Prague, Czechya.
All-Union Conference on the Mathematical Logic (III, Novosibirsk, Russia, 1974; IX, St.-Petersburg, Russia, 1988; X, Alma -Ata, Kazakhstan, 1990).
All-Union symposium on the theory of the logic proof (Moscow, Russia, 1974).
CSIT (Yerevan, Armenia, 1997, 1999, 2001).
Logic-Colloquiums (Vienna, Austria, 2001, Muenster, Germany, 2002).
II Chekhoslovatsko- Soviet seminar of the young scientists ? (Bratislava, Czechoslovakia, 1982).
Built on Drupal by APARG Group.