In Memoriam Pierangelo Miglioli
Constructivism in Non-Classical Logics
Pierangelo Miglioli passed away prematurely last summer. He has been a
leading personality in the fields of intermediate logics, constructive
logics and their applications to computer science.
Topics of interest
Topics of interest of the conference will include:
Abstracts of contributed talks are limited to 500 words in the standard 11pt LaTeX article style, including the title and other heading material and the references. They must be submitted to the Chairman of the Program Committee in hard copy, and also electronically as LaTeX source files.
The deadline for submission is June 1, 2000. Authors will be notified of acceptance or rejection by July 10, 2000.
Authors of accepted papers will be invited to submit to a special issue of Studia Logica, by December 31, 2000, the extended version of their paper. Papers must not exceed 15 typed pages (LaTeX 11-pt). Each paper will be refereed according to the standards of Studia Logica.