![تیاس](https://teias.institute/wp-content/uploads/2021/04/Mohammad-2-800x1057-1.jpg)
![تیاس](https://teias.institute/wp-content/uploads/2020/12/Luca-Aceto.jpg)
An Operational Guide to Monitorability __ Luca Aceto
February 24, 2021
Read More
February 24, 2021
![تیاس](https://teias.institute/wp-content/uploads/2020/12/Ali-Movaghar.jpg)
5G and Beyond: A Systematic View __ Ali Movaghar
December 30, 2020
Read More
December 30, 2020
![تیاس](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/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/پوستر-علوم-داده1.jpg)
Introducing Data Science Program at TeIAS (Khatam University)
November 29, 2020
Read More
November 29, 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
![](https://teias.institute/wp-content/uploads/2020/10/JanFrisoGroote2.jpg)
Active Learning of Decomposable Systems
Talk Active Learning of Decomposable Systems November 11, 2020 (21 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Jan Friso Groote Professor of Computer Science at the Eindhoven University of Technology Overview Active automata learning is a technique of querying black box systems and modelling their behavior. In this paper, we aim to apply…
Read More
Talk Active Learning of Decomposable Systems November 11, 2020 (21 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Jan Friso Groote Professor of Computer Science at the Eindhoven University of Technology Overview Active automata learning is a technique of querying black box systems and modelling their behavior. In this paper, we aim to apply…
![mousavi](https://teias.institute/wp-content/uploads/2020/11/mousavi-1.jpg)
Actual Causality and Counter-Factual Reasoning
Talk Actual Causality and Counter-Factual Reasoning November 10, 2020 (20 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Mohammad Reza Mousavi Professor of Data-Oriented Software Engineering at the University of Leicester Overview Explaining phenomena, particularly failures, using counterfactual causal reasoning has been a challenging line of research in science and engineering. An instance of…
Read More
Talk Actual Causality and Counter-Factual Reasoning November 10, 2020 (20 Aban, 1399) Venue This Talk is online [email protected] +982189174612 Mohammad Reza Mousavi Professor of Data-Oriented Software Engineering at the University of Leicester Overview Explaining phenomena, particularly failures, using counterfactual causal reasoning has been a challenging line of research in science and engineering. An instance of…