[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Logic, Algebra, and Truth Degrees 2012 - First Call



Logic, Algebra and Truth Degrees 2012
http://www.jaist.ac.jp/rcis/latd12/

First Call for Papers

The third official meeting of the EUSFLAT Working Group on Mathematical 
Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan.
The conference is organized by Research Center for Integrated Science [2],
Japan Advanced Institute of Science and Technology [3].

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 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, Rényi-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 logical programming, 
  logic-based reasoning about similarity, 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).

Conference Web Site:
http://www.jaist.ac.jp/rcis/latd12/

Important dates:
. 22 April 2012: deadline for submissions
. 3 June 2012: notifications sent
. 10-14 September 2012: conference

Programme Committee:
. Stefano Aguzzoli (University of Milano, Italy)
. Matthias Baaz (Vienna University of Technology, Austria)
. Petr Cintula (Academy of Sciences, Czech Republic)
. Carles Noguera (CSIC, Spain)
. Hiroakira Ono (JAIST, Japan), Chair
. James Raftery (University of KwaZulu-Natal, South Africa)
. Constantine Tsinakis (Vanderbilt University, USA)

Invited Speakers:
. Rostislav Horčík (Academy of Sciences, Czech Republic)
. Emil Jeřábek (Academy of Sciences, Czech Republic)
. Daniele Mundici (University of Florence, Italy)
. Greg Restall (University of Melbourne, Australia)
. Luca Spada (University of Salerno, Italy)

Tutorial:
. Felix Bou (University of Barcelona, Spain) 

If you are interested in presenting a paper, please submit a 2–4 pages 
abstract at 
    http://www.easychair.org/conferences/?conf=latd2012 
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: 
latd2012@jaist.ac.jp

The deadline for contributions is 22 April 2012. The notification of 
acceptance/rejection will be sent until 3 June 2012.

Conference dates:
The scientific program will start Monday morning (10 September) and finish 
Friday noon (14 September). Wednesday afternoon we plan an excursion.

Venue:
The conference will be held in the city of Kanazawa [4,5,6], located in the
Ishikawa prefecture of Japan on the Japan Sea. 
The venue is the Ishikawa Prefectural Museum of Art [7] in the center 
of Kanazawa. 

Local Organizing Committee:
. Norbert Preining (JAIST, Japan), Chair
. Katsuhiko Sano (JAIST, Japan)
. Kazushige Terui (Kyoto University, Japan)
. Shunsuke Yatabe (AIST, Japan) 

For further information please contact: latd2012@jaist.ac.jp


[1] http://www.mathfuzzlog.org/
[2] http://www.jaist.ac.jp/rcis/en/
[3] http://www.jaist.ac.jp/
[4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa
[5] http://www.kanazawa-tourism.com/
[6] http://wikitravel.org/en/Kanazawa
[7] http://www.ishibi.pref.ishikawa.jp/index_j.html