diff --git a/_posts/2016-07-26-Florian-substitute-prof.md b/_posts/2016-07-26-Florian-substitute-prof.md new file mode 100644 index 0000000000000000000000000000000000000000..e5beeaec1f90e9080fa220d35abfee03b585a376 --- /dev/null +++ b/_posts/2016-07-26-Florian-substitute-prof.md @@ -0,0 +1,10 @@ +--- +layout: post +author: Michael Kohlhase +title: Florian Rabe named Substitute Professor at Jacobs University +tags: + - announcement +--- +PD Dr. Florian Rabe (the KWARC PostDoc of many years) has been named a substitute +professor at [Jacobs University](http://www.jacobs-univesity.de) for the Spring +Semester 2017. Congratulations from the group. diff --git a/_posts/2016-10-01-KWARC-established.md b/_posts/2016-10-01-KWARC-established.md new file mode 100644 index 0000000000000000000000000000000000000000..e61fa1e480319cd3d4b9d703d9bb41da3fd30070 --- /dev/null +++ b/_posts/2016-10-01-KWARC-established.md @@ -0,0 +1,8 @@ +--- +layout: post +author: Michael Kohlhase +title: KWARC established at FAU +tags: + - announcement +--- +With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU. The Winter semester begins later this month with an AI course. diff --git a/_posts/2016-10-01.md b/_posts/2016-10-01.md new file mode 100644 index 0000000000000000000000000000000000000000..bfc34eea508459c516ad76b5c6f699f7fd189cae --- /dev/null +++ b/_posts/2016-10-01.md @@ -0,0 +1,8 @@ +--- +layout: post +author: Michael Kohlhase +title: KWARC established at FAU +tags: + - announcement +--- +With Dennis Müller movint to Erlangen, we have (the beginnings of) a group presence at FAU. diff --git a/_posts/2017-01-19-MathModels-Workshop.md b/_posts/2017-01-19-MathModels-Workshop.md new file mode 100644 index 0000000000000000000000000000000000000000..5508f51a2a3eed4baba0f921a32203ea90455b14 --- /dev/null +++ b/_posts/2017-01-19-MathModels-Workshop.md @@ -0,0 +1,16 @@ +--- +layout: post +author: Michael Kohlhase +title: Math Modeling Workshop at FAU; Math-in-the-Middle Ontology +tags: + - workshop +--- + +KWARC had a very productive workshop on modeling mathematical models with two members of the +[Weierstrass Institute for Applied Analysis and Stochastics](http://wias-berlin.de/) +(WIAS: Thomas Koprucki and Carsten Tabelow) for a one-week code (16.1. - 19. .) sprint on +modelig the one-dimensional van Roosbroeck model in OMDoc/MMT. + +This was used as an opportunity to initiate the Math-in-the-Middle Ontology we have been +talking about for the [OpenDreamKit](http://opendreamkit.org) Project. + diff --git a/_posts/2017-03-24-WIAS.md b/_posts/2017-03-24-WIAS.md new file mode 100644 index 0000000000000000000000000000000000000000..4939dc0c5ff6abda52f81b2e1b96081bb2d72374 --- /dev/null +++ b/_posts/2017-03-24-WIAS.md @@ -0,0 +1,17 @@ +--- +layout: post +author: Michael Kohlhase +title: Report on the WP6-WIAS Workshop on Math-in-the-Middle Content +tags: + - workshop +--- + +WP6 participants JacU (Florian Rabe), FAU (Dennis Müller, Michael Kohlhase) and UZH (Paul +Olivier Dehaye) came together with members of the +[Weierstrass Institute for Applied Analysis and Stochastics](http://wias-berlin.de/) +(WIAS: Thomas Koprucki and Carsten Tabelow) for a one-week code (20. 3. -- 24. 3.) sprint +on the Math-in-the-Middle Content and Logic and the encoding of mathematical Models. The +result of this was a significant extension of the MitM ontology (in particular for the +meta-theories for Sage) and a +[WIAS preprint on formalizations of Models](http://dx.doi.org/10.20347/WIAS.PREPRINT.2385). + diff --git a/contact.md b/contact.md new file mode 100644 index 0000000000000000000000000000000000000000..c7a2bb678a88a99f15e915a8a2db81836a630244 --- /dev/null +++ b/contact.md @@ -0,0 +1,18 @@ +--- +layout: default +title: KWARC Contact +--- + For general questions, contact the head of the group: +[Prof. Dr. Michael Kohlhase](/people/mkohlhase/) + +*Professur für Wissensrepräsentation und -verarbeitung*; Informatik, FAU Erlangen-Nürnberg + +**Office**: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, <michael.kohlhase@fau.de> + +**Secretary**: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64052/55, <gabriele.schoenberger@fau.de> + +For specific questions, please contact the members of the KWARC group directly or use the mailing lists: + + * <core@kwarc.info> (the core group, i.e. PIs, postdocs, and Ph.D. students) + * <group@kwarc.info> (all KWARCies, i.e. including students) + * <admin@kwarc.info> (for systems, ...)