Tuesday, September 15th, 2015
| 09:00–10:40 | AITM. Session Chair: Christian Leyh (room E106) |
| 09:00-09:05 | Opening of AITM, Jerzy Korczak Chair of AITM |
| Efficiency of formal verification of ArchiMate business processes with NuSMV model checker - Piotr Szwed | |
| Methodological Aspects of Decision Support System for the Location of Renewable Energy Sources - Jarosław Wątróbski, Paweł Ziemba, Waldemar Wolski | |
| Fuzzy logic in the multi-agent financial decision support system - Jerzy Korczak, Marcin Hernes, Maciej Bac | |
| Real-time Direct Translation System for Sinhala and Tamil Languages - Rajpirathap Sakthithasan., Shellvacumar Sheeyam, Umasuthan Kanthasamy, Amalraj Chelvarajah |
| 14:00–15:40 | AITM. Session Chair: Bogdan Franczyk (room E106) |
| Critical Success Factors for Implementing Supply Chain Management Systems - Christian Leyh, Julia Thomschke | |
| Approach to Analysis and Assessment of ERP Systems. A Software Vendor's Perspective - Ilona Pawełoszek | |
| Secure service interaction for collaborative business processes in the inter-cloud - Björn Schwarzbach, Michael Glöckner, Alexander Pirogov, Martin Max Röhling, Bogdan Franczyk | |
| Integration of B2B system that supports the management of construction processes with ERP systems - Monika Łobaziewicz | |
| The automatic summarization of text documents in the Cognitive Integrated Management Information System - Marcin Hernes, Marcin Maleszka, Ngoc Thanh Nguyen, Andrzej Bytniewski |
| 16:00–18:00 | AITM. Session Chair: Ilona Pawełoszek (room E106) |
| Knowledge Management in MCDA Domain - Jarosław Wątróbski, Jarosław Jankowski | |
| The semantic method for agents’ knowledge representation in the Cognitive Integrated Management Information System - Marcin Hernes | |
| Knowledge representation in controlling sub-system - Anna Chojnacka-Komorowska, Marcin Hernes | |
| Smart Services Classification Framework - Tatiana Gavrilova, Liudmila Kokoulina | |
| Transaction Based Business Process Modeling - Frantisek Hunka, Roman Belunek | |
| Buying stock market winners on Warsaw Stock Exchange - quantitative backtests of a short term trend following strategy - Aleksander Fafuła, Krzysztof Drelczuk |







