Logic, Algebra and Truth Degrees 2014
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,
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.
Please feel free to distribute this call.
The Organizing Committee
Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula,
Bjorn Lellmann, Revantha Ramanayake, Lara Spendier