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

[PVS] Extension of submission deadline, grants: LATD 2012



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

Extension of deadline

  === EXTENDED Deadline for contributed talks: 29 April 2012 ===
       === Grants for travel available - please apply! ===

The deadline for submissions to LATD 2012 has been extended to
	29 April 2012
Please hurry to submit your abstract (2-4 pages) at
	http://www.easychair.org/conferences/?conf=latd2012

Travel/Participation grants
===========================
If there are economical reasons *not* to submit a contribution to the
conference, please consider applying for a grant with the following 
information to latd12@xxxxxxxxxxx:
- name, affilitation
- amount of money needed
- title of your contribution (no grant without presentation)
- reason/explanation of need for grant
We will let you know the result of our decision on grant support
soon after the decision on the contributions.

========== Original Call for Contributions follows ==============

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@xxxxxxxxxxx

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


Registration:
Registration has not started by now, but we appreciate your email
informing us on your participation plans. Registration fee is likewise
not determined by now.

Grants:
There is a limited amount of grants available for participants. Please
contact us as soon as possible including the following information:
- name, affilitation
- amount of money needed
- title of your contribution (no grant without presentation)
- reason/explanation of need for grant

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@xxxxxxxxxxx


[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