Manyval '10

Beyond algebraic semantics: bridging intended and formal interpretations of many-valued logics

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions. Contributed talks are allocated ample time.

ManyVal'10 will focus on:

  • Semantics for approximate reasoning
  • Game semantics of many-valued logics
  • Algebraic semantics and proof theory of many-valued logics
  • Interpretation of truth values
  • Probability of non-classical events

Selected papers from the conference will be published in a special issue of Soft Computing. Details will be given during and soon after the conference.

Venue: Università degli Studi dell'Insubria, Varese, Italy

Arrival date: May 2, 2010

Departure date: May 6, 2010

Programme Committee: Stefano Aguzzoli (Milan), Brunella Gerla (Varese), Vincenzo Marra (Milan)

Organising Committee: Stefano Aguzzoli (Milan), Matteo Bianchi (Milan), Pietro Codara (Milan), Brunella Gerla (Varese), Vincenzo Marra (Milan), Andrea Pedrini (Milan), Diego Valota (Milan)