SEFM 2019: International Conference on Software Engineering and Formal Methods amuroorn 2018/09/07 2018/09/07 Continue reading
Explicable Mining and Exploration of Large Historical Databases fekete 2018/08/16 2018/08/16 Continue reading
StarPU : A Unified Runtime System for Heterogeneous Multicore Architectures Nathalie FURMENTO 2018/08/16 2018/08/16 Continue reading
4th International Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology goessler 2018/07/25 2018/07/25 Continue reading