title:Workshop on Modular Knowledge (Tetrapod)2018
---
---
## Description
### Description
Mathematics, logics, and computer science support a rich ecosystem of formal knowledge.
Mathematics, logics, and computer science support a rich ecosystem of formal knowledge.
This involves many interrelated human activities such as modeling phenomena and formulating conjectures, proofs, and computations, and organizing, interconnecting, visualizing, and applying this knowledge.
This involves many interrelated human activities such as modeling phenomena and formulating conjectures, proofs, and computations, and organizing, interconnecting, visualizing, and applying this knowledge.
...
@@ -17,21 +17,21 @@ Expanding on the Tetrapod workshop at the conference on intelligent computer mat
...
@@ -17,21 +17,21 @@ Expanding on the Tetrapod workshop at the conference on intelligent computer mat
- interchange languages and module systems
- interchange languages and module systems
- languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
- languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
## Organization
### Organization
### Organizers
#### Organizers
- Jacques Carette, McMaster University (carette@mcmaster.ca)
- Jacques Carette, McMaster University (carette@mcmaster.ca)
- Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info)
- Dennis Müller, FAU Erlangen-Nürnberg (d.mueller@kwarc.info)
- Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
- Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
### Location
#### Location
[http://www.floc2018.org/](Federated Logic Conference 2018, Cambridge), July 13.
[Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13.
### Estimate of Audience Size</A>
#### Estimate of Audience Size
20 - 30
20 - 30
### Format
#### Format
- There will be 8 invited speakers, each of which will be asked to present a specific topic.
- There will be 8 invited speakers, each of which will be asked to present a specific topic.
- Each speaker will give a 15-minute presentation on that topic that is followed by a
- Each speaker will give a 15-minute presentation on that topic that is followed by a
...
@@ -39,14 +39,14 @@ Expanding on the Tetrapod workshop at the conference on intelligent computer mat
...
@@ -39,14 +39,14 @@ Expanding on the Tetrapod workshop at the conference on intelligent computer mat
- There will not be a call for papers or other contributions.
- There will not be a call for papers or other contributions.
However, there will be a call for participation that will include the invited speakers and their topics.
However, there will be a call for participation that will include the invited speakers and their topics.
### Invited speakers and topics</A>
#### Invited speakers and topics
Invitations in progress
Invitations in progress
### Procedures for selecting papers</A>
#### Procedures for selecting papers
The organizers will select invited speakers and topics.
The organizers will select invited speakers and topics.
No selection of submissions is needed.
No selection of submissions is needed.
### Dissemination</A>
#### Dissemination
A report will be written after the workshop that includes abstracts of the invited talks
A report will be written after the workshop that includes abstracts of the invited talks
and the highlights of the discussions during the workshop.
and the highlights of the discussions during the workshop.
