@article{tacsiraninformal, title={Informal Workshop on Formal Methods at Ko{\c{c}} University}, author={Ta{\c{s}}{\i}ran, Serdar and Elmas, Tayfun and Sezgin, Ali and U{\u{g}}urda{\u{g}}, Sezer G{\"o}ren and Yenig{\"u}n, H{\"u}sn{\"u} and Y{\i}lmaz, Cemal and Erdem, Esra and Aktemur, Bar{\i}{\c{s}} and {\"U}nal, Devrim and Bahtiyar, {\c{S}}erif and others} }