Skip to content
Snippets Groups Projects
tetrapod.tex 5.47 KiB
Newer Older
  • Learn to ignore specific revisions
  • Dennis Müller's avatar
    Dennis Müller committed
    \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