Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Looking for partner to teach course on Isabell...

view this post on Zulip Email Gateway (Nov 25 2020 at 10:02):

From: "Luckhardt, Daniel" <>
Dear all,

I am looking for a partner to teach a 17 day course to talented German high school students (aged around 17). The course will be set in the framework of summer camps called "Deutsche SchülerAkademie" that have become quite an established institution in Germany over the last decades. I am myself participated as a student.

I am open with regard to further development of the course. Unfortunately, one has to apply asap for a course in 2021 or wait for next year.

Let's start with the good aspects:

So now let's come to the bad part/requirements:

If you feel ready for this challenge, please contact me asap.


Daniel Luckhardt

Last updated: Sep 25 2021 at 08:21 UTC