SCARE Annual Workshop (Cloppenburg 2013)
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
SCARE Annual Workshop (Cloppenburg 2013)
SCARE Annual Workshop (Cloppenburg 2013)
SCARE organized its first annual workshop in Cloppenburg city on 11-13 September 2013. In this workshop, there were two types of talks: Group A and Group B talks. In the former group, SCARE stipendiats had presented their progress and the accomplished tasks during the last period. Moreover, research plans for the next period were presented. In the latter group, SCARE doctorand had presented research articles related to the concept of SCARE. These articles were selected by the SCARE supervisors. Additionally, the workshop comprised two different activities including Cross Publication Potential (CPP) and an excursion. The program of the workshop and more details about the activities can be found below. 
Cross Publication Potential (CPP)
In this set of workshops, the participants were divided into groups. The members of each group had shared their ideas about their own fields. Afterwards, the group found a common research point between the group members. Each group prepared a short presentation (max. 10 min.) about the developed ideas. The ideas had presented and discussed on the closing day.
Excursion
A touristic tour will be made and the group may visit Museumsdorf in Cloppenburg. More information about the museum can be found here: www.museumsdorf.de/
Program | |
| Wednesday, September 11, 2013 | |
11:00 am to 12:00 pm | Check-In |
12:00 am to 01:00 pm | Lunch |
| Group A Talks | |
01:00 pm to 01:40 pm | Nils-Erik Flick: Structure-Changing Petri Nets As A Model Of Adverse Conditions |
01:40 pm to 02:20 pm | Björn Engelmann: Verification Techniques for Dynamically Typed Programs |
02:20 pm to 02:40 pm | Coffee Break |
02:40 pm to 03:20 pm | Christian Kuka: Quality-Aware Multi-Sensor Data Stream Processing |
03:20 pm to 04:00 pm | Mohamed Abdelaal: Design and Analysis of Power Conservation Techniques for Maximizing The Lifetime Expectancy of Tiny Sensing Devices |
04:00 pm to 04:40 pm | Gao Yang: Conditional CSL Model Checking on CTMC and Tool |
04:40 pm to 06:00 pm | CPP Workshop |
06:00 pm to 07:00 pm | Dinner |
| Thursday, September 12, 2013 | |
08:00 am to 09:00 am | Breakfast |
| Group B Talks | |
09:00 am to 09:30 am | Nils Erik Flick: Crossing the Bridge between Similar Games |
09:30 am to 10:00 am | Hendrik Radke: Verifying Total Correctness of Graph Programs |
10:00 am to 10:30 am | Thomas Strathmann: Architectural Refinement and Notions of Intransitive Noninterference |
10:30 am to 11:00 am | Coffee Break |
11:00 am to 11:30 am | Christian Kuka: Modeling and Measuring Quality of Context Information in Pervasive Environments |
11:30 am to 12:00 am | Mohamed Abdelaal: What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks? |
12:00 am to 01:00 pm | Lunch |
01:00 pm to 01:30 pm | Dilshod Rahmatov: Design Patterns for Graceful Degradation |
01:30 pm to 02:00 pm | Björn Engelmann: Proof-carrying Code |
02:00 pm to 05:30 pm | Excursion |
06:00 pm to 07:00 pm | CPP Workshop |
07:00 pm to 08:00 pm | Dinner |
| Friday, September 13, 2013 | |
08:00 am to 09:00 am | Breakfast |
09:00 am to 10:00 am | CPP Workshop |
Workshop: How to Be a Good Researcher | |
10:00 am to 10:30 am | Thomas Strathmann: How to Read a Research Paper |
10:30 am to 11:00 am | Hendrik Radke: How to Give a Good Research Talk |
11:00 am to 11:30 am | Prof. Daniela Nicklas: Divide and Conquer: How to Structure a PhD Thesis |
11:30 am to 12:00 am | Check-Out |