Workshop on Modular Knowledge, July 13. 2018 at FLoC http://kwarc.info/events/Tetrapod-2018/ ============================= Modularity has been recognized in all FLoC-related communities as an essential component of representation languages, computer-based tools, and knowledge exchange. The workshop will employ an unusual format: it will consist of six topical discussion-oriented sessions. These are introduced by a short thought-provoking invited talk on modularity in the speaker's respective field of expertise. Each block of three sessions is followed by additional time for discussions. Invited Speakers and Topics are: - Proof Checking (Catherine Dubois) - Large Proofs (Georges Gonthier) - Ontologies (Till Mossakowski) - Proof Assistants (Natarajan Shankar) - Software Synthesis (Doug Smith) - Mathematical Computation (Nicolas Thiery) To improve the discussions, we invite all interested researchers (independent of whether they attend the workshop) to submit preformulated opinions, either on one of the 6 subtopics or on modularity in general. Opinions include any valuable contribution to the discussion such as - position statements - strengths and weaknesses of existing solutions - pointers to pertinent recent or ongoing work - challenge and benchmark problems Opinions should be brief enough that workshop participants can easily read all opinions at the beginning of each session. Typically, they will not be longer than a couple of paragraphs. The organizers will curate the submitted opinions and publish them on the workshop website and in a post-workshop summary. For the version circulated at the workshop, the organizers may (with the collaboration of the authors) summarize or merge individual opinions if that helps readability. The online version will list all opinions verbatim. Opinions will be listed together with the name(s) of the authors. Submission via easychair: https://easychair.org/conferences/?conf=tetrapod18 -- Dennis M. Müller "To do mathematics is to be, at once, touched by fire and bound by reason. This is no contradiction. Logic forms a narrow channel through which intuition flows with vastly augmented force" - Jordan Ellenberg (How Not to Be Wrong) -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs