#dagstuhl for ice breaker and introductions, we are asking ppl to give details on a failed research project - things have ranged from intractability of constraint query languages to nesy semantics to formal models of loss functions and nesy architectures