From d2d07473b27a0f45f0603a862eb799e7869f4eab Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Fri, 12 Feb 2021 10:30:03 +0100
Subject: [PATCH] no message
---
events/GI2020/.gitkeep | 0
events/GI2020/cfp.txt | 76 +++++++++++++++++++++
events/{ => Tetrapod2018}/Dubois.pdf | Bin
events/{ => Tetrapod2018}/Gonthier.pptx | Bin
events/{ => Tetrapod2018}/Shankar.pdf | Bin
events/{ => Tetrapod2018}/Smith.ppt | Bin
events/{ => Tetrapod2018}/Tetrapod-2018.md | 0
events/{ => Tetrapod2018}/Thiery.pdf | Bin
events/{ => Tetrapod2018}/index.md | 0
9 files changed, 76 insertions(+)
delete mode 100644 events/GI2020/.gitkeep
create mode 100644 events/GI2020/cfp.txt
rename events/{ => Tetrapod2018}/Dubois.pdf (100%)
rename events/{ => Tetrapod2018}/Gonthier.pptx (100%)
rename events/{ => Tetrapod2018}/Shankar.pdf (100%)
rename events/{ => Tetrapod2018}/Smith.ppt (100%)
rename events/{ => Tetrapod2018}/Tetrapod-2018.md (100%)
rename events/{ => Tetrapod2018}/Thiery.pdf (100%)
rename events/{ => Tetrapod2018}/index.md (100%)
diff --git a/events/GI2020/.gitkeep b/events/GI2020/.gitkeep
deleted file mode 100644
index e69de29..0000000
diff --git a/events/GI2020/cfp.txt b/events/GI2020/cfp.txt
new file mode 100644
index 0000000..0acf239
--- /dev/null
+++ b/events/GI2020/cfp.txt
@@ -0,0 +1,76 @@
+Joint Logic Workshop: Logic in Computer Science and Deduction Systems
+– 26. Jahrestagung FG LogInf und 33. Jahrestreffen FG DedSys (Deduktionstreffen) –
+https://kwarc.info/events/GI2020/index.html
+
+Online Workshop hosted by FAU University Erlangen-Nürnberg
+Friday, March 26, 2021, whole day event
+
+==========================
+= CALL FOR CONTRIBUTIONS =
+==========================
+
+== Overview ==
+
+The annual Workshop on Logic in Computer Science (Jahrestagung)
+and the annual meeting Deduktionstreffen are the prime activities of the
+Interest Group on Logic in Computer Science (FG LogInf) and the
+Interest Group on Deduction Systems (FG DedSys) of the
+German Society of Informatics (Gesellschaft für Informatik), respectively.
+This year, the activities will be organized as a Joint Logic Workshop in order
+to foster mutual exchange and to explore potential synergies.
+
+The Joint Logic Workshop is a meeting with an informal and friendly atmosphere,
+where everyone (not only the German community) interested in the relevant topics
+can report on their work in an accessible setting.
+
+A special focus of the workshop is on young researchers and students,
+who are particularly encouraged to present their ongoing research
+projects to a wider audience. Another goal of the meeting is to stimulate
+networking effects and to foster collaborative research projects.
+
+Because of the ongoing pandemic situation the Joint Loic Workshop had to be cancelled
+in 2020 and is now organized as an online event.
+Organizational details are published on the event's website.
+
+
+== Invited speakers ==
+
+We plan to have 1-2 invited talks; details will follow soon.
+
+
+== Organization ==
+
+We welcome contributions on all theoretical, experimental and applied
+aspects of formal logic, reasoning and deduction.
+Accepted contributions are presented in a talk of approx. 15-30 minutes
+(depending on the overall number of accepted contributions), including
+discussion. The implementation of a digital poster session is planned.
+
+The Joint Logic Workshop will also host the annual general assemblies
+(Mitgliederversammlungen) of both special interest groups.
+
+The Joint Logic Workshop is kindly hosted by the KWARC group
+at University of Erlangen-Nürnberg (FAU) and organized by Sergey Goncharov
+and Florian Rabe.
+
+
+== Submission ==
+
+Submission is open to everybody interested in logic and/or deduction systems.
+
+Please submit an extended abstract (max. one page) of your contribution to
+both Olaf Beyersdorff <olaf.beyersdorff@uni-jena.de> and
+Alexander Steen <alexander.steen@uni.lu>.
+Submissions will be weakly reviewed to ensure topical fit.
+
+Submission deadline: March 05, 2021
+Notification: March 12, 2021
+
+
+== Scientific Committee ==
+
+Olaf Beyersdorff, University of Jena
+Thomas Schneider, University of Bremen
+Claudia Schon, University of Koblenz
+Alexander Steen, University of Luxembourg
+
diff --git a/events/Dubois.pdf b/events/Tetrapod2018/Dubois.pdf
similarity index 100%
rename from events/Dubois.pdf
rename to events/Tetrapod2018/Dubois.pdf
diff --git a/events/Gonthier.pptx b/events/Tetrapod2018/Gonthier.pptx
similarity index 100%
rename from events/Gonthier.pptx
rename to events/Tetrapod2018/Gonthier.pptx
diff --git a/events/Shankar.pdf b/events/Tetrapod2018/Shankar.pdf
similarity index 100%
rename from events/Shankar.pdf
rename to events/Tetrapod2018/Shankar.pdf
diff --git a/events/Smith.ppt b/events/Tetrapod2018/Smith.ppt
similarity index 100%
rename from events/Smith.ppt
rename to events/Tetrapod2018/Smith.ppt
diff --git a/events/Tetrapod-2018.md b/events/Tetrapod2018/Tetrapod-2018.md
similarity index 100%
rename from events/Tetrapod-2018.md
rename to events/Tetrapod2018/Tetrapod-2018.md
diff --git a/events/Thiery.pdf b/events/Tetrapod2018/Thiery.pdf
similarity index 100%
rename from events/Thiery.pdf
rename to events/Tetrapod2018/Thiery.pdf
diff --git a/events/index.md b/events/Tetrapod2018/index.md
similarity index 100%
rename from events/index.md
rename to events/Tetrapod2018/index.md
--
GitLab