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
• 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

• Computational challenges in the theory of word-representable graphs

  Kitaev, S. (Speaker)

  24 May 2019

  Activity: Talk or presentation types › Invited talk

• IEEE International Conference on Artificial Intelligence Testing (AITest)

  Roper, M. (Chair)

  4 Apr 2019 → 9 Apr 2019

  Activity: Participating in or organising an event types › Organiser of major conference

• Equidistributions on planar maps via involutions on description trees

  Kitaev, S. (Speaker)

  10 Apr 2019

  Activity: Talk or presentation types › Invited talk

• ACM SIGIR Conference on Human Information Interaction & Retrieval 2019

  Halvey, M. (Chair)

  Mar 2019

  Activity: Participating in or organising an event types › Organiser of major conference

• 13th International Conference on Language and Automata Theory and Applications

  Kitaev, S. (Participant)

  25 Mar 2019 → 29 Mar 2019

  Activity: Participating in or organising an event types › Organiser of major conference

• Exploring the Discovery of Tactics from User Logs

  Halvey, M. (Speaker)

  Feb 2019

  Activity: Talk or presentation types › Invited talk

• University of Adger

  Lennon, M. (Visiting researcher)

  20 Feb 2019

  Activity: Visiting an external institution types › Visiting an external academic institution

• University of Adger

  Lennon, M. (Visiting researcher)

  12 Feb 2019

  Activity: Visiting an external institution types › Visiting an external academic institution

• ACM CHI Conference on Human Factors in Computing Systems

  Lennon, M. (Participant)

  1 Jan 2019 → 31 May 2019

  Activity: Participating in or organising an event types › Organiser of special symposia

• External Examiner for PGT programme, Department of Informatics, King’s College London,

  Roper, M. (Examiner)

  2019 → 2023

  Activity: Examination types › Examination

• British Medical Journal (Journal)

  Lennon, M. (Peer reviewer)

  2019 → 2022

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

• Journal of Medical Internet Research (Journal)

  Lennon, M. (Peer reviewer)

  2019 → 2022

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

• External examiner for Matt McDevitt' viva at the University of St Andrews

  Kitaev, S. (Examiner)

  2019

  Activity: Examination types › Examination

• 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

• Second Symposium on Compositional Structures

  Nordvall Forsberg, F. (Organiser)

  17 Dec 2018

  Activity: Participating in or organising an event types › Organiser of special symposia

• Exploring the Impact of Conversational Strategies for Goal-Oriented Search Tasks

  Halvey, M. (Speaker)

  Oct 2018

  Activity: Talk or presentation types › Invited talk

• Beyond actions: Exploring the discovery of tactics from user logs

  Halvey, M. (Speaker)

  Sept 2018

  Activity: Talk or presentation types › Invited talk

• Second Statebox Summit

  Nordvall Forsberg, F. (Participant)

  8 Sept 2018 → 15 Sept 2018

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Theoretical and Computational Discrete Mathematics (TCDM 2018)

  Kitaev, S. (Participant)

  14 Sept 2018 → 15 Sept 2018

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• SICSA Urban Big Data and Health

  Lennon, M. (Invited speaker)

  23 Aug 2018

  Activity: Talk or presentation types › Invited talk

• EUTypes Summer School lecturer: "Introduction to HoTT"

  Nordvall Forsberg, F. (Invited speaker)

  8 Aug 2018 → 12 Aug 2018

  Activity: Talk or presentation types › Invited talk

• Formal Power Series and Algebraic Combinatorics 2018

  Steingrimsson, E. (Participant)

  Jul 2018

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• SICSA PhD Conference 2018

  Nordvall Forsberg, F. (Speaker) & Hannah, S. A. (Speaker)

  29 Jun 2018

  Activity: Public Engagement and Outreach › Public Events

• 5th International Conference on Riordan Arrays and Related Topics (5 RART 2018)

  Kitaev, S. (Participant)

  25 Jun 2018 → 29 Jun 2018

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• British Mathematical Colloquium 2018

  Kitaev, S. (Participant)

  11 Jun 2018 → 14 Jun 2018

  Activity: Participating in or organising an event types › Organiser of special symposia

• Contributed talk TYPES 2018: "Specifying quotient inductive-inductive types"

  Nordvall Forsberg, F. (Speaker), Altenkirch, T. (Contributor), Capriotti, P. (Contributor), Dijkstra, G. (Contributor) & Kraus, N. (Contributor)

  21 Jun 2018

  Activity: Talk or presentation types › Oral presentation

• LMU Munich Oberseminar Mathematische Logik: "Mutual data types with equalities: quotient inductive-inductive types"

  Nordvall Forsberg, F. (Invited speaker)

  30 Apr 2018

  Activity: Talk or presentation types › Invited talk

• Using Thermal Stimuli to Enhance Photo-Sharing in Social Media

  Halvey, M. (Speaker)

  27 Apr 2018

  Activity: Talk or presentation types › Invited talk

• Compositionality (Journal)

  Duncan, R. (Editorial board member)

  1 Jan 2018 → 1 Jan 3000

  Activity: Publication peer-review and editorial work types › Editorial board member

• Contributed talk AIM XXVI: "Quotient inductive-inductive types: initiality and induction"

  Nordvall Forsberg, F. (Speaker)

  31 Jan 2018

  Activity: Talk or presentation types › Oral presentation

• Computer And Information Sciences (Organisational unit)

  Lennon, M. (Advisor)

  2018 → …

  Activity: Membership types › Membership of committee

• University Of Strathclyde (Organisational unit)

  Lennon, M. (Advisor)

  2018 → 2022

  Activity: Membership types › Membership of committee

• 20th International Conference on Human-Computer Interaction with Mobile Devices and Services

  Halvey, M. (Organiser)

  2018

  Activity: Participating in or organising an event types › Organiser of major conference

• External Examiner (MSc Programme) Heriot-Watt University, School of Mathematical and Computer Science

  Roper, M. (Examiner)

  2018 → 2022

  Activity: Examination types › Examination

• First Statebox Summit

  Nordvall Forsberg, F. (Invited speaker)

  1 Nov 2017 → 3 Nov 2017

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Scottish Library and Information Council (External organisation)

  Ruthven, I. (Advisor)

  1 Nov 2017 → 31 Oct 2020

  Activity: Membership types › Membership of committee

• Ljubljana Foundations seminar: "Alternative coding systems for inductive-recursive definitions"

  Nordvall Forsberg, F. (Speaker)

  21 Nov 2017

  Activity: Talk or presentation types › Invited talk

• Andrew Collins' Ph.D. defence (viva) at the University of Warwick

  Kitaev, S. (Examiner)

  6 Oct 2017

  Activity: Examination types › Examination

• One-Day Meeting in Combinatorics, Sungkyunkwan University

  Kitaev, S. (Speaker)

  13 Sept 2017

  Activity: Talk or presentation types › Invited talk

• A comprehensive introduction to the theory of word-representable graphs

  Kitaev, S. (Speaker)

  7 Aug 2017

  Activity: Talk or presentation types › Invited talk

• 26th British Combinatorial Conference

  Kitaev, S. (Participant)

  3 Jul 2017 → 7 Jul 2017

  Activity: Participating in or organising an event types › Organiser of special symposia

• eMEN e-mental health implementation seminar 11th July 2017 in Amsterdam

  Lennon, M. (Keynote/plenary speaker)

  11 Jul 2017

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• 26th British Combinatorial Conference

  Kitaev, S. (Participant)

  3 Jul 2017 → 7 Jul 2017

  Activity: Participating in or organising an event types › Organiser of major conference

• Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"

  Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor), McBride, C. (Contributor) & Spahn, S. (Contributor)

  31 May 2017

  Activity: Talk or presentation types › Oral presentation

• Leeds Proofs, Constructions, and Computations Seminar: "Variations on inductive-recursive definitions"

  Nordvall Forsberg, F. (Invited speaker)

  3 May 2017

  Activity: Talk or presentation types › Invited talk

• Contributed talk AIM XXV: "Variations on inductive-recursive defnitions"

  Nordvall Forsberg, F. (Speaker)

  12 May 2017

  Activity: Talk or presentation types › Oral presentation

• Equity and e-mental health: Can digital technology help us to achieve good mental health for all? Belfast April 2017

  Lennon, M. (Keynote/plenary speaker)

  28 Apr 2017

  Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences

• Carnegie UK Trust #NotWithoutMe@the BBC

  Buchanan, S. (Participant)

  15 Mar 2017

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Series of five lectures

  Kitaev, S. (Speaker)

  20 Feb 2017 → 24 Feb 2017

  Activity: Talk or presentation types › Invited talk

• Scottish Government (External organisation)

  Buchanan, S. (Advisor)

  2017 → …

  Activity: Membership types › Membership of committee