BioMathematics and BioInformatics

Activities

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

Rigorous Numerical Computing with ARIADNE

Pieter Collins (Speaker)
17 Aug 2018

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

File

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

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

Rigorous Numerical Computation with ARIADNE

Pieter Collins (Speaker)
6 Aug 2018

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

File

Rigorous Function Calculi-II

Pieter Collins (Speaker)
25 Sep 2018

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

Amazeing ARIADNE

Pieter Collins (Speaker)
22 Nov 2018

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

Frontiers in Computational Electrocardiology 2016

Pietro Bonizzi (Organiser), Matthijs Cluitmans (Organiser), Jordi Heijman (Organiser), Joël Karel (Organiser), Ralf Peeters (Organiser), Paul Volders (Organiser), Ronald Westra (Organiser)
29 Sep 201630 Sep 2016

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

Mathematics of Control Signals and Systems (Journal)

Pieter Collins (Editor)
Sep 2011 → …

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