diff --git a/README.md b/README.md index 2a0b43a60c486f7dc1ad80bbc23a7f244788f995..7d6c9536cb445f8d1029ad9d0da910940254fda4 100644 --- a/README.md +++ b/README.md @@ -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.