diff --git a/tetrapod.html b/tetrapod.html deleted file mode 100644 index eee0ddcbd8a5dcce73251484a855b78bc0c9c6ba..0000000000000000000000000000000000000000 --- a/tetrapod.html +++ /dev/null @@ -1,125 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> - -<HTML> -<HEAD> -<TITLE>Workshop on Modular Knowledge</TITLE> -<META NAME="description" CONTENT="Workshop on Modular Knowledge"> -<META NAME="keywords" CONTENT="tetrapod"> -<META NAME="resource-type" CONTENT="document"> -<META NAME="distribution" CONTENT="global"> - -<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> -<META NAME="Generator" CONTENT="LaTeX2HTML v2008"> -<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css"> - -<LINK REL="STYLESHEET" HREF="tetrapod.css"> - -</HEAD> - -<BODY > -<H1 ALIGN="CENTER">Workshop on Modular Knowledge</H1> -<DIV CLASS="author_info"> - -</DIV> - -<P> - -<H1><A NAME="SECTION00010000000000000000"> -Description</A> -</H1> - -<P> -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. - -<P> -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. - -<P> -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 - -<UL> -<LI>foundational principles such as theory graphs and colimits -</LI> -<LI>interchange languages and module systems -</LI> -<LI>languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases - -</LI> -</UL> - -<P> - -<H1><A NAME="SECTION00020000000000000000"> -Organization</A> -</H1> - -<P> - -<H4><A NAME="SECTION00020010000000000000"> -Organizers</A> -</H4> - -<UL> -<LI>Jacques Carette, McMaster University (carette@mcmaster.ca) -</LI> -<LI>Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info) -</LI> -<LI>Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de) -</LI> -</UL> - -<P> - -<H4><A NAME="SECTION00020020000000000000"> -Location</A> -</H4> <a href="http://www.floc2018.org/">Federated Logic Conference 2018, Cambridge</a>, July 13. - -<P> - -<H4><A NAME="SECTION00020030000000000000"> -Estimate of Audience Size</A> -</H4> 20 - 30 - -<P> - -<H4><A NAME="SECTION00020040000000000000"> -Format</A> -</H4> - -<OL> -<LI>There will be 8 invited speakers, each of which will be asked to present a specific topic. -</LI> -<LI>Each speaker will give a 15-minute presentation on that topic that is followed by a - 30-minute discussion session. -</LI> -<LI>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. -</LI> -</OL> - -<P> - -<H4><A NAME="SECTION00020050000000000000"> -Invited speakers and topics</A> -</H4> -Invitations in progress - -<H4><A NAME="SECTION00020060000000000000"> -Procedures for selecting papers</A> -</H4> - The organizers will select invited speakers and topics. - No selection of submissions is needed. - -<P> - -<H4><A NAME="SECTION00020070000000000000"> -Dissemination</A> -</H4> - A report will be written after the workshop that includes abstracts of the invited talks - and the highlights of the discussions during the workshop. -</BODY> -</HTML>