News Archiv

Rayna Dimitrova is teaching Program Analysis at the University of Kaiserslautern in the Winter 2016-17 semester. The course meets Mondays 17:15-18:45 in room 48-379 on the University of Kaiserslautern campus.  

Rupak Majumdar is teaching Complexity Theory at the University of Kaiserslautern in the Winter 2016-17 semester. The course meets Mondays 15:30-17:00 at 46-280 and Wednesdays 13:45-15:15 at 46-268. More information about the course

Applications are invited for tenure-track faculty positions in all areas related to the theory and practice of software systems, including security and privacy, embedded and mobile systems, distributed and parallel systems, computational social science, legal, economic, and social aspects of computing, NLP, machine learning, information and knowledge management, programming languages,…

Mitra Nasri has received the best paper award at the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) for her paper entitled "On the Problem of Finding Optimal Harmonic Periods” (with Morteza Mohaqeqi, Yang Xu, Anton Cervin, and Karl-Erik Arzén).

Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea. EMSOFT brings together researchers and developers from academia, industry, and government to…