DESCRIPTION
The Technical Community on Multiple-Valued Logic of the IEEE Computer Society will hold its 55th annual symposium in Montreal, Quebec, Canada, on June 5-6, 2025.
The symposium will bring together researchers from computer science, engineering, mathematics, and further disciplines to discuss new developments and directions for future research in the area of multi-valued logic and related fields. Research papers, surveys, or tutorial papers on any subject in these areas are within the scope of the symposium.
The proceedings of ISMVLs are in the Ei compendex that is the broadest and most complete engineering literature database available in the world.
The symposium committee is also going to hold a special session tribute to Kenneth C. Smith in the symposium.
Paper Submission
On the following page, you can submit your paper to the 55th Symposium on Multiple-Valued Logic. In order to prepare your submission, please note the following remarks:
You can submit original research papers, surveys, or tutorial papers. Please do not forget to clearly indicate the type of your submission.
Authors should submit papers as PDF files following the IEEE style guidelines for symposium proceedings. Templates are available for LaTeX and Microsoft Word at this page.
Each manuscript shall include a 50-100 word abstract and shall not exceed 6 pages.
All accepted contributions will be published by IEEE.
Author(s) of accepted papers are expected to participate at the symposium and to present their paper.
Contact
If you have questions, do not hesitate to contact us.
Symposium Co-Chairs:Prof. Vincent Gaudet
vcgaudet{at}uwaterloo.ca