USEFUL LINKS
ACM (Association for Computing Machinery)
AICA (Associazione Italiana per l'Informatica ed il Calcolo Automatico)
AlmaLaurea (Banca Dati dei Laureati Italiani)
ANVUR (Agenzia Nazionale di Valutazione del Sistema Universitario e della Ricerca)
BICI (Bertinoro International Center for Informatics)
CINECA (Consorzio Interuniversitario)
CINI (Consorzio Interuniversitario Nazionale per l'Informatica)
CNR (Consiglio Nazionale delle Ricerche)
CORDIS (European Community Research and Development Information Service)
CRU (Centro Residenziale Universitario di Bertinoro)
CRUI (Conferenza dei Rettori delle Università Italiane)
CUN (Consiglio Universitario Nazionale)
EAPLS (European Association for Programming Languages and Systems)
EASST (European Association of Software Science and Technology)
EATCS (European Association for Theoretical Computer Science)
EEF (European Educational Forum)
ERCIM (European Research Consortium for Informatics and Mathematics)
FME (Formal Methods Europe)
FMICS (Formal Methods for Industrial Critical Systems)
GRIN (Gruppo di Informatica)
IEEE-CS (Institute of Electrical and Electronics Engineers - Computer Society)
IFIP (International Federation for Information Processing)
IP (Italian Partnership)
MIUR (Ministero dell'Istruzione, dell'Università e della Ricerca)
YAHODA (Verification Tools Database)