Solution:
For n≤10 Ann wins by writing the numbers 1,2,…,2n−1. Indeed, the result Ivo can get is a non-zero integer between −1023 and 1023, since it has the same sign as the largest remaining number (2j>2j−1=∑i=0j−12i).
For n≥11 the set C of Ann's numbers has 2n−1>2003 different nonempty subsets. Hence the sums of numbers of two of them, say A and B, are congruent modulo 2003. If Ivo puts + in front of the numbers of A∖B, − in front of the numbers of B∖A and deletes the remaining numbers of C, he wins.