|
|||||||
27 июня - 1 июля 2011 г., Новосибирск, Академгородок, Россия |
|||||||
Программа конференцииMonday, June 2710:00–13:00 TUTORIAL (Chair Mikhail Bulyonkov) 10:00 Andreas Zeller (Saarland University, Germany) 11:30–12:00 Refreshments 12:00 Andreas Zeller (Saarland University, Germany) 13:00–14:00 Lunch 19:00–23:00 Welcome Party Tuesday, June 289:30–10:45 Opening PSI’11 (Chair Alexander Marchuk) 9:45 Andreas Zeller (Saarland University, Germany) 10:45–11:15 Refreshments 11:15–12:45 Session 1 (Chair Andrei Voronkov) 11:15 Robert Glück (DIKU, U Copenhagen, Demnark) 11:45 Geoff Hamilton (Dublin City U, Ireland), Neil Jones (DIKU, U Copenhagen, Demnark) 12:15 Torben Mogensen (DIKU, U Copenhagen, Denmark) 13:00–14:00 Lunch 14:00–15:30 Session 2 (Chair Val Tannen) 14:00 Peter Buneman (The University of Edinburgh, UK) 15:00 Michael Fried, Anna Fensel (STI Innsbruck, Austria), Federico Michele Facca (CREATE-NET, Trento, Italy), Dieter Fensel (STI Innsbruck, Austria) 15:30–16:00 Refreshments 16:15–22:00 Visiting Opera & Ballet Theatre Wednesday, June 299:30–10:30 Session 3 (Chair Eike Best) 9:30 Ugo Montanari (Pisa University, Italy) 10:30–11:00 Refreshments & Group Photo 11:00–12:00 Session 4 (Chair Torben Mogensen) 11:00 Andrei V. Klimov (Keldysh Inst. Applied Mathematics, Moscow, Russia) 11:30 Ilya Klyuchnikov, Sergei A. Romanenko (Keldysh Inst. Applied Mathematics, Moscow, Russia) 12:00–13:00 Poster Session 13:00–14:00 Lunch 15:00–21:00 Barbecue Thursday, June 309:30–11:00 Session 5 (Chair Ugo Montanari) 9:30 Eike Best (Oldenburg University, Germany) 10:30 Arpit Sharma, Joost-Pieter Katoen (RWTH Aachen U, Germany) 11:00–11:30 Refreshments 11:30–13:15 Session 6 (Chair Konstantin Korovin) 11:30 Thomas Studer (U Bern, Switzerland) 12:00 Radu Mardare (Aalborg University, Denmark) 12:30 Alexander Letichevsky, Olexander Letichevskyi (Glushkov Inst Cybernetics, Kiev, Ukraine), Vladimir Peschanenko (Kherson State U, Ukraine) 12:45 Natalia Garanina (Inst. Inform. Syst., Novosibirsk, Russia) 13:15–14:00 Lunch 14:00–15:45 Session 7 (Chair Rupak Majumdar) 14:00 Nestan Tsiskaridze, Andrei Voronkov, Konstantin Korovin (Manchester U, UK) 14:30 Margus Veanes, Nikolaj Bjorner (Microsoft Research, Redmond, USA) 15:00 Jens Knoop, Laura Kovacs, Jakob Zwirchmayr (TU Vienna, Austria) 15:30 Konstantin Korovin, Andrei Voronkov (Manchester U, UK) 15:45–16:15 Refreshments 16:15–17:30 Session 8 (Chair Frédéric Benhamou) 16:15 Evgeny Vityaev (Inst. Mathematics, Novosibirsk, Russia), Alexander Demin (Inst. Inform. Syst., Novosibirsk, Russia), Denis Ponomaryov (Inst. Inform. Syst., Novosibirsk, Russia) 16:45 Rafael Caballero, Yolanda García-Ruiz, Fernando Saenz-Perez (U Complutense Madrid, Spain) 17:00 Nikolay Shilov (Inst. Inform. Syst., Novosibirsk, Russia), Renat Idrisov, Alexander Akinin, Alexey Zubkov (Novosibirsk State U, Russia) 17:15 Evgueni Petrov (Intel, Novosibirsk, Russia) Friday, July 19:30–11:00 Session 9 (Chair Robert Glück) 9:30 Rupak Majumdar (MPI-SWS, Germany) 10:30 Thomas Baar, Philipp Kumar (akquinet tech@spree GmbH, Berlin, Germany) 11:00–11:30 Refreshments 11:30–13:00 Session 10 (Chair Thomas Baar) 11:30 Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved and Alexander Strakh (Inst. System Programming, Moscow, Russia) 12:00 Michael Beyer, Sabine Glesner (TU-Berlin, Germany) 12:30 Mauro Jaskelioff (CIFASIS-CONICET/Universidad Nacional de Rosario, Argentina), Alejandro Russo (Chalmers U Techn., Gothenburg, Sweden) 12:45 Andrey Ponomarenko, Vladimir Rubanov (Inst. System Programming, Moscow, Russia) 13:00–14:00 Lunch 14:00–15:15 Session 11 (Chair Irina Virbitskaite) 14:00 Margarita Korovina (Manchester U, UK), Nicolai Vorobjov (U Bath, UK) 14:30 Roman Dubtsov (Inst. Inform. Syst., Novosibirsk, Russia) 14:45 Nataliya Gribovskaya (Inst. Inform. Syst., Novosibirsk, Russia) 15:00 Elena Bozhenkova (Inst. Inform. Syst., Novosibirsk, Russia) 19:00–23:00 Concluding Session — Conference Dinner |
Development: xTech © 2008-2024 ИСИ СО РАН |