GeTFun 3.0

3^rd Workshop on Generalizations of Truth‑Functionality

Dates: Sep 1-3, 2015

This will be the third workshop of the GeTFun project, on generalizations of truth-functionality, investigated from the viewpoints of Universal Logic, Proof Theory and Formal Semantics. We are looking for advances which are at once philosophically well-motivated, mathematically well-developed, and computationally well-behaved.

http://commons.wikimedia.org/wiki/File:Arena_das_Dunas_dez_2013.jpg

Submissions should consist of an abstract of up to 1,000 words, sent by email before ~~April 12~~ to getfunw-AT-gmail.com (deadline extension: April 19). Each contributed talk is to have the duration of 25 minutes, divided into 20 minutes for exposition followed by 5 minutes of discussion. Authors will be notified of acceptance or rejection by May 10.

Keynote speakers, this year, include:

Alessandra Palmigiano, TU Delft
Talk: "Unified Correspondence as a Proof-Theoretic Tool"
- Guillaume Hoffmann, CONICET - Universidad Blas Pascal
- Talk: "Relation- and Domain-Changing modal operators"
Luiz Carlos Pereira, PUC-Rio
Talk: "Schematic rules and atomic polymorphism"
Heinrich Wansing, Ruhr University Bochum
Talk: "Compositionality in proof-theoretic semantics"

For more information on GeTFun 3.0, please follow this link.

Be sure to check the full detailed programme of NAT@Logic 2015 here!