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/wuv.md

 ---
 layout: course
 
-title: Seminar Wissensrepräsentation und -verarbeitung
+title: Course Knowledge Representation and Processing (Wissensrepräsentation und -verarbeitung, WuV)
 instructors:
     - mkohlhase
-
+    - frabe
 semesters:
-    - SS17
-    - WS17/18
+    - SS20
+    - SS21
+    - WS22/23
 ---
 
-This seminar covers topics from knowledge representation and knowledge processing, mostly
-with a focus on mathematical knowledge. Topics are agreed up with the instructor.
+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.

events/GILogicWorkshops/2022/cfp.txt

+Joint Logic Workshop: Logic in Computer Science and Deduction Systems
+– 26. Jahrestagung FG LogInf und Workshop der FG DedSys –
+https://kwarc.info/events/GILogicWorkshops/index.html
+
+Online Workshop hosted by FAU University Erlangen-Nürnberg
+Friday, April 8, 2022, whole day event
+
+==========================
+= CALL FOR CONTRIBUTIONS =
+==========================
+
+== Overview ==
+
+The annual Workshop on Logic in Computer Science (Jahrestagung)
+is the prime activity of the Interest Group on Logic in Computer Science (FG LogInf)
+of the German Society of Informatics (Gesellschaft für Informatik, GI).
+Together with the Interest Group on Deduction Systems (FG DedSys) of the GI
+the Joint Logic Workshop fosters mutual exchange and aims at exploring synergies
+between both groups.
+
+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 Logic Workshop is 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 Joint Logic Workshop will also host the annual general assembly
+(Mitgliederversammlungen) of FG LogInf.
+
+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-greifswald.de.
+Submissions will be weakly reviewed to ensure topical fit.
+
+Submission deadline: March 21, 2022
+Notification:        March 25, 2022
+
+
+== Scientific Committee ==
+
+Olaf Beyersdorff, University of Jena
+Thomas Schneider, University of Bremen
+Claudia Schon, University of Koblenz
+Alexander Steen, University of Greifswald
+

events/GILogicWorkshops/2022/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/index.md

+---
+layout: page
+title: GI Meeting Deduction and Logic
+---
+
+The 2020-2022 annual meetings of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/)
+(Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) take place jointly in Erlangen.
+They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
+
+In fact, due to COVID-19 pandemic, online meetings took place.
+An in-person meeting of Deduction Systems is planned for 2022 as a part of the KI conference.
+
+The 2021 meeting is [here](2021/index.html).
+
+### Program of the Spring 2022 Meeting
+
+The meeting will take place online on April 8.
+The call for contributions is [here](2022/cfp.txt).
+
+The program will consist of multiple sessions of zoom talks in the zoom room https://fau.zoom.us/j/63889416032.
+The program is as follows:
+
+* Session 1: 10:00 - 11:00 (chair: Claudia Schon)
+  * 10:00: Martin Suda, **Invited talk** Integrating Machine Learning into Saturation-based ATPs [slides (if any)](2022/suda.pdf)
+* Break 1: 11:00 - 11:30: free discussion in zoom
+* Session 2: 11:30 - 13:00 (chair: Florian Rabe)
+  * 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas [slides (if any)](2022/woerz.pdf)
+  * 12:00: Martin Lange, The Calculus of Influence - Formal Modelling of Biological Experiments [slides (if any)](2022/lange.pdf)
+  * 12:30: Florian Bruse, Model Checking Timed Recursive CTL, [slides (if any)](2022/bruse.pdf)
+* Lunch break: 13:00 - 14:00
+* Session 3: 14:00 - 15:30 (chair: Sergey Goncharov)
+  * 14:00: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic [slides (if any)](2022/rothgang.pdf) 
+  * 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments [slides (if any)](2022/jung.pdf)
+  * 15:00: Hendrik Leidinger, SCL for First-Order Logic with Equality,  [slides (if any)](2022/lange.pdf)
+* Break 2: 15:30 - 16:00: free discussion in zoom
+* Session 4: 16:00 - 17:00 (chair: Olaf Beyersdorff)
+  * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.pdf)
+* Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf