From 38771131758abe37c0b3035ae7311364c28b0947 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de> Date: Fri, 1 Sep 2017 13:27:37 +0200 Subject: [PATCH] tetrapod workshop --- events/Tetrapod-2018.md | 49 ++++++++++++++++++++++++++++++++++++++++- 1 file changed, 48 insertions(+), 1 deletion(-) diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md index cfe44c0..052fc12 100644 --- a/events/Tetrapod-2018.md +++ b/events/Tetrapod-2018.md @@ -2,4 +2,51 @@ layout: page title: Tetrapod 2018 --- -.... +## Description + +Mathematics, logics, and computer science support a rich ecosystem of formal knowledge. + This involves many interrelated human activities such as modeling phenomena and formulating conjectures, proofs, and computations, and organizing, interconnecting, visualizing, and applying this knowledge. + To handle the ever increasing body of knowledge, practitioners employ a rapidly expanding set of representation languages and computer-based tools centered around the four fundamental paradigms of formal deduction, computation, datasets, and informal narration. + +Modularity has been recognized in all FLoC-related communities as a critical method for designing scalable representation languages and building large corpora of knowledge. + It is also extremely valuable for comparing and exchanging knowledge across communities, corpora, and tools - a challenge that is both pressing and difficult. + +Expanding on the Tetrapod workshop at the conference on intelligent computer mathematics (CICM) 2016, this workshop brings together researchers from a diverse set of research areas in order to create a universal understanding of the challenges and solutions regarding highly structured knowledge bases. + Of particular interest are +- foundational principles such as theory graphs and colimits +- interchange languages and module systems +- languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases + +## Organization + +### Organizers + +- Jacques Carette, McMaster University (carette@mcmaster.ca) +- Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info) +- Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de) + +### Location +[http://www.floc2018.org/](Federated Logic Conference 2018, Cambridge), July 13. + +### Estimate of Audience Size</A> +20 - 30 + +### Format + +- There will be 8 invited speakers, each of which will be asked to present a specific topic. +- Each speaker will give a 15-minute presentation on that topic that is followed by a + 30-minute discussion session. +- There will not be a call for papers or other contributions. + However, there will be a call for participation that will include the invited speakers and their topics. + +### Invited speakers and topics</A> + +Invitations in progress + +### Procedures for selecting papers</A> + The organizers will select invited speakers and topics. + No selection of submissions is needed. + +### Dissemination</A> + A report will be written after the workshop that includes abstracts of the invited talks + and the highlights of the discussions during the workshop. -- GitLab