Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • kwarc/kwarc.info/www
  • richardmarcus/www
2 results
Show changes
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 809 additions and 195 deletions
courses/overview.md
View file @ bcfe6ac0
......@@ -5,15 +5,18 @@ 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>
......@@ -21,13 +24,23 @@ title: Vertiefungsgebiet KI
</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>
......@@ -35,6 +48,7 @@ title: Vertiefungsgebiet KI
</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>
......@@ -42,17 +56,19 @@ title: Vertiefungsgebiet KI
</tr>
<tr>
<th>Seminar</th>
<th>(SS/WS)</th>
<td colspan="6" style="border-style:solid">
<a href="/courses/wuv/">Wissensrepräsentation &amp; -Verarbeitung</a>
<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 zur KI</a>
<a href="/courses/AIProj/">Master-Projekt KI</a>
</td>
</tr>
</table>
......@@ -62,11 +78,13 @@ zwei-semestrige Einführungsvorlesung. Diese gibt eine Einführung und exemplari
Die anderen Veranstaltungen gruppieren sich um die
[Forschungsthemen der KWARC Gruppe](/research/):
* In den beiden Spezialvorlesungen behandeln wir im Wechsel
* 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 [WuV-Seminar](/courses/wuv) vertiefen wir diese durch Diskussion aktueller Forschungsartikel
* 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/swuv.md 0 → 100644
View file @ bcfe6ac0
This diff is collapsed.
courses/symnlproj.md 0 → 100644
View file @ bcfe6ac0
---
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/theses.md
View file @ bcfe6ac0
......@@ -4,92 +4,6 @@ title: KWARC Theses
menu_title: Completed Theses
menu_order: 101
---
**List is still under construction**
### Ph.D. Theses
* Mihnea Iancu: *[Towards Flexiformal Mathematics]((https://opus.jacobs-university.de/frontdoor/index/index/docId/721))*, Jacobs University, XII 2016.
* Feryal Fulya Horozal: *[Framework for Defining Declarative Languages](https://opus.jacobs-university.de/frontdoor/index/index/docId/495)*, Jacobs University,
XI 2014.
* Vyacheslav Zholudev: *[Enhancing XML Preservation and Workflows](https://opus.jacobs-university.de/frontdoor/index/index/docId/23)*, Jacobs University, VI 2012.
* Christoph Lange: *[Enabling Collaboration on Semiformal Mathematical Knowledge by
Semantic Web Integration](https://opus.jacobs-university.de/frontdoor/index/index/docId/434)*, Jacobs University, III 2011.
* Christine Müller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*, Jacobs University, V 2010.
* Normen Müller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*, Jacobs University, VIII 2010.
* Immanuel Normann: *[Automated Theory Interpretation](https://opus.jacobs-university.de/frontdoor/index/index/docId/336)*, Jacobs University, XII 2008.
* Florian Rabe: *[Representing Logics and Logic Translations](https://opus.jacobs-university.de/frontdoor/index/index/docId/344)*, Jacobs University, VI 2008.
* Karsten Konrad: *Model Generation for Natural Lanugage Interpretation and Analysis*, Universtät des Saarlandes, IV 2000.
* Christoph Benzmüller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
* Susanna Kuschert: *Dynamic Meaning and Accomodation*, Universtät des Saarlandes, II 1999,
### M.Sc Theses
* Jonas Betzendahl: *[Translating the IMPS theory library to MMT / OMDoc](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf)*, Universität Bielefeld, 2018
* Theresa Pollinger: *[Knowledge Representation for Modeling and Simulation
– Bridging the Gap Between Informal PDE Theory and Simulations Practice](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf)*,
FAU Erlangen-Nürnberg, 2017
* Tom Wiesing:
*[Enabling Cross-System Communication Using Virtual Theories and QMT](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/twiesing/thesis.pdf)*,
Jacobs University, 2017.
* Ulrich Rabenstein: *[Meaning Extraction and Semantic Services in STEM-Documents -
A case study on Quantity Expressions and Units](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/urabenstein/Rabenstein.pdf)*,
FAU Erlangen-Nürnberg, 2017
* Aivaras Jacubauskas: *[Reflecting Declarative Rule
Implementations](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2013/jakubauskas_aivaras/project/thesis/thesis01.pdf)*,
Jacobs University, 2013.
* Catalin David: *[Semantic Alliance Framework: Integrating Documents and Semantic Services
](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2012/david_catalin/project/thesis/thesis.pdf)*, Jacobs University, 2012
* Stefania Dumbrava:
*[A Type Theory with Reflection](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2012/dumbrava_stefania/project/MScThesis_Stefania/Thesis_Stefania.pdf)*,
*Jacobs University, 2012.
* Mihnea Iancu:
*[Management of Change in Declarative Languages](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2012/iancu_mihnea/project/thesis/Mihnea_Iancu-Master_Thesis.pdf)*,
*Jacobs University, 2012.
* Fusun Horozal:
*[Management of Change in the Web Ontology Language](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2011/horozal_fusun/project/final_thesis_horozal.pdf)*,
*Jacobs University, 2011.
* Alin Iacob:
*[Towards Project-Based Workflows in Twelf](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2011/iacob_alin/project/thesis/thesis.pdf)*,
*Jacobs University, 2011.
* Mihai Grigore:
*[Knowledge-poor Interpretation of Mathematical Expressions in Context](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2010/grigore_mihai/thesis/thesis_template.pdf)*,
*Jacobs University, 2010
* Sönke Holsten: *Smart Management of Change on OMDoc Documetns*, Jacobs University, 2010.
* Constantin Jucovschi: *[Editing Knowledge in Large Mathematical Corpora. A
case study with Semantic LATEX (sTeX)](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2010/jucovschi_constantin/masterthesis/thesis.pdf)*, Jacobs University, 2010.
* Kristina Sojakova: *[Mechanically Verifying Logic Translations](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2010/sojakova_kristina/proposal.pdf)*, Jacobs University, 2010.
* Milena Makaveeva *[Management of Change in Common Criteria IT Security
Documentation](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2009/makaveeva_milena/thesis_makaveeva.pdf)*,
Jacobs University, 2009.
* Stefan Anca: *[Recovering content from Scientific Documents for Search](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2009/anca_stefan/project/thesis/Stefan_Anca_Masters_Thesis.pdf)*, Jacobs
University, 2009.
* Bastian Laubner: *[Mapping Mathematics with Theory Graphs A Case Study and
a Prototype](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2007/laubner_bastian/thesis.pdf)*, Jacobs University, 2007.
* Christoph Lange: *Adding Semantics to Mathematical Wikis*, Trier University, 2005.
* William Tayson: *Treating Quantifier Scope by Model
Generation*, CMU, 2004.
* Sarah Eisenhardt: *Model Generation for Negations in Natural
Language*, CMU, 2004.
* Andreas Franke: *MBase, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003.
* Stephan Walther: *Model Generation and Dynamic Semantics*, Universtät des Saarlandes, 2001.
* Aljoscha Burkard: *Resource-adaptive Model
Generation for Natural Language Understanding*, Universtät des Saarlandes, 2001.
* Stephan Hess: *Human Computer Interaction in a Proof
Development Environment*, Universtät des Saarlandes, 1999.
* Judith Baur: *Syntax and Semantics of Mathematical Texts -- a
Prototype*, Universtät des Saarlandes, 1999.
* Lars Klein: *Intexing Techniques for Higher-Order Logic*, Universtät des Saarlandes, 1997.
* Andreas Meier: *Proof Transformation*, Universtät des Saarlandes, 1997
* Volker Sorge: *Integrating a Computer Algebra System
into a Logical Proof Development Environement*, Universtät des Saarlandes, 1996.
* Gerald Klein: *Unification for a
lambda-Calculus with Term Declarations and Intersection Sorts*, Universtät des
Saarlandes, 1995.
* Ahmet Bozkurt: *Strategies for Resolution Theorem Provers in
Higher-Order Logic*, Universtät des Saarlandes, 1995.
* Susanna Kuschert: *An Extension of
the lambda-Calculus by Discourse Representation Structures*, Universtät des Saarlandes, 1995.
* Ortwin Scheja: *Resolution for Higher-Order Multi-Valued Logics*, Universtät des
Saarlandes, 1993.
### B.Sc Theses
The B.Sc theses of the last years can be found in
[this archive](https://gl.kwarc.info/supervision/BSc-archive).
* [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
View file @ bcfe6ac0
......@@ -10,5 +10,5 @@ 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 [adopt one of our currently orphaned systems](/systems/orphans/).
you, but you can always [help with our systems](/systems/) or [adopt one of our currently orphaned systems](/systems/orphans/) .
courses/wuv.md
View file @ bcfe6ac0
---
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
- SS18
- WS18/19
- SS19
- SS20
- SS21
- WS22/23
---
Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und
-Verarbeitung, mit einem Fokus auf mathematischem Wissen.
Die Vortragsthemen sind sehr unterschiedlich im Schwierigkeitsgrad, sie reichen von
Einführungsthemen für ambitionierte Bachelor-Studenten bis zur Forschungsfront für
Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der
[KWARC Gruppe](http://kwarc.info) wieder. Daher ist dieses Seminar sehr gut geeignet um in
die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
*Seminartermin/Ort*: Mittwochs 14:45-16:00, Raum 00.131-128, Cauerstraße 11
|Datum|Sprecher|Thema|
|-----|-------|-----|
| 17. 10. 2018| Dennis Müller | Admin, Themenvergabe | -- |
| 24.10. 2018 | Rafael Kiesel | Preferential Default Reasoning on the Semantic Web|
| 31. 10. 2018 | entfällt | |
| 7. 11. 2018 | Michael Kohlhase | How to read scientific articles |
| 14. 11. 2018 | | |
| 21. 11. 2018 | | |
| 28. 11. 2018 | entfällt | |
| 5. 12. 2018 | | |
| 12. 12. 2018 | entfällt? | |
| 17. 12. 2018 | | |
| 9. 1. 2019 | | |
| 16. 1. 2019 | | |
| 23. 1. 2019 | | | |
| 30. 1. 2019 | | |
| 6. 2. 2019 | | |
##### Vortragsthemen
Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das SS 2018:
|Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|
|-----|-------|-----|-------|---------|
| OpenMath & SCSCP | [[1]](http://openmath.github.io/standard) | recht einfach | |
| LF-Einführung ||relativ einfach, aber Logik-lastig| | |
| MitM Foundation | | Formalisierung | | |
| The Curry-Howard Isomorphism | abstrakte Logic, aber nicht so schwer||
| Argumentation Logics | verschiedene Themen||
| Distributed Ontology Language | Semantic Web meeds Theory Graphs||
| Theory Graphs and Viewer | |einfach |Marcel Rupprecht | |
| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | |
| MathLang| Kamareddine | | |
| Formula Parsing | Ginev M.Sc. | relativ einfach | |
| Math Parsing in Concise | Pichler M.Sc. | relativ einfach | |
| MitM-based integration of CAS | | | Tom Wiesing|
| Isabelle Type Classes and Locales| | logik-lastig| |
| LF + Interection Types | | fortgeschritten| |
| McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
| Functional programming with bananas, lenses, envelopes and barbed wire|
[[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
|"Formal Semantics of Programming Languages" (Mosses)| ||
| Overview of the ACL2 language and system | | |
Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)
statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren!
##### For the record: Seminarplan SS2018
This is the homepage of the WuV *lecture*, the *seminar* of the same name is a [separate course](/courses/swuv/).
|Datum|Sprecher|Thema|
|-----|-------|-----|
| 11. 4. 2018| Michael Kohlhase| Admin, Themenvergabe | -- |
| 18.4. 2018 | Entfällt| |
| 25. 4. 2018 | Michael Kohlhase| How to read scientific articles|
| 2. 5. 2018 | Entfällt ||
| 9. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph|
| 16. 5. 2018 | Entfällt| | |
| 23. 5. 2018 | Dennis Müller| Records as Types |
| 30. 5. 2018 | Entfällt| | |
| 6. 6. 2018 | Frederik Schaefer| Math in GF|
| 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents |
| 20. 6. 2018 | Entfällt| | |
| 27. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP |
| 4. 7. 2018 | Martin Holzwarth | Framing |
| 11. 7. 2018 | Jonny Schäfer | <Something with Argumentation>|
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.
##### For the record: Seminarplan WS2017/18
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.
|Datum|Sprecher|Thema|
|-----|-------|-----|
| 25. 10. 2017| Michael Kohlhase| How to read scientific articles|
| 1. 11. 2017 | Allerheiligen | ------ |
| 8. 11. 2017| Tom Wiesing| Virtual Theories as a Uniform Interface to Mathematical Data Sources|
| 15. 11. 2017 | Michael Kohlhase| Knowledge-Based Interoperability for Mathematical Software Systems|
| 22. 11. 2017 | ----- | ----- |
| 29. 11. 2017| Theresa Pollinger|Model Knowledge Representation for HPC|
| 6. 12. 2017 | ----- | ----- |
| 13. 12. 2017 | ----- | ----- |
| 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. |
| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT |
| 24. 1. 2018 | Frederik Schäfer| Weak Type Theory|
| 31. 1. 2018| ---- | ------|
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.
<!-- LocalWords: mkohlhase Logik-lastig Kamareddine Ginev MitM-based Interection
-->
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 0 → 100644
View file @ bcfe6ac0
---
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 0 → 100644
View file @ bcfe6ac0
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 0 → 100644
View file @ bcfe6ac0
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/fuenmayor.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2021/gabbay.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2021/index.md 0 → 100644
View file @ bcfe6ac0
---
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/2021/joos.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2021/saelzer.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2021/sokolova.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2021/wenzel.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2021/zeume.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2022/bruse.pdf 0 → 100644
View file @ bcfe6ac0
File added
events/GILogicWorkshops/2022/cfp.txt 0 → 100644
View file @ bcfe6ac0
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 0 → 100644
View file @ bcfe6ac0
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.