VSL 2014: VIENNA SUMMER OF LOGIC 2014
LATD Call for Papers

LATD 2014 – Logic, Algebra, and Truth Degrees 2014
July 16-19, 2014 · Vienna, Austria

LATD2014 web page

Important Dates

Deadline for contributions April 8, 2014
Notification of acceptance May 12, 2014 (NEW!)
Abstract revision deadline May 27, 2014
Early registration and payment June 8, 2014

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 (available here) and submitted via Easychair. The accepted abstracts will be available on-line and published in the joint abstracts booklet of LATD and the Logic Colloquium.

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

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, Björn Lellmann, Revantha Ramanayake, Lara Spendier