EXTENT Trading Technologies Trends & Quality Assurance

Friday, November 8, 2013

Electronic Trading Platforms: Unconventional Methods of Software Testing

Круглый стол: Нешаблонные методы тестирования программного обеспечения для электронных торговых платформ Tools & Methods of Program Analysis Conference TMPA-2013
Ведущие:
  • Цителов Дмитрий, Devexperts LLC
  • Иванов Александр, КоФиТе
  • Зверев Алексей, Exactpro
  • Рудовский Максим, Инновационные Трейдинговые Системы
  • Иткин Иосиф, Exactpro

  • Участники: СПбГПУ, СПбГУ, Московская Биржа, ИТС-Эксперт

    Monday, October 14, 2013

    Presentations from TMPA-2013 are now available on SlideShare

    Program:


    October 10, 2013
    09:00
    Registration
    09:30
    Conference Оpening
    10:15
    Yuri G. Karpov, Professor, Head of Department of Distributed Computing and Networking of the St. Petersburg State
    Polytechnic University Technical Cybernetics School SPSPUTCS

    Verification of Parallel Programs – Current Stage and Perspectives
    11:15 Coffee-break
    verification:
    11:45
    Pakulin, N., Institute for System Programming, ISP RAS
    Dynamic Verification of Hybrid Systems
    12:15
    12:45
    Kuzmin, Е., Ryabukhin, D., Shipov, А Yaroslavl State University
    Building and Verification of PLC Programs Based on LTL Specification
    13:15
    Anureyev, I., A.P.Ershov Institute of Informatics Systems
    On the Road to Technology of Developing the Means of Deductive Program Verification
    13:45
    Lukin, M., Shalyto, А. , St. Petersburg National Research University of Information Technologies, Mechanics and Optics
    Verification of Distributed Automated Programs Using the Spin Tool
    14:00 Lunch
    15:30
    Zaitsev D., Professor, International Humanitarian University, Odessa, Ukraine

    The Efficient Universal Sleptsov Net
    hardware track:
    16:00
    Ivannikov, V.P., Kamkin, A.S., Chupilko, M.M., Institute for System Programming, ISP RAS
    Verification of Correct Behaviour of HDL-Models of Digital Equipment Based on the Dynamic Comparison of Tracks
    17:00
    Shipin, А.А., Sokolov, V.А., Chaliy, D.U., Yaroslavl State University
    The Usage of Check Points for SystemC Program Verification
    17:30
    Frenkel, S.L., Zakharov, V.N., Ushakov, V.G., Institute of Informatics Problems, RAS; Moscow State University
    Unified High Level Model of Software and Hardware System for Verifying Functional Reliability
    17:45
    Smirnov, М., Olonichev, V., Staroverov, B. , Kostroma State Technological University
    The Specifics of Developing Software for Linux Controllers


    October 11, 2013
    08:30
    Registration
    09:30
    Alexander K. Petrenko, Professor, Head of Programming Technologies Department, Institute for System Programming ISP RAS
    Technical Solutions and Non-Technical Challenges of Test Automation
    10:30 ISTQB
    testing:
    11:00
    Basok, B., Grechin, A., Moscow State Technical University of Radioengineering, Electronics and Automation
    On Improving the Statistical Method of Assessing Test Coverage for Programs and Devices
    11:30 Coffee-break
    12:00
    12:30
    13:00
    Nikeshin, А., Pakulin, N., Shnitman, V., Institute for System Programming, ISP RAS
    Automation of Conformance Testing of TLS Transport Layer Security Protocol
    13:15
    trading system:
    13:30
    Matveeva, А., Antonov, N., Itkin, I, Innovative Trading Systems, LLC, Kostroma State Technological University, Exactpro Systems, LLC
    The Specifics of Test Tools Used in Trading Systems Production Environments
    14:00 Lunch
    15:30
    Alexeenko, А., Protsenko, P., Matveeva, А., Itkin, I., Sharov D., Innovative Trading Systems, LLC, Exactpro Systems LLC
    Compatibility Testing of Protocol Connections of Exchange and Broker Systems Clients
    15:50
    О., Buyanova, А, Zverev, А.,Bulda Innovative Trading Systems, LLC, Kostroma State Technological University,
    Exactpro Systems, LLC

    The Application of Exchange Simulators for Ticker Plant Testing
    16:10
    Guriev, D., Gai, M., Itkin, I., Terentiev, A., Innovative Trading Systems, LLC
    High Performance Load Generator for Automated Trading Systems Testing
    16:30
    Pryadkina N., Kryukov, A , Kostroma State Technological University
    Model Based Testing Approach for Verification of Exchange Surveillance Systems
    16:45
    17:00 Coffee-break
    17:30
    Round Table:
    Electronic Trading Platforms: Unconventional Methods of Software Testing

    October 12, 2013
    09:00
    Registration
    09:30
    Vladimir A. Zakharov, Associate Professor of Mathematical Cybernetics Department, Head of Laboratory of Mathematical Problems of Computer Security, Faculty of Computational Mathematics and Cybernetics, Moscow State University (MSU)
    Mathematical Aspects of Program Obfuscation
    analysis of programs:
    10:30
    Tsytelov, D., Trifanov, V., Devexperts LLC, St. Petersburg State University
    Search of Race Conditions in Java Programs Based on Synchronization Contracts
    11:00
    Vert, Т., Krikun, Т. и Glukhih, М., St. Petersburg State Polytechnic University, Clausthal Technical University
    Finding Defects in C and C++ Pointers Using Static Analysis and Logical Inference
    11:30 Coffee-break
    12:00
    Andrianova, А., Itsykson, V., St. Petersburg State Polytechnic University
    Automated Test Synthesis for Java Programs Based on Program Analysis and Contract Inventory
    12:30
    Bui, D., Kompan, S., Taras Shevchenko National University of Kyiv
    OOP Class Diagrams: Formation and Analysis
    12:45
    Round table:
    How to Write a Good Scientific Paper
    13:30
    Conference closing
    14:00 The final dinner

    Thursday, September 26, 2013

    Technical Solutions and Non-Technical Challenges of Test Automation

    Dr. Alexander Petrenko (http://panda.ispras.ru/~petrenko/index.html) will be a keynote speaker on the subject of "Technical Solutions and Non-Technical Challenges of Test Automation" during TMPA-2013 Conference in Kostroma.

    The potential for using program analysis, and particularly test generation, is sky-rocketing. However, putting new technologies into practice has been a challenge. What are the technical and non-technical aspects of this problem?
    http://tmpaconf.org/programen/

    Friday, September 13, 2013

    Процесс рецензирования TMPA-2013 завершен

    Программный комитет TMPA-2013 провел тщательный отбор статей, собрав по три-четыре рецензии на каждую из представленных работ. Список докладов которые будут приняты для участия в конференции после внесения авторами изменений, основанных на комментариях, предложениях и замечаниях рецензентов, опубликован здесь: http://tmpaconf.org/programru
    Acceptance rate = 0.67 ( 0.46 для секционных докладов )
    Секционные доклады
  • Кузьмин Е., Рябухин Д., Шипов А.
  • Построение и вертификация ПЛК-программ по LTL-спецификации Ярославский государственный университет им. П.Г. Демидова
  • Верт Т., Крикун Т. и Глухих М.
  • Обнаружение дефектов работы с указателями в программах С и С++ с исользованием статистического анализа и логического вывода Санкт-Петербургский государственный политехнический университет, Технический университет Клаусталя
  • Никешин А., Пакулин Н., Шнитман
  • Автоматизация тестирования соответствия протокола безопасности транспортного уровня TLS Институт системного программирования РАН
  • Подымов В., Попеско У.
  • Вертификация программно-конфигурируемых сетей при помощи системы UPPAAL МГУ имени М.В. Ломоносова
  • Иванников В.П., Камкин А.С., Чупилко М.М.
  • Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс Институт системного программирования Российской академии наук (ИСП РАН)
  • Андрианова А., Ицыксон В.
  • Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов Санк-Петербургский государственный политехнический университет
  • Ануреев И.
  • На пути к технологии разработки стредств дедуктивной вертификации программ Институт систем информатики имени А.П. Ершова, Россия
  • Френкель С.Л., Захаров В.Н., Ушаков В.Г.
  • Унифицированная высокоуровневая модель программно-аппаратной системы для верификации свойств надежности функционирования Институт Проблем Информатики РАН, Московский Гос. Университет им. М.В. Ломоносова
  • Буянова О., Булда А, Зверев А.
  • Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant) ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems LLC
  • Шипин А.А., Соколов В.А., Чалый Д.Ю.
  • Использование контрольных точек для вертификации SystemC-программ Ярославский государственный университет
  • Матвеева А., Антонов Н., Иткин И.
  • Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems LLC
  • Алексеенко А., Проценко П.,Матвеева А., Иткин И.
  • Тестирование совместимости протокольных подключений клиентов биржевых и брокерских систем ООО «Инновационные Трейдинговые Системы», Exactpro Systems LLC
  • Гурьев Д., Гай М., Иткин И., Терентьев А.
  • Высокопроизводительный генератор нагрузки для тестирования систем автоматизированной торговли ООО «Инновационные Трейдинговые Системы», Саратовский государственный технический университет имени Гагарина Ю.А.
  • Цителов Д. ,Трифанов В.
  • Динамический поиск гонок в Java-программах на основе синхронизационных контрактов Devexperts LLC, СПбГУ
  • Зорин Д.
  • Синтез архитектуры многопроцессорных вычислительных систем с учетом ограничений реального времени и требований к надежности Московский Государственный Университет им. М.В. Ломоносова
  • Пакулин Н.
  • Динамическая верификация гибридных систем Институт системного программирования РАН
  • Сартаков В., Тарасиков А.
  • Анализ производительности сетевой подсистемы микроядерного окружения Genode ksys labs
  • Басок Б., Гречин А.
  • Об усовершенствовании статистического метода оценки полноты тестов программ и устройств Московский государственный технический университет радиотехники, электроники и автоматики
    Краткие сообщения
  • Смирнов М., Олоничев В., Староверов Б.
  • Особенности разработки программного обеспечения для Linux-контроллеров Костромской государственный технологический университет
  • Тимофеев А.
  • Методика внедрения модельно-ориентированного подхода в процесс разработки программного обеспечения Владимирский Государственный Университет имени А.Г. и Н.Г. Столетовых
  • Сенов А.
  • Применение технологий OLAP и MapReduce для обработки результатов нагрузочного тестирования Костромской государственный технологический университет
  • Буй Д., Компан С.
  • Диаграммы классов ООП: форматицация и анализ Киевский национальный университет имени Тараса Шевченка
  • Бобров И., Зверев А.
  • Тестирование графического интерфейса трейдинговых терминалов в условиях высокочастотной торговли ООО «Инновационные Трейдинговые Системы»
  • Прядкина Н., Крюков А.
  • Использование MBT-подхода для верификации систем мониторинга и контроля на фондовых биржах Костромской государственный технологический университет
  • Лукин М., Шалыто А.
  • Верификация распределенных автоматных программ с использованием инструментального средства Spin СПб НИУ ИТМО
  • Журавлев М., Полозов В.
  • Подход к верификации корректности миграции данных между СУБД с использованием криптографических хэш-функций Санкт-Петербургский Государственный Университет

    Wednesday, August 7, 2013

    13 августа - стартует процесс рецензирования статей TMPA-2013

    10 - 12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения. На конкурс было подано 40 статей. Процесс рецензирования и отбора начнется 13 августа. Программный комитет состоит из 23 ведущих ученых в области инструментов и методов анализа программ Добро пожаловать на TMPA-2013 в Костроме! http://tmpaconf.org

    Monday, July 22, 2013

    Солнце садилось за Гонолулу – TMPA-2013

    Солнце садилось за Гонолулу. Крайний срок подачи аннотаций статей приближался. Есть еще время. Но его мало - http://tmpaconf.org/speakersru
    Ключевые даты:
  • 22 июля – последний срок подачи аннотаций статей
  • 1 августа – последний срок подачи статей
  • 31 августа – публикация списка принятых работ
  • 10 сентября – предоставление финальных версий статей для публикации в сборнике
  • 10-12 октября – рабочие дни конференции «TMPA-2013»

  • Friday, July 19, 2013

    Russian Finance & Investment Forum 2013 in Zurich

    On July 11, 2013 Zurich, Switzerland hosted the Russian Finance & Investment Forum 2013 devoted to attracting international investors to financial and investment projects in Russia.

    A presentation from Exactpro Systems LLC contained a short overview of software development and quality assurance industry for global financial markets, including the latest state-of-the-art technology software products developed by Russian specialists.

    Part of the presentation focused on cooperation of IT employers with Russia’s leading universities and academia, international conferences and workshops held in Russia, specialized on-line communities supported by enthusiasts and showing growing interest to software development in the country as a whole, and tax incentives for accredited Russian IT companies.




    Friday, May 24, 2013

    Презентация проекта по вовлечению студентов, аспирантов и молодых ученых "Виртуальное Сколково" в Костроме

    22 мая в рамках Недели предпринимателя в Костроме прошел круглый стол «Развитие IT-технологий в Костромской области» Ростислав Яворский, менеджер по связям с интернет-партнерами фонда "Сколково" презентовал проект по вовлечению студентов, аспирантов и молодых ученных "Виртуальное Сколково" Иосиф Иткин, соучредитель компании "Инновационные Трейдинговые Системы" выдал очередной поток сознания про необходимость развивать ИТ образование в Костроме http://smi44.ru/news/economy/razvitie-it-tekhnologiy-/

    Saturday, April 27, 2013

    Идите неровным прерывистым шагом (J. Bach)

    Презентация: "A-Galumphing We Go – James Bach"


    Презентация рассказывает о методе тестирования, который мы часто используем не задумываясь и дает ему название - Galumphing.
    Galumphing - A style of test design and execution whereby inert variations in test procedure are used to find unanticipated and potentially important bugs (Метод проектирования и выполнения тестов при котором малозначительные изменения процедуры выполнения тестов используются для нахождения неожиданных и потенциально важных дефектов)
    Цитаты:
  • You insert variations that you think will not make any difference at all (Вы вносите изменения, про которые вы думаете, что они не на что не повлияют)
  • Testers are all about exploring the leaky abstractions called specifications (Тестировщики как раз и занимаются исследованием дырявых абстракций которые называются спецификациями
  • If you only have a push button you have to introduce complexity some other way (Если все что вам нужно сделать это нажать кнопку, значит вам придется внести сложность в каком-то другом месте

  • И ссылки: http://www.ministryoftesting.com/2013/04/testbash-video-a-galumphing-we-go-james-bach/
    http://danashby04.wordpress.com/2013/03/27/lessons-learned-from-testbash2-0/ Dan Ashby's Mind map

    Thursday, April 18, 2013

    Инструменты и методы анализа программ, TMPA-2013

    10-12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения. Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию, финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие. Разработка новых и усовершенствование существующих инструментов и методов анализа программ – одно из необходимых условий внедрения инноваций в этих отраслях. Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации. В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.

    Тематика конференции

    Темы, рассматриваемые на конференции, включают (но не ограничиваются):
    • автоматизация тестирования программного обеспечения;
    • статический анализ программ;
    • верификация;
    • динамические методы анализа программ;
    • тестирование и анализ параллельных и распределенных систем;
    • тестирование и анализ высоконагруженных систем и систем высокой доступности;
    • анализ и верификация программно-аппаратных систем;
    • методы создания качественного программного обеспечения;
    • инструментальные средства анализа, тестирования и верификации.
    На конференции будут представлены как приглашенные доклады признанных специалистов в области программной инженерии, так и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и зарубежные ученые в области разработки и анализа программного обеспечения. Отобранные конкурсные доклады после доработки авторами будут опубликованы в сборнике конференции. Лучшие доклады будут рекомендованы к публикации в расширенном виде в изданиях, включенных в список ВАК РФ: «Системы и средства информатики» и «Научно-технические ведомости СПбГПУ. Информатика, телекоммуникации, управление». Оргкомитет предоставит авторам ряда отобранных статей помощь в переводе их на английский язык с целью обеспечения возможности публикации в зарубежных изданиях. Авторы лучших докладов будут награждены памятными подарками. Оргкомитет организует бесплатное проживание для докладчиков конференции и транспорт для участников между Москвой и Костромой.

    Организаторы конференции

    • Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ)
    • Институт проблем информатики Российской академии наук (ИПИ РАН)
    • Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ)
    • Компания «Инновационные Трейдинговые Системы» (ИТС)

    Программный комитет конференции

    • Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
    • Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, со-председатель
    • Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
    • Басок Борис Моисеевич, к.т.н., доцент МИРЭА
    • Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;
    • Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
    • Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
    • Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В. Келдыша РАН;
    • Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;
    • Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;
    • Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;
    • Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;
    • Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;
    • Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;
    • Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;
    • Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН
    • Цесько Вадим Александрович, старший разработчик, Яндекс

    Организационный комитет конференции

    • Киселев Михаил Владимирович (д.т.н., проф., проректор по научной работе КГТУ, председатель)
    • Матвеева Елена Анатольевна (зав. аспирантурой и докторантурой КГТУ)
    • Тихомиров Леонид Алексеевич (к.т.н, доцент, начальник Управления научно-инновационной деятельности КГТУ)
    • Яворский Ростислав Эдуардович (Фонд «Сколково»)
    • Ходченко Александра Сергеевна («Инновационные Трейдинговые Системы»)

    Подача докладов

    На конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц, оформленные в соответствии с требованиями Lecture Notes in Computer Science (LNCS). Подробная информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых процессоров и систем компьютерной верстки доступна по ссылке. В качестве примера оформления статей можно использовать следующий документ, содержащий описание требований к оформлению LNCS, представленное в виде статьи в формате LNCS.

    Участники конференции

    Программный комитет предполагает, что основными участниками конференции будут студенты старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также признанные ученые, готовые поделиться своими инновационными разработками. Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы ожидаем интересных практических докладов от ведущих фирм-разработчиков программного обеспечения.

    Место проведения

    Конференция будет проходить в Костромском государственном технологическом университете (КГТУ). Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы. С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ и комплексов высоконагруженных биржевых и трейдинговых систем. В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.

    Ключевые даты

    • 1 мая – начало приема заявок
    • 1 июля – последний срок подачи статей.
    • 24 августа – публикация списка принятых работ
    • 10 сентября – предоставление финальных версий статей для публикации в сборнике
    • 10-12 октября – рабочие дни конференции «TMPA-2013»

    Контакты

    Сайт конференции: www.tmpaconf.org E-mail: program@tmpconf.org Телефон: +7 495 640 2460 Группы в социальных сетях: Facebook ВКонтакте Google+ EXTENT Conference Series


    Thursday, April 4, 2013

    Cinnober whitepaper about Java

    Located an interesting paper about Java from Cinnober, by accident: http://www.cinnober.com/sites/cinnober.com/files/news/The-benefits-of-Java-white-paper-1.pdf
    A Cinnober white paper
    The benefits of using Java as a high-performance language for mission critical financial applications
    Cinnober Financial Technology AB
    Research & Technology, 8 October 2012
    Cinnober’s practical experience from a decade of development

    Анализ Результатов Нагрузочного Тестирования: Чурозавр и Холера

    В рамкам Обнинского Семинара по Высоконагруженным Системам была прочитана лекция из серии Украденные Мысли: «Анализ Результатов Нагрузочного Тестирования: Чурозавр и Холера».

     
    Лекция – перевод на русский язык и изложение своими словами, с добавлением национального колорита, выступлений John Rauser на конференциях Velocity Web Performance and Operations 2011 и 2012.

    Рекомендуем послушать оригиналы на английском:

    Friday, March 1, 2013

    EXTENT Conference Online Translation

    iLearney — крупнейший независимый портал по дистанционному обучению трейдингу. Для Вас: занятия разного уровня сложности, знания обо всех финансовых рынках, удобный формат подачи материала (вебинары, онлайн-конференции), комфортное время обучения, практикующие преподаватели-трейдеры.
    EXTENT online translation will be available at http://www.ilearney.com/projects/extentconf/

    Tuesday, February 26, 2013

    Опубликована программа EXTENT Trading Technology Trends & Quality Assurance 2013

    March, 2013



    March 2, 2013

    09:00 - 10:00
    Registration
    10:00 - 10:10
    Conference Оpening
    10:15 - 10:40
    EXANTE - "Cross-Asset Portfolio Margin Risk Calculation for HFT"

    Sergey Troshin, Tech lead at EXANTE, The Organic Choice in Finance
    10:40 - 11:40
    Exactpro Systems - "Exactpro Test Automation Tools"

    Alexey Zverev, Managing Director, Exactpro Systems
    Olga Buyanova, Senior QA Analyst, Exactpro Systems
    Marina Kudryavtseva, QA Lead, Exactpro Systems
    Asya Legotina, QA Analyst, Exactpro Systems
    Natalia Pryadkina, QA Analyst, Exactpro Systems
    Daria Terentieva, QA Analyst, Exactpro Systems
    11:40 - 12:00 Coffee-break
    12:00 - 12:30
    London Stock Exchange - "The Focus Beyond Low Latency"

    Luciano Zanetti, Head of Technology Equity Products Borsa Italiana,
    London Stock Exchange Group
    12:30 - 13:30 Round Table - "Trading Systems: Fault Tolerance"
    13:30 - 14:00 Coffee-break
    14:00 - 14:30
    Mark Ryland - "How a Great QA Team Can Make a Disproportionate Contribution to Project Success"

    Mark Ryland, Financial Markets Technology Consultant
    14:30 - 15:00
    Solace Systems - "High Performance Messaging"
    Clive Andrews, Sales Director, Solace Systems
    15:00 - 15:30
    ITinvest - "New Trading System: Architecture and Capabilities"

    Andrey Ostashov, Head of Information Technology, ITinvest
    15:30 - 16:00 Coffee-break
    16:00 - 16:30
    Exactpro Systems - "Test Tools for Trading Systems: Evolution Theory"

    Alexander Barch, NFT Analyst, Exactpro Systems
    Anastasia Matveeva, QA Manager, Exactpro Systems
    16:30 - 17:00
    IBM - "Managing Uncertain Data at Scale"

    Nikolay Marin, Enterprise Architect, IBM
    17:00 - 17:30
    Exactpro Systems - "Trading Systems: Testing at the Confluence of FT & NFT"

    Alexey Zverev, Managing Director, Exactpro Systems
    Alyona Bulda, QA Project Lead, Exactpro Systems
    Ivan Bobrov, HFT Analyst, Exactpro Systems
    17:30 - 17:50 Coffee-break
    17:50 - 18:20
    e-nestdata - "Data Center Fault Tolerance"

    Alberto Borghi, Business Development Manager, e-nestdata
    18:20 - 18:50
    Skolkovo - "Skolkovo Mission in the Development of Professional
    IT community in Russia"

    Rostislav Yavorsky, Partner Relationship Manager, Skolkovo Foundation
    18:50 - 19:00 Conference closing
    19:00 - 22:00 After-hours party