TUCS Newsletter 2.5.2014

Content of the newsletter

Salomaa@80 International Conference on June 2-3, 2014 in Turku

TUCS activities

TUCS Distinguished Lectures now on Youtube
TUCS Distinguished Lecture Series
TUCS Research Programme activities
TUCS Annual Report 2013

New courses

Courses on transferable skills at University of Turku
Courses in English for Research Students at Åbo Akademi University

Announcements

Call for applications to the Doctoral Network in Information Technologies and Mathematics
EIT ICT Labs Symposium on Future Cloud Computing
EIT ICT Labs Annual Report 2013 is published
Finnish Healthcare ICT Conference in Jyväskylä 20.–21.5.2014
DCFS 2014 in Turku
The Federated Computer Science Event (Yhdistetyt tietojenkäsittelyn päivät) 2014
Open jobs at University of Turku and Åbo Akademi University

Latest publications at TUCS

Salomaa@80 International Conference on June 2-3, 2014 in Turku

Department of Mathematics and Statistics of University of Turku will host a two-day conference (June 2nd - June 3rd) celebrating the 80th birthday of academician Arto Salomaa. Arto Salomaa is one of the founders of and key driving forces behind TUCS.

For half a century Arto Salomaa’s research and writings inspired and guided some of the most significant developments in foundations of computer science.He is one of the founders of, and the towering figure in, formal languages and automata theory. As a researcher, Arto is famous for being prolific, deep and broad, and for pioneering many important research directions. He has had more than 500 publications including 13 books translated into at least 7 different languages. His writings have had enormous influence on the development of theoretical computer science. Well-known examples are his famous "Formal Languages" book declared a classic by the Association for Computing Machinery and the three-volume masterpiece "Handbook of Formal Languages". His retirement in 1999 was in name only: his research is still flourishing and he is pursuing both classic and novel research directions. He has supervised 25 doctoral students, many of whom became well-recognized scientists in their own right and who are at key locations around the world.

Arto's enormous achievements are well recognized by the scientific community both in Finland and abroad. He is one of the most decorated computer scientists - among others, he holds 9 doctorates honoris causa. In 2001 he received Finland's highest scientific honor when he was appointed an Academician - only 12 scientists may hold this title at any moment of time.

The conference will take place at Publicum (T50 on the map) building in the auditorium Pub1.The program of the conference can be found at http://www2.math.utu.fi/projects/salomaa80/index.php

TUCS activities

TUCS Distinguished Lectures now on Youtube

As of 4.4.2014 we have started video recording the TUCS Distinguished Lectures. The recordings are uploaded on TUCS channel at Youtube: http://bit.ly/1fzkuuN

You can now find two lectures on the channel:

4.4.2014, Johan Håstad, KTH - Royal Institute of Technology, Sweden, “How hard it is to find a good solution?”: http://youtu.be/G_y_IjxCtg0

25.4.2014, Heikki Topi, Bentley University, USA: "Moving Toward a Research Agenda for the Social, Economic, and Workforce Implications of Big Data Analytics and Decision Making": http://youtu.be/7jWMON2_dp4

TUCS Distinguished Lecture Series

TUCS Distinguished Lecture Series is a forum for public lectures by outstanding national and international researchers in all aspects of computing, coming both from academia and industry. All lectures are free and open to the public.

Turku Centre for Computer Science (TUCS) is a joint research institute of University of Turku and Åbo Akademi University. The research activity in TUCS is currently carried out through four research programmes:

The next lecture this spring in the series:

Teuvo Kohonen (Aalto yliopisto), May 15, 2014 at 13 in lecture hall Gamma, ICT House

Coffee will be served before the lecture at 12.45.

TUCS Research Programme activities

RITES:

ES Lab is participating the Millennium Technology Price awarding event in the Mission: Better Life future technology exhibition 29.4-–13.5. ES Lab presents a single pixel camera system that uses only a single photo sensor, whereas normal digital cameras use millions (megapixel cameras). http://taf.fi/en/events/millennium-pavilion/mission-better-life/

TISRA seminar series continues:

May 8 Jozsef Mezei
May 15 Kai Kimppa
May 20 TISRA Spring Final Seminar, Prof Jups Heikkilä

TUCS Annual Report 2013

TUCS Annual Report 2013 is now available here:

http://tucs.fi/publications/view/?pub_id=tLaLiMxPeTuTu14a

New courses

Courses on transferable skills at University of Turku

http://www.utu.fi/fi/Tutkimus/tutkijakoulu/courses/Sivut/home.aspx

Courses in English for Research Students at Åbo Akademi University

Tools for research evaluation, 9.5 kl. 13.00-15, Tritonias EduLab, Vasa
Learn how to make presentations with Prezi, 12.5 kl. 13.00-16, Åbo

Further information: http://www.abo.fi/personal/kurskatalog

Registrations: https://www.abo.fi/personal/en/anmalan

Information on and registration for courses in English at Tritonia EduLab in Vasa:

http://www.tritonia.fi/edulab/shortcourses

Announcements

Call for applications to the Doctoral Network in Information Technologies and Mathematics

The application period for the Doctoral Network in Information Technologies and Mathematics at the Åbo Akademi University has begun on 1.5.2014 and the deadline for applications is 26.6.2014 at 16.00.

The Doctoral Network in Information Technologies and Mathematics is a continuation of the long-standing co- operation in PhD education and research in Information Technologies and Mathematics in the Turku region, formalized through the Turku Centre for Computer Science (TUCS).

The research at TUCS is organised into research programmes and the following programmes are participating in the doctoral network:

The research in mathematics at ÅAU is concentrated in mathematical analysis, in particular, functional analysis, complex analysis, probability theory and stochastics. Researchers are participating in the activities of the national doctoral programmes in Mathematics and its Applications and in Stochastics and Statistics.

This call for application is open to those who have a Master's degree in computer science, computer engineering, information systems, mathematics or a related field. Applicants must receive their Master's degree before June 26, 2014. The applications should be supported in writing by the planned PhD supervisor in the Doctoral Network in Information Technologies and Mathematics at Åbo Akademi University.

More information on the network and how to apply can be found here: http://tucs.fi/education/phd/abo_programme/

EIT ICT Labs Symposium on Future Cloud Computing

Transitioning from Research to Business

Opportunities in Cloud Business in Europe

A two day international symposium on the future of Cloud Computing hosted by EIT ICT Labs

June 23 & 24, 2014 in Rennes, INRIA Conference Center, France.

Cloud Computing began as a disruption in the marketplace only five short years ago. Since then, it has become a game-changer in terms of how businesses manage the flow of information, how we distribute software and data and how people connect to one another. With Cloud, the industry has the potential to significantly contribute to European growth while offering many opportunities to new ventures and established global players.

The Symposium is your opportunity to take a closer look at the future of Cloud Computing, providing a unique opportunity for entrepreneurs, industry representatives, decision-makers, venture capitalists, academics, researchers and Cloud professionals to:

Meet some of the key players responsible for shaping the future of Cloud Computing.
Discover some of the most promising new ventures in Cloud from across Europe.
Participate in the prestigious EIT ICT Labs Idea Challenge Finals in Cloud Computing and the award ceremomy, where successful and winning ideas will be awarded.

The Symposium will cover a variety of topics addressing the future of Cloud Computing in the E.U. with perspectives from those shaping the Cloud ecosystem in Europe and in the rest of the world. Expert speakers will converge including representatives from EIT ICT Labs, by leading academics from INRIA, IRISA, TU Berlin, U Neuchatel, entrepreneurs from Europe and the USA and industry leaders such as Microsoft, Google, Thales, and more.

EIT ICT Labs Annual Report 2013 is published

The Annual Report of EIT ICT Labs from year 2013 is now published and available online here: http://www.eitictlabs.eu/about-us/annual-report/

Target and Focus was the motto last year: targeting market opportunities with technologies and solutions that come from universities and research institutes and focusing activities around a well-defined set of Action Lines with clear priorities.

Finnish Healthcare ICT Conference in Jyväskylä 20.–21.5.2014

Nationwide healthcare ICT conference (HC ICT ‘14) will be held at Paviljonki conference center in the City of Jyväskylä. During the recent years we have arranged this conference in many cities around Finland with over 1 000 health care and ICT experts each year. The exhibition will display a comprehensive view to national and international health care ICT products.

The conference will be arranged in cooperation with the Hospital Districts of Central Finland and South Ostrobothnia and the city of Jyväskylä. Together we have created versatile event, which provides program with current information for various professions in the health care sector and systems specialist. The conference has 40-year long tradition and offers a large range of actual themes with five different collateral sessions during both conference days:

Areal co-operation and networking
Utilizing mobile technics in health care
The electronic transaction with citizens
Renewed client information systems
Data protection in the networking health care systems
Utilizing the data in the steering of the operation and supervision
Internationally common rules and solution
International session: Big Data, mHealth, Benchmarking Experiences
Two sessions for vendor show cases

The full program of the HC ICT ‘14 conference, the online registration form and the hotel booking form will be published on our website (www.kunnat.net/atk-paivat) in the beginning of February. For the exhibition gives more information: Kauko Hartikainen, [email protected], phone: +358 504309782

DCFS 2014 in Turku

The Department of Mathematics and Statistics at University of Turku organizes 16th International Workshop on Descriptional Complexity of Formal Systems during August 5-8, 2014. Preliminary information can be found at http://www2.math.utu.fi/projects/dcfs2014/.

The Federated Computer Science Event (Yhdistetyt tietojenkäsittelyn päivät) 2014

The Federated Computer Science Event (Yhdistetyt tietojenkäsittelyn päivät) will be organised on 3.-4.6.2014 by the Lappeenranta University of Technology. The event combines events organised by several societies.

This year we are soliciting unpublished articles pertaining to the themes of the societies. The articles can present original new research results as well as summarize PhD work and research projects. Research summary articles should present the recent advances in their context, and also consider future directions of the topic. All articles will be peer-reviewed and the accepted articles and posters will be published in the conference proceedings with an ISSN number.

Articles can be either longer research articles (maximum of 8 pages) that present and summarize research results, short research articles (maximum of 4 pages) that present the work-in-progress or posters (2 pages) that summarize the key points of the research. Longer and shorter articles will be presented during the conference, and posters (size A0) will be presented in the poster session. We recommend using ACM SIGGRAPH A4-template format for submission. Each year the event has a theme; this year the theme is games and gamification.

Articles are submitted with the Easychair system. The deadlines are the following:

28.3. Submission deadline to EasyChair

21.4. Notifications of review results

2.5. Final camera ready article

Website: http://www2.it.lut.fi/ytp2014/

EasyChair-link: opens at February

On the behalf of the organizing committee,

Chair: Kari Heikkinen {@lut.fi}

Open jobs at University of Turku and Åbo Akademi University

University of Turku: http://www.utu.fi/fi/Yliopisto/yliopisto-tyonantajana/avoimet-tehtavat/Sivut/home.aspx
Åbo Akademi University: https://www.abo.fi/personal/rekrytering

Latest publications at TUCS

Edited proceedings (1):

Artiom Alhasov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa (Eds.), Membrane Computing, 14th International Conference, Lecture Notes in Computer Science 8340, Springer-Verlag, 2014.

Articles in journals (7):

Natalia Díaz Rodríguez, M. P. Cuéllar, Johan Lilius, Miguel Delgado Calvo-Flores, A Fuzzy Ontology for Semantic Modelling and Recognition of Human Behaviour. Knowledge-Based Systems , 1–18, 2014.
Eyal Eshet, Harry Bouwman, Addressing the Context of Use in Mobile Computing: a Survey on the State of the Practice. Interacting with Computers , 1–21, 2014.
Lotta Kauhanen, Liisa Järvelä, Päivi M. Lähteenmäki, Mikko Arola, Olli J. Heinonen, Anna Axelin, Johan Lilius, Tero Vahlberg, Sanna Salanterä, Active Video Games to Promote Physical Activity in Children with Cancer: A Randomized Clinical Trial with Follow-Up. BMC Pediatrics 14(94), 1–2, 2014.
Umair Ali Khan, Fareed Ahmed Jokhio, Intesab Hussain Sadhayo, Reinforcement Learning for DPM of Embedded Visual Sensor Nodes. Mehran University Research Journal of Engineering & Technology 33(2), 199 – 214, 2014.
Matti Mäntymäki, A.K.M. Najmul Islam, Social Virtual World Continuance among Teens: Uncovering the Moderating Role of Perceived Aggregate Network Exposure. BEHAVIOUR and INFORMATION TECHNOLOGY 33(5), 536–547, 2014.
Luigia Petre, Elena Troubitsyna, Marina Waldén, Kaisa Sere: In Memoriam.. Formal Aspects of Computing 26(2), 197–201, 2014.
Masoud Daneshtalab, Masoumeh Ebrahimi, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, A Systematic Reordering Mechanism for on-Chip Networks Using Efficient Congestion-Aware Method. Journal of Systems Architecture 59(4-5), 213–222, 2013.

Articles in proceedings (12):

Fahimeh Farahnakian, Pasi Liljeberg, Juha Plosila, Energy-Efficient Virtual Machines Consolidation in Cloud Data Centers Using Reinforcement Learning. In: 22nd Euromicro International Conferance on Parallel, Distributed, and Network-Based Processing (PDP), 500–507, University of Turin, 2014.
Mohammad Fattah, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, Adjustable Contiguity of Run-Time Task Allocation in Networked Many-Core Systems. In: Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific , 349–354 , IEEE, 2014.
Mohamnmad Fattah, Maurizio Palesi, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, SHiFA: System-Level Hierarchy in Run-Time Fault-Aware Management of Many-Core Systems. In: Mohamnmad Fattah, Maurizio Palesi, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen (Eds.), Design Automation Conference (DAC), 1–6, ACM/IEEE, 2014.
Mohammad-Hashem Haghbayan, Amir-Mohammad Rahmani, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, Online Testing of Many-Core Systems in the Dark Silicon Era. In: Witold Pleskacz (Ed.), International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 141–146, IEEE, 2014.
Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik, On Proving Recoverability of Smart Electrical Grids. In: Julia M. Badger, Kristin Yvonne Rozier (Eds.), 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. , Lecture Notes in Computer Science 8430, 77–92, Springer-Verlag, 2014.
Syed M. A. H. Jafri, Adeel Tajammul, Masoud Daneshtalab, Ahmed Hemani, Kolin Paul, Juha Plosila, Peeter Erville, Hannu Tenhunen, Customizable Compression Architecture for Efficient Configuration in CGRAs. In: Miriam Leeser (Ed.), IEEE International Symposium on Field-Programmable Custom Computing Machines, 1, IEEE, 2014.
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna, Formal Derivation of Distributed MapReduce. In: Y. Ait Ameur, K.-D. Schewe (Eds.), Proceedings of ABZ 2014, Lecture Notes in Computer Science 8477, 238–254, Springer, 2014.
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, An Integrated Approach for Designing and Validating REST Web Service Compositions. In: Valerie Monfort, Karl-Heinz Krempels (Eds.), 10th International Conference on Web Information Systems and Technologies, 1, 104–115, SCITEPRESS Digital Library, 2014.
Mauno Rönkkö, Markus Stocker, Mats Neovius, Luigia Petre, Mikko Kolehmainen, Designing Resilence Mediators for Control Systems. In: M. H. Hamza (Ed.), The 33rd IASTED International Conference on Modelling, Identification and Control, 147–154, ACTA PRESS, 2014.
Igor Tcarenko, Mohammad Fattah, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, Multi Rectangle Modeling Approach for Application Mapping on a Many-Core System. In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 453–457, IEEE/Euromicro, 2014.
Fahimeh Farahnakian, Tapio Pahikkala, Pasi Liljeberg, Juha Plosila, Energy Aware Consolidation Algorithm Based on K-Nearest Neighbor Regression for Cloud Data Centers. In: 6th IEEE/ACM International Conference on Utility and Cloud Computing(UCC), Technical University Dresden , 2013.
Fahimeh Farahnakian, Masoumeh Ebrahimi, Masoud Daneshtalab, Pasi Liljeberg, Juha Plosila, Optimized Q-learning Model for Distributing Traffic in On-Chip Networks. In: International Conference on Networked Embedded Systems for Enterprise Applications (NESEA) , 1–8, Murdoch University, Australia, 2012.

TUCS General Series (1):

Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen, Turku Centre for Computer Science, Annual Report 2013. TUCS General Publication 61, TUCS, 2014.

Where academic tradition meets the exciting future