Activities per year
Activities
- 9 results
Search results
-
Rigorous Function Calculi-II
Pieter Collins (Speaker)
25 Sept 2018Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
-
Rigorous Numerical Computation with ARIADNE
Pieter Collins (Speaker)
6 Aug 2018Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
File -
Types, Sets and Constructions
Pieter Collins (Participant / Attendee)
4 Jun 2018 → 13 Jun 2018Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic
-
Amazeing ARIADNE
Pieter Collins (Speaker)
22 Nov 2018Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
-
Frontiers in Computational Electrocardiology 2018
Jordi Heijman (Organiser), Matthijs Cluitmans (Organiser), Joël Karel (Organiser), Ralf Peeters (Organiser) & Pietro Bonizzi (Organiser)
27 Sept 2018Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic
-
Rigorous Numerical Computing with ARIADNE
Pieter Collins (Speaker)
17 Aug 2018Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic
File -
Types, Homotopy Type Theory, and Verification
Pieter Collins (Participant / Attendee)
5 Jun 2018 → 8 Jun 2018Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic
-
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 Sept 2016 → 30 Sept 2016Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic
-
Mathematics of Control Signals and Systems (Journal)
Pieter Collins (Editor)
Sept 2011 → …Activity: Publication peer-review and editorial work › Editorial activity; journal › Academic