Komitet programowy konferencji ACM Symposium on Theory of Computing (STOC) – na której prezentowanych jest około 100 najważniejszych w danym roku odkryć w informatyce teoretycznej – przyznał nagrodę za najlepszą pracę artykułowi "The Reachability Problem for Petri Nets is Not Elementary", której współautorami są  m. in. Wojciech Czerwiński i Sławomir Lasota (Instytut Informatyki MIM UW).