Logo Logo

Special issue

After the conference, a special issue of DMTCS (Discrete Mathematics and Theoretical Computer Science) will be devoted to the AutoMathA conference. Participants will be able to submit papers to this journal. The submission procedure will follow the standards of the journal and is independent of the selection process for the conference.