Dear Colleagues Check out the flier of the new International Master in Computational Logic http://www.di.fct.unl.pt/mcl/ Please circulate