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 interestTopics of interest of the conference will include:
SubmissionsAbstracts 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. PublicationAuthors 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. Important Dates
Invited Speakers
Program Committee
Organizing Committee
Supported by
Sponsors
|