Recently, C. De Lellis and L. Szekelyhidi used methods of convex integration to show existence of anomalous bounded solutions to Euler equations. These results have been further improved in regularity (continuous and Holder continuous weak solutions) towards a (still unavailable) proof of the Onsager conjecture. In this first talk we will focus on the proof of the existence of bounded solutions...