Pieter Collins

Activities

Activities per year 2011 2018 2020

• 6 Talk or presentation - at conference
• 2 Organizing or contributing to an event
• 1 Editorial activity; journal

Activities per year

Search results

• Verification of Hybrid Systems with Ariadne

  Collins, P. (Speaker)

  20 Nov 2020

  Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

• Rigorous Numerical Computing with ARIADNE

  Collins, P. (Speaker)

  14 May 2020

  Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

• Rigorous Function Calculi-II

  Collins, P. (Speaker)

  25 Sept 2018

  Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

• Types, Sets and Constructions

  Collins, P. (Participant / Attendee)

  4 Jun 2018 → 13 Jun 2018

  Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic

• Rigorous Numerical Computation with ARIADNE

  Collins, P. (Speaker)

  6 Aug 2018

  Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

  File

• Amazeing ARIADNE

  Collins, P. (Speaker)

  22 Nov 2018

  Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

• Types, Homotopy Type Theory, and Verification

  Collins, P. (Participant / Attendee)

  5 Jun 2018 → 8 Jun 2018

  Activity: Organizing, contributing or attending an event › Organizing or contributing to an event › Academic

• Rigorous Numerical Computing with ARIADNE

  Collins, P. (Speaker)

  17 Aug 2018

  Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

  File

• Mathematics of Control Signals and Systems (Journal)

  Collins, P. (Editor)

  Sept 2011 → …

  Activity: Publication peer-review and editorial work › Editorial activity; journal › Academic