1. Математический институт им. В.А. Стеклова Российской академии наук, Москва, Россия
2. Институт программных систем имени А.К. Айламазяна Российской академии наук, Переславль-Залесский, Россия
3. Scuola Internazionale Superiore di Studi Avanzati (SISSA), Trieste, Italy
4. Steklov Mathematical Institute of Russian Academy of Sciences, ul. Gubkina 8, Moscow, 119991 Russia
5. Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Yaroslavl Region, 152020 Russia
6. Scuola Internazionale Superiore di Studi Avanzati (SISSA), via Bonomea 265, 34136 Trieste, Italy