Collection of theses in Computational Logic

The ALP website is trying to build the list of theses (bachelor, master, PhD) in Computational Logic. 
See, for instance,
Please, consider to report your work for inclusion in the list by sending the following information to [email protected]:
  • Type of the thesis (bachelor, master, PhD)
  • Name of the candidate
  • Affiliation 
  • When the thesis has been defended (month/year)
  • Abstract (1500-2000 characters)
  • URL of the thesis in pdf format
We expect to include recently defended theses as well as works from the beginnings of Computational Logic.
Looking forward of receiving your emails
Gian Luca Pozzato