Invited talks delivered during NAT@Logic 2015

• (Valeria de Paiva) Modal type theory
• (Dale Miller) Defining the semantics of proof evidence
• (Valentin Goranko) A logical framework for multi-agent visual-epistemic reasoning
• (Ofer Arieli) Sequent-based Argumentation
• (Alessandra Palmigiano) Unified Correspondence as a Proof-Theoretic Tool
• (Luiz Carlos Pereira) Schematic rules and atomic polymorphism
• (Guillaume Hoffmann) Relation- and Domain-Changing modal operators
• (Heinrich Wansing) Compositionality in Proof-Theoretic Semantics
• (Arnon Avron) Classical C-systems: Logical achievements and logical problems
• (João Marcos) On the birth of the LFIs: Some alternative histories