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

• 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

• Rigorous Numerical Computing with ARIADNE

  Collins, P. (Speaker)

  17 Aug 2018

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

  File