The Incontro di Logica is organised by the Italian Association for Logic and its Applications (AILA) every three years. It features international invited speakers, recipients of the AILA prizes (Gentilini, Montagna, Lettieri), and contributed presentations in Logic.
Topics: category theory, computability theory, model theory, logic and computer science, logic and philosophy, non-classical logics, proof theory, set theory.