laboratories.md

-- [Asynchronous Research Group at Newcastle](http://async.org.uk)
-- []() 
\ No newline at end of file
+- Russia
+- - [МГУ]()
+- - - [Кафедра математической кибернетики](https://mk.cs.msu.ru/)
+- - - - [Верификация]()
+- UK
+- - [Asynchronous Research Group at Newcastle](http://async.org.uk)
+- - []() 
\ No newline at end of file