Recently, many important improvements on algorithmic design for logic and algebra ended in powerful softwares allowing more effective treatment of more abstract problems together with new applications. This school aims to introduce all this recent algorithmic improvement in logic and algebra, and to exhibit some applications in computational algebraic geometry, cryptography and numerical document engineering.
These results open many promising perspectives in very applied fields and in new theoretical ones.