1. 2018
  2. Talk in the Computational Logic Group at the University of Innsbruck

    Schlichtkrull, A. (Organizer)
    1 Mar 2018

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

  3. 2017
  4. 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.

  5. TCS and PAM seminar

    Schlichtkrull, A. (Participant)
    3 Nov 2017

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

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

  7. 2016
  8. MAS & HOL

    Schlichtkrull, A. (Participant)
    28 Sep 2016

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

  9. Club2

    Schlichtkrull, A. (Participant)
    11 May 2016

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

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

  11. 2015
  12. Proof Assistants and Related Tools - The PART & PART 2 Projects 2015

    Schlichtkrull, A. (Participant)
    23 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