BioMathematics and BioInformatics

Organisational unit: Research Line

  1. 2018
  2. Amazeing ARIADNE

    Pieter Collins (Speaker)
    22 Nov 2018

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

  3. Rigorous Function Calculi-II

    Pieter Collins (Speaker)
    25 Sep 2018

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

  4. Rigorous Numerical Computing with ARIADNE

    Pieter Collins (Speaker)
    17 Aug 2018

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

  5. Rigorous Numerical Computation with ARIADNE

    Pieter Collins (Speaker)
    6 Aug 2018

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

  6. 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

  7. 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

  8. 2016
  9. 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

  10. 2011
  11. Mathematics of Control Signals and Systems (Journal)

    Pieter Collins (Editor)
    Sep 2011 → …

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