Description: International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people