"Logical Inference and Proofs" Franco-Japanese Workshop