Merge remote-tracking branch 'upstream/master'

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|

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)