caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18)
@ 2018-06-18  9:51 Dennis Müller
  0 siblings, 0 replies; only message in thread
From: Dennis Müller @ 2018-06-18  9:51 UTC (permalink / raw)
  To: caml-list

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-06-18  9:58 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-06-18  9:51 [Caml-list] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18) Dennis Müller

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).