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.

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"