diff --git a/courses/wuv.md b/courses/wuv.md index 2b56926fab466bb7f57e9247340e4af07c8b141e..11e5afb1a9f19ceb4cf388eef9a54fa86143523c 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -27,8 +27,8 @@ Hier ist eine Auswahl für das WS 17/18: | LF-Einführung ||relativ einfach, aber Logik-lastig| | | | MitM Foundation | | Formalisierung | | | | Theory Graphs and Viewer | |einfach |Marcel Rupprecht | | -|Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | | -|MathLang| Kamareddine | | | +| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | | +| MathLang| Kamareddine | | | | Formula Parsing | Ginev M.Sc. | relativ einfach | | | Math Parsing in Concise | Pichler M.Sc. | relativ einfach | | | Virtual Theories | | | Tom Wiesing| diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md index 8c2c92c7b9d81ce276d1a902c62b1ee84ea411eb..e45a9d46e6818f8f77f119685cb0a026aa6c0b24 100644 --- a/events/Tetrapod-2018.md +++ b/events/Tetrapod-2018.md @@ -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/) </p> -### Description +#### Description 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. @@ -25,8 +25,6 @@ Of particular interest are * interchange languages and module systems * languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases -### Organization - #### Organizers - Jacques Carette, McMaster University (carette@mcmaster.ca)