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

  • 3rd Jul -7th Jul, 2017 . Course: Rewriting. Eindhoven University of Technology. Read More…

Past courses and events

Below is a list of IPA’s past activities.

  • 21st Mar -22nd Mar, 2017 . ICT.OPEN 2017. De Flint. Read More…
  • 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…
  • 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…
  • 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…
  • 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…
  • 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.