Nadace | 1972 |
---|
Typ | Organizace , editor bezplatného přístupu |
---|---|
Pole činnosti | Teoretická informatika |
Fotbalová branka | „Usnadnit výměnu myšlenek a výsledků v komunitě vědců v teoretické informatice “ |
Sedadlo | Rixensart |
Země | Belgie |
Členové | 907 + 212 mladých lidí |
---|---|
Zakladatel | Maurice Nivat (prezident 1972-1977) |
Prezident | Paul Spirakis (2016) |
Generální tajemník | Jean-Francois Raskin |
Vydání | Bulletin EATCS , teoretická informatika |
webová stránka | www.eatcs.org |
Evropská asociace pro teoretické informatiky , zkráceně EATCS , francouzský teoretická Evropská asociace je evropská organizace, která byla založena v roce 1972 . Jeho cílem je usnadnit výměnu myšlenek a výsledků v komunitě výzkumných pracovníků v teoretické informatice . Jeho cílem je také stimulovat spolupráci mezi komunitami provádějícími teoretické výpočty a těmi, které provádějí „praktické“ výpočty.
EATCS založili v roce 1972 Giorgio Ausiello , Jaco de Bakker , Maurice Nivat , Michael Paterson , Manfred Paul, Michel Sintzoff a Leo Verbeek. V roce 1972 proběhlo také první vydání ICALP v Paříži, pořádané IRIA (nyní INRIA ), pod vedením Maurice Nivata, Louise Nolina a Marcela-Paula Schützenbergera . Bulletin se poprvé objevil v roce 1973.
Francouzská kapitola, Francouzská asociace pro teoretickou informatiku, byla založena v roce 1992. Název AFIF (Francouzská asociace pro základní informatiku) převzala 19. ledna 2004.
První prezidenti:
Hlavní projevy EATCS jsou následující:
EATCS organizuje mezinárodní kolokvium o automatech, jazycích a programování (zkráceně ICALP), přední evropskou akademickou konferenci v teoretické informatice. Koná se každoročně na různých místech po celé Evropě.
EATCS dohlíží na vydání teoretické počítačové vědy (zkráceně TCS), vědeckého časopisu vlastněného společností Elsevier, který začal vycházet v roce 1975 a který pokrývá celou teoretickou počítačovou vědu. Maurice Nivat je jejím zakladatelem a šéfredaktorem přibližně dvacet pět let a Grzegorz Rozenberg je zakládajícím redaktorem sekce C: Theory of Natural Computing .
Série knih o teoretických informatikách (vydáno 57 svazků), editovali Grzegorz Rozenberg , Arto Salomaa a Wilfried Brauer . Tato sbírka, kterou vydal Springer pod záštitou EATCS, upravila základní knihy ve všech oblastech teoretické počítačové vědy, včetně mnoha textů, které se staly klasickými.
Od roku 2014 organizuje EATCS řadu škol pro mladé vědce zaměřené na teoretické předměty informatiky.
Rok | Téma | Odkaz |
---|---|---|
2017 | První škola základů programovacích a softwarových systémů. Pravděpodobnostní programování | Braga , Portugalsko |
2015 | Porozumění složitosti a souběžnosti prostřednictvím topologie dat | Camerino , Itálie |
2014 | Automaty, logika a hry | Telč , Česko |
Sdružení také vydává EATCS Bulletin . Zahrnuje informace o vědeckých událostech, novém vývoji, hlavních článcích a novinkách z různých kapitol EATCS. Ročně se objeví tři čísla a je volně přístupná .
EATCS uděluje různá prestižní ocenění. Některá jsou společná ocenění s jinými organizacemi, zejména s ACM , nebo s přidruženými strukturami.
Gödel cena je rozdíl vytvořen v roce 1992 podle EATCS a Special Interest Group na algoritmech a výpočetní teorii (SIGACT) na sdružení pro výpočetní techniku (ACM) na počest vynikající práci v teoretické informatice . Je pojmenován na počest logika Kurta Gödela . Ocenění se laureátům uděluje každý druhý rok na kongresu ICALP a druhý rok na kongresu STOC (Symposium on Theory of Computing) ACM.
Cena EATCS se každoročně uděluje výzkumnému pracovníkovi za jeho skvělou kariéru v teoretické počítačové vědě.
Od roku 2010 je EATCS udělil každoročně na ICALP konferenci , je Presburgerova Prize pro mladé badatele (vzácně do několika mladých výzkumných pracovníků) za mimořádný přínos v teoretické informatice, dokládá článek nebo řadu publikovaných článků. Cena je pojmenována po Mojżeszovi Presburgerovi, který v roce 1929 ještě jako student odvedl svou průkopnickou práci na teorii rozhodovatelnosti sčítání (nyní Presburgerova aritmetika ).
Cena Dijkstra nebo Cena Edsgera W. Dijkstra v distribuované algoritmice, dříve Cena PoDC za vlivný článek, se každoročně od roku 2000 uděluje autorům článku, jehož dopad je zvláště důležitý pro teorii nebo praxi systémů distribuovaných alespoň pro deset let. Uděluje se střídavě na sympoziu o zásadách distribuovaného výpočtu (PoDC) ACM a na sympoziu o distribuovaném výpočtu (DISC) EATCS.
Od roku 2013 uděluje EATCS každoročně na konferenci IPEC (International Symposium on Parameterized and Exact Computation) cenu IPEC Nerode jednomu nebo více vědcům za společný článek výjimečné kvality v oblasti vícerozměrných algoritmů. Cena je pojmenována na počest Anila Nerodeho jako uznání jeho hlavních příspěvků v matematické logice, teorii automatů a teorii složitosti.
Výroční ocenění s názvem „ Alonzo Church Award za mimořádný přínos logice a výpočtu “ nebo „ Alonzo Church Award za mimořádný přínos logice a výpočtu “ vytvořilo v roce 2015 Zvláštní zájmová skupina ACM pro logiku a výpočet (SIGLOG), EATCS. , Evropská asociace pro logiku ve výpočetní technice (EACSL) a společnost Kurt Gödel (KGS). Cena oceňuje výjimečný příspěvek představovaný článkem nebo malou skupinou článků za posledních 25 let. Tento časový rámec umožňuje realizaci dopadu a hloubky příspěvku.
Cena se uděluje střídavě na konferencích Logic in Computer Science (LICS), Computer Science Logic (CSL) a ICALP, které jsou hlavními konferencemi SIGLOG, EACSL a EATCS; poprvé byla udělena v roce 2016.
Od roku 2014 udělil EATCS titul kolegy deseti lidem, kteří si získali pověst svých vědeckých a organizačních aktivit v komunitě EATCS. Členové jsou: