[TYPES/announce] Call for Opinions: FLoC Workshop on Modular Knowledge (Tetrapod18)

Dennis Müller dennis.mueller at fau.de
Wed Jun 27 10:14:24 EDT 2018


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)



More information about the Types-announce mailing list