automated deduction, automated theorem proving, B method, concurrency, deduction modulo, Dedukti, set theory, tableaux, Typed Proof Search, Zenon Modulo.