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

• Scottish Government (External organisation)

  Buchanan, S. (Advisor)

  2017 → …

  Activity: Membership types › Membership of committee

• American Mathematical Society (Publisher)

  Nordvall Forsberg, F. (Peer reviewer)

  2017 → …

  Activity: Publication peer-review and editorial work types › Membership of peer review panel or committee

• Digital Health Institute DHI (SFC Innovation Centre, Administered by the University of Strathclyde (External organisation)

  Lennon, M. (Advisor)

  2017 → …

  Activity: Membership types › Membership of committee

• University of Texas Austin iSchool iForum Series Invited Speaker

  Buchanan, S. (Invited speaker)

  2017 → …

  Activity: Talk or presentation types › Invited talk

• PhD Thesis: Inference as a data management problem, Liu, Y.

  Wilson, J. N. (External Examiner)

  19 Dec 2016

  Activity: Examination types › Examination

• Computer & Information Sciences Christmas Lecture for Schools

  Duncan, R. (Participant)

  9 Dec 2016

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

• 2nd Annual Scottish Library and Information Council Digital and Information Literacy Symposium

  Buchanan, S. (Keynote/plenary speaker)

  18 Nov 2016

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

• National Health Service Scotland Knowledge into Action (K2A) Expert Webex

  Buchanan, S. (Participant)

  9 Nov 2016

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

• Scottish Programming Languages Seminar

  Chapman, J. (Organiser) & Nordvall Forsberg, F. (Organiser)

  9 Nov 2016

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

• Swansea University Annual Computer Science Undergraduate Colloquium at Gregynog

  Nordvall Forsberg, F. (Speaker)

  28 Nov 2016

  Activity: Public Engagement and Outreach › Public Events

• National Health Service Scotland Health Literacy Conference

  Buchanan, S. (Participant)

  26 Oct 2016

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

• Departmental seminar: "Expressive data types for programming languages and verification"

  Nordvall Forsberg, F. (Speaker)

  19 Oct 2016

  Activity: Talk or presentation types › Oral presentation

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

  Halvey, M. (Speaker)

  Oct 2016

  Activity: Talk or presentation types › Invited talk

• Evaluation of Digital Health in Scotland: Lessons learned

  Lennon, M. (Keynote speaker)

  23 Oct 2016

  Activity: Talk or presentation types › Invited talk

• ISIC : The Information Behaviour Conference

  Ruthven, I. (Keynote/plenary speaker)

  20 Sept 2016 → 23 Sept 2016

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

• Glasgow Life (External organisation)

  Buchanan, S. (Member)

  5 Sept 2016

  Activity: Membership types › Membership of committee

• SIGIR

  Ruthven, I. (Chair)

  17 Jul 2016 → 21 Jul 2016

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

• Ljubljana Foundations Seminar: "Applications and theory of higher inductive types"

  Nordvall Forsberg, F. (Invited speaker)

  17 May 2016

  Activity: Talk or presentation types › Invited talk

• Cambridge Logic and Semantics Seminar: "Comprehensive parametric polymorphism"

  Nordvall Forsberg, F. (Invited speaker)

  3 May 2016

  Activity: Talk or presentation types › Invited talk

• Contributed talk PCC 2016: "A Type Theory for Comprehensive Parametric Polymorphism"

  Nordvall Forsberg, F. (Speaker)

  5 May 2016

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2016: "A Type Theory for Comprehensive Parametric Polymorphism"

  Nordvall Forsberg, F. (Speaker), Ghani, N. (Contributor) & Simpson, A. (Contributor)

  23 May 2016

  Activity: Talk or presentation types › Oral presentation

• LFCS Seminar: "Comprehensive parametric polymorphism"

  Nordvall Forsberg, F. (Speaker)

  3 May 2016

  Activity: Talk or presentation types › Invited talk

• Mathematically Structured Functional Programming 2016

  Nordvall Forsberg, F. (Keynote/plenary speaker)

  8 Apr 2016

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

• Agda Implementors' Meeting XXIII

  Chapman, J. (Organiser) & Nordvall Forsberg, F. (Organiser)

  20 Apr 2016 → 26 Apr 2016

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

• Categories Logic and Physics

  Duncan, R. (Organiser)

  14 Apr 2016

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

• On Interacting Frobenius Algebras and Distributive Laws

  Duncan, R. (Invited speaker)

  Apr 2016

  Activity: Talk or presentation types › Invited talk

• A Comparison of Primary and Secondary Relevance Judgements for Real-Life Topics

  Halvey, M. (Speaker)

  Mar 2016

  Activity: Talk or presentation types › Invited talk

• Interacting Frobenius Algebras are Hopf

  Duncan, R. (Invited speaker)

  2 Feb 2016

  Activity: Talk or presentation types › Invited talk

• ISTI-CNR Pisa

  Connor, R. (Visiting researcher)

  20 Feb 2016 → 10 Mar 2016

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

• The Effect of Thermal Stimuli on the Emotional Perception of Images

  Halvey, M. (Speaker)

  Jan 2016

  Activity: Talk or presentation types › Invited talk

• Widening Access Accelerate Summer school in computing science

  Lennon, M. (Recipient)

  2016 → 2022

  Activity: Public Engagement and Outreach › Media Participation

• National Health Service in Scotland (External organisation)

  Buchanan, S. (Member)

  2016 → …

  Activity: Membership types › Membership of committee

• Economic and Social Research Council (External organisation)

  Buchanan, S. (Member)

  2016 → …

  Activity: Membership types › Membership of committee

• Information Seeking in Context Conference Series (External organisation)

  Ruthven, I. (Member)

  2016 → …

  Activity: Membership types › Membership of committee

• Conference on Information and Knowledge Management

  Roussinov, D. (Member of programme committee)

  2016

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

• Health and Wellbeing (Organisational unit)

  Lennon, M. (Chair)

  2016 → …

  Activity: Membership types › Membership of committee

• PhD Thesis: Extracting structured data from web query result pages. Weng, D.

  Wilson, J. N. (External Examiner)

  3 Dec 2015

  Activity: Examination types › Examination

• Outreach talk at the 33rd Annual Colloquium of Swansea University Department of Computer Science: "Life in Academia"

  Nordvall Forsberg, F. (Speaker)

  16 Nov 2015

  Activity: Public Engagement and Outreach › Education Outreach

• Scottish Theorem Proving seminar: "The encode-decode method in HoTT, relationally"

  Nordvall Forsberg, F. (Speaker)

  7 Oct 2015

  Activity: Talk or presentation types › Oral presentation

• Information Systems (Journal)

  Connor, R. (Guest editor)

  Oct 2015

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

• Strong Complementarity in Quantum Computing

  Duncan, R. (Invited speaker)

  Sept 2015

  Activity: Talk or presentation types › Invited talk

• Cultural Heritage Communities: Technologies and Challenges

  Damala, A. (Organiser)

  28 Jun 2015

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

• Contributed talk TYPES 2015: "Two-dimensional proof-relevant parametricity"

  Nordvall Forsberg, F. (Contributor), Ghani, N. (Contributor) & Orsanigo, F. (Speaker)

  21 May 2015

  Activity: Talk or presentation types › Oral presentation

• Contributed talk TYPES 2015: "The encode-decode method, relationally"

  Nordvall Forsberg, F. (Speaker) & McKinna, J. (Contributor)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

• Smartphone and Smarthomes workshop

  Lennon, M. (Contributor)

  7 May 2015

  Activity: Talk or presentation types › Invited talk

• Future Cities Engage Event

  Lennon, M. (Speaker)

  8 May 2015

  Activity: Talk or presentation types › Invited talk

• Contributed talk TYPES 2015: "Towards a theory of higher inductive types"

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

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

• PhD Thesis: Semantic attack on transaction data anonymised by set-based generalisation. Hoang,O

  Wilson, J. N. (External Examiner)

  14 Apr 2015

  Activity: Examination types › Examination

• LFCS Seminar: "Inductive-inductive definitions in Type Theory"

  Nordvall Forsberg, F. (Invited speaker)

  29 Apr 2015

  Activity: Talk or presentation types › Invited talk

• Iinvited talk at Scottish Combinatorics Meeting

  Kitaev, S. (Speaker)

  29 Apr 2015 → 30 Apr 2015

  Activity: Talk or presentation types › Invited talk