@@ -31,6 +31,7 @@ Application domain: Which community benefits from the research?
* logic
* mathematics and its subfields
* adjacent mathematical sciences in STEM
* Digital Humanities (Representing/Managing/Using Knowledge about cultural artefacts)
* branching out into other fields (e.g., legal texts)
## Getting a Topic for a Bachelor's, Master's, or Ph.D. Thesis
...
...
@@ -77,13 +78,14 @@ their discussion areas.
* UIs and Interaction with all of this: #8 #13
* Application of machine learning techniques to generating semantic data: #14
* Legal reasoning and argumentation: #23 #29 #30
*[WissKI](https://wisski.eu):
## Logistics once you have a topic
We do most of our collaboration via git, zoom, and mattermost.
You should do the following:
* Go to gl.kwarc.info and log in with your GitHub account - that is where we store all our papers, theses, etc.
* Go to gl.mathhub.info and log in with your GitHub account - that is where we store all our formalizations
* Go to mattermost.kwarc.info and log in with the same credentials as for gl.kwarc.info - that is where we do all our day-to-day asynchronous communication, join channels and write direct messages as needed to get set up
* Go to https://gl.kwarc.info and log in with your GitHub account - that is where we store all our papers, theses, etc.
* Go to https://gl.mathhub.info and log in with your GitHub account - that is where we store all our formalizations
* Go to https://mattermost.kwarc.info and log in with the same credentials as for https://gl.kwarc.info - that is where we do all our day-to-day asynchronous communication, join channels and write direct messages as needed to get set up
* Go to https://fau.zoom.us/j/576591784 to join the weekly group meeting via zoom.
