INSTITUTE FOR INFORMATICS AND
AUTOMATION PROBLEMS OF THE
NATIONAL ACADEMY OF SCIENCES
OF THE REPUBLIC OF ARMENIA

Models of Computations and Logical Reasoning Department

Head of Department:    Yuri Shoukourian

Phone:  (+37460) 623539
E-mail:  shouk@sci.am
Web:

Specialization

Directions

Automata Theory, Self-organized Network Models and Applications
Head of Direction Yuri Shoukourian

See more
Pilot Projects
Staff
- Yuri Shoukourian
- Suren Poghosyan
- Hasmik Karapetyan
- Vahagn Poghosyan
- Yeghisabet Alaverdyan
- David Hayrapetyan
- Artyom Lazyan
- Agit Atashyan
- Vardan Mnatsakanyan
- Narek Hovhannisyan

Algorithms Theory and Automated Program Synthesis
Head of Direction

See more
Staff
- Arsen Mokatsian

Mathematical Logic and Applications
Head of Direction

See more
Staff

Current Projects

Selected Publications

News

The defense will take place during the meeting of the Specialized Council 037 “Informatics” at the Institute for Informatics and Automation Problems of NAS of RA on 16 June 2025 at 14:00. (See Abstract: Edgar Vardanyan –
Moment closure approximation and its applications in machine learning and evolution).

The qualifying examination in Informatics for PhD students will take place on June 17, 2025 at 11:00 in the Institute for Informatics and Automation Problems (room 203).

We are pleased to announce that the 15th International Conference on Computer Science and Information Technology (CSIT 2025) will be held on 22-26 September 2025 in Yerevan, at the Institute of Informatics and Automation Problems.

We are proud to share that the ISSI 2025 Conference is coming soon!
This prestigious event is organized by the Centre for Scientific Analysis and Monitoring (CSIAM), part of the Institute for Informatics and Automation Problems of NAS RA (IIAP), and hosted by Yerevan State University (YSU) under the auspices of the International Society for Informetrics and Scientometrics (ISSI).