Commit d6d17760 authored by Florian Rabe's avatar Florian Rabe
Browse files

Merge branch 'master' of gl.kwarc.info:KWARC/kwarc.info/www

parents 8c6a83c2 43abc079
Pipeline #4348 passed with stage
in 1 minute and 58 seconds
......@@ -75,8 +75,8 @@ semesters:
- SS22
- WS22/23
- SS23
current: WS21/22
upcoming: SS22
current: SS22
upcoming: WS22/23
# Custom vars
version: 0.3.0
......@@ -84,6 +84,7 @@ repository: https://gl.kwarc.info/kwarc/kwarc.info/www
tagfolder: tag
materialize: materialize
material-icons: material-icons
jquery: jquery-3.2.1
fontawesome: font-awesome-4.7.0
......
......@@ -14,8 +14,8 @@
{% endif %}
</title>
<!--Import Google Icon Font -->
<link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
<!-- Material CSS font -->
<link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.material-icons }}/font.css">
<!-- Import materialize -->
<link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.materialize }}/css/materialize.min.css" media="screen,projection"/>
......
---
layout: post
author: mkohlhase
title: KWARC leads BMBF project VoLL-KI (2021-2015)
tags:
- Announcements
- Voll-KI
---
Today, the KWARC group starts a new project: [VoLL-KI](https://voll-ki.de) (Von Lernenden
Lernen: AI Methods for Tertiary education). This project is funded by BMBF with 5M€
- overall joint project with Uni Bamberg and Hochschule Coburg - 2M€ for FAU, split
between the KWARC group and the [DDI group (Didactics of Computer Science](https://www.ddi.tf.fau.de/).
[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the [overall project](https://voll-ki.de).
---
layout: post
author: mkohlhase
title: Welcome Timur Fayzrakhmanov (Proect VoLL-KI)
tags:
- Announcements
---
The [VoLL-KI](https://voll-ki.de) project welcomes a new member: Timur Fayzrakhmanov who
joins us from Kazan.
---
layout: post
author: mkohlhase
title: "Special Trimester on \"Prospects of Formalized Mathematics\" at the Hausdorff Institute of Mathematics in Bonn"
tags:
- Announcements
---
The [Hausdorff Institute of Mathematics](https://www.him.uni-bonn.de/) will offer a
Special [Trimester on "Prospects of Formalized Mathematics"](https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/description/) May-August 2024.
[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the organization.
......@@ -26,9 +26,4 @@ Materialien:
* [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
* [Tutorial zur Formalisierung](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
* [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
Diskussionen finden auf dem
[FSI Forum KRMT](https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation) statt. Dies ist
eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
schnell auf Fragen zu antworten. Also das Forum abonnieren!
......@@ -4,12 +4,14 @@ layout: course
title: AI-1 Systems Project
instructors:
- mkohlhase
- jfschaefer
semesters:
- WS21/22
- WS21/22
- WS22/23
- WS23/24
- WS24/25
---
**IMPORTANT: This page is not updated anymore. For up-to-date information about this year's AI1SysProj, you should join StudOn and our other communication platforms**
##### Overview
The AI-1 Systems Project aims to provide hands-on experience for the topics covered in the [Artificial Intelligence 1 lecture](/courses/ai1/) (symbolic AI).
......@@ -18,39 +20,11 @@ Concretely, the project will consist of several problems, which you will work on
Each problem will require a substantial amount of programming work - after all the project is worth 10 ECTS.
This is the first iteration of the AI-1 Systems Project and we only recently started planning it.
Therefore, a lot of things are not yet decided and we will update this website as we go along.
To get an idea of the problems, you can take a look at the [old assignments](https://kwarc.info/teaching/AISysProj/).
##### Requirements
The [Artificial Intelligence 1 lecture](/courses/ai1/) ([last year's lecture notes for AI 1 & 2](/teaching/AI/notes-2019-20.pdf))
is not a strict requirement but we do recommend to take it as we will not teach the topics again in the project.
Except for the first 1 or possibly 2 problems, the project will behind the lecture,
i.e. you can take the project and the lecture in parallel.
Note that we do expect strong programming skills in any programming language.
##### Grading
We are still figuring out the grading but our current plan is that you have to solve each problem and then
your grade will be based on a presentation and report of one of the problems (while at least some of the problems
may/will be solved in teams, the presentation and report have to be done individually).
##### Registration and First Meeting
##### Details, Registration and First Meeting
On [StudOn](https://www.studon.uni-erlangen.de/univis_2021w.Lecture.42125954).
Note that currently we are still figuring out the process for accepting people.
We are planning to have a first Zoom meeting on Nov 2 (see the StudOn forum for details).
In that meeting we will discuss how the project will be organized in more detail and introduce
the first problem (search).
We will schedule the call once people have been accepted into the StudOn course.
##### Format and Duration
Our current plan is to conduct the systems project largely online though we may also offer some offline Q&A sessions.
We are not limited to the lecture times, which gives us a lot of scheduling flexibility.
In particular, we might shift some of your workload for the project
from the lecture time into the lecture-free/post-exam time.
The details are not yet decided and up to discussion.
##### It's different from "Projekt zur Künstlichen Intelligenz"
On UnivIS, you will also find "Projekt zur Künstlichen Intelligenz (P KI)".
......@@ -61,12 +35,3 @@ and every student will work on the same set of problems.
"P KI", on the other hand, is an individual research project with the kwarc group.
In the AI Master you need two projects, so you could even take both (then taking the systems project first is probably a good idea).
##### Project plan (work in progress)
| Topic | Problem |
|-------|---------|
| Search | Find "best" connections for the Indian railway network |
| Adversarial Search | Current plan: Create an agent for a variant of [Sternhalma](https://en.wikipedia.org/wiki/Chinese_checkers) |
| Constraint Satisfaction | Current idea: Use a CSP solver to create a schedule for FAU lectures (if we get the data) |
---
layout: course
title: AI-2 Systems Project
instructors:
- mkohlhase
- jfschaefer
semesters:
- SS22
- SS23
- SS24
- SS25
- SS26
---
##### Overview
The AI-2 Systems Project aims to provide hands-on experience for the topics covered in the [Artificial Intelligence 2 lecture](/courses/ai2/) (subsymbolic AI).
That includes the implementation of algorithms for specific problems and the use of existing tools.
Concretely, the project will consist of several problems, which you will work on individually or in small teams.
Each problem will require a substantial amount of programming work - after all the project is worth 10 ECTS.
To get an idea of the problems, you can take a look at the [old assignments](https://kwarc.info/teaching/AISysProj/).
##### Details, Registration and First Meeting
On [StudOn](https://www.studon.uni-erlangen.de/univis_2022s.Lecture.42185954).
##### It's different from "Projekt zur Künstlichen Intelligenz"
On UnivIS, you will also find "Projekt zur Künstlichen Intelligenz (P KI)".
The systems project and "P KI" both count as a project for the master's degree (in Informatik or Artificial Intelligence).
Despite the similar names, they are very different:
The systems project (as described on this page) is organized more like a course, parallel to the AI 2 lecture,
and every student will work on the same set of problems.
"P KI", on the other hand, is an individual research project with the kwarc group.
In the AI Master you need two projects, so you could even take both (then taking the systems project first is probably a good idea).
......@@ -19,7 +19,18 @@ semesters:
- SS22
---
##### Das Seminar findet ab WS 2021/22 wieder in Präsenz statt
##### Administrative
The seminar takes place every semester on Thursdays 14:15-15:45 throughout the lecture period.
It takes place in Room 00.131-128, Cauerstraße 11.
The seminar takes place in-person unless mentioned otherwise.
If we need to do it via zoom, we will use the following room:
* zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
* meeting ID: 934 2482 0605
* password: 027214
##### Content and Audience
This seminar discusses selected topics from knowledge representation.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
......@@ -38,34 +49,24 @@ We also occasionally have advanced talk from visiting researchers.
The social center of the seminar is the [KWARC research group](http://kwarc.info), and the talks reflect the current research in the group.
Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.
*Seminartermin/-ort*: Donnerstag 14:15-15:45
*The seminar will be online-only until further notice.*
* zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
* meeting ID: 934 2482 0605
* password: 027214
<!-- Raum 00.131-128, Cauerstraße 11 -->
##### SS 2022
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
| 25. 11. 2021 | cancelled | |
| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
| 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
| moved to 5pm, 20. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
| 23. 12. 2021 | cancelled | |
| 06. 01. 2022 | cancelled | |
| 13. 01. 2022 | Fabian Brinkmann | Algebraic Language Theory |
| 20. 01. 2022 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
| 27. 01. 2022 | cancelled | |
| 03. 02. 2022 | Names in DRT | Michael Kohlhase |
| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group
| 28. 04. 2022 | Kohlhase, Rabe | Admin, Themenvergabe |
| 05. 05. 2022 | Kohlhase, Rabe | How to read a paper? |
| 12. 05. 2022 | Kohlhase, Rabe | How to give a talk? |
| 19. 05. 2022 | | |
| 26. 05. 2022 | holiday| |
| 02. 06. 2022 | | |
| 09. 06. 2022 | | |
| 16. 06. 2022 | holiday | |
| 23. 06. 2022 | | |
| 30. 06. 2022 | | |
| 07. 07. 2022 | | |
| 14. 07. 2022 | | |
| 21. 07. 2022 | | |
| 28. 07. 2022 | | |
##### Vortragsthemen
......@@ -92,6 +93,27 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren!
##### For the record: WS 2021/2022
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
| 25. 11. 2021 | cancelled | |
| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
| 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
| moved to 5pm, 20. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
| 23. 12. 2021 | cancelled | |
| 06. 01. 2022 | cancelled | |
| 13. 01. 2022 | Fabian Brinkmann | Algebraic Language Theory |
| 20. 01. 2022 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
| 27. 01. 2022 | cancelled | |
| 03. 02. 2022 | Names in DRT | Michael Kohlhase |
| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group
##### For the record: Seminarplan SS21
|Datum|Sprecher|Thema|Notiz|
......
---
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](2021/cfp.txt).
The call for participation is [here](2021/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)](2021/sokolova.pdf)
* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/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)](2021/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)](2021/gabbay.pdf)
* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/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)](2021/joos.pdf)
* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/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.
......@@ -10,55 +10,29 @@ They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Flo
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.
### Online Meeting in Spring 2022
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).
-------------------------------------
### Online Meeting in Spring 2021
The meeting took place online on March 26.
The call for contributions is [here](2021/cfp.txt).
The call for participation is [here](2021/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)](2021/sokolova.pdf)
* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/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)](2021/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)](2021/gabbay.pdf)
* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/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)](2021/joos.pdf)
* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/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.
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
......@@ -6,6 +6,7 @@ fullname: B.Sc. Annika Schmidt
pic: public/images/aschmidt.png
start_date: 2020-10
end_date: 2021-11
role: master-student
affiliation: Computer Science, FAU Erlangen-Nürnberg
......
......@@ -5,7 +5,8 @@ title: John Schihada
fullname: B.Sc. John Schihada
pic: public/images/jschihada.png
start_date: 2019-10
start_date: 2019-10
start_date: 2021-11
role: master-student
affiliation: Computer Science, FAU Erlangen-Nürnberg
......
......@@ -7,6 +7,7 @@ pic: public/images/jsee.jpg
role: bachelor-student
start_date: 2018-02
end_date: 2019-09
publink: auto
......@@ -19,4 +20,4 @@ Hi, my name is Johannes-Sebastian See and I am a Computer Science student at the
I am currently working on my Bachelor Thesis. That means I try to rebuild MathHub using React.
### Contact
Email: johannes-sebastian.see@fau.de
\ No newline at end of file
Email: johannes-sebastian.see@fau.de
......@@ -5,7 +5,7 @@ title: Kai Amann
fullname: Kai Amann
pic: public/images/kamann.jpg
role: bachelor-student
role: master-student
start_date: 2018-02
publink: auto
......@@ -16,7 +16,9 @@ affiliation: Computer Science, FAU Erlangen-Nürnberg
### Description
Hi, my name is Kai Amann and I'm a Computer Science student at the Friedrich-Alexander Universität Erlangen-Nürnberg.
At the moment I'm working on my Bachelor Thesis, which mainly focuses on the field of active documents. In this context I'm working on integrating [MMT](https://uniformal.github.io/) into interactive [Jupyter](http://jupyter.org/) Notebooks.
My Bachelor Thesis was focused on the field of active documents, more specifically on integrating [MMT](https://uniformal.github.io/) into interactive [Jupyter](http://jupyter.org/) Notebooks.
Currently I'm working on the scientific communication infrastucture [WissKi](https://wiss-ki.eu/). As of now WissKIs are fairly isolated *islands* of knowledge, which leads to fragmentation of the research community and to duplication of work. To alleviate these problems I'm currently working on a infrastructure to allow WissKIs to share their data with each other and bring us a step closer towards a *WissKI Commons*.
### Contact
Email: kai.amann@fau.de
Email: firstname + "." + lastname + "@" + "fau.de"
......@@ -3,19 +3,19 @@ layout: person
title: Michael Wagner
fullname: M.Sc. Michael Wagner
pic: public/images/mwagner.jpg
role: master-student
role: CDI computer science allrounder
start_date: 2020-09
affiliation: Computer Science, FAU Erlangen-Nürnberg
affiliation: [CDI](https://www.cdi.fau.de), FAU Erlangen-Nürnberg
NOpublink: auto
NOwebsite:
---
### Description
I'm studying computer science at [FAU Erlangen-Nürnberg](http://www.fau.de). I am working on my master thesis at the [KWARC group](http://kwarc.info).
I studied computer science at [FAU Erlangen-Nürnberg](http://www.fau.de). I wrote my master thesis ["Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization"](https://gl.kwarc.info/supervision/wagner_michael) at the [KWARC group](http://kwarc.info).
Afterwards I started working at the CDI as a developer.
I switched to computer science from business information technology in 2014. My focus lies on artificial intelligence, design and data analysis.
### Current Work
My master thesis aims to achieve the semantification of [OEIS](http://oeis.org/) in cooperation with [zbMATH](https://zbmath.org/). Ideally the [KWARC group](http://kwarc.info) will be able to provide a unique service to mathematicians combining different sources.
Some of the things I'm working on/with at the moment include JupyterHub, Kubernetes, VUE, Filesender, OpenBIS, DataCite and the FAUDataCloud.
### Contact
michael.wm.wagner@fau.de
......@@ -54,7 +54,7 @@ from Intrinsic to Extrinsic Style"](https://kwarc.info/people/frabe/Research/RR_
- **Master's Seminar:** [*A Beginner's Guide to Logical Relations for a Logical Framework*](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf) ([slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/slides.pdf))
- **Master's Project:** [*Structure-Preserving Diagram Operators*](https://gl.kwarc.info/supervision/projectarchive/-/blob/master/2020/Roux_Navid.pdf)
- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/post/bsc-thesis/)
- **Bachelor's Thesis:** [*Refactoring of Theory Graphs in Knowledge Representation Systems*](https://navid-roux.netlify.app/bsc-thesis/)
See [my personal website](https://navid-roux.netlify.app/) for Master's courses I have taken.
......
......@@ -6,6 +6,7 @@ fullname: B.Sc. Pascal Zoleko
pic: public/images/pzoleko.png
start_date: 2018-11
end_date: 2020-03
role: master-student
affiliation: Computer Science, FAU Erlangen-Nürnberg
......
......@@ -5,9 +5,9 @@ title: "ALMANAC: Argumentation Logics Manager & Argument Context Graph"
shorttitle: "ALMANAC"
teaser: Decision situations require individuals and organizations to choose between a multitude of options based on facts, opinions, and arguments about the situation at hand or similar ones. There is already a large set of prior work on the representation of knowledge, inference, and argumentations; the ALMANAC aims to a) bring order into the zoo of proposed formalisms, b) categorize their inter-relations, and c) benchmark them on real-world corpora.
active: true
active: false
start_date: 'January 2018'
end_date: 'August 2021'
end_date: 'February 2022'
publink: auto
people:
......
......@@ -5,10 +5,9 @@ title: MathDataHub
shorttitle: MDH
teaser: A Collaboration Project with Ljubljana University
active: false
start_date: 2020-01
end_date: 2021-12
active: true
people:
- mkohlhase
......@@ -21,4 +20,4 @@ program: Collaboration Grant
logo: public/daad_logo.svg
---
Modern mathematical research increasingly depends on collaborative tools, computational environments, and online databases, and these are changing the way mathematical research is conducted and how it is turned into applications. For example, engineers now use mathematical tools to build and simulate physical models based on systems of differential equations with millions of variables, combining building blocks and algorithms taken from libraries shared all over the internet.
The KWARC group at FAU Erlangen-Nürnberg and the group at Ljubljana University collaborate on the establishment of MathDataHub, a semantic portal for mathematical data sets.
\ No newline at end of file
The KWARC group at FAU Erlangen-Nürnberg and the group at Ljubljana University collaborate on the establishment of MathDataHub, a semantic portal for mathematical data sets.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment