The articles in this special section offer a new perspectives on the question of how and why logic became intertwined with computing programming. It focuses locality programming practices, highlighting their relation to formalist practices concepts provide deeper understanding historical relations between these different practices. theoretical technical considerations that tie together have bee...