8-11 September 2008
Siena, Italy
Logic, Algebra and Truth Degrees 2008 September 8 to 11, Siena, Italy First announcement Logic, Algebra and Truth Degrees is the first official meeting of the recently founded EUSFLAT Working Group on Mathematical Fuzzy Logic (www.cs.cas.cz/mathfuzzlog). Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has revealed very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The featured topics include, but are not limited to, the following: . Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc. . Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc. . Game-theory: Giles games, Rnyi-Ulam games, evaluation games, etc. . First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc. . Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics. . Extended fuzzy logical systems: adding modalities or truth constants, "dynamification", evaluated syntax, etc. . Philosophical issues: connections with vagueness and uncertainty. . Applied fuzzy logical calculi: foundations of fuzzy logical programming, logic-based reasoning about similarity, fuzzy description logics, etc. Programme Committee: . Franco Montagna (chair) (University of Siena, Siena) . Roberto Cignoli (CONICET, Buenos Aires) . Petr Cintula (Academy Sciences of the Czech Republic, Prague) . Francesc Esteva (Spanish Research Council, Barcelona) . Hiroakira Ono (Japan Advanced Institute of Science and Technology, Kanazawa) Organizing committee: Tommaso Flaminio, Brunella Gerla, Claudio Marini, Franco Montagna, Carles Noguera, Luca Spada and Elisa Tiezzi. Invited speakers: . Stefano Aguzzoli (University of Milan, Milan) . Matthias Baaz (Technical University of Vienna, Vienna) . Xavier Caicedo (University of Los Andes, Bogota) . Christian Fermuller (Technical University of Vienna, Vienna) . Llus Godo (Spanish Research Council, Barcelona) . Petr Hajek (Academy Sciences of the Czech Republic, Prague) . Kazushige Terui (National Institute of Informatics, Tokyo) . Constantine Tsinakis (Vanderbilt University, Nashville) If you are interested in presenting a paper, please submit a 1-2 page abstract at http://www.easychair.org/conferences/?conf=LATD-08. Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2008(at)unisi.it The deadline for contributions is 30 April 2008. The notification of acceptance/rejection will be sent until 30 June 2008. The authors of the best contributions will be invited to submit a paper based on the presentation to a special issue in a mathematical logic journal. Details on the special issue will be distributed at a later point by the editors. For further information please visit the official web page of the conference: http://www.mat.unisi.it/~latd2008/. All correspondence should be directed to latd2008(at)unisi.it Please, feel free to distribute this call. The Organizing Committee Dipartimento di Scienze Matematiche ed Informatiche Universita degli Studi di Siena Pian dei Mantellini, 44 53100 Siena, Italy