- Назив пројекта: Репрезентација логичких структура и формалних језика и њихова примена
- Ознака пројекта: ОИ174026
- Институције учеснице у пројекту: ПМФ (Нови Сад), Факултет техничких наука (Нови Сад) и Факултет за образовање дипломираних правника и дипломираних економиста за спољну трговину Универзитета Привредна академија (Нови Сад)
- Статус у пројекту: партнер
- Руководилац пројекта: Силвија Гилезан
- Врста пројекта: Основна истраживања
- Период реализације пројекта: 2011.-2019.