Activities

Activities per year 2002 2006 2007 2012 2013 2017 2018 2019 2021 2022

• 48 Participation in conference
• 13 Participation in workshop, seminar, course
• 5 Participation to a Symposium, a study Day
• 3 Research/Teaching in a external institution
• 3 More
  • 2 Oral presentation
  • 1 Invited talk

Activities per year

Search results

• Multiplying forms of recognition of student 'work' in times of pandemic: group word support as a source of resilience?

  Linden, I. (Speaker)

  5 Jul 2021 → 6 Jul 2021

  Activity: Talk or presentation types › Oral presentation

• Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

  Barkallah, M. (Speaker), Jacquet, J.-M. (Speaker) & Linden, I. (Speaker)

  23 Oct 2018

  Activity: Talk or presentation types › Oral presentation