Definability and algorithmic properties of structures, Mid-Atlantic Mathematical Logic Symposium, College Park, Maryland (invited). Conference Paper uri icon