Constructive rereading of Artin-Schreier theory Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013. 