Difference between revisions of "Main Page"
(Created page with "<big>'''ERCIM ManyVal Working Group'''</big> ===Objectives=== ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topic...")
Revision as of 08:38, 10 April 2014
ERCIM ManyVal Working Group
ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topics inside the broad field of many-valued logics and exploring connections with other fields of mathematics, computer science and philosophy, including universal algebra, proof theory, duality theory, geometry, knowledge representation, vagueness, and artificial intelligence.