SICSA

Activities

Activities per year 2004 2008 2011 2014 2015 2016 2017 2018 2019 2021 2022 2024 2025

• 58 Invited talk
• 42 Organiser of major conference
• 37 Membership of committee
• 32 Oral presentation
• 153 More
  • 30 Examination
  • 19 Key-note speaker and plenary lectures at conferences
  • 17 Organiser of special symposia
  • 14 Participation in workshop, seminar, course
  • 14 Journal or guest editorship
  • 12 Editorial board member
  • 9 Visiting an external academic institution
  • 8 Participation in conference
  • 7 Journal peer review
  • 6 Media Participation
  • 5 Membership of network
  • 5 Public Events
  • 4 Education Outreach
  • 1 Membership of peer review panel or committee
  • 1 To be assigned
  • 1 Membership of board

Activities per year

Search results

• Dafny 2024

  de Muijnck-Hughes, J. (Speaker)

  14 Jan 2024

  Activity: Participating in or organising an event types › Participation in conference

• Principles of Programming Languages (POPL 2024)

  de Muijnck-Hughes, J. (Participant)

  14 Jan 2024 → 16 Jan 2024

  Activity: Participating in or organising an event types › Participation in conference

• Théorie des types, mathématiques constructives et logique géométrique

  Nordvall Forsberg, F. (Participant)

  1 May 2023 → 5 May 2023

  Activity: Participating in or organising an event types › Participation in conference

• Mobile HCI conference Associate Chair (Programme Commitee and reviewer)

  Lennon, M. (Participant)

  2020 → 2021

  Activity: Participating in or organising an event types › Participation in conference

• National Health Service Scotland Health Literacy Conference

  Buchanan, S. (Participant)

  26 Oct 2016

  Activity: Participating in or organising an event types › Participation in conference

• AMS-MAA joint Meetings

  Kitaev, S. (Invited speaker)

  12 Jan 2013

  Activity: Participating in or organising an event types › Participation in conference

• AMS-MAA joint Meetings

  Kitaev, S. (Invited speaker)

  15 Jan 2010

  Activity: Participating in or organising an event types › Participation in conference

• 4th International Conference on Global E-Security

  Weir, G. (Speaker)

  2008

  Activity: Participating in or organising an event types › Participation in conference