Promouvoir l'enseignement la recherche, la formation, l'application et la création de connaissances dans le domaine de l'informatique théorique. L'association pourra mettre en oeuvre tous les moyens qu'elle jugera utile pour promouvoir l'informatique théorique et ses applications tant dans le monde académique qu'industriel.