TMPA-2017: Program Committee
- Andre Scedrov (co-chair, University of Pennsylvania and Higher School of Economics, USA, Russia)
- Victor Zakharov (co-chair, Federal Research Center "Computer Science & Control", Russia)
- Vladimir Itsykson (co-chair, St.Petersburg Polytechnic University, Russia)
- Erika Abraham (RWTH Aachen University, Germany)
- Marat Ahin (Digitek Labs and St.Petersburg Polytechnic University, Russia)
- Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
- Mikhail Belyaev (Digitek Labs and St.Petersburg Polytechnic University, Russia)
- Dirk Beyer (LMU Munich, Germany)
- Nikolaj Bjorner (Microsoft Research, USA)
- Dmitry Boulytchev (Lanit-Tercom and St.Petersburg Polytechnic University, Russia)
- Michele Bugliesi (Università Ca' Foscari Venezia, Italy)
- Franck Cassez (Macquarie University, Australia)
- Vincent Cheval (Inria Nancy, France)
- David Clark (University College London, UK)
- Louise Dennis (University of Liverpool, UK)
- Jerome Feret (Institut national de recherche en informatique et en automatique, France)
- Goran Frehse (Université Grenoble Alpes, France)
- Carsten Fuhs (Birkbeck, University of London, UK)
- Pierre Ganty (IMDEA Software Institute, Spain)
- Roberto Giacobazzi (University of Verona, Italy)
- Mikhail Glukhikh (JetBrains and St.Petersburg Polytechnic University, Russia)
- Colas Le Guernic (DGA and Inria Rennes, France)
- Peter Habermehl (IRIF and Université Paris Diderot, France)
- Sebastian Hunt (City University London, UK)
- Iosif Itkin (Exactpro, London Stock Exchange Group, Russia)
- Limin Jia (Carnegie Mellon University, USA)
- Alexander Kamkin (Institute for System Programming, Russia)
- Max Kanovich (University College London, UK)
- Joe Kiniry (Galois, USA)
- Jacob Kirilenko (St.Petersburg Polytechnic University, Russia)
- Igor Konnov (Vienna University of Technology, Austria)
- Boris Köpf (IMDEA Software Institute, Spain)
- Victor Kulyamin (Institute for System Programming and Moscow State Lomonosov University, Russia)
- Ramana Kumar (The University of New South Wales, Australia)
- Alexei Lisitsa (University of Liverpool, UK)
- Ben Livshits (Microsoft Research and University of Washington, USA)
- Irina Lomazova (Higher School of Economics, Russia)
- Pete Manolios (Northeastern University, USA)
- Roland Meyer (University of Kaiserslautern, Germany)
- Claude Michel (University of Nice-Sophia Antipolis, France)
- Mikhail Moiseev (Intel, Russia)
- David Monniaux (Centre national de la recherche scientifique and Verimag, France)
- Toby Murray (University of Melbourne, Australia)
- Uwe Nestmann (Technische Universität Berlin, Germany)
- Vivek Nigam (Universidade Federal da Paraíba, Brazil)
- Nikolay Pakulin (Institute for System Programming, Russia)
- Alexander Petrenko (Institute for System Programming and Moscow State Lomonosov University, Russia)
- Jaco van de Pol (University of Twente, the Netherlands)
- Silvio Ranise (Fondazione Bruno Kessler, Italy)
- Jan Reineke (Saarland University, Germany)
- Mark Reynolds (The University of Western Australia, Australia)
- Maxim Rudovsky (Exactpro, London Stock Exchange Group, Russia)
- John Rushby (SRI International, USA)
- Andrey Rybalchenko (Microsoft Research Cambridge, UK)
- Andrei Sabelfeld (Chalmers University of Technology, Sweden)
- Julien Schmaltz (Eindhoven University of Technology, the Netherlands)
- Ilya Sergey (University College London, UK)
- Carsten Sinz (Karlsruhe Institute of Technology, Germany)
- Pawel Sobocinski (University of Southampton, UK)
- Sofiène Tahar (Concordia University, Canada)
- Carolyn Talcott (SRI International, USA)
- Hossein Talebi (Helmholtz-Zentrum Geesthacht, Germany)
- Michael Tautschnig (Queen Mary University of London, UK)
- Tachio Terauchi (Japan Advanced Institute of Science and Technology, Japan)
- Dmitry Tsitelov (Devexperts, Russia)
- Josef Widder (Vienna University of Technology, Austria)
- Thomas Wies (New York University, USA, Russia)
- Tim A.C. Willemse (Eindhoven University of Technology and CERN, the Netherlands)
- Kirsten Winter (University of Queensland, Australia)
- Rostislav Yavorskiy (Higher School of Economics, Russia)
- Vladimir Zakharov (Moscow State Lomonosov University, Russia)
- Santiago Zanella-Beguelin (Microsoft Research, UK)