I’ve received a Schloss Dagstuhl - NSF Support Grant for attending the Dagstuhl Seminar 17291 “Resource Bound Analysis” on July 16 to 21. The grantees will be covered a airfare from US to Germany plus free room and board at the center for the duration of the seminar.