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 will be composed in collaboration with Tanja Vos (OU), Vadim Zaytsev (UT) and Victoria Degeler (VU).

Registration

The registration form is available via this link. Registration closes on October 21 at 10:00 in the morning.

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. The venue can easily be reached by train via the Zandvoort train station.