Session 2 “Algorithms, Automata and Logic” (IIAP NAS RA, 207)
Monday, September 26, 2023, (1000 - 1130)
Moderators: Yuri Shoukourian, Anahit Chubaryan
|
| 1000 |
Tatiana Kosovskaya, Juan Zhou (Russia)
“Algorithms for Checking Two Elementary Conjunctions Isomorphism” |
| 1015 |
Arsen Mokatsian (Armenia)
“Efficiently Recognizable Sets, P-T-Mitoticity and Arithmetical Hierarchy” |
| 1030 |
Hakob Tamazyan, Anahit Chubaryan (Armenia)
“A Hierarchy of Determinative Sequent Systems with Different Substitution Rules” |
| 1045 |
Sergey Davidov, Yuri Movsisyan (Armenia)
“On Singular Functional Variables in Hyperidentity of Distributivity” |
| 1100 |
Mohammad Reza Keyvanpour, Nazanin Shahbazi (Iran)
“Automated Model-Based Test case generation for UML Activity Diagrams using EFSM” |
| 1115 |
Armen Kostanyan, Anna Gevorgyan (Armenia)
“String Parsing using a Fuzzy Context-free Pattern” |