1. 2017
  2. Proof Assistants and Related Tools - The PART & PART 2 Projects 2017

    Schlichtkrull, A. (Participant)
    9 Nov 2017

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  3. TCS and PAM seminar

    Schlichtkrull, A. (Participant)
    3 Nov 2017

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  4. Proof Assistants and Related Tools - The PART & PART 2 Projects 2017

    Schlichtkrull, A. (Participant)
    7 Sep 2017

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  5. 2016
  6. MAS & HOL

    Schlichtkrull, A. (Participant)
    28 Sep 2016

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  7. Club2

    Schlichtkrull, A. (Participant)
    11 May 2016

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  8. Proof Assistants and Related Tools - The PART & PART 2 Projects 2016

    Schlichtkrull, A. (Participant)
    20 Apr 2016

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  9. 2015
  10. PART

    Schlichtkrull, A. (Participant)
    30 Sep 2015

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word