Computer And Information Sciences

Activities

Activities per year 2002 2015 2016 2017 2018 2019 2021 2022 2023 2023

• 208 Invited talk
• 79 Organiser of major conference
• 77 Oral presentation
• 75 Membership of committee
• 425 More
  • 59 Journal peer review
  • 57 Examination
  • 50 Participation in conference
  • 37 Participation in workshop, seminar, course
  • 36 Key-note speaker and plenary lectures at conferences
  • 35 Editorial board member
  • 35 Types of Public engagement and outreach - Media article or participation
  • 25 Organiser of special symposia
  • 22 Membership of network
  • 21 Journal or guest editorship
  • 13 Visiting an external academic institution
  • 8 Consultancy
  • 7 Other
  • 5 Membership of peer review panel or committee
  • 5 Membership of board
  • 4 Hosting an academic visitor
  • 4 Types of Public engagement and outreach - To be assigned
  • 1 To be assigned
  • 1 Membership of council

Activities per year

Search results

• Designing accessible information for people living with dementia

  Diane Pennington (Speaker)

  2019

  Activity: Talk or presentation types › Oral presentation

• The Syntax and Semantics of Quantitative Type Theory

  Bob Atkey (Speaker)

  11 Jul 2018

  Activity: Talk or presentation types › Oral presentation

• What is research evidence?

  Diane Pennington (Speaker)

  5 Jul 2018

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Thorsten Altenkirch (Contributor), Paolo Capriotti (Contributor), Gabe Dijkstra (Contributor) & Nicolai Kraus (Contributor)

  21 Jun 2018

  Activity: Talk or presentation types › Oral presentation

• Developing and applying theoretical frameworks to your research

  Diane Pennington (Speaker)

  7 Mar 2018

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  31 Jan 2018

  Activity: Talk or presentation types › Oral presentation

• iSchool Seminar

  Hussain Saad M Alshahrani (Speaker)

  2018

  Activity: Talk or presentation types › Oral presentation

• Information behaviour during transitions and liminal periods: Experiences of inclusion and exclusion

  Rebekah Willson (Speaker)

  28 Oct 2017

  Activity: Talk or presentation types › Oral presentation

• Information in transition: The social flow of information. Paper presented

  Rebekah Willson (Speaker)

  29 Jun 2017

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor), Conor McBride (Contributor) & Stephan Spahn (Contributor)

  31 May 2017

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  12 May 2017

  Activity: Talk or presentation types › Oral presentation

• Observed Communication Semantics for Classical Processes

  Bob Atkey (Speaker)

  26 Apr 2017

  Activity: Talk or presentation types › Oral presentation

• From Secondary Education to Beyond: Information Literacy to Support Young People’s Educational Transitions

  Lauren Smith (Speaker)

  11 Apr 2017

  Activity: Talk or presentation types › Oral presentation

• Demystifying dissemination: Academic presenting and publishing

  Diane Pennington (Speaker)

  6 Feb 2017

  Activity: Talk or presentation types › Oral presentation

• The problem with working in the university is the university: “Systemic Managerial Constraints” and working in academe

  Rebekah Willson (Speaker)

  24 Feb 2017

  Activity: Talk or presentation types › Oral presentation

• Understanding workplace information needs and system design needs of people with dementia

  Diane Pennington (Speaker)

  2017

  Activity: Talk or presentation types › Oral presentation

• How do you find a good movie? Emotional information engagement

  Diane Pennington (Speaker)

  2017

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  19 Oct 2016

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker), Neil Ghani (Contributor) & Alex Simpson (Contributor)

  23 May 2016

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  5 May 2016

  Activity: Talk or presentation types › Oral presentation

• iSchool Seminar

  Hussain Saad M Alshahrani (Speaker)

  2016

  Activity: Talk or presentation types › Oral presentation

• How do you find a good movie?

  Diane Pennington (Speaker)

  2016

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker)

  7 Oct 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Contributor), Neil Ghani (Contributor) & Federico Orsanigo (Speaker)

  21 May 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Speaker) & James McKinna (Contributor)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

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

  Fredrik Nordvall Forsberg (Contributor), Thorsten Altenkirch (Contributor), Paolo Capriotti (Contributor) & Gabe Dijkstra (Speaker)

  20 May 2015

  Activity: Talk or presentation types › Oral presentation

• Scottish Programming Languages Seminar: "Restricted dependent bounded linear types for arbitrary resources"

  Fredrik Nordvall Forsberg (Speaker)

  26 Feb 2014

  Activity: Talk or presentation types › Oral presentation