* languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
#### Organizers
- Jacques Carette, McMaster University (carette@mcmaster.ca)
- Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info)
- Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
#### Location
[Federated Logic Conference 2018, Oxford](http://www.floc2018.org/), July 13.
#### Format
- There will be 8 invited speakers, each of which will be asked to present a specific topic.
...
...
@@ -53,11 +44,31 @@ Of particular interest are
| Doug Smith | Software Synthesis |
| Nicolas M. Thiery | Mathematical Computation |
#### Call for Opinions
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
#### Procedures for selecting papers
The organizers will select invited speakers and topics.
No selection of submissions is needed.
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.
#### 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.
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.
Opinions should be submitted at https://easychair.org/conferences/?conf=tetrapod18 (An easychair abstract without a pdf file is sufficient.)
#### Organizers
- Jacques Carette, McMaster University (carette@mcmaster.ca)
- Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info)
- Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
#### Location
[Federated Logic Conference 2018, Oxford](http://www.floc2018.org/), July 13.
