Activities

IPA organises two annual multi-day events (the Spring Days and Fall Days) and several advanced courses per year. More information about upcoming events and courses can be found below. Pictures of selected past events can be browsed here.

Upcoming courses and events

  • 4th Nov -8th Nov , 2024 . Fall Days on Models for Constructing Software. . Read More…

Past courses and events

Below is a list of IPA’s past activities since 2012.

2024
  • 13th May -17th May , 2024 . Course: Software Technology. . Read More…
2023
  • 25th Sep-29th Sep, 2023. Fall Days on Sustainable Software in Society. . Read More…
  • 8th May -12th May , 2023 . Course: Algorithms, Complexity, and Security course. Eindhoven University of Technology. Read More…
  • 19th Apr-20th Apr, 2023. ICT.OPEN 2023. Jaarbeurs Utrecht. Read More…
2022
  • 3rd Oct -7th Oct , 2022 . Fall Days on Scalable and Versatile Software Analytics: ML and NLP to the Fore. Landal Beach Resort Ooghduyne. Read More…
  • 13th Jun -17th Jun , 2022 . Course: Formal Methods 2022. Eindhoven University of Technology. Read More…
  • 29th Mar -29th Mar , 2022 . IPA Dissertation Awards Event – Rescheduled to Tuesday March 29th 2022. . Read More…
  • 7th Mar -7th Mar , 2022 . IPA In Person Algorithmics Course Day March 7th 2022. . Read More…
2021
  • 6th Oct -6th Oct , 2021 . Joint IPA & VERSEN seminar afternoon on “Artificial Intelligence meets Software Engineering”. Utrecht University. Read More…
  • 27th Sep -27th Sep , 2021 . IPAndemic Online SE Course Day postponed to September 27th 2021. . Read More… Natural Language Processing and Traceability in Software Artifacts
  • 23rd Jun -23rd Jun , 2021 . IPAndemic afternoon Wednesday June 23rd 2021. . Read More…
  • 26th May -26th May , 2021 . IPAndemic afternoon Wednesday May 26th 2021. . Read More…
  • 20th Apr -20th Apr , 2021 . IPAndemic Online FM Course Day April 20th 2021. . Read More… Model checking using the mcrl2 tool set
  • 26th Mar -26th Mar , 2021 . IPAndemic Friday March 26th 2021. . Read More…
2020
  • 17th Mar-18th Mar, 2020. ICT.OPEN 2020. Martiniplaza. Read More…
  • 27th Jan -31st Jan , 2020 . Course: Software Engineering and Technology 2020. . Read More…
2019
  • 28th Oct -1st Nov , 2019 . Fall Days on Legacy and Evolution. . Read More…
  • 19th Mar -20th Mar , 2019 . ICT.OPEN 2019. Gooiland Theater. Read More…
  • 21st Jan -25th Jan , 2019 . Course: Algorithms and Complexity. Eindhoven University of Technology. Read More…
2018
  • 29th Oct -2nd Nov , 2018 . Fall Days on Models in Software Engineering. . Read More…
  • 11th Jun-15th Jun, 2018. Course: Formal Methods. Eindhoven University of Technology. Read More…
  • 19th Mar -20th Mar , 2018 . ICT.OPEN 2018. De Flint. Read More…
  • 29th Jan-2nd Feb, 2018. Course: Software Engineering and Technology. Eindhoven University of Technology. Read More…
2017
2016
  • 7th Nov -11th Nov , 2016 . Fall Days on Communication, Safety and Privacy in IoT. Hotel Oranjeoord. Read More… Also see the photos (courtesy of Pieter Cuijpers and Tim Willemse)
  • 4th Jul-8th Jul, 2016. Course: Algorithms and Complexity. Eindhoven University of Technology. Read More…
  • 22nd Mar -23rd Mar , 2016 . ICT.OPEN 2016. . Read More…
2015
  • 7th Dec-11th Dec, 2015. ICT with Industry 2015. Lorentz Center. Read More…
  • 2nd Dec -2nd Dec , 2015 . Workshop on Realistic Program Verification. Radboud University Nijmegen. Read More…
  • 13th Nov-13th Nov, 2015. Symposium on Probabilistic systems and SOS language theory. Free University Amsterdam. Read More…
  • 2nd Nov-6th Nov, 2015. Fall Days on Algorithms and Models for Real-Life Systems. Hotel de Oolderhof. Read More… Also see the photos (courtesy of Bogdan Vasilescu)
  • 29th Jun-3rd Jul, 2015. Course: Formal Methods. Twente University. Read More…
  • 24th Mar-25th Mar, 2015. ICT.OPEN 2015. . Read More…
  • 26th Jan-29th Jan, 2015. Course: Software Engineering and Technology. Eindhoven University of Technology. Read More…
2014
  • 5th Nov-7th Nov, 2014. Fall Days 2014. Hotel de Leijhof. Read More…
  • 7th Apr -11th Apr , 2014 . Spring Days on Cyber-Security. Hampshire Hotel -- Mooi Veluwe. Read More… See also the photos.
  • 27th Jan -31st Jan , 2014 . Course: Algorithms and Complexity. Eindhoven University of Technology. Read More…
  • 16th Jan -17th Jan , 2014 . The Future of Programming. Delft University of Technology. Read More…
2013
  • 27th Nov -28th Nov , 2013 . ICT.OPEN 2013. Van der Valk Hotel. Read More…
  • 28th Oct-1st Nov, 2013. Course: Formal Methods. Eindhoven University of Technology. Read More…
  • 13th Sep-13th Sep, 2013. Mini-symposium on Quantitative Analysis. Twente University. Read More…
  • 13th May -17th May , 2013 . Spring Days on Cyber-Physical Systems. De Zeven Heuvelen, Groesbeek. Read More… Also see the photos.
  • 21st Jan-25th Jan, 2013. Course: Software Engineering and Technology. Eindhoven University of Technology. Read More…
2012
  • 22nd Oct-23rd Oct, 2012. Fall Days @ ICT.OPEN 2012. WTC Rotterdam. Read More…
  • 12th Sep-12th Sep, 2012. Course: Principles of Model Checking. Twente University. Read More…
  • 16th Apr-20th Apr, 2012. Spring Days on Model-Driven Software Engineering. Hotel Overbosch. Read More… See also the photos.