I work as a computer programmer in a medium-sized, Russian IT company. I had a conflict with a colleague, Bob, where he physically attacked me.
A few months ago, the colleague returned from obligatory military service in the airborne forces. He became somewhat aggressive to put it mildly. Today, two of my colleagues and I talked about correct pronunciation. It turned into an argument. Bob and I exchanged some insulting words. He immediately approached me and began to strangle me. No way he was joking. I tapped the table begging him to stop and he released me. I was not injured except for barely noticeable scratches on my neck. There wasn't enough harm to call the police.
There was a witness - a colleague who saw everything. Although the colleague who attacked me has been slightly aggressive lately, it was very strange for him to act like that. I think it was a spike of uncontrolled anger. I did not correct his pronunciation. We just had different opinions on the topic. We argued. He threatened to beat me. I answered: "dare you!". That triggered him.
What is my action plan in this situation? Should I file some complaint to the manager or rather seek for some ways to resolve the conflict myself?
Update: Although everything described sounds like a terrible situation that should not have happened at all, it is not so dramatic. I don't condone physical assault and cannot imagine myself behaving like he did. Bob and I have worked with each other for several years. I wouldn't go filing complaints etc. He's not the person who deserves it, though all of us were shocked by what happened.
In the end, Bob and I talked and explained the reasons for our actions. We stayed with our opinions and shook hands.
I appreciate all of your answers. In other circumstances going through all the formal procedures would be a necessary measure.