European Association for Theoretical Computer Science

Acest articol sau secțiune despre subiectul informaticii nu este încă formatat conform standardelor . Comentariu : Listele câștigătorilor trebuie să înceapă din cel mai vechi an și nu invers Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia . Urmați sfaturile de proiectare de referință .

Sigla EATCS

Asociația Europeană pentru Informatică Teoretică (EATCS ^[1] ) este o organizație internațională , cu accent european, fondat în 1972. Scopul său este de a facilita schimbul de idei și a rezultatelor între teoretice pe calculator oamenii de știință și pentru a stimula cooperarea între teoreticieni și practice de calcul comunitate.

Activități

Principalele activități ale EATCS sunt:

• Organizarea conferinței Colocviul internațional privind automatele, limbajele și programarea (ICALP) ^[2] ;
• Publicarea unei serii de monografii ^{[3] [4]} și texte ^[5] despre informatică teoretică ;
• Publicarea Buletinului EATCS ;
• Publicarea revistei Theoretical Computer Science ^[2] ;
• Publicarea revistei Fundamenta Informaticae .

Premiul EATCS

În fiecare an, Premiul EATCS ^[6] se acordă ca recunoaștere a unei cariere distinse în informatică teoretică. Primul premiu a fost acordat lui Richard Karp în 2000; lista completă a câștigătorilor este mai jos:

Premiul Presburger

Din 2010, Asociația Europeană a Informaticii Teoretice (EATCS) acordă Premiul Presburger anual conferinței ICALP unui tânăr om de știință (în cazuri excepționale mai multor tineri oameni de știință) pentru contribuții remarcabile în domeniul informaticii teoretice (TCS), documentat dintr-o publicație publicată articol sau o serie de articole publicate. Premiul poartă numele lui Mojżesz Presburger, care și-a făcut lucrarea revoluționară asupra decizibilității teoriei numită acum aritmetică Presburger , ca student în 1929. Mai jos este lista completă a câștigătorilor:

Bursierii EATCS

Programul EATCS Fellows ^{[7] a} fost înființat de asociație pentru a recunoaște realizările științifice în domeniul informaticii teoretice ale membrilor EATCS. Statutul de Fellow este acordat de către Comitetul de selecție EATCS Fellow unei persoane care are o experiență dovedită de conducere intelectuală și organizațională în cadrul comunității EATCS. Se așteaptă ca semenii să fie „cetățeni model” ai comunității, ajutând la dezvoltarea poziției TCS dincolo de granițele comunității :

Texte în informatică teoretică

Această secțiune pe informatică este încă goală. Ajută-ne să-l scriem!

Buletinul EATCS

Trei numere ale buletinului sunt publicate anual, respectiv în februarie, iunie și octombrie. Buletinul este un mijloc de publicare rapidă și de distribuție largă a materialului, cum ar fi:

• importanța EATCS;
• informații despre ICALP;
• contribuții tehnice;
• sondaje și tutoriale ;
• rapoarte de conferință;
• calendarul evenimentelor;
• rapoarte despre departamentele și institutele informatice;
• liste de rapoarte tehnice și publicații;
• recenzii de carte;
• probleme și soluții;
• rezumate de doctorat teze ;
• informații despre vizitatorii diverselor instituții;
• contribuții amuzante și imagini legate de informatică.

Din 2013 redactorul său șef este Kazuo Iwama.

Școli de tineri cercetători EATCS

Din 2014, Asociația Europeană pentru Informatică Teoretică (EATCS) a înființat o serie de școli pentru tineri cercetători pe teme TCS. Urmează o scurtă istorie a școlilor.

Notă

Elemente conexe

• Premiul Presburger

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Asociația Europeană pentru Informatică Teoretică

linkuri externe

• Site-ul oficial

Portal IT : accesați intrările Wikipedia care se ocupă cu IT