Mathematically Structured Programming

Activities

Activities per year 2008 2016 2017 2018 2019 2022

• 24 Invited talk
• 8 Participation in workshop, seminar, course
• 8 Examination
• 7 Key-note speaker and plenary lectures at conferences
• 19 More
  • 4 Participation in conference
  • 4 Organiser of special symposia
  • 3 Journal or guest editorship
  • 3 Membership of peer review panel or committee
  • 2 Organiser of major conference
  • 2 Oral presentation
  • 1 Membership of committee

Activities per year

Search results

• Applied Category Theory 2022

  Fredrik Nordvall Forsberg (Organiser), Jade Master (Organiser), Julian Hedges (Organiser) & James Fairbanks (Organiser)

  18 Jul 2022 → 22 Jul 2022

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

• Proof and Computation 2022

  Fredrik Nordvall Forsberg (Invited speaker)

  31 May 2022

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

• Topos Institute 2nd Workshop on Polynomial Functors

  Fredrik Nordvall Forsberg (Invited speaker)

  14 Mar 2022

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

• Homotopy Type Theory Electronic Seminar Talk: "Different Notions of Ordinals in Homotopy Type Theory"

  Fredrik Nordvall Forsberg (Speaker)

  3 Mar 2022

  Activity: Talk or presentation types › Invited talk

• External examiner for Andras Kovacs' PhD

  Fredrik Nordvall Forsberg (Examiner)

  11 Feb 2022

  Activity: Examination types › Examination

• GReTA Seminar: Rule-based models of epidemics

  William Waites (Speaker)

  28 Jan 2022

  Activity: Talk or presentation types › Invited talk

• Nottingham FP Lunch: "Functorial adapters in bidirectional type systems"

  Fredrik Nordvall Forsberg (Invited speaker)

  23 Apr 2021

  Activity: Talk or presentation types › Invited talk

• Budapest Type Theory Seminar: "Quantitative type theory and data types"

  Fredrik Nordvall Forsberg (Invited speaker)

  31 Mar 2021

  Activity: Talk or presentation types › Invited talk

• Topos Institute Workshop on Polynomial Functors

  Fredrik Nordvall Forsberg (Invited speaker)

  19 Mar 2021

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

• External examiner for Craig McLaughlin's PhD thesis

  Bob Atkey (Examiner)

  28 Feb 2020

  Activity: Examination types › Examination

• LFCS Seminar: "Ordinal notation systems for ordinals below ε0 in modern type theories"

  Fredrik Nordvall Forsberg (Invited speaker)

  4 Feb 2020

  Activity: Talk or presentation types › Invited talk

• Invited Talk “Resource Constrained Programming with Full Dependent Types”

  Bob Atkey (Speaker)

  23 Jan 2020

  Activity: Talk or presentation types › Invited talk

• Invited talk “Type Theory and Sympathy”

  Bob Atkey (Speaker)

  9 Dec 2019

  Activity: Talk or presentation types › Invited talk

• Foundations and Applications of Univalent Mathematics

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  20 Dec 2019

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

• External examiner for Jakob von Raumer's PhD

  Fredrik Nordvall Forsberg (Examiner)

  6 Dec 2019

  Activity: Examination types › Examination

• Jury member for Kenji Malliard's thesis defence

  Bob Atkey (Examiner)

  26 Nov 2019

  Activity: Examination types › Examination

• External Examiner for Frantisek Farka's PhD thesis

  Bob Atkey (Examiner)

  9 Oct 2019

  Activity: Examination types › Examination

• Third Statebox Summit

  Fredrik Nordvall Forsberg (Invited speaker)

  16 Sep 2019 → 21 Sep 2019

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

• Connected Places Exploration Workshop

  Neil Ghani (Participant)

  26 Sep 2019

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

• Scottish Programming Languages and Verification Summer School 2019

  Fredrik Nordvall Forsberg (Organiser), Clemens Kupke (Organiser) & Bob Atkey (Organiser)

  5 Aug 2019 → 9 Aug 2019

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

• External Examiner for Bram Geron's thesis

  Bob Atkey (Examiner)

  8 Jul 2019

  Activity: Examination types › Examination

• Invited Talk “Reviews: Writing, Reading, and Responding”

  Bob Atkey (Speaker)

  22 Jun 2019

  Activity: Talk or presentation types › Invited talk

• Invited talk “One monad to the tune of another”

  Bob Atkey (Speaker)

  23 Jun 2019

  Activity: Talk or presentation types › Invited talk

• NII Shonan Seminar no. 146 “Programming and Reasoning with Algebraic Effects and Effect Handlers”

  Bob Atkey (Participant)

  24 Mar 2019 → 29 Mar 2019

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

• ECOOP 2019 (Event)

  Bob Atkey (Peer reviewer)

  11 Jan 2019 → 2 Apr 2019

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

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

  Fredrik Nordvall Forsberg (Guest editor)

  Dec 2018

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

• Second Symposium on Compositional Structures

  Fredrik Nordvall Forsberg (Organiser)

  17 Dec 2018

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

• Second Statebox Summit

  Fredrik Nordvall Forsberg (Participant)

  8 Sep 2018 → 15 Sep 2018

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

• Committee member for Andrea Vezzosi's PhD defence

  Bob Atkey (Examiner)

  5 Sep 2018

  Activity: Examination types › Examination

• Invited talk “Syntax and Semantics of Quantitative Type Theory”

  Bob Atkey (Speaker)

  6 Sep 2018

  Activity: Talk or presentation types › Invited talk

• EUTypes Summer School lecturer: "Introduction to HoTT"

  Fredrik Nordvall Forsberg (Invited speaker)

  8 Aug 2018 → 12 Aug 2018

  Activity: Talk or presentation types › Invited talk

• Principles of Programming Languages 2019 (Event)

  Bob Atkey (Peer reviewer)

  11 Jul 2018 → 10 Oct 2018

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

• 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

  Bob Atkey (Participant)

  9 Jul 2018 → 12 Jul 2018

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

• The Syntax and Semantics of Quantitative Type Theory

  Bob Atkey (Speaker)

  11 Jul 2018

  Activity: Talk or presentation types › Oral presentation

• SICSA PhD Conference 2018

  Fredrik Nordvall Forsberg (Invited speaker) & Stuart Alexander Hannah (Invited speaker)

  29 Jun 2018

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

• External examiner for Chris Schwaab's PhD thesis

  Bob Atkey (Examiner)

  28 May 2018

  Activity: Examination types › Examination

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

  Fredrik Nordvall Forsberg (Invited speaker)

  30 Apr 2018

  Activity: Talk or presentation types › Invited talk

• Dagstuhl Seminar 18172 "Algebraic Effect Handlers go Mainstream"

  Bob Atkey (Participant)

  22 Apr 2018 → 27 Apr 2018

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

• First Statebox Summit

  Fredrik Nordvall Forsberg (Invited speaker)

  1 Nov 2017 → 3 Nov 2017

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

• Dagstuhl Seminar 17291 "Resource Bound Analysis"

  Bob Atkey (Participant)

  16 Jul 2017 → 21 Jul 2017

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

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

  Fredrik Nordvall Forsberg (Invited speaker)

  3 May 2017

  Activity: Talk or presentation types › Invited talk

• Agda Implementor's Meeting XXIII

  James Chapman (Organiser) & Fredrik Nordvall Forsberg (Organiser)

  20 Apr 2017 → 26 Apr 2017

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

• 26th European Symposium on Programming

  Bob Atkey (Participant)

  17 Apr 2017 → 30 Apr 2017

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

• Observed Communication Semantics for Classical Processes

  Bob Atkey (Speaker)

  26 Apr 2017

  Activity: Talk or presentation types › Oral presentation

• 22nd ACM SIGPLAN International Conference on Functional Programming

  Bob Atkey (Member of programme committee)

  27 Feb 2017 → 1 May 2017

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

• Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types"

  Bob Atkey (Participant)

  29 Jan 2017 → 3 Feb 2017

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

• Swansea University Annual Computer Science Undergraduate Colloquium at Gregynog

  Fredrik Nordvall Forsberg (Keynote/plenary speaker)

  28 Nov 2016

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

• Scottish Programming Languages Seminar

  James Chapman (Organiser) & Fredrik Nordvall Forsberg (Organiser)

  9 Nov 2016

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

• 26th European Symposium on Programming

  Bob Atkey (Member of programme committee)

  25 Oct 2016 → 22 Dec 2016

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

• Invited talk “Classical Linear Logic Considered as a Programming Language”

  Bob Atkey (Speaker)

  29 Jul 2016

  Activity: Talk or presentation types › Invited talk