1st Symposium of SRC on Process Mining