"Logic, Algebra and Truth Degrees 2010" （締め切り4月5日）

詳細を以下に転載します。

Logic, Algebra and Truth Degrees 2010
September 7 - 11, Prague, Czech Republic
Call For Papers
Logic, Algebra and Truth Degrees is the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic (www.mathfuzzlog.org).
Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.
The main goals of this meeting are 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, Renyi-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.

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.

We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general).
Programme Committee:

Petr Hajek (Chair), Czech Republic

Antonio Di Nola, Italy

Christian Fermuller, Austria

Siegfried Gottwald, Germany

Daniele Mundici, Italy

Carles Noguera, Spain

Ales Pultr, Czech Republic

Invited speakers:

Arnon Avron, Israel

Felix Bou, Spain

Agata Ciabattoni, Austria

Roberto Cignoli, Argentina

Ioana Leustean, Romania

Franco Montagna, Italy

James G. Raftery, South Africa

Hiroakira Ono, Japan

Tutorials:

George Metcalfe, Switzerland - Proof theory for fuzzy logics

Vilém Novak, Czech Republic - Mathematical fuzzy logic in linguistic semantics

If you are interested in presenting a paper, please submit a 2-4 page abstract at http://www.easychair.org/conferences/?conf=latd2010. 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: latd2010(at)matfuzzlog.org
The deadline for contributions is 5th April 2010.
The conference will take place in the building of the School of Computer Science, Faculty of Mathematics and Physics, Charles University, which is located in a historical part of the city of Prague called Lesser Town, close to local attractions like Charles Bridge, and Prague Castle.
Prague offers a variety of accommodation options. There will be no official conference hotel, so participants are free to make their own arrangements. However, all participants can use the special offer (10% discount) of HotelsCombined.com.
For further information please visit the official web page of the conference: http://www.mathfuzzlog.org/latd2010. All correspondence should be directed to latd2010(at)mathfuzzlog.org