The current committee, elected in the assembly of the XVIII Brazilian Logic Conference is