From 5c160c3559e82caa9e0e73c715dfbaf04455dba1 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Tue, 2 May 2017 07:06:30 +0200 Subject: [PATCH] new --- _posts/2016-07-26-Florian-substitute-prof.md | 10 ++++++++++ _posts/2016-10-01-KWARC-established.md | 8 ++++++++ _posts/2016-10-01.md | 8 ++++++++ _posts/2017-01-19-MathModels-Workshop.md | 16 ++++++++++++++++ _posts/2017-03-24-WIAS.md | 17 +++++++++++++++++ contact.md | 18 ++++++++++++++++++ 6 files changed, 77 insertions(+) create mode 100644 _posts/2016-07-26-Florian-substitute-prof.md create mode 100644 _posts/2016-10-01-KWARC-established.md create mode 100644 _posts/2016-10-01.md create mode 100644 _posts/2017-01-19-MathModels-Workshop.md create mode 100644 _posts/2017-03-24-WIAS.md create mode 100644 contact.md 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 0000000..e5beeae --- /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 0000000..e61fa1e --- /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 0000000..bfc34ee --- /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 0000000..5508f51 --- /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 0000000..4939dc0 --- /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 0000000..c7a2bb6 --- /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, ...) -- GitLab