1. 2018
  2. ARQNL 2018

    Schlichtkrull, A. (Participant)
    18 Jul 2018

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

  3. Local Isabelle Workshop

    Schlichtkrull, A. (Participant)
    6 Jun 2018

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

  4. Phd Bazaar 2018 DTU Compute

    Schlichtkrull, A. (Participant)
    9 May 2018

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

  5. Talk in the Computational Logic Group at the University of Innsbruck

    Schlichtkrull, A. (Participant)
    1 Mar 2018

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

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

  8. TCS and PAM seminar

    Schlichtkrull, A. (Participant)
    3 Nov 2017

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

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

  10. 2016
  11. MAS & HOL

    Schlichtkrull, A. (Participant)
    28 Sep 2016

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

  12. Club2

    Schlichtkrull, A. (Participant)
    11 May 2016

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

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

Previous 1 2 Next
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