1. VI Summer School“Achievements and Applicationsof Contemporary Informatics, Mathematics and Physics”(AACIMP-2011) Introductory lectures in CS-stream August 8, 2011 Kyiv, Ukraine

3. Computer Science AACIMP CS-stream The stream “Computer Science” introduces participants contemporary programming technologies, modern techniques and methodologies concerning the whole cycle of software development, project management tools and approaches for working at IT-projects, latest researches, held by strong specialists in this area.

4. Program overview

6. Diversity

7. Qualityof topics, fields, approaches,teaching methods, studying etc.

8. Stream structure CS-stream program Courses Functional programming language CS-01 Introduction to Erlang - functional programming language (9 h) CS-02 Introduction to Practical Functional Programming using F# (5 h) Java CS-03 Java Performance (8h) Information security CS-05 Information Security (6 h)

9. Stream structure CS-stream program Courses Software engineering CS-06 Software Design and Design Patterns (6 h) CS-07 User Interface Design and Prototyping(3 h) CS-08Introduction to Version Control Systems (1 h) CS-09 Introduction to Agile Project Management (2 h) CS-10 Introduction to Clouds in real life (1 h) CS-12 Using Azure Development Environment (2 h) CS-04 Requirements Based Testing (3 h)

10. Stream structure CS-stream program Lectures CS-11 Telecommunication Industry Transformation. Challenges and Opportunities (1 h) SGC-09 Numerical computations with infinite andinfinitesimal numbers and the Infinity Computer (2 h) SGC-11 Synchronization of clocks (2 h) SGC-14Siemens online project “Smart Cities in Ukraine” (1 h)

11. Stream schedule CS-stream program CS-02 CS-09 CS-01 CS-03 CS-11 CS-08 CS-12 CS-06 CS-05 SGC-14 CS-10 CGS-09 CS-04 CGS-11 CS-07

12. Introduction to Erlang– Functional Programming Language CS-01 10.08-11.08 Tutor VasilijSavin IT Consultant, teaching assistant Uppsala University; UAB Sintagma; Netlight Consulting AB, Sweden E-mail: vasilij.savin@netlight.se Course overview In this course, students will learn how to solve problems in a functional way and how to develop simple concurrent programs. The course consists of 3 modules: Basic Erlang, Sequential Erlang (Funs & Lists), Concurrent Programming in Erlang.

13. Introduction to Practical Functional Programming using F# CS-02 09.08 Tutor Dmitriy Soshnikov Ph.D. Microsoft Russia; National Research University “Higher School of Economics”, Russia E-mail: dmitryso@microsoft.com Course overview The course starts with introduction into functional programming and language F#. Afterwards, both recursive data structures and purely functional data structures are discussed as well; attention is also paid to monadic expressions. One of the main emphasizes of the course refers to parallel and asynchronous computations at F#.

14. Java Performance CS-03 12.08-13.08 Tutor ZdenekTronicek Ph.D. in informatics, professor Faculty of Information Technology, Czech Technical University, Czech Republic E-mail:tronicek@fit.cvut.cz Course overview In this course, students learn how to approach performance tuning, how to find a bottleneck in Java program, and how to solve common performance problems. The course consists of four modules: “Introduction”, “Performance Testing”, “Memory Management”, and “Threads and Synchronization”.

15. Software Design and Design Patterns CS-06 17.08 Tutor VasilijSavin IT Consultant, teaching assistant Uppsala University; UAB Sintagma; Netlight Consulting AB, Sweden E-mail: vasilij.savin@netlight.se Course overview In this course, students will acquire general knowledge how to reason about and design complex and large system. The lectures cover basic aspects and principles of software architecture and design patterns.

16. User Interface Design and Prototyping CS-07, room 40(3) 16.08 Tutor AleksejLeonov M.Sc. in System analysis, M.Sc in Administrative management Phoenix Capital Investment Bank, Ukraine E-mail: aleksejleonov@mail.com Course overview This course examines basics aspects of UI Design and teaches you how to create a sound user interface. You gain an understanding of the overall user interface design process, learn how to develop personas and create prototypes, how to ordering disorder with grids and many other techniques and approaches.

17. Introduction to Agile Project Management CS-09 08.08 Tutor VasilijSavin IT Consultant, teaching assistant Uppsala University; UAB Sintagma; Netlight Consulting AB, Sweden E-mail: vasilij.savin@netlight.se Lecture overview In this lecture, students acquire general understanding about project management and agile practices. The main focus is on SCRUM project management technique and Extreme Programming (XP) practices.

18. Introduction to Version Control Systems CS-08 11.08 Tutor AleksejLeonov M.Sc. in System analysis, M.Sc in Administrative management Phoenix Capital Investment Bank, Ukraine E-mail: aleksejleonov@mail.com Lecture overview This course examines basics aspects of working with Revision control systems and why this systems “must have” in almost every real world software development process. You get an understanding basics of revision control systems workflow on real life examples using GIT (one of most popular revision control systems) and GitHub.com service.

19. Introduction to Clouds in real life CS-10 15.08 Tutor AleksejLeonov M.Sc. in System analysis, M.Sc in Administrative management Phoenix Capital Investment Bank, Ukraine E-mail: aleksejleonov@mail.com Lecture overview This lecture makes a practical introduction to Cloud computing and using clouds in real life. Participants examine basics aspects of clouds, their types (SaaS, IaaS, PaaS etc.) and what all this terms are really meaning. Students get understanding how one can use clouds in his own products, what benefits and difficulties he gets and overall, does it worth it or not.

20. Using Azure Development Environment CS-12 15.08 Tutor Denis Pasechnik Microsoft Ukraine E-mail: a-denisp@microsoft.com Lecture overview This lecture makes a practical introduction to Cloud computing and using clouds in real life. Participants examine basics aspects of clouds, their types (SaaS, IaaS, PaaS etc.) and what all this terms are really meaning. Students get understanding how one can use clouds in his own products, what benefits and difficulties he gets and overall, does it worth it or not.

21. Requirements Based Testing CS-04 18.08 Tutor MarynaDidkovska Ph.D., associate professor Video Internet Technologies Ltd., Institute for Applied Systems Analysis , NTUU KPI,Ukraine E-mail: md@vit.ua Course overview In this course, students acquire general understanding about requirement based testing, and main techniques of analyzing, such as ambiguity reviews and cause-effect graphing. The main focus is on requirement itself – what is good and bad requirement, how to validate it, how to create good test case based on it.

22. Information Security CS-05 18.08-19.08 Tutor AndreyRodionovPh.D. in information security Institute of Physics and Technology, NTUU KPI, Ukraine E-mail:andrey.rodionov@gmail.com Course overview In this course lecturer demonstrates most common vulnerabilities that are permitted during the development of applications, analyzes the causes of their appearance, as well as shows how they can be prevented.

23. Telecommunication Industry Transformation. Challenges and Opportunities. CS-11 11.08 Tutor Ivan IshchenkoSenior Business Analyst, Group Manager NetCracker Technology Corporation, Ukraine E-mail: ishchenko@netcracker.com Lecture overview The lecture highlights main trends in telecommunication industry, most probable scenarios of its development and what measures are taken by major players to address listed challenges. The lecture also tries to answer the question what world and what communication models we are moving to, what “future shocks” we should be ready to face.

24. Synchronization of clocks SGC-11, GPA 15.08 Tutor Tomasz Kapitaniak D.Sc. in physics and mathematics, professor Division of Dynamics, Technical University of Lodz, Poland E-mail: tomaszka@p.lodz.pl Lecture overview The lecture not only provides a general analysis of random effects in mechanical (engineering) systems, but addresses questions about the nature of randomness, and gives potentially useful tips for gamblers and the gaming industry.

25. Numerical computations with infinite and infinitesimal numbers and the Infinity Computer SGC-09, GPA 16.08 Tutor Yaroslav Sergeyev D.Sc.in Physics and Mathematics, professor University of Calabria, Rende (CS), Italy and N.I. Lobachevski Nizhni Novgorod State University, Russia E-mail: yaro@si.deis.unical.it Lecture overview The lecture discusses a new approach to numerical computations, allowing to build a simple and visual arithmetic for working not only with finite numbers, but also with an infinite and infinitesimal quantities.

26. Siemens online project “Smart Cities in Ukraine” SGC-14, GPA 16.08 Tutor OlenaSambrus Siemens, Ukraine Lecture overview The lecture present a new on-line project of Siemens company - Smart Cities in Ukraine. Siemens is a largest of its kind engineering conglomerate in Europe. The company acts in three main business sectors: industry, energy and healthcare.

27. Organizational issues

28. Main places AACIMP Organizational issues Center (Khreshchatyk) 230, 249, 433 Stadium “Olympic” 189, 199, 411, 427 Railway Station 465 Destinations:

29. KPI main building AACIMP Organizational issues Daily (except Sunday) from 9:30 to 18:00 participants and tutors may visit the Lounge-room (7), where they can find free access to Wi-Fi, water and tea. The Chart of Ideas — stand for ideas, comments, suggestions of participants and tutors is also there.

31. Time of a dinner will be changeable and will be announced beforehand by the organizers.

32. The badge serves as the admission to lectures, actions and places of residence.

33. Feel free to contact organizing committee for additional informational for example, a code Wi-Fi access in a students’ hostel and in the main building.Students’ Hostel Address: 146 Borshchahivs’ka str. Entrance is permitted till 23:00 and guest visits till 22:00

34. Social events AACIMP Organizational issues

36. In case of any damage caused to the property of NTUU “KPI” reimbursement of such damages is accomplished at the expense of a person, who had caused that damage.

37. Organizing Committee is not responsible for any injury, loss of expensive things, documents or unpredicted expenses incurred during the Summer School.

38. The badge serves as the admission to lectures, actions and places of residence.

40. Thank you for attention. Questions? E-mail: summerschool@ssa.org.ua Web-site: summerschool.ssa.org.ua