* [Caml-list] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18)
@ 2018-06-18 9:58 Dennis Müller
0 siblings, 0 replies; 1+ messages in thread
From: Dennis Müller @ 2018-06-18 9:58 UTC (permalink / raw)
Workshop on Modular Knowledge, July 13. 2018 at FLoC
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:
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-06-18 9:58 [Caml-list] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18) Dennis Müller
caml-list - the Caml user's mailing list
Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list
AGPL code for this site: git clone https://public-inbox.org/ public-inbox