courses/mathdata.md

+---
+layout: course
+
+title: Seminar for mathematical data
+instructors:
+semesters:
+    - SS20
+---
+
+This seminar grew out of the planned April 2020 [bilateral](https://kwarc.info/projects/mdh/)
+workshop on mathematical data from Ljubljana to an online setting.
+
+The main goal is to build and interconnect the community of people
+interested in data generated within mathematical research as well as data related 
+to mathematics in other ways.
+
+The seminar will aim for a relaxed atmosphere and shorter talks, with plenty of 
+time for discussion.
+
+- Time: Fridays, 14:00-15:30 (12:00-13:30 UTC)
+- Zoom ID of the seminar will be posted with each announcement.
+
+Announcements will be posted on the [KWARC mathematical data mailing list](http://lists.informatik.uni-erlangen.de/mailman/listinfo/math-data).
+
+### Upcoming seminars:
+
+#### ICMS discussion
+
+- *Time*: Friday, July 24, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom, ID 933 8933 3092
+- *Speaker*: roundtable
+
+**Abstract.** We will discuss talks and discussions from the International Congress on Mathematical Software,
+especially the two sessions related to data in mathematics.
+
+
+### Past seminars:
+
+##### The Knowledge of Mathematics
+
+- *Time*: Friday, July 3, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom ID: 960 8031 7108
+- *Speaker*: Patrick Ion (Mathematical Reviews (retd.), University of Michigan, Ann Arbor, MI)
+
+**Abstract.** Mathematics is a body of knowledge, and it has many representations.  A
+library is traditionally a repository of materials that provide access to knowledge.
+The idea of a universal library, or of one just for mathematics, has long been an
+obvious one.  In the modern day (last century or so) it has come up again from
+time to time with each new technological change and notion of representing
+mathematics.  Working forward from a resolution of the International Mathematical
+Union in 2006 efforts have been under taken to realize a Global Digital Mathematics Library. As part of this an International Mathematical Knowledge Trust has been
+founded. I will speak of grand plans, small successes and enormous challenges
+that remain in describing some of recent GDML/IMKT activity. This will be from
+the point of view I've acquired as a result of watching the field from
+Math Reviews (MR) for 30 years or so, being involved with TeX and databases
+at MR and with creation of MathML, as well as trying to understand a little bit
+of specific subjects (quantum field theory and statistical mechanics, hyperfunctions,
+non-commutative geometry, quantum stochastic processes---i.e., anti-Gauss: "multa sed immatura")
+
+##### The Role of Data in Discrete Mathematics
+
+- *Time*: Friday, June 19, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom ID: 973 9039 7028
+- *Speaker*: Gabe Cunningham (University of Massachusetts Boston)
+
+**Abstract.** In mathematics, a well-chosen example can help guide our intuition or 
+illustrate the edge-cases of our definitions. 
+When studying discrete objects, we can go for quantity over quality and generate 
+all examples of objects satisfying certain properties and up to a certain size. 
+How can we actually use this data for doing mathematics? 
+What are the barriers that prevent us from making better use of data? 
+In this talk, I will describe the role that data has played in my own research. 
+I will highlight the data repositories that currently exist in my community, 
+and I will discuss why I think better tools are needed and why they wouldn't ever be made without MathDataHub. 
+Finally, I will talk briefly about some work in progress with Katja Berčič and Jukka Kohonen 
+toward developing some new data sets and a Sage package to help my research community.
+
+##### Big Math and the One-Brain Barrier -- The Tetrapod Model of Mathematical Knowledge
+
+- *Time*: Friday, June 5, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom ID: 939 0067 6059
+- *Speaker*: Michael Kohlhase (FAU)
+
+**Abstract.** In this talk I will  present an information model for doing mathematics, 
+which posits that humans very efficiently integrate five aspects of mathematics: 
+inference, computation, concretization, narration, and organization. 
+The challenge for mathematical software systems is to integrate these five aspects in the same way humans do.
+
+The Tetrapod model has cristallized out of almost two decades of work on 
+mathematical knowledge representation and permeates the work of the KWARC group. 
+The model is relevant to the MathDataHub effort as it will guide the further development 
+of the MathHub system (MathDataHub is seen as the concretization facet of MathHub).
+
+##### MathDataHub - your dataset, but FAIR
+
+- *Time*: Friday, May 22, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom ID: 998 0468 1137
+- *Speaker*: Tom Wiesing (FAU)
+- [Slides](https://kwarc.info/people/twiesing/pubs/slides/2020_05_22_mdh.pdf)
+
+**Abstract.** MathDataHub provides dataset hosting and a searchable interface for the hosted dataset. 
+It was developed by Katja Berčič, Michael Kohlhase, Florian Rabe, and Tom Wiesing. 
+In this talk I will give a basic introduction and overview of the system.
+
+##### An overview of mathematical data (Welcome to the seminar)
+
+- *Time*: Friday, May 8, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom ID: 995-5145-1656
+- *Speaker*: Katja Berčič (FAU)
+
+**Abstract.** I will present some of the topics that are relevant for data in 
+mathematics: the state of the art, technical and theoretical issues that arise,
+as well as broader trends in scientific research data. 
+

teaching/README.md → courses/meta/README.md

@@ -7,8 +7,11 @@ examples.We keep the pages in the language the course will be in.
 Each file  needs some specific parameters:
 
  * **layout** use *course* 
+
  * **title** the title of the course/seminar
- * **subtitle** (optionnal) a subtitle. It will be adjuncted to your title in the post
- link and just under the title in the post page
- * **instructor** instructors
- * **menu_title** the title in the menu
+ * **instructors** instructor(s) of the course
+
+* **organization** (optional) organization in which the course was taught
+ * **semesters** semesters in which the course was taught
+ 
+A semester is automatically regarded as active if the current semester matches one of the one in which the course was offered. 
\ No newline at end of file

courses/meta/former.html

+---
+layout: default
+title: Former Courses
+permalink: /courses/former/
+---
+The courses given by the KWARC group in the last semesters: 
+
+{% assign courses = site.pages | where: "layout", "course" | sort: "title" %}
+{% assign semesters = site.semesters.former | reverse %}
+{% for semester in semesters %}
+    {% assign offers = courses | where_exp: "c", "c.semesters contains semester" %}
+    
+    {% if offers.size > 0%}
+        
+        <ul class="collection with-header">
+            <li class="collection-header"><h5>{% include semester.html semester=semester %}</h5></li>
+            
+            {% for item in offers %}
+                {% include course.html item=item %}
+            {% endfor %}
+        </ul>
+    {% endif %}
+{% endfor %}

courses/meta/index.html

+---
+layout: default
+title: KWARC - Current Courses 
+permalink: /courses/
+---
+
+{% assign courses = site.pages | where: "layout", "course" | sort: "title" %}
+The courses given by the KWARC group in the current semester: {{site.semesters.current}}
+
+
+<ul class="collection">
+    {% for item in courses %}
+        {% if item.semesters contains site.semesters.current %}
+            {% include course.html item=item %}
+        {% endif %}
+    {% endfor %}
+</ul>

courses/meta/upcoming.html

+---
+layout: default
+title: Upcoming Courses 
+permalink: /courses/upcoming/
+---
+The courses in the upcoming semester: {{site.upcoming}} 
+
+{% assign courses = site.pages | where: "layout", "course" | sort: "title" %}
+
+<ul class="collection">
+    {% for item in courses %}
+        {% if item.semesters contains site.semesters.upcoming %}
+            {% include course.html item=item %}
+        {% endif %}
+    {% endfor %}
+</ul>

courses/overview.md

+---
+layout: default
+title: Vertiefungsgebiet KI 
+---
+<table>
+  <tr>
+    <th>Studiengang</th>
+    <th>Sem</th>
+    <td colspan="2">Bachelor</td>
+    <td colspan="4">Master</td>
+  </tr>
+  <tr>
+    <th>Empfohlenes Semester</th>
+    <td/>
+    <td>5</td><td>6</td><td>1</td><td>2</td><td>3</td><td>4</td>
+  </tr>
+  <tr>
+    <th>Grundlagen-Vorlesung</th>
+    <th>(WS)</th>
+    <td colspan="3" style="border-style:solid">
+      <a href="/courses/ai1/">Künstliche Intelligenz 1</a>
+    </td>
+    <td/>
+  </tr>
+  <tr>
+    <th>Grundlagen-Vorlesung</th>
+    <th>(SS)</th>
+    <td/>
+    <td colspan="3" style="border-style:solid">
+      <a href="/courses/ai2/">Künstliche Intelligenz 2</a>
+    </td>
+  </tr>
+  <tr>
+    <th>Vertiefungs-Vorlesung</th>
+    <th>(SS)</th>
+    <td/>
+    <td colspan="5" style="border-style:solid">
+      <a href="/courses/wuv/">Wissensrepräsentation und -Verarbeitung</a>
+    </td>
+  </tr>
+  <tr>
+    <th>Spezial-Vorlesung</th>
+    <th>(WS)</th>
+    <td colspan="5" style="border-style:solid">
+      <a href="/courses/lbs/">Logikbasierte Sprachverarbeitung</a>
+    </td>
+    <td/>
+  </tr>
+  <tr>
+    <th>Spezial-Vorlesung</th>
+    <th>(SS)</th>
+    <td/>
+    <td colspan="5" style="border-style:solid">
+      <a href="/courses/KRMT/">Wissensrepräsentation &amp; -Verarbeitung für die Mathematik</a>
+    </td>
+  </tr>
+  <tr>
+    <th>Seminar</th>
+    <th>(SS/WS)</th>
+    <td colspan="6" style="border-style:solid">
+      <a href="/courses/swuv/">Wissensrepräsentation &amp; -Verarbeitung</a>
+    </td>
+  </tr>
+  <tr>
+    <th>Projekt</th>
+    <th>(SS/WS)</th>
+    <td colspan="2" style="border-style:solid">
+      <a href="/courses/AIProj/">KI-Projekt</a>
+    </td>
+    <td colspan="4" style="border-style:solid">
+      <a href="/courses/AIProj/">Master-Projekt KI</a>
+    </td>
+  </tr>
+</table>
+Den Kern der Lehre im "Vertiefungsgebiet Künstliche Intelligenz" bildet eine
+zwei-semestrige Einführungsvorlesung. Diese gibt eine Einführung und exemplarischen Überblick
+über das Gebiet in seiner ganzen Breite. 
+
+Die anderen Veranstaltungen gruppieren sich um die
+[Forschungsthemen der KWARC Gruppe](/research/):
+ * In der [Vertiefungsvorlesung "Wissensrepräsentation und -Verarbeitung"](/courses/wuv)
+   wird grundlagenorientiert die formale Repräsentation von verschiedenen Arten von Wissen
+   vorgestellt.
+* In den beiden Spezialvorlesungen behandeln wir im Wechsel
+[Wissensrepräsentation für mathematisches Wissen](/courses/KRMT) und
+[Logikbasierte Sprachverarbeitung](/courses/lbs/).
+* Im [Seminar "Wissensrepräsentation und -Verarbeitung"](/courses/swuv) vertiefen wir diese durch Diskussion aktueller Forschungsartikel
+* In den [KI-Projekten](/courses/AIProj/) (Master/Bachelor) können Studenten sich
+  selbst an Forschungsarbeiten zu diesen Themen versuchen. Themen werden individuell
+  abgesprochen; eine initiale Liste von Projektthemen [findet sich hier](https://gl.kwarc.info/kwarc/thesis-projects).

courses/symnlproj.md

+---
+layout: course
+
+title: Symbolic NLP Project
+instructors:
+    - mkohlhase
+    - jfschaefer
+semesters:
+    - WS24/25 
+---
+
+##### Symbolic NLP Project
+
+This 5 ECTS project is a companion to the [LBS course](https://kwarc.info/courses/lbs/)
+which introduces logical models for natural language semantics and inferential processes
+for natural language understanding. 
+
+The project will be to implement these in state of the art
+meta-linguistic/logical/computational frameworks developed at the [KWARC
+group]{https://kwarc.info). 
+
+##### Organization
+
+The project will start in the third week of classes (so that the LBS course can cover some of the material this project wants to implement) with an admin meeting. Details will be announced.
+
+**Requirements:** There are no formal requirements, but we strongly recommend
+that you either have taken the LBS course or will take it in parallel. Furthermore, we
+assume that you have a high tolerance for logic and declarative programming.  
+
+##### What happens in the project?
+We will start with an individual warm-up problem, in which you will implement some of the
+components of the NLU waterfall in Prolog as a baseline. 
+
+All students have to "pass" the
+warm-up problem to alone, so that you can judge whether the project works for you.  
+The
+remaining problems are intended to be solved in teams of size 2.  
+
+Furthermore, you will
+have to write a report on one of the problems and have a small presentation (or rather, a
+section of a presentation together with other people).  The details will be discussed in
+the admin meeting.
+
+##### Sign-up
+You can sign up for the AI systems project via
+[StudOn](https://www.studon.fau.de/crs5912728.html).
+
+If you miss some of the early deadlines, we assume that you are not interested in the
+project and will remove you to give other students a chance.**
+
+**Important:**
+You will have to take initiative to finish the project.
+That means actively following the announcements (e.g. about new problems or available presentation slots), making sure that you sign up for problems and reach out if you need anything.
+Simply joining the StudOn course is not enough.
+**As the number of spaces in the project is limited, we will remove students from the project who do not finish the on-boarding procedure in time or who do not submit a preliminary solution to the warm-up problem on time.**
+If you have been removed, you can join the waiting list again.
+
+##### Communication
+We will use  [our public AISysProj matrix room](https://matrix.to/#/#SymNLProj:fau.de) for
+most of the data-to-day communication.
+Matrix is a communications platform that is supported by FAU. 
+You can find instructions for joining Matrix at FAU [here](https://www.anleitungen.rrze.fau.de/serverdienste/matrix-an-der-fau/erste-schritte/) (only in German, unfortunately).
+
+
+<!--  LocalWords:  jfschaefer AISysProj
+ -->

courses/tdm.md

+---
+layout: course
+
+title: "University Study Course: Text and Digital Media"
+instructors:
+    - mkohlhase
+    - Prof. Thomas Rommel, Jacobs University
+
+organization: Jacobs University
+semesters:
+    - Spring11
+---
+An interdisciplinary Introduction to the structure and management of Text and Digial
+Media. 

courses/theses.md

+---
+layout: page
+title: KWARC Theses
+menu_title: Completed Theses
+menu_order: 101
+---
+* [Ph.D. Theses](https://kwarc.github.io/bibs/phdthesis/)
+* [M.Sc Theses](https://kwarc.github.io/bibs/mscthesis/)
+* [B.Sc Theses](https://gl.kwarc.info/supervision/BSc-archive) (list incomplete) 

courses/topics.md

+---
+layout: page
+title: Thesis Topics & Projects
+menu_title: Thesis Topics & Projects 
+menu_order: 101
+---
+The KWARC Group welcomes student involvement in research. If you are interested, please
+send an e-mail to [<michael.kohlhase@fau.de>](maito:michael.kohlhase@fau.de), or come to
+our seminars and courses. 
+
+We have an initial list of topics for
+[theses, or guided research](https://gl.kwarc.info/kwarc/thesis-projects) which may suit
+you, but you can always [help with our systems](/systems/) or [adopt one of our currently orphaned systems](/systems/orphans/) .
+

courses/ttt.md

+---
+layout: course
+
+title: "University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age"
+instructors:
+    - mkohlhase
+    - Dr. Giselda Baudin 
+
+organization: Jacobs University
+semesters:
+    - Intersession14
+---
+An interdisciplinary Introduction to the structure and management of Text and Digial
+Media.

courses/wuv.md

+---
+layout: course
+
+title: Course Knowledge Representation and Processing (Wissensrepräsentation und -verarbeitung, WuV)
+instructors:
+    - mkohlhase
+    - frabe
+semesters:
+    - SS20
+    - SS21
+    - WS22/23
+---
+
+This is the homepage of the WuV *lecture*, the *seminar* of the same name is a [separate course](/courses/swuv/).
+
+This module provides a general and foundational introduction into knowledge representation and processing.
+Human knowledge pervades all areas not only of computer science, but also of all sciences, and this representing and processing this knowledge 
+in computer systems is in some sense **the** big challenge and potential of using computers.
+
+Computer science has recognized multiple aspects of knowledge and has developed dedicated representation languages for them.
+Over time these have been specialized massively, and the languages, systems, and communities have drifted apart.
+Today they include in particular ontology languages and linked data, programming languages and algorithms, data description languages and databases, logics and proofs, as well as formal natural languages and narrative documents.
+
+While many of these aspects and languages are studied in depth in individual courses, students often miss an overall perspective that describes  these approaches as a whole.
+The WuV course uses the general goal of knowledge representation as the big picture motivation to survey, analyze, and compare the different languages and systems.
+It introduces all the fundamental concepts both of knowledge representation languages in general and of paradigmatic examples of specialized languages in particular (e.g., OWL, Java, first-order logic, SQL, sTeX).
+It places special emphasis on the commonalities, differences, and integration of the approaches and the interoperability of the various systems.
+
+The exercises teach practical aspects including both the implementation of knowledge representation languages from scratch as well as the use of state-of-the-art languages and software systems.
+
+We recommend WuV to Master or 3rd year Bachelor students both as an introductory module before taking other modules in the area Artificial Intelligence as well as a one-off overview of the area.

events/GI2020/index.md

+---
+layout: page
+title: GI Meeting Deduction and Logic
+---
+
+This page was moved [here](../GILogicWorkshops/index.html).
\ No newline at end of file

events/GILogicWorkshops/2021/cfp.txt

+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 Theoretical Computer Science
+and Knowledge Representation groups 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
+

events/GILogicWorkshops/2021/cfpart.txt

+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 PARTICIPATION =
+==========================
+
+== 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.
+
+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.
+
+== Program ==
+
+The workshop will feature invited talks by Ana Sokolova and Dov Gabbay and 11 contributed talks.
+
+The detailed program is available at https://kwarc.info/events/GI2020/index.html
+
+The Joint Logic Workshop will also host the annual general assemblies
+(Mitgliederversammlungen) of both special interest groups.
+
+== Registration ==
+
+Participation is free, but an informal registration is necessary at https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko
+
+== Scientific Committee ==
+
+Olaf Beyersdorff, University of Jena
+Thomas Schneider, University of Bremen
+Claudia Schon, University of Koblenz
+Alexander Steen, University of Luxembourg
+
+The Joint Logic Workshop is kindly hosted by the Theoretical Computer Science
+and Knowledge Representation groups at University of Erlangen-Nürnberg (FAU)
+and organized by Sergey Goncharov and Florian Rabe.

events/GILogicWorkshops/2021/index.md

+---
+layout: page
+title: GI Meeting Deduction and Logic
+---
+
+### Online Meeting in Spring 2021
+
+The meeting took place online on March 26.
+The call for contributions is [here](cfp.txt).
+The call for participation is [here](cfpart.txt).
+
+The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
+
+#### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
+
+* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](sokolova.pdf)
+* 10:45: David Fuenmayor,	Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](fuenmayor.pdf)
+* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf)
+* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](farjami.pdf)
+* 11:45: *break with free discussion in gather.town*
+
+#### Session 2: 13:00 - 15:15 (chair: Claudia Schon)
+
+* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](gabbay.pdf)
+* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](benzmueller.pdf)
+* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](siebert.pdf)
+* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](weitkaempfer.pdf)
+* 14:45: *break with free discussion in gather.town*
+
+#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
+
+* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](joos.pdf)
+* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](wenzel.pdf)
+* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](sardar.pdf)
+* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](zeume.pdf)
+* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](schiffer.pdf)
+* 16:55: *break with free discussion in gather.town*
+
+#### Business meetings: 17:30 - 18:30
+
+* 17:30: Business meetings (Mitgliederversammlungen) of the GI groups
+
+----------------------------------------
+
+### Canceled meeting in Fall 2020
+
+The meeting was originally planned to take place in-person in Erlangen from 30.09.2020 to 02.10.2020.
+But after discussions among the speakers of the GI groups and the local organizers, it was postponed to Spring 2021 and eventually replaced with an online meeting.