If you made any changes in Pure these will be visible here soon.

Activities

  • 4 Talk or presentation
  • 2 Organizing or contributing to an event
  • 1 Editorial activity; journal

Rigorous Function Calculi-II

Pieter Collins (Speaker)

25 Sep 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Types, Homotopy Type Theory, and Verification

Pieter Collins (Participant / Attendee)

5 Jun 20188 Jun 2018

Activity: Organizing, contributing or attending an eventOrganizing or contributing to an eventAcademic

Rigorous Numerical Computation with ARIADNE

Pieter Collins (Speaker)

6 Aug 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

File

Rigorous Numerical Computing with ARIADNE

Pieter Collins (Speaker)

17 Aug 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

File

Types, Sets and Constructions

Pieter Collins (Participant / Attendee)

4 Jun 201813 Jun 2018

Activity: Organizing, contributing or attending an eventOrganizing or contributing to an eventAcademic

Amazeing ARIADNE

Pieter Collins (Speaker)

22 Nov 2018

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Mathematics of Control Signals and Systems (Journal)

Pieter Collins (Editor)

Sep 2011 → …

Activity: Publication peer-review and editorial workEditorial activity; journalAcademic