Project-team Logical Logic and Computation Futurs