Säätiö | 1972 |
---|
Tyyppi | Organisaatio , ilmainen pääsyeditori |
---|---|
Toimiala | Teoreettinen tietojenkäsittelytiede |
Päämäärä | "Ajatusten ja tulosten vaihdon helpottaminen teoreettisen tietojenkäsittelytieteen tutkijoiden yhteisössä " |
Istuin | Rixensart |
Maa | Belgia |
Jäsenet | 907 + 212 nuorta |
---|---|
Perustaja | Maurice Nivat (presidentti 1972-1977) |
Presidentti | Paul Spirakis (2016) |
Pääsihteeri | Jean-Francois Raskin |
Julkaisu | EATCS-tiedote , Tietojenkäsittelyteoria |
Verkkosivusto | www.eatcs.org |
European Association for Tietojenkäsittelyteoria , lyhennettynä EATCS , Ranskan teoreettinen tietokone European Association on eurooppalainen järjestö perustettiin vuonna 1972 . Sen tavoitteena on helpottaa ideoiden ja tulosten vaihtoa teoreettisen tietojenkäsittelytieteen tutkijoiden yhteisössä . Sen tarkoituksena on myös stimuloida yhteistyötä teoreettisen laskennan ja "käytännöllisen" laskennan välillä.
EATCS: n perustivat vuonna 1972 Giorgio Ausiello , Jaco de Bakker , Maurice Nivat , Michael Paterson , Manfred Paul, Michel Sintzoff ja Leo Verbeek. Vuonna 1972 pidettiin myös Pariisin ICALP : n ensimmäinen painos , jonka IRIA (nykyisin INRIA ) järjesti Maurice Nivatin, Louis Nolinin ja Marcel-Paul Schützenbergerin johdolla . Tiedote ilmestyi ensimmäisen kerran vuonna 1973.
Ranskalainen luku, Ranskan teoreettisen tietotekniikan yhdistys, perustettiin vuonna 1992. Se otti nimen AFIF (Ranskan perustietotekniikan yhdistys) 19. tammikuuta 2004
Ensimmäiset presidentit:
EATCS: n tärkeimmät ilmenemismuodot ovat seuraavat:
EATCS järjestää johtavan eurooppalaisen teoreettisen tietojenkäsittelytieteen konferenssin (International Colloquium on Automata, Languages and Programming, lyhennettynä ICALP). Se tapahtuu vuosittain eri paikoissa eri puolilla Eurooppaa.
EATCS valvoo Elsevierin omistaman teoreettisen tietojenkäsittelytieteen (lyhytaikaisesti TCS) julkaisua, joka alkoi julkaista vuonna 1975 ja kattaa kaiken teoreettisen tietojenkäsittelytieteen. Maurice Nivat on sen perustaja ja päätoimittaja noin kaksikymmentäviisi vuotta ja Grzegorz Rozenberg on perustajatoimittaja jaksossa C: Luonnollisen laskennan teoria .
Teoreettisten tietojenkäsittelytietokirjojen sarja (julkaistu 57 nidettä), toimittajat Grzegorz Rozenberg , Arto Salomaa ja Wilfried Brauer . Tämä Springerin EATCS: n alaisuudessa julkaisema kokoelma on toimittanut perustavanlaatuisia kirjoja kaikilla teoreettisen tietojenkäsittelytieteen alueilla, mukaan lukien monet klassikoiksi tulleet tekstit.
Vuodesta 2014 lähtien EATCS on järjestänyt sarjaa nuorille tutkijoille teoreettisista tietojenkäsittelytieteistä.
Vuosi | Teema | Linkki |
---|---|---|
2017 | Ensimmäinen koulu ohjelmointi- ja ohjelmistojärjestelmien perusteista. Todennäköinen ohjelmointi | Braga , Portugali |
2015 | Monimutkaisuuden ja samanaikaisuuden ymmärtäminen tietojen topologian avulla | Camerino , Italia |
2014 | Automaatiot, logiikka ja pelit | Telč , Tšekki |
Yhdistys julkaisee myös EATCS- tiedotteen . Se sisältää tietoa tieteellisistä tapahtumista, uusista tapahtumista, artikkeleita ja EATCS: n eri lukujen uutisia. Kolme numeroa ilmestyy vuodessa, ja se on vapaasti saatavilla .
EATCS myöntää useita arvostettuja palkintoja. Jotkut ovat yhteisiä palkintoja muiden organisaatioiden, erityisesti ACM : n tai siihen liittyvien rakenteiden kanssa.
Gödel palkinto on ero luotu 1992 , jonka EATCS ja Special Interest Group algoritmeihin ja laskenta Theory (SIGACT) ja Association for Computing Machinery (ACM) kunnioittaa erinomaista työtä teoreettisen tietojenkäsittelyopin . Se on nimetty logistiikan Kurt Gödelin kunniaksi . Palkinto jaetaan joka toinen vuosi ICALP-kongressissa ja toinen vuosi ACM: n STOC-kongressissa (Symposium on Theory of Computing).
EATCS palkinto myönnetään vuosittain tutkijalle hänen loistavan uran teoreettisen tietojenkäsittelyopin.
Vuodesta 2010, EATCS on myöntänyt vuosittain kello ICALP konferenssissa , joka on Presburger palkinto nuorelle tutkijalle (harvoin useille nuorille tutkijoille) ja poikkeuksellista tukea teoreettisen tietojenkäsittelyopin, josta on osoituksena artikkeli tai joukko julkaistuja artikkeleita. Palkinto on nimetty Mojżesz Presburgerin mukaan, joka teki uraauurtavan työn lisäteorian (nyt nimeltään Presburgerin aritmeettinen ) ratkaistavaksi vuonna 1929 ollessaan vielä opiskelija.
Dijkstra palkinto tai Edsger Dijkstra palkinnon Distributed Algoritmitutkimus, entinen PoDC palkinnon vaikuttaja artiklaa, on myönnetty vuosittain vuodesta 2000, tekijöille on tavara, jonka vaikutus on erityisen tärkeää teorian tai käytännön järjestelmien jaettu vähintään kymmenen vuotta. Se myönnetään vuorotellen ACM: n hajautetun laskennan periaatteiden symposiumissa (PoDC) ja EATCS: n hajautetun laskennan symposiumissa (DISC).
Vuodesta 2013 lähtien EATCS on myöntänyt IPEC Nerode -palkinnon IPEC-konferenssissa (International Symposium on Parameterized and Exact Computation) yhdelle tai useammalle tutkijalle poikkeuksellisen laadukkaasta yhteisartikkelista monimuuttujaisten algoritmien alalla. Palkinto on nimetty Anil Neroden kunniaksi tunnustuksena hänen merkittävästä panoksestaan matemaattisessa logiikassa, automaatiteoriassa ja monimutkaisuusteoriassa.
Vuotuisen palkinnon, nimeltään " Alonzo Church Award for Outstanding Contributions to Logic and Computation " tai " Alonzo Church Award for Outstanding Contributions in Logic and Computation ", perusti vuonna 2015 ACM Special Interest Group for Logic and Computation (SIGLOG), EATCS , Euroopan tietotekniikan logiikkayhdistys (EACSL) ja Kurt Gödel Company (KGS). Palkinnolla tunnustetaan poikkeuksellinen panos, jota artikkeli tai pieni artikkeliryhmä edustavat viimeisen 25 vuoden aikana. Tämän aikataulun avulla vaikutuksen vaikutus ja syvyys voidaan toteuttaa.
Palkinto jaetaan vuorotellen Logic in Computer Science (LICS) -, Computer Science Logic (CSL) - ja ICALP- konferensseissa, jotka ovat SIGLOGin, EACSL: n ja EATCS: n pääkonferensseja. se myönnettiin ensimmäisen kerran vuonna 2016.
Vuodesta 2014 lähtien EATCS on myöntänyt stipendin arvon kymmenelle ihmiselle, jotka ovat saaneet mainetta tieteellisestä ja organisatorisesta toiminnastaan EATCS-yhteisössä. Apulaiset ovat: