Dr. Wojciech Czerwiński and Prof. Sławomir Lasota from the UW Institute of Informatics are co-authors of the paper awarded by the program committee of the ACM Symposium on Theory of Computing conference (STOC). The article entitled “The Reachability Problem of Petri Nets is Not Elementary” has been considered as the best conference paper. Annual ACM … Continue reading Award for the article co-written by two scientists from UW