VII. Mantık Çalıştayı Etkinlik Programı