[logic-ml] Int. Workshop on External and Internal Calculi for Non Classical Logics (EICNCL 2018, Deadline for submission: 23 April 2018)