Title: Abstracts of the 7th International Congress of Logic...