Contact Person : Oleg Prosorov; Last Date for the submission of abstract : 18/03/2012; Description : It is a forum to stimulate dialogue between mathematicians, logicians, philosophers, linguists. There will be plenary sessions, sessions of thematic sections and a panel discussion The Heritage of Kant and Contemporary Formal Logic.