@@ -9,7 +9,7 @@ at the [Federated Logic Conference 2018](http://www.floc2018.org/)<br/>
...
@@ -9,7 +9,7 @@ at the [Federated Logic Conference 2018](http://www.floc2018.org/)<br/>
affiliated with the [Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/)
affiliated with the [Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/)
</p>
</p>
### 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.
...
@@ -25,8 +25,6 @@ Of particular interest are
...
@@ -25,8 +25,6 @@ Of particular interest are
* 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
#### Organizers
#### Organizers
- Jacques Carette, McMaster University (carette@mcmaster.ca)
- Jacques Carette, McMaster University (carette@mcmaster.ca)
