Papers should be previously unpublished, written in English, and formatted in either LaTeX or DOC, with a maximum of 20 pages.
If you use LATEX, BIBTEX is preferred.
Please send the files to Lorenzo Magnani lmagnani@unipv.it
Final date for submissions is September 30th, 2023.
Proceedings will be published by Springer (SAPERE series, http://www.springer.com/series/10087). Moreover, an additional subset of papers will be invited for inclusion (again following further review) in one or two special issues of the Logic Journal of IGPL or another of the well-known international journals that have already published papers fromMBR98, MBR01, MBR04, MBR06_CHINA, MBR09_BRAZIL, MBR012_ITALY, MBR015_ITALY, MBR018_SPAIN.
If you use LATEX, BIBTEX is preferred.
Please send the files to Lorenzo Magnani lmagnani@unipv.it
Final date for submissions is September 30th, 2023.
Proceedings will be published by Springer (SAPERE series, http://www.springer.com/series/10087). Moreover, an additional subset of papers will be invited for inclusion (again following further review) in one or two special issues of the Logic Journal of IGPL or another of the well-known international journals that have already published papers fromMBR98, MBR01, MBR04, MBR06_CHINA, MBR09_BRAZIL, MBR012_ITALY, MBR015_ITALY, MBR018_SPAIN.