Presentations of our lab members at the Sixth National Logic Workshop in Artvin

Our members, Sezen Altuğ, Dilek Satıoğlu, Gülden Alaz Meriç, and Oğuz Akçelik presented their papers at the Sixth National Logic Workshop in Artvin, May 26-27, 2016.