European Association for Theoretical Computer Science: differenze tra le versioni

Versione delle 15:39, 13 gen 2019

Versione attuale delle 10:13, 3 apr 2024

(10 versioni intermedie di 8 utenti non mostrate)

Riga 1:

{{W|informatica|gennaio 2021|Gli elenchi dei premiati devono iniziare dall'anno meno recente e non viceversa}}

[[File:Eatcslogo.jpg|miniatura|Logo EATCS]]

L''''Associazione europea per l'informatica teorica''' ('''EATCS'''<ref>[httphttps://www.acronymfinder.com/European-Association-of-Theoretical-Computer-Science-(EATCS).html What does EATCS stand for? European Association of Theoretical Computer Science], [httphttps://www.acronymfinder.com/ Acronym Finder]</ref>) è 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à pratica in dell'informatica pratica.

== Attività ==

Le principali attività dell'EATCS sono:

* Organizzazione della conferenza ''International Colloquium on Automata, Languages and Programming'' (ICALP)<ref name="silver-jubilee">Brauer, Ute; Wilfried Brauer: [http://www.eatcs.org/index.php/component/content/article/497 European Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS]</ref>;

* Pubblicazione di una serie di [[monografie]]<ref>[https://www.springer.com/series/776 Monographs in Theoretical Computer Science. An EATCS Series], [[Springer-Verlag]]</ref><ref>[http://www.informatik.uni-trier.de/~ley/db/series/eatcs/ Monographs in Theoretical Computer Science. An EATCS Series] {{Webarchive|url=https://web.archive.org/web/20140924141135/http://www.informatik.uni-trier.de/~ley/db/series/eatcs/ |date=24 settembre 2014 }}, DBLP</ref> e testi<ref>[https://www.springer.com/series/3214 Texts in Theoretical Computer Science. An EATCS Series], Springer-Verlag</ref> sull'[[informatica teorica]];

* Pubblicazione del ''Bulletin of the EATCS'';

* Pubblicazione della rivista''Theoretical Computer Science''<ref name="silver-jubilee" />;

Riga 12:

== EATCS Award ==

Ogni anno, il '''EATCS Award'''<ref>[http://www.eatcs.org/index.php/eatcs-award EATCS Award], European Association for Theoretical Computer Science</ref> viene assegnato in riconoscimento di una brillante carriera in nell'informatica teorica. Il primo premio è stato assegnato a [[Richard Karp]] nel 2000; l'elenco completo dei vincitori è riportato di seguito:

{| class="wikitable"

!Anno

Riga 23:

|-

|2017

|[[Éva Tardos]]

|ICALP (Varsavia)

|-

Riga 45:

|2012

|[[Moshe Y. Vardi|Moshe Vardi]]

|ICALP ([[Warwick]])

|-

|2011

Riga 89:

|2001

|[[Corrado Böhm]]

|ICALP ([[Creta (Grecia)|Creta]])

|-

|2000

Riga 98:

== Presburger Award ==

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 in 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 dell'aggiunta (che oggi si chiama [[aritmetica di Presburger]]), come studente nel 1929. Di seguito è riportato l'elenco completo dei vincitori::

{| class="wikitable"

!Anno

Riga 122:

|2014

|David Woodruff

|ICALP ([[CopenhagenCopenaghen]])

|-

|2013

Riga 144:

== EATCS Fellows ==

Il '''Programma EATCS Fellows Program'''<ref>[https://www.eatcs.org/index.php/eatcs-fellows EATCS Fellows], European Association for Theoretical Computer Science</ref> è stato istituito dall'associazione per riconoscere i risultati scientifici nel campo dell'Informaticainformatica 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 [[borsista|borsisti]] siano "cittadini modello" della comunità TCS, contribuendo a sviluppare la posizione di TCS oltre le frontiere della [[comunità]]:

{| class="wikitable"

!Laureato

Riga 224:

== Testi in informatica teorica ==

{{...|informatica}}

== Bollettino EATCS ==

Riga 230 ⟶ 231:

* informazioni sull'ICALP;

* contributi tecnici;

* [[sondaggio|sondaggi]] e [[tutorial]];

* colonne;

* [[sondaggio|sondaggi]] e [[tutorial]];

* relazioni su conferenze;

* calendario degli eventi;

Riga 238:

* recensioni di libri;

* problemi e soluzioni;

* [[abstract]] di tesi di [[dottorato]];

* informazioni sui visitatori di varie istituzioni;

* contributi divertenti e immagini relative all'informatica.

Riga 266:

== Note ==

<references/>

==Voci correlate==

* [[Presburger Award]]

==Altri progetti==

{{interprogetto}}

== Collegamenti esterni ==