Algorithms, Logic and Graphs

Activities

Activities per year 2015 2016 2017 2018 2020

• 11 Participating in or organising workshops, courses, seminars etc.
• 1 Talks and presentations in private or public companies and organisations

Activities per year

Search results

• Helt elektrisk

  Laila Zwisler (Other) & Dorte Olesen (Other)

  24 Oct 2020

  Activity: Talks and presentations › Talks and presentations in private or public companies and organisations

  File

• Local Isabelle Workshop

  Anders Schlichtkrull (Participant)

  6 Jun 2018

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• 3rd International Automated Reasoning in Quantified Non-Classical Logics Workshop

  Anders Schlichtkrull (Participant)

  18 Jul 2018

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• Talk in the Computational Logic Group at the University of Innsbruck

  Anders Schlichtkrull (Participant)

  1 Mar 2018

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• Phd Bazaar 2018 DTU Compute

  Anders Schlichtkrull (Participant)

  9 May 2018

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

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

  Anders Schlichtkrull (Participant)

  9 Nov 2017

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

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

  Anders Schlichtkrull (Participant)

  7 Sept 2017

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• TCS and PAM seminar

  Anders Schlichtkrull (Participant)

  3 Nov 2017

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• Club2

  Anders Schlichtkrull (Participant)

  11 May 2016

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• MAS & HOL

  Anders Schlichtkrull (Participant)

  28 Sept 2016

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

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

  Anders Schlichtkrull (Participant)

  20 Apr 2016

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

• Proof Assistants and Related Tools - The PART & PART 2 Projects 2015

  Anders Schlichtkrull (Participant)

  23 Sept 2015

  Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.