Skip to content

GitLab

Commit d32ca218 authored by Dennis Müller's avatar Dennis Müller
Browse files

init

parents
Hide whitespace changes
Inline Side-by-side
index.html 0 → 100644
View file @ d32ca218
<!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>
labels.pl 0 → 100644
View file @ d32ca218
# LaTeX2HTML 2008 (1.71)
# Associate labels original text with physical files.
1;
# LaTeX2HTML 2008 (1.71)
# labels from external_latex_labels array.
1;
tetrapod.css 0 → 100644
View file @ d32ca218
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH { font-family: "Century Schoolbook", serif; }
.MATH I { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
/* implement both fixed-size and relative sizes */
SMALL.XTINY { font-size : xx-small }
SMALL.TINY { font-size : x-small }
SMALL.SCRIPTSIZE { font-size : smaller }
SMALL.FOOTNOTESIZE { font-size : small }
SMALL.SMALL { }
BIG.LARGE { }
BIG.XLARGE { font-size : large }
BIG.XXLARGE { font-size : x-large }
BIG.HUGE { font-size : larger }
BIG.XHUGE { font-size : xx-large }
/* heading styles */
H1 { }
H2 { }
H3 { }
H4 { }
H5 { }
/* mathematics styles */
DIV.displaymath { } /* math displays */
TD.eqno { } /* equation-number cells */
/* document-specific styles come next */
DIV.center { }
DIV.navigation { }
SPAN.arabic { }
tetrapod.html 0 → 100644
View file @ d32ca218
<!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>
tetrapod.tex 0 → 100644
View file @ d32ca218
\documentclass{article}
\usepackage{a4wide}
\usepackage[show]{ed}
\usepackage[utf8]{inputenc}
\usepackage[hyperref,backend=bibtex,style=alphabetic]{biblatex}
\addbibresource{../lib/kbibs/kwarcpubs.bib}
\addbibresource{../lib/kbibs/extpubs.bib}
\addbibresource{../lib/kbibs/kwarccrossrefs.bib}
\addbibresource{../lib/kbibs/extcrossrefs.bib}
\addbibresource{local.bib} % put references there that are not in kwarc.bib
\renewbibmacro*{event+venue+date}{}
\renewbibmacro*{doi+eprint+url}{%
\iftoggle{bbx:doi}
{\printfield{doi}\iffieldundef{doi}{}{\clearfield{url}}}
{}%
\newunit\newblock
\iftoggle{bbx:eprint}
{\usebibmacro{eprint}}
{}%
\newunit\newblock
\iftoggle{bbx:url}
{\usebibmacro{url+urldate}}
{}}
\usepackage{tikz}
\usepackage{tikzinput}
\usepackage[hyperfootnotes=false,bookmarks=true, linkcolor=blue, citecolor=blue, urlcolor=blue, colorlinks=true, breaklinks=true, bookmarksopen=true,bookmarksopenlevel=1,bookmarksnumbered]{hyperref}
\usepackage{hyperref}
\usepackage{amssymb}
\title{Workshop Proposal : Modular Knowledge}
\begin{document}
\maketitle
\section*{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
\begin{itemize}
\item foundational principles such as theory graphs and colimits
\item interchange languages and module systems
\item languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
\end{itemize}
\section*{Organization}
\paragraph{Organizers}
\begin{itemize}
\item Jacques Carette, McMaster University (carette@mcmaster.ca)
\item Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info)
\item Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
\end{itemize}
\paragraph{Proposed affiliated conference} FSCD (3rd International Conference on Formal Structures for Computation and Deduction)
\paragraph{Estimate of Audience Size} 20 -- 30
\paragraph{Proposed Format}
\begin{enumerate}
\item There will be 8 invited speakers, each of which will be asked to present a specific topic.
\item Each speaker will give a 15-minute presentation on that topic that is followed by a
30-minute discussion session.
\item 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.
\end{enumerate}
\paragraph{Potential invited speakers and topics}
\begin{center}\begin{tabular}{lp{6cm}}
William Farmer (McMaster University, Canada) & Theory graphs as a means for modular knowledge representation \\
Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) & Large scale knowledge management \\
Till Mossakowski (University of Magdeburg, Germany) & Modularity in ontologies \\
Natarajan Shankar (SRI International, US) & Modularity in proof assistants \\
Catherine Dubois (ENSIIE, France) & Modularity in computer algebra \\
Nicolas Thiery (Universtiy Paris-Sud, France) & Modularity in mathematical computation \\
Doug Smith (Kestrel Institute) & Modularity in software synthesis \\
Derek Dreyer (MPI SWS, Germany) & Modularity in functional programming \\
Eric Weisstein (Wolfram Inc) & Mathematical encyclopedias \\
Georges Gonthier (Microsoft) & Large scale formal proofs
\end{tabular}\end{center}
\paragraph{Procedures for selecting papers}
The organizers will select invited speakers and topics.
No selection of submissions is needed.
\paragraph{Plans for dissemination}
A report will be written after the workshop that includes abstracts of the invited talks
and the highlights of the discussions during the workshop.
\paragraph{Duration} One day
\paragraph{Preferred period} Mid FLoC
Because modularity affects and connects the communities of all FLoC conferences, we strongly prefer a Mid FLoC workshop in order to bring researchers from different communities.
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
% LocalWords: maketitle KohDavGin pswads11 planetmath tntbase concl sec:intro emph qquad
% LocalWords: printbibliography centering includegraphics realized fig:tetrapods
% LocalWords: sec:concl
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment