EACSL –Wikipedia


Da Wikipedia, l’enciclopedia libera

IL Associazione europea per la logica informatica (EACSL), fondata il 14 luglio 1992,(1) è un’organizzazione professionale internazionale senza scopo di lucro che rappresenta gli interessi dei suoi membri e promuove informatica logica nelle aree di ricerca scientifica e istruzione. Supporta sia la ricerca di base che quella orientata alle applicazioni per promuovere le connessioni tra ricerca di base e applicazioni industriali. L’attuale presidente è il Prof. Thomas Schwentick (Università Tecnica di DortmundGermania).

Ogni anno l’EACSL organizza la conferenza internazionale Logica informatica (CSL)(2) e pubblica gli atti associati, sostiene numerosi workshop e scuole estive (3) e sponsorizza l’Ackermann Award, l’EACSL Outstanding Dissertation Award for Logic in Computer Science. L’assemblea generale annuale dei membri si svolge ogni anno durante la conferenza internazionale annuale CSL.

Riferimenti(modificare)

  1. ^ (1)“. Descrizione degli obiettivi dal sito ufficiale dell’EACSL.
  2. ^ (2). Elenco completo delle passate conferenze CSL da DBLPla Bibliografia informatica.
  3. ^ (3) Workshop e Summer School affiliati CSL 2013.

link esterno(modificare)




Source link

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

Torna in alto