<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-2022-jp"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div> Logic, Algebra and Truth Degrees 2014</div><div> <a href="http://www.logic.at/latd2014">http://www.logic.at/latd2014</a></div><div> July 16 - 19, Vienna, Austria</div><div><br></div><div><br></div><div>Call for papers</div><div><br></div><div>The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, </div><div>Austria, as part of the Vienna Summer of Logic event <a href="http://vsl2014.at">http://vsl2014.at</a> .</div><div> </div><div>Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on </div><div>Mathematical Fuzzy Logic.</div><div><br></div><div>Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion </div><div>of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many </div><div>theoretical and applied areas of Mathematics, Computer Science, and Philosophy.</div><div><br></div><div>The featured topics include:</div><div><br></div><div>Proof theory and computational complexity</div><div>Algebraic semantics and abstract algebraic logic</div><div>First, higher-order and modal formalisms</div><div>Applications and foundational issues</div><div>Geometric and game theoretic aspects</div><div><br></div><div>We particularly welcome contributions on many-valued and related logical systems.</div><div><br></div><div><br></div><div>Invited speakers:</div><div><br></div><div>Silvio Ghilardi, Italy</div><div>Melvin Fitting, USA</div><div>George Metcalfe, Switzerland</div><div>Dale Miller, France</div><div>Dana Scott, USA</div><div>Alasdair Urquhart, Canada</div><div><br></div><div><br></div><div>Tutorials:</div><div><br></div><div>Franz Baader, Germany</div><div>Vincenzo Marra, Italy</div><div><br></div><div><br></div><div>Programme Committee:</div><div><br></div><div>Arnon Avron, Israel</div><div>Matthias Baaz (Chair), Austria</div><div>Agata Ciabattoni (Co-Chair), Austria</div><div>Petr Cintula, Czech Republic</div><div>Nikolaos Galatos, USA</div><div>Lluis Godo, Spain</div><div>Rosalie Iemhoff, The Netherlands</div><div>Nicola Olivetti, France</div><div>Hiroakira Ono, Japan</div><div>Kazushige Terui, Japan</div><div>Richard Zach, Canada</div><div><br></div><div><br></div><div>Contributed talks:</div><div><br></div><div>Abstracts of contributed talks, 2-4 pages, are to be prepared using the ASL abstract template and </div><div>submitted via Easychair. The accepted abstracts will be available on-line and published in the joint </div><div>volume of abstracts with the Logic Colloquium.</div><div><br></div><div>The deadline for contributions is 6th April 2013. The</div><div>notification of acceptance will be sent by 10th May 2013.</div><div><br></div><div>For more information please visit the official web page of the conference: <a href="http://www.logic.at/latd2014">http://www.logic.at/latd2014</a>.</div><div>All correspondence should be directed to <a href="mailto:latd2014@logic.at">latd2014@logic.at</a>.</div><div><br></div><div><br></div><div>Please feel free to distribute this call.</div><div><br></div><div><br></div><div>The Organizing Committee</div><div>Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,</div><div>Bjorn Lellmann, Revantha Ramanayake, Lara Spendier </div><div><br></div></body></html>