[FOM] Logic, Algebra and Truth Degrees (LATD) 2016: Second Announcement

[Martin Davis]

---------- Forwarded message ----------
From: James Raftery <james.g.raftery at gmail.com>
Date: Fri, Jan 29, 2016 at 9:49 PM

Logic, Algebra and Truth Degrees (LATD) 2016


28 – 30 June 2016 Phalaborwa, South Africa

Second 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

Submission Information

Authors should submit a two-page Extended Abstract at the EasyChair
conference system:https://easychair.org/conferences/?conf=latd2016. All
abstracts will be refereed. To allow a referee to judge the level of
interest and the quality of a talk, the abstract should supply enough
context and should say clearly what has been contributed to the topic by
the author(s).  Please note that a brief text-version of the abstract will
also be required during the submission by Easychair, while the submission
of the Extended Abstract itself should be made in PDF format. We would
prefer submissions in the form of the EasyChair template, which is
available athttp://easychair.org/publications/easychair.zip


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

Invited Speakers:

Leonardo Cabrer, Technische Universitat Wien, Austria
Mai Gehrke, Universite Paris Diderot, France
Peter Jipsen, Chapman University, USA
Norbert Preining, JAIST, Japan
Anna Zamansky, University of Haifa, Israel

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 Hajek (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

More information is available from the conference website:

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

Please send any queries to info at latd2016.co.za

With best regards,
The local organising committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160201/37e84c14/attachment-0001.html>