Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.
Certificado de participação de AIA no III Encontro Brasileiro de Lógica ocorrido na Universidade Federal de Pernambuco durante 17-21 dez. 1979.Ass.: [Antonio Mário Sette].
Aviso de férias, comunicando o período a ser desfrutado por AIA. Campinas, 02 dez. 1982. Ass.: Ayda I. Arruda; Marly de Lara Romeo, diretoria de pessoal;
Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.
Minuta da Comissão nomeada pela Congregação para elaborar um projeto de atribuições de futura Comissão Científica, sugerindo a formação de duas comissões com atribuições distintas.
Ofício C.V.47/00116 de Setembrino Petri, coordenador geral, para AIA comunicando o total de inscritos no Vestibular para Matemática Bacharelado na Unicamp em 1982. Ass.: Setembrino Petri
Ata da reunião extraordinária da congregação do IMECC, tratando do problema da transferência do professor Tomasz Kowaltowski da Universidade de São Paulo para a Unicamp.
Ata da 24ª reunião extraordinária da congregação do IMECC, tratando da eleição para diretor do instituto e ainda do projeto Financiadora de Estudos e Projetos (FINEP).
Ata da primeira sessão extraordinária do Conselho Diretor da Unicamp, tratando da elaboração da lista de candidatos a futuro reitor e informando sobre os procedimentos do processo eleitoral.
Ata da 39ª reunião da congregação do IMECC, tratando da indicação de membros do IMECC para Estudo de Problemas Brasileiros, processos de doutorado e mestrado, e outros assuntos.
Ata da 40a reunião da congregação do IMECC, discutindo propostas de remodelação da Unicamp, processos de convalidação de créditos, reformulações na ata anterior e outros assuntos.