[logic-ml] Call for papers: LATD2014

[小野 寛晰]

　　　　　Logic, Algebra and Truth Degrees 2014
　　　　　　　http://www.logic.at/latd2014
   　　　　　　July 16 - 19, Vienna, Austria


Call for papers

The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, 
Austria, as part of the Vienna Summer of Logic event http://vsl2014.at .
 
Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on 
Mathematical Fuzzy Logic.

Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion 
of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many 
theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

The featured topics include:

Proof theory and computational complexity
Algebraic semantics and abstract algebraic logic
First, higher-order and modal formalisms
Applications and foundational issues
Geometric and game theoretic aspects

We particularly welcome contributions on many-valued and related logical systems.


Invited speakers:

Silvio Ghilardi, Italy
Melvin Fitting, USA
George Metcalfe, Switzerland
Dale Miller, France
Dana Scott, USA
Alasdair Urquhart, Canada


Tutorials:

Franz Baader, Germany
Vincenzo Marra, Italy


Programme Committee:

Arnon Avron, Israel
Matthias Baaz (Chair), Austria
Agata Ciabattoni (Co-Chair), Austria
Petr Cintula, Czech Republic
Nikolaos Galatos, USA
Lluis Godo, Spain
Rosalie Iemhoff, The Netherlands
Nicola Olivetti, France
Hiroakira Ono, Japan
Kazushige Terui, Japan
Richard Zach, Canada


Contributed talks:

Abstracts of contributed talks, 2-4 pages, are to be prepared using the ASL abstract template and 
submitted via Easychair. The accepted abstracts will be available on-line and published in the joint 
volume of abstracts with the Logic Colloquium.

The deadline for contributions is 6th April 2013. The
notification of acceptance will be sent by 10th May 2013.

For more information please visit the official web page of the conference: http://www.logic.at/latd2014.
All correspondence should be directed to latd2014 at logic.at.


Please feel free to distribute this call.


The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjorn Lellmann, Revantha Ramanayake, Lara Spendier 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20131218/3102c4cc/attachment.html>