Fall Days on Models for Constructing Software

Center Parcs Zandvoort, Zandvoort (see e.g. Google maps)
November 4-8, 2024

The IPA Fall Days are an annual multi-day event, dedicated to a specific theme of current interest to the research community of IPA. This year’s Fall Days are titled

Models for Constructing Software

Software engineering in the high-tech industry increasingly requires an interdisciplinary approach and teamwork between experts from various domains. Combined with the traditional challenges of software engineering and the quality standards set by these industries, delivering high-quality software is immensely challenging. To bridge the gap between domains, formal models and domain-specific languages can be a great tool. Extending these with a digital twin helps to gain further insights. Moreover, models are a great asset when applying formal verification techniques. In the IPA Fall Days 2024, we will discuss all these techniques and how they relate and reinforce each other.

Programme

The programme is composed by Tanja Vos (OU), Vadim Zaytsev (UT) and Victoria Degeler (UvA), assisted by Thomas Neele (IPA).

On Tuesday 5 November, we will have a special morning session around the IPA Dissertation Award for the best IPA dissertation from 2023

Social Events

On Monday, there will be drinks on IPA after the dinner. On Wednesday afternoon and evening, an edition of the by now famous IPA social events will once again be organised by the IPA PhD council.

Schedule

The schedule below will be updated regularly with the latest information on the program.

Monday September 25th

11:15–12:15 Registration
12:30–13:30 Lunch
13:30–13:40 Opening
15:10–15:40 Coffee break
16:30–17:00 Check in for accommodation
18:00–19:30 Dinner
19:30–21:00 Welcome drinks

Tuesday September 26th

10:00–10:30 Coffee break
12:30–13:30 Lunch
15:00–15:30 Coffee break
15:30–16:15 Ulyana Tikhonova (F1re)
18:00–19:30 Dinner

Wednesday September 27th

10:00–10:30 Coffee break
12:30–13:30 Lunch
15:00-18:00 IPA PhD Council Social Event
18:00-20:00 Dinner
20:00-21:00 Social Event drink + announcing winner

Thursday September 28th

 

10:00–10:30 Coffee break
12:30–13:30 Lunch
14:45–15:15 Coffee break
18:00–19:30 Dinner

Friday September 29th

9:00–10:00
10:00–10:30 Coffee break
10:30–11:30
11:30-12:00 Closing and departure (with takeaway lunch)

Registration

The registration form is available via this link. Registration closes on October 21 at 10:00 in the morning. However, we encourage you to register ASAP, since this will help organisation and accommodation space is limited.

Beware that if you register, but then do not participate for the period as indicated in your registration, while failing to either provide reasonable ground for this (e.g. illness, family emergency) or to cancel before the registration deadline, IPA will have to bill you for the costs incurred. 

To make maximal use of the available capacity, we process applications on the following basis: Registrations are treated “first come, first served”. In principle, all PhD students (IPA and non-IPA) will share a room. Others may also be asked to share if we run out of rooms. As long as space is available and the registration deadline has not yet passed, we will accept participants.

New PhD students

PhD students new to IPA Fall Days are expected to give a brief talk in a slot of ca. 10 minutes. The purpose of such talks is to introduce your research and yourself to the IPA community. You can briefly introduce your research (research area, initial and future research directions), but also yourself (who you are, what your background is, but also e.g. you like or don’t like to do in your spare time). The Fall Days provide a friendly, open, and informal atmosphere to do this, and you will surely be welcomed into the IPA community and receive constructive feedback or get into follow-up discussions.

Venue and Travel

The Fall Days 2024 will take place at Center Parcs Park Zandvoort in Zandvoort, The Netherlands. This park is right next to the beach of the North Sea and has nice facilities such as a tropical swimming paradise. A detailed map of the park is available here. The venue can easily be reached by train via the Zandvoort train station.