Workshop on Formal Methods for Attack Trees

20th November to 24th November 2017, Munich

Invited Participants only! For further questions please contact Julia Krämer!

Venue

We will stay at Hotel Glöcklhofer in Burghausen. The workshop itself will take place at TUM Akademiezentrum Raitenhaslach. There will be a shuttle between the hotel and the venue each morning and evening.

Travelling

Please arrange your travelling to and from Munich yourself. After the workshop, we will reimburse your travelling costs to Munich Airport or Munich Main Train Station. If convenient for you, please check your travelling times and fares with us beforehand.

We will then organise a shuttle between Munich and Raitenhaslach:

From Munich to Raitenhaslach:

Date

TUM Garching

Munich Airport

Raitenhaslach

Monday, 20th

15:00

15:15

17:00

Tuesday, 21st

10:00

10:15

12:0

If your plane arrives shortly before the time we want to leave Munich Airport, please let us know your flight number such that we can wait and reschedule the shuttle in case your flight is delayed.

From Raitenhaslach to Munich

Date

Raitenhaslach

Munich Airport

(TUM Garching)

Wednesday, 22nd

14:00

16:00

16:15

Friday, 24th

13:00

15:00

15:15

Munich Main Train Station to TUM Garching

Take a suburban train (S-Bahn, lines S1 to S8) to Marienplatz and change than to line U6 to Garching-Forschungszentrum. Alternatively, you can take any suburban train of the lines U4 and U5 to Odeonsplatz and change there to line U6 to Garching-Forschungszentrum. To go to Garching-Forschungszentrum, you need a ticket covering both “Innenraum” and “Außenraum”, for instance, a ticket for “München XXL”.

Munich Airport to TUM Garching

If you arrive at Munich airport, take a suburban train (S-Bahn) of line S8 to Ismaning and from there bus 230 to Garching-Forschungszentrum. Alternatively, you can take a suburban train of line S1 to Neufahrn and from there bus 690 to Garching-Forschungszentrum.

Programme

The programme will consist of talks, discussions and collaboration sessions. On Tuesday and Wednesday, we will have slots for presentations to inform each other about our current approaches towards attack tree generation and analysis. Afterwards, we will have at least two slots for discussing interesting questions and to identify interesting topics for collaborations. Especially PhD Students and PostDocs are invited to stay also on Thursday for further discussions and to start working on identified topics.

Talks & Discussions (Main Programme)

Further Talks & Discussions

Monday

Time

Event

15:00

Shuttle to Hotel Glöcklhofer (from TUM Garching)

15:15

Shuttle to Hotel Glöcklhofer (from Munich Airport)

18:30

Welcome Dinner

Tuesday

Time

Event

09:00

Technical Presentations – PhD/PostDocs

10:30

Coffee Break

11:00

Technical Presentations – Phd/PostDocs

12:00

Lunch

13:45

Official Opening

14:00

3x (20min Talks + 10min Discussion)

15:30

Coffee Break

16:00

Discussion 1

18:00

Dinner

Wednesday

Time

Event

9:00

Summary of Day 1

9:15

3x (20min Talks + 10min Discussion)

10:45

Coffee Break

11:15

Identifying Possible Collaborations

12:30

Lunch

14:00

Discussion 2

15:30

Coffee Break

16:00

Collaboration Session

18:00

Dinner

Thursday

Discussions & Collaboration

Friday

Collaboration & Departure