SICSA

Activities

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

• 58 Invited talk
• 43 Organiser of major conference
• 37 Membership of committee
• 32 Oral presentation
• 154 More
  • 30 Examination
  • 19 Key-note speaker and plenary lectures at conferences
  • 17 Organiser of special symposia
  • 15 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

• Enumerative Combinatorics and Applications (Journal)

  Bevan, D. (Guest editor), Kitaev, S. (Editor) & Steingrimsson, E. (Editor)

  2021 → 2022

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Enumerative Combinatorics and Applications (Journal)

  Kitaev, S. (Peer reviewer)

  2020 → …

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• 23rd International Conference on Types for Proofs and Programs (Event)

  Nordvall Forsberg, F. (Guest editor)

  Dec 2018

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Information Systems (Journal)

  Connor, R. (Guest editor)

  Oct 2015

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Pure Mathematics and Applications (Journal)

  Kitaev, S. (Guest editor)

  2012 → 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• ACM Interactions (Journal)

  Hornecker, E. (Editor)

  2011 → …

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• International Journal of Internet Technology and Secured Transactions (Journal)

  Connor, R. (Editor)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Advances in Human-Computer Interaction (Journal)

  Dunlop, M. (Editor)

  Jan 2008 → May 2012

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• International Journal of Internet Technology and Secured Transactions (Journal)

  Connor, R. (Editor)

  Jan 2008 → Apr 2016

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Journal of Functional Programming (Journal)

  McBride, C. (Editor)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Vol 19, Issues 3 & 4 (Special Issue on Mathematically Structured Functional Programming

  McBride, C. (Guest editor)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Information and Software Technology (Journal)

  Roper, M. (Editorial board member)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• International Journal of Metaheuristics (Journal)

  Levine, J. (Editorial board member)

  Jan 2008 → Dec 2013

  Activity: Publication peer-review and editorial work types › Journal or guest editorship

• Software Testing, Verification and Reliability (Journal)

  Roper, M. (Editorial board member)

  Jan 2008 → …

  Activity: Publication peer-review and editorial work types › Journal or guest editorship