Logic, Algebra and Truth Degrees (LATD) 2016

28 - 30 June 2016 Phalaborwa, South Africa

First Announcement

The fifth instalment of the conference Logic, Algebra and Truth Degrees (LATD) will take place in Phalaborwa, South Africa from 28 - 30 June 2016. The conference will be hosted by the Faculty of Science of the University of the Witwatersrand, Johannesburg, at the Hans Merensky Hotel, situated on the border of the world renowned Kruger National Park Game Reserve. Detailed travel information is available on the conference website.

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. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields. We encourage contributions on any relevant aspects of logical systems (including fuzzy, substructural, modal and quantum logics, and many-valued logics in general).

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

Potential participants are encouraged to complete the expression of interest form:

http://www.latd2016.co.za/ExpressionOfInterest.html http://www.latd2016.co.za/ExpressionOfInterest.html

Important Dates:

Deadline for submissions: 24 February 2016 Notification of acceptance: 31 March 2016 Early registration closes: 27 April 2016 Registration closes: 15 June 2016 Conference dates: 28 - 30 June 2016

Programme committee: James Raftery (Chair), University of Pretoria Xavier Caicedo, Universidad de los Andes Agata Ciabattoni, Vienna University of Technology Petr Cintula, Czech Academy of Sciences Nikolaos Galatos, University of Denver Rostislav Horcik, Czech Academy of Sciences Rosalie Iemhoff, Utrecht University, The Netherlands Hiroakira Ono, Japan Advanced Institute of Science and Technology Philip Scott, University of Ottawa. Kazushige Terui, Kyoto University. Constantine Tsinakis, Vanderbilt University.

Steering committee: Petr Hájek (honorary chair), Czech Academy of Sciences Matthias Baaz, Vienna University of Technology Agata Ciabattoni, Vienna University of Technology Petr Cintula, Czech Academy of Sciences Vincenzo Marra, University of Milan George Metcalfe, University of Bern Carles Noguera, Czech Academy of Sciences James Raftery, University of Pretoria Kazushige Terui, Kyoto University

Local organising committee: Clint van Alten (Chair), University of the Witwatersrand, Johannesburg Willem Conradie, University of Johannesburg Andrew Craig, University of Johannesburg Wilmari Morton, University of Johannesburg

Further information concerning invited speakers and submission procedures will be sent out in the coming months.

More information is available from the conference website: http://www.latd2016.co.za/ http://www.latd2016.co.za/

Please send any queries to [email protected] mailto:[email protected]

With best regards, The local organising committee