From a70e5f172af2c3e5b430acbca532897b2d24da3e Mon Sep 17 00:00:00 2001
From: JKF <unijkf@gmail.com>
Date: Wed, 27 May 2026 18:07:47 +0200
Subject: [PATCH] kickoff

---
 readme.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/readme.md b/readme.md
index 89b17d1..d3cec4d 100644
--- a/readme.md
+++ b/readme.md
@@ -9,3 +9,20 @@
     - A nice thing to express small step semantics (I can see how the proof gets easy with progress being a given here)
 
 - Small step semantics need some special renaming semantics for holes (maybe worth looking into)
+# Notes of the kickoff meeting
+
+
+
+# Kickoff meeting
+
+- His slides have different percentages (wrong info on grading)
+- Understand not only the material but read some **foundational** references
+
+## Tools
+- dblp.org
+- Citeseer
+- Google scholar
+- scienceos.ai
+
+- Peton Jones How to write a great research paper
+- Mal Plagiatsding lesen auf Wikipedia