Tetrapod18: Workshop on Modular Knowledge (Tetrapod) 2018 |
Website | http://kwarc.info/events/Tetrapod-2018/ |
Submission link | https://easychair.org/conferences/?conf=tetrapod18 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
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. To handle the ever increasing body of knowledge, practitioners employ a rapidly expanding set of representation languages and computer-based tools centered around the four fundamental paradigms of formal deduction, computation, datasets, and informal narration.
Invited speakers and topics
Speaker | Modularity in… |
---|---|
Catherine Dubois | Proof Checking |
Georges Gonthier | Large Proofs |
Till Mossakowski | Ontologies |
Natarajan Shankar | Proof Assistants |
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
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.