Кіріспе

Еуропалық теориялық компьютерлік ғылымдар қауымдастығы (EATCS) – 1972 жылы құрылған, Еуропаға бағытталған халықаралық ұйым. Оның мақсаты – теориялық компьютерлік ғылымдар саласындағы ғалымдар арасында идеялар мен нәтижелер алмасуды жеңілдету, сондай-ақ компьютерлік ғылымның теориялық және практикалық салалары арасындағы ынтымақтастықты ынталандыру. EATCS-тің негізгі қызметтері:

Автоматтар, тілдер және бағдарламалау жөніндегі халықаралық коллоквиум – ICALP ұйымдастыру;
EATCS бюллетенін жариялау;
Теориялық компьютерлік ғылымдар бойынша монографиялар мен оқулықтар сериясын жариялау;
«Теориялық компьютерлік ғылымдар» журналын жариялау; Теориялық компьютерлік ғылымдар саласындағы көрнекті еңбегі үшін сыйлық беріледі. Алғашқы сыйлық 2000 жылы Ричард Карпқа табысталды; жеңімпаздардың толық тізімі төменде келтірілген:

Жыл Марапатталған орын 2023 Амос Фиат ICALP (Падерборн) 2022 Патрик Кузо ICALP (Париж) 2021 Тонианн Питасси ICALP (Глазго) 2020 Михалис Яннакакис ICALP (Саарбрюкен) 2019 Томас Хенцингер ICALP (Патрас) 2018 Ноам Нисан ICALP (Прага) 2017 Эва Тардос ICALP (Варшава) 2016 Декстер Козен ICALP (Рим) 2015 Христос Пападимитриу ICALP (Киото) 2014 Гордон Плоткин ICALP (Копенгаген) 2013 Мартин Дайер ICALP (Рига) 2012 Моше Варди ICALP (Уорик) 2011 Борис Трахтенброт ICALP (Цюрих) 2010 Курт Мельхорн ICALP (Бордо) 2009 Жерар Юэ ICALP (Родос) 2008 Лесли Г. Валиант ICALP (Рейкьявик) 2007 Дана С. Скотт ICALP (Вроцлав) 2006 Майк Патерсон ICALP (Венеция) 2005 Робин Милнер ICALP (Лиссабон) 2004 Арто Саломаа ICALP (Турку) 2003 Гжегож Розенберг ICALP (Эйндховен) 2002 Морис Нива ICALP (Малага) 2001 Коррадо Бём ICALP (Крит) 2000 Ричард Карп ICALP (Женева)

EATCS стипендиаттары

EATCS стипендиаттар бағдарламасы теориялық компьютерлік ғылым саласындағы ғылыми жетістіктері үшін ерекше EATCS мүшелерін мойындау мақсатымен Ассоциация тарапынан құрылды. «Қауымдастық мүшесі» мәртебесі EATCS стипендиаттарды іріктеу комитетімен EATCS қауымдастығында интеллектуалдық және ұйымдық лидерлік танытқан тұлғаға беріледі. Стипендиаттар ТКШ қауымдастығының «үлгілі азаматтары» болуы және қауымдастық шеңберінен тыс ТКШ-ның беделін арттыруға көмектесуі күтіледі. Марапатталғандардың тізімі және расталған жылы: Лука Ацето 2021, Жири Адамек 2018, Сузанна Альберс 2014, Раджиев Алур 2021, Джорджио Аузиелло 2014, Вильфрид Брауэр 2014, Артур Цумай 2015, Пьерпаоло Дегано 2020, Мариангиола Дезани Чанчаглини 2015, Жозеп Диас 2017, Герберт Эдельсбруннер 2014, Золтан Эсик 2016, Майк Феллоуз 2014, Федор Фомин 2019, Юрий Гуревич 2014, Мохаммад Хажиагай 2020, Магнус М. Холдорссон 2020, Дэвид Харел 2016, Моника Хензингер 2014, Томас А. Хензингер 2015, Джузеппе Ф. Итальяно 2016, Самир Кхуллер 2021, Декстер Козен 2015, Марта Квятковска 2017, Стефано Леонарди 2018, Курт Мельхорн 2016, Рокко де Никола 2019, Давид Пелег 2021, Жан-Эрик Пин 2014, Дана Рон 2019, Давиде Сангиорджи 2021, Сакет Саурабх 2021, Скотт А. Смолка 2016, Пол Спиракис 2014, Аравинд Сринивасан 2017, Вольфганг Томас 2014, Моше Й. Варди 2015, Моти Юнг 2017.

EATCS жас зерттеушілер мектептері

2014 жылдан бастап Еуропалық теориялық компьютерлік ғылымдар қауымдастығы (EATCS) ТКШ тақырыптары бойынша жас зерттеушілер мектептерін ұйымдастырды. Мектептердің қысқаша тарихы төменде келтірілген.

Жыл Түрі Орны
2017 ProbProgSchool 2017 – Бағдарламалау және бағдарламалық жүйелер негіздері бойынша 1-ші мектеп. Ықтималдық бағдарламалау, Брага, Португалия
2015 2-ші EATCS жас зерттеушілер мектебі – Деректердің топологиясы арқылы күрделілік пен параллелизмді түсіну, Камерино, Италия
2014 1-ші EATCS жас зерттеушілер мектебі – Автоматтар, логика және ойындар, Телч, Чехия