Профессор кафедры системного анализа и информационных технологий Ишмухаметов Ш.Т. принял участие в конференции в Германии.

На конференции собрались ведущие мировые специалисты по математической логике и теории алгоритмов, в том числе четыре участника из России - академик РАН Гончаров С.С., академик АН РТ  Арсланов М.М., федеральный профессор Калимуллин И.Ш. и профессор Ишмухаметов Ш.Т.

Одна часть конференции проходила в старинном городе Гейдельберге, другая часть - в немецкой провинции Обервольфах.