![تیاس](https://teias.institute/wp-content/uploads/2020/12/mohammad-ghafari.jpg)
Security As a Software Development Culture __ Mohammad Ghafari
December 23, 2020
Read More
December 23, 2020
![تیاس](https://teias.institute/wp-content/uploads/2020/12/Johannes-Haushofer.jpg)
![](https://teias.institute/wp-content/uploads/2020/11/download.jpg)
Towards Mixed-Initiative Conversational Search __ Hamed Zamani
December 09, 2020
Read More
December 09, 2020
![](https://teias.institute/wp-content/uploads/2020/11/Philipp-Rummer-pic.jpg)
SMT Solving, A Very Short Introduction __ Philipp Rümmer
November 24, 2020
Read More
November 24, 2020
![JanFrisoGroote](https://teias.institute/wp-content/uploads/2020/11/JanFrisoGroote.jpg)
Active Learning of Decomposable Systems __ Jan Friso Groote
November 11, 2020
Read More
November 11, 2020
![frits-vandgar](https://teias.institute/wp-content/uploads/2020/10/frits-vandgar.jpg)
![farnia](https://teias.institute/wp-content/uploads/2020/09/farnia.jpg)
![srinivasan_keshav](https://teias.institute/wp-content/uploads/2020/09/srinivasan_keshav-1.jpg)
Research Methods in Networks and Systems __ Srinivasan Keshav
September 9, 2020
Read More
September 9, 2020