title: Acta Informatica
text: # Acta Informatica
  
  Acta Informatica est une revue scientifique évaluée par des pairs éditée par Springer Science+Business qui publie des articles originaux de recherche en informatique
  
  La revue est surtout connue pour ses publications en informatique théorique. L'un des deux articles couronnés du prix Gödel en 1995 est paru dans ce journal en 1988.
  
  