INTERNATIONAL FEDERATION OF COMPUTATIONAL LOGIC

Advancement of education in the field of Computational Logic, by collection, collation and public dissemination of information, the conduct of seminars, conferences and similar events and the sponsorship of Msc and Phd degrees in Logic at such universities or other educational establishments.