O dossiê contém planos de aula, rascunhos e listas de exercícios com resoluções relativa a atividade de AIA como docente.

O dossiê contém documentação relativa à organização do III Simpósio Latino-Americano de Lógica Matemática na Universidade Estadual de Campinas (Unicamp).

A subsérie que contém estudos de AIA sobre vários ramos diferentes da lógica.

A subsérie reune as Minutas de documentos produzidas enquanto AIA exercia o cargo de diretora do IMECC.

O dossiê contém documentação relativa ao projeto Teoria de Modelos e Aplicações, o qual tinha como executor Newton da Costa e AIA como executora substituta.

O dossiê contém documentação relativa à contratação de Leslaw Szczerba como professor visitante.

O dossiê contém cartas trocadas entre AIA e William Saad Hossne, diretor científico da Fapesp, a respeito da bolsa de mestrado de Regina Aparecida Munhoz Moreno.

O dossiê contém documentação relativa à contratação de Jerzy Kotas como professor visitante.

O dossiê contém a documentação envolvida na aquisição de separatas.

A subsérie reune as Atas produzidas enquanto AIA exercia o cargo de diretora do IMECC.