International Sympoisum on Theoretical Programming