European Association for Theoretical Computer Science

Questa voce o sezione sull'argomento informatica non è ancora formattata secondo gli standard.

Commento: Gli elenchi dei premiati devono iniziare dall'anno meno recente e non viceversa

---

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

L'Associazione europea per l'informatica teorica (EATCS^[1]) è un'organizzazione internazionale con un focus europeo, fondata nel 1972. Il suo scopo è facilitare lo scambio di idee e risultati tra scienziati informatici teorici e stimolare la cooperazione tra i teorici e la comunità dell'informatica pratica.

Le principali attività dell'EATCS sono:

• Organizzazione della conferenza International Colloquium on Automata, Languages and Programming (ICALP)^[2];
• Pubblicazione di una serie di monografie^[3][4] e testi^[5] sull'informatica teorica;
• Pubblicazione del Bulletin of the EATCS;
• Pubblicazione della rivistaTheoretical Computer Science^[2];
• Pubblicazione della rivista Fundamenta Informaticae.

Ogni anno, il EATCS Award^[6] viene assegnato in riconoscimento di una brillante carriera nell'informatica teorica. Il primo premio è stato assegnato a Richard Karp nel 2000; l'elenco completo dei vincitori è riportato di seguito:

A partire dal 2010, l'European Association of Theoretical Computer Science (EATCS) conferisce ogni anno alla conferenza ICALP il Presburger Award a un giovane scienziato (in casi eccezionali a diversi giovani scienziati) per contributi eccezionali nell'informatica teorica (TCS), documentati da un articolo pubblicato o da una serie di articoli pubblicati. Il premio prende il nome da Mojżesz Presburger che ha compiuto il suo lavoro rivoluzionario sulla decidibilità della teoria che oggi si chiama aritmetica di Presburger, come studente nel 1929. Di seguito è riportato l'elenco completo dei vincitori::

Il Programma EATCS Fellows^[7] è stato istituito dall'associazione per riconoscere i risultati scientifici nel campo dell'informatica teorica dei membri EATCS. Lo status di Fellow è conferito dal comitato di selezione Fellow della EATCS a una persona che ha una comprovata esperienza di leadership intellettuale e organizzativa all'interno della comunità EATCS. Ci si aspetta che i borsisti siano "cittadini modello" della comunità, contribuendo a sviluppare la posizione di TCS oltre le frontiere della comunità:

Questa sezione sull'argomento informatica è ancora vuota. Aiutaci a scriverla!

Tre numeri del bollettino sono pubblicati annualmente, rispettivamente a febbraio, giugno e ottobre. Il bollettino è un mezzo per la pubblicazione rapida e un'ampia distribuzione di materiale come:

• l'importanza di EATCS;
• informazioni sull'ICALP;
• contributi tecnici;
• sondaggi e tutorial;
• relazioni su conferenze;
• calendario degli eventi;
• relazioni su dipartimenti e istituti di informatica;
• elenchi di relazioni tecniche e pubblicazioni;
• recensioni di libri;
• problemi e soluzioni;
• abstract di tesi di dottorato;
• informazioni sui visitatori di varie istituzioni;
• contributi divertenti e immagini relative all'informatica.

Dal 2013 il suo redattore capo è stato Kazuo Iwama.

A partire dal 2014, l'European Association for Theoretical Computer Science (EATCS) ha istituito una serie di scuole per giovani ricercatori su argomenti di TCS. Segue una breve storia delle scuole.

• Presburger Award

• Wikimedia Commons contiene immagini o altri file su European Association for Theoretical Computer Science

• Sito ufficiale

Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica