GULP supports the Third International Spring School on Computational Logic (Bertinoro, Italy, April 10-15, 2011). Send your manifestation of interest by November 30, 2010. Scholarships
available. ISCL 2011
GULP supports the Third International Spring School on Computational Logic (Bertinoro, Italy, April 10-15, 2011). Send your manifestation of interest by November 30, 2010. Scholarships
available. ISCL 2011