Where academic tradition
meets the exciting future

TUCS Newsletter 29.4.2013

Content of the newsletter

TUCS activities

  1. TUCS Distinguished Lecture Series
  2. TUCS Annual Report 2012
  3. TUCS Board meeting
  4. Publication Forum scores showing on TUCS Publication Database
  5. Guest lecture: Challenges for Application Deployment on Many-Core Architectures under Mixed Criticality Aspects

New courses

  1. TISRA Spring seminars
  2. Inforte courses
  3. Courses on transferable skills at University of Turku


  1. Conference announcement: IWSSU'13, Potsdam, June 11-14, 2013
  2. Conference announcement: AcMuC 2013, Turku, May 30-31, 2013
  3. Conference announcement: iFM 2013, Turku, June 10-14, 2013
  4. EIT ICT Labs Cloud Computing Summer School 2013
  5. Alain Bensoussan Fellowship Programme, Application deadline 30.4.
  6. ELL-i -business case?
  7. Open jobs at University of Turku and Åbo Akademi University
  8. Academy of Finland Newsletter
  9. Open position: Postdoc in Computer Science specializing in static program analysis of real-time software

Latest publications at TUCS

TUCS activities

TUCS Distinguished Lecture Series

TUCS Distinguished Lecture on 10.6.: Christos Papadimitriou

Monday, June 10, 2013 at 13.15

ICT Building, Auditorium Lambda

Coffee served from 12:45

Christos Papadimitriou, University of California at Berkeley: "Computational Insights and the Theory of Evolution"

Host: Ion Petre, Åbo Akademi University

Abstract: Covertly computational insights have influenced the Theory of Evolution from the very start. I shall discuss recent work on some central problems in Evolution that was inspired and informed by computational ideas. Considerations about the performance of genetic algorithms led to a novel theory of the role of sex in Evolution based on the concept of mixability, while the population genetic equations describing the evolution of a species can be reinterpreted, under the neutral theory, as a repeated game between genes played through the multiplicative updates algorithm.

The 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.



TUCS Annual Report 2012

2012 was a year of strategic changes for TUCS. Throughout the history of TUCS, the doctoral programs have played a major role as TUCS activities. The doctoral education at the participating universities is currently going through a major change due to a fundamental reorganization in the national structure of doctoral education. The TUCS community decided to continue the established collaboration between two universities and three fields of IT education: science, business, and technology. Plans for reorganizing TUCS activities within the new structure of doctoral education are currently being formed jointly by the participating departments. This calls not only for reorganizing the existing programs but also for extending the scope of TUCS-affiliated doctoral programs.

International activities have been characteristic to TUCS since its inception. The number of international PhD and MSc students remains high and today, our research and teaching collaboration at an institutional level is more active than ever. Especially, TUCS is now actively participating in European collaboration through EIT ICT Labs Master’s and Doctoral School.

To further enhance the role of TUCS in the scientific activities within the community, the Board decided to develop TUCS towards a research center. This was manifested in the introduction of four thematic research programs. To promote activities within the programs, a budget for supporting research coordination and organizing various events was set up. To increase our worldclass educational supply, TUCS Distinguished Lecture Series was introduced. These ideas have been warmly received among the TUCS community and the activities have started well at all the three major higher education institutes in Turku.

It seems that despite the major changes, the very idea behind TUCS is very much alive. Our challenge is to maintain innovative thinking and keep updating that idea according to the developments in our operational environment.


TUCS Board meeting

TUCS Board had a meeting on 8.4.2013. In the meeting TUCS Board handled this year’s study reports and decided on the continuation of TUCS funding or status for the students in the TUCS Graduate Programme. TUCS Study Report round was open for the students during 1.-28.2.2013 to fill in their reports. The supervisors filled in their statements during 4.-17.3.2013. Students are welcome to have a look at their supervisor’s statement in TUCS office during May 2013.

Publication Forum scores showing on TUCS Publication Database

Since last August the TUCS Publication Database has stored the Publication Forum scores for the publications as well. Now these scores are displayed in the TUCS PDB search results and on the publication detail pages for publications scoring one point or more. Also, it is possible to refine a publication search to only include publications worth 1, 2 or 3 points.

Guest lecture: Challenges for Application Deployment on Many-Core Architectures under Mixed Criticality Aspects

Professor Thomas Hollstein of the Tallin University of Technology gave a guest lecture on Monday, April 22nd at 9:00 in lecture room Fortran, A3058, ICT Building.


Currently computer architectures are ungoing one of the largest paradigm shifts since the invention of the microprocessor. The scaling of classical computer architectures (based on concentrated multi-core processors) is limited due to the bottleneck of sharing one common DRAM interface. New developments in IC manufacturing technologies allow 3D chip stacking, using Through-Silicon-Vias (TSVs). This enables distributed shared memory (DSM) architectures for NoC based scalable many-core architectures, providing local DRAM access for every processor tile. Scalability, sophisticated dependability concepts and suitable programming models are essential requirements for successfull introduction and application of these new architectures.

In this presentation we will approach the whole topic area from the point of view of application mapping under mixed criticality constraints. From this perspective we will draw conclusions on necessary implications related to NoC properties, dependability concepts and application deployment on many core architectures.

About the lecturer:

Thomas Hollstein is Professor in the Department of Computer Engineering at Tallinn University of Technology (TTU). He graduated from Darmstadt University of Technology in Electrical Engineering / Computer Engineering in 1991. In 2000 he received his Ph.D. on ìDesign and interactive Hardware/Software Partitioning of complex heterogeneous Systemsî at Darmstadt University of Technology. He has an extensive industrial background in the field of embedded HW/SW systems and printable electronics. Since September 2010 Thomas Hollstein is a full professor at TTU leading the research team "Dependable Embedded Systems". His research interests are in the fields Dependable Embedded Systems, System-on-Chip Design, Networks-on-Chip, MPSoCs (Programming Models, APIs, Mixed criticality application mapping and depenability management), Reconfigurable Systems and Printed Electronics. Thomas Hollstein has published over 60 peer-reviewed papers and is member of the programme committees of several international conferences and workshops.

Host: Johan Lilius


New courses

TISRA Spring seminars

TUCS Research Programme TISRA is organizing Post Grad seminars throughout the Spring.

See more information on TISRA Research Unit page:


Inforte courses

Tampere 6.-7.6.2013


Speaker: Professor Dr. Mohammad S. Obaidat, Department of Computer Science and Software Engineering, Monmouth University

Organizer: Tampere University of Technology

Registrations and more information:



Turku 17.-18.6.2013


Speaker: Professors  Jürgen Seitz (German), Nilmini Wickramasinghe (Australia) and Reima Suomi (Turku).

Organizer: Professor Reima Suomi, University of Turku

More information coming. Registration will be opened as soon as possible!


Courses on transferable skills at University of Turku



Conference announcement: IWSSU'13, Potsdam, June 11-14, 2013

First International Workshop on Software Start-ups (IWSSU'13)

June 11-14. 2013, Potsdam, Germany

Co-located with 4th International Conference on Software Business


Conference announcement: AcMuC 2013, Turku, May 30-31, 2013

1st International Accessibility and Multimodality in Communication -symposium. A forum for discourse between academia and 3rd sector professionals.

Symposium dates: 30.–31.5. 2013

Venue: ICT Building, University of Turku, Finland

Website: http://tucs.fi/conferences/acmuc2013/

Submissions through EasyChair: https://www.easychair.org/conferences/?conf=acmuc2013

Submission deadline: 1st March, 2013

Notification of acceptance: 8th April, 2013 (Date postponed by one week from the original.)

Registration: 15th March – 1st May 2013, through UTUshop. (If the page opens in Finnish, click on the British flag to change to English.)

Conversation and talking to each other are a clear example of human activities that are above all interactive and social, which are challenged by hearing and visual impairments. We invite papers relating to accessibility, multimodality and technological aids in communication with a focus on sensory impairments and their effect on communication. While there are well-established conferences on various aspects of human communication, such as speech (Interspeech and ICPhS among others), signing (TISLR), interpreting (EFSLI, ECOS), and information society adaptation for the sensory impaired (WIS) this symposium contributes to the combination of the previous aspects. This combination has not been in focus of conferences previously.

Our symposium provides a forum for researchers from various fields, such as human-computer interaction, computing, linguistics, phonetics, interpreting, speech therapy, social science and medical professionals with interested 3rd sector professionals, such as associations with target group users to discuss various related issues together. Symposium consists of keynote talks, workshops and poster sessions. The event is an intensive two-day meeting in Turku, Finland, May 2013.

Conference themes

The areas of interest and themes touched upon within the conference are face-to-face communication, mediated discourse, different languages, different modalities, combining modalities, augmented and assisted communication (AAC) and shared space, technical aids, and assistive technology. Recent technological development has increased accessibility, however, there are many areas of human communication spectra not yet fully understood.

Conference announcement: iFM 2013, Turku, June 10-14, 2013

Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. Correspondingly, different analysis techniques will be used to examine differently modeled system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

The plenary talks at iFM 2013 will be given by

  1. Jean-Raymond Abrial, Marseille, France
  2. Cosimo Laneve, University of Bologna, Italy
  3. Susanne Graf, VERIMAG, France
  4. Kim Larsen, Aalborg University, Denmark

The conference is organized at Department of IT, Åbo Akademi University and it will take place in the ICT Building. The PC is chaired by Einar Broch Johnsen (University of Oslo) and Luigia Petre (Åbo Akademi University).

Link: http://www.it.abo.fi/iFM2013/

EIT ICT Labs Cloud Computing Summer School

Aalto University, Finland
3-7 June 2013, Espoo, Finland

Application deadline: April 30 2013


The EIT ICT Labs Cloud Computing Summer School gives an insight into the cloud computing technologies, use cases and business opportunities, as well as to the innovation and entrepreneurship challenges and business model design methodologies.

On Monday we will make a visit into a data-center. Also Group work topics are discussed and the groups are determined in which the participants will design business models related to cloud computing technologies, applications and services. Group works are reported on Friday 7th in a seminar.

The goal of the group work is business model design related to cloud computing applications and services. A related business model design methodology that should be used will be described in the lecture. The groups are also supported by a tutor in the methodology issues. An integral part of the summer school is an Innovation and Entrepreneurship Event on Wednesday, which provides a general insight into the I&E issues.

We are inviting PhD students and advanced Master's students in Computer Science and related fields to apply and participate. The maximum number of students is 30, and students from core and affiliate EIT ICT Labs universities have a priority. Students whose research topics are related to cloud computing are especially encouraged to apply.  The deadline for applications is the 30th of April.


There is no course fee in the summer school. In addition, all EIT ICT Labs participants are provided a free lunch and two snacks each day, along with some free time programme during the course. Participants from the European Institute of Innovation and Technology (EIT ICT Labs) partner universities (core or affiliate, yet not those who already live in Helsinki region) are even provided free accomodation in a shared twin room in Radisson SAS Hotel in Otaniemi 3.-7.6.2013. Travel costs are not paid.


Questions on the EIT ICT Labs Cloud Computing Summer School can be sent to

Alain Bensoussan Fellowship Programme, Application deadline 30.4.

Alain Bensoussan Fellowship Programme funded by European Research Consortium for Informatics and Mathematics (ERCIM)

Research areas: Mathematics, Computer Science, and Information Systems Science.

Fellowships for PhD holders from all over the world. Fellowships are of 12 months duration, spent in one of the ERCIM institutes. Applicants should a) have obtained a PhD degree during the last 8 years, b) be fluent in English, c) be discharged or get deferment from military service. See ERCIM research topics at:

Only online applications will be accepted (see website). For further information contact: fp-info(at)ercim.org. Further information on website:

Application deadline: 30.4.2013


ELL-i – business case?

Interested in a business opportunity on novel Ideas about intelligent lighting and appliances? Ell-i, Electric Line Intelligence —Ideas about intelligent lighting and appliances, is looking for talented master and doctoral students to strengthen the team.

Please visit www.ell-i.org and contact Pekka Nikander (pekka.nikander@iki.fi)

Open jobs at University of Turku and Åbo Akademi University

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

Academy of Finland Newsletter


Open position: Postdoc in Computer Science, specializing in static program analysis of real-time software


We are offering a postdoc position in the area of static program analysis of real-time software, in particular Worst-Case Execution Time (WCET) analysis and supporting analyses.

The position is part of the APARTS project (Advanced Program Analysis for Real-Time Systems,
 www.aparts.se). This project is a collaboration between the Programming Languages group at Mälardalen University (MDH), and Tidorum Ltd. in Helsinki, Finland. It is supported by a grant from the Marie Curie IAPP programme for mobility between industry and academia. The postdoc will be stationed at the MDH campus in Västerås, Sweden, but shorter or longer visits at Tidorum Ltd. may take place depending on the needs of the project.

The focus of APARTS is program flow analysis for WCET estimation, including supporting value analyses based on abstract interpretation. The three main topics of the project are:

1. Bit-precise relational numeric domains (abstracting bounded-size numbers correctly),
2. methods to improve the efficiency of program flow analyses based on resource-demanding abstract domains, and
3. precise methods to reconstruct control flow graphs from low-level code.

Also see
 www.aparts.se. Candidates that will contribute to the project within one or several of these topics will be given preference. However also candidates that work on other aspects of WCET analysis may be considered, as long as the work has a reasonably strong relation to the main topics of APARTS.


Strong background in static program analysis, and/or WCET analysis. Good knowledge of abstract interpretation and numerical abstract domains is a merit. We may also consider applicants with expertise in other areas of formal verification, such as SAT solving or model checking, as long as their work can be integrated with the approaches pursued in the project and contribute to its goals.


The postdoc must hold a PhD in Computer Science or some sufficiently related area. The postdoc can have no more than six years (full time) of research experience after the PhD exam.

The IAPP programme imposes the mobility requirement that recruited postdocs must not have resided or carried out their main activity in the host country (Sweden) for more than 12 months in the last 3 years immediately prior to the date of selection by the host institution (MDH).  There is no restriction on the nationality of the postdoc: also nationals of countries outside the EU and Associated Countries can be appointed, as long as the transnational mobility rule is respected.

Applicants should have proficiency and skills in writing and communicating in English.

Decisive importance is attached to personal suitability. We value the qualities that an even distribution of age and gender, as well as ethnic and cultural diversity, can contribute to the organization.


Further information can be provided by:
Prof. Björn Lisper, +46-21-151709, bjorn.lisper@mdh.se
Trade union representatives are Susanne Meijer, (OFR), +46 (0) 21 10 14 89 and Elisabeth C Andersson, (SACO), +46 (0) 21-10 14 51.


The Programming Languages group is part of Mälardalen Real-Time Research Centre (MRTC,
 http://www.mrtc.mdh.se), which is located at MDH's campus in Västerås. MRTC is internationally recognized for its research in real-time and embedded systems: it hosts ten research groups, 12 full professors and more than 50 PhD students, and it provides a lively and creative research environment with many intewrnational contacts.

Västerås is located about 100 km west of Stockholm, at the northern shore of lake Mälaren. It is Sweden's fifth largest city, with 140000 inhabitants. It is a city of science and engineering, with companies such as ABB, Bombardier, and Westinghouse having R & D departments there. It is surrounded by nature offering plenty of opportunities for outdoor activities like sailing, biking, cross-country skiing, and skating.


An application prepared in English should contain:

  1. A cover letter. The letter should also state the reference number XXX/YY.
  2. CV
  3. A copy of your Ph.D. exam
  4. Contact information for 2-3 reference persons
  5. List of publications
  6. 1-2 page overview of research achievements and plan
  7. 1 page statement/motivation of why you want to join MDH and the APARTS project as a postdoc,
  8. Your most relevant (at most ten) conference or journal publications, in full-text.

Mark your application with the reference number 56/13 and (preferrably) send to the email address ansokan@mdh.se (PDF format), or to:

Mälardalens högskola (Mälardalen University)
Personalsektionen (Division of Human Resources)
Karin Johnson
Box 883
721 23 Västerås

The applicant is responsible for that the application is complete in accordance with the advertisement and will reach the University by 2013-04-30 at the latest.

Latest publications at TUCS

Articles in journals (7):

  1. Islam,Muhammad Nazrul, A Systematic Literature Review of Semiotics Perception in User Interfaces. Journal of Systems and Information Technology 15(1), 45–77, 2013.
  2. Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, A Distributed Design of a Network Recovery Algorithm.International Journal of Critical Computer-Based Systems 4(1), 45–68, 2013.
  3. Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, A Formal Approach to H.264 Video Decoding on Multicore Systems. International Journal of Critical Computer-Based Systems 4(1), 3–26, 2013.
  4. Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, A Refinement-Based Approach to Developing Critical Multi-Agent Systems. International Journal of Critical Computer-Based Systems 4(1), 69–91, 2013.
  5. Arto Salomaa, Functional Constructions Between Reaction Systems and Propositional Logic. International Journal of Foundations of Computer Science 24, 147–159, 2013.
  6. Marko Mäkelä, Yury Nikulin, Jozsef Mezei, Generalizing Trade-Off Directions in Multiobjective Optimization.Control and Cybernetics 3, 561 – 576, 2012.
  7. Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Deriving a Mode Logic Using Failure Modes and Effects Analysis. International Journal of Critical Computer-Based Systems 3(4), 305–328, 2012.

Articles in proceedings (6):

  1. Antti Airola, Tapio Pahikkala, Heljä Lundgrén-Laine, Anne Santalahti, Päivi Rautava, Sanna Salanterä, Tapio Salakoski, A Machine Learning Approach Towards Early Detection of Frequent Health Care Users. In: Hanna Suominen (Ed.), Proceedings of the 4th International Louhi Workshop on Health Document Text Mining and Information Analysis, –, National ICT Australia, 2013.
  2. Yasar Amin, Rajeev Kumar Kanth, Pasi Liljeberg, Adeel Akram, Qiang Chen, Li-Rong Zheng, Hannu Tenhunen,Printable RFID Antenna with Embedded Sensor and Calibration Functions. In: He Sailing (Ed.), Progress In Electromagnetics Research Symposium , 1–5, Proceedings of PIERS, 2013.
  3. Natalia Díaz Rodríguez, Johan Lilius, M. P. Cuéllar, Miguel Delgado Calvo-Flores, Extending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability. In: Sigeru Omatu, José Neves, Juan M. Corchado, Juan F. De Paz Santana, Sara Rodríguez González (Eds.), Distributed Computing and Artificial Intelligence, 10th International Conference, LNCS, 1–8, Springer , 2013.
  4. Sami Hyrynsalmi, Arho Suominen, Marko Seppänen, Differentation within Mobile Ecosystems — The Unspecialized Marketplaces. In: Proceedings of the 22nd International Conference on Management of Technology, 1–17, International Association of Management of Technology, 2013.
  5. Sanaz Rahimi Moosavi, Amir-Mohammad Rahmani, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, Enhancing Performance of 3D Interconnection Networks Using Efficient Multicast Communication Protocol. In: Peter Kilpatrick, Peter Milligan, Rainer Stotzka (Eds.), 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 294–300, IEEE/Euromicro, 2013.
  6. Sanaz Rahimi Moosavi, Chia-Yuan Chang, Amir-Mohammad Rahmani, Juha Plosila, Ka Lok Man, Taikyeong T. Jeong, Eng Gee Lim, An Efficient History-Based Routing Algorithm for Interconnection Networks. In: Kyeongsoon Cho (Ed.), International SoC Design Conference, 277–280, IEEE, 2012.

TUCS General Series (1):

  1. Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen (Eds.), Turku Centre for Computer Science, Annual Report 2012, TUCS General Publication, TUCS, 2013.

Technical reports (2):

  1. Sepinoud Azimi, Bogdan Iancu, Ion Petre, Reaction Systems Models for the Heat Shock Response. TUCS Technical Reports 1075, TUCS, 2013.
  2. Jussi Laasonen, Jouni Smed, Detecting a Colluding Subset in a Simple Two-Dimensional Game. TUCS Technical Reports 1074, TUCS, 2013.