From 50cc8beff692c90be31cd907c14804e1b1451873 Mon Sep 17 00:00:00 2001
From: Joe Corneli <holtzermann17@gmail.com>
Date: Tue, 5 Sep 2017 19:55:56 +0100
Subject: [PATCH] initial (very spare) draft of the FARM talk NOW

---
 org/farm-talk.org | 73 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 73 insertions(+)
 create mode 100644 org/farm-talk.org

diff --git a/org/farm-talk.org b/org/farm-talk.org
new file mode 100644
index 0000000..bb3327c
--- /dev/null
+++ b/org/farm-talk.org
@@ -0,0 +1,73 @@
+#+TITLE:     \large{Modelling the Way Mathematics Is Actually Done}
+#+AUTHOR:    Joseph Corneli, Ursula Martin, Dave Murray-Rust,\newline Alison Pease, Raymond Puzio, Gabriela Rino Nesin
+#+EMAIL:     contact@planetmath.org
+#+DATE:      9 September, 2017
+#+DESCRIPTION: Organizer for presentation on arxana and math text analysis at Oxford.
+#+KEYWORDS: arxana, hypertext, inference anchoring
+#+LANGUAGE: en
+#+OPTIONS: H:1 num:t toc:nil \n:nil @:t ::t |:t ^:nil -:t f:t *:t <:t
+#+OPTIONS: TeX:t LaTeX:nil skip:nil d:nil todo:t pri:nil tags:not-in-toc
+#+INFOJS_OPT: view:nil toc:nil ltoc:t mouse:underline buttons:0 path:http://orgmode.org/org-info.js
+#+EXPORT_SELECT_TAGS: export
+#+EXPORT_EXCLUDE_TAGS: noexport
+#+LATEX_CLASS: beamer
+#+LATEX_CLASS_OPTIONS: [presentation,serif]
+#+LATEX_HEADER: \usefonttheme{professionalfonts}
+#+LATEX_HEADER: \usepackage{fontspec}
+#+LATEX_HEADER: \setromanfont{TeX Gyre Pagella}
+#+LATEX_HEADER: \usepackage{mathtools}
+#+LATEX_HEADER: \usepackage{unicode-math}
+#+LATEX_HEADER: \setmathfont{TeX Gyre Pagella Math}
+#+LATEX_HEADER: \setmonofont[Color=blue]{TeX Gyre Adventor}
+#+LATEX_HEADER: \usepackage{listings}
+#+LATEX_HEADER: \usepackage{parskip}
+#+LATEX_HEADER: \newfontfamily{\lstsansserif}[Scale=.85]{TeX Gyre Adventor}
+#+LATEX_HEADER: \lstset{basicstyle=\lstsansserif\color{blue},keywordstyle=\lstsansserif\color{blue}}
+#+LATEX_HEADER: \definecolor{fondpaille}{cmyk}{0,0,0.1,0}
+#+LATEX_HEADER: \definecolor{sepia}{rgb}{0.44, 0.26, 0.08}
+#+LATEX_HEADER: \setbeamercolor{background canvas}{bg=fondpaille}
+#+LATEX_HEADER: \setbeamercolor{normal text}{fg=sepia}
+#+LATEX_HEADER: \beamertemplatenavigationsymbolsempty
+#+LATEX_HEADER: \usepackage{lightning}
+#+LATEX_HEADER: \definecolor{brightpink}{rgb}{1.0, 0.0, 0.5}
+#+LATEX_HEADER: \newcommand{\SoThat}{\textcolor{brightpink}{$\rightarrow$}~}
+#+LATEX_HEADER: \usepackage{fontawesome}
+#+LINK_UP:
+#+LINK_HOME:
+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="http://metameso.org/~joe/solarized-css/build/solarized-light.css" />
+#+STARTUP: showeverything
+
+# convert example-graph.png -fuzz 1% -fill 'rgb(255,255,230)' -opaque white fond-graph.png
+
+* From cons cells to triples, from trees to hypergraphs
+- Basic mechanics and lexicon
+- What do we get?
+- Related work
+- History of development and outreach
+- Screenshot from the 2005 edition of Arxana
+- Other relevant work: Conceptual Dependence theory
+- Illustration: Application to mathematics
+- Input:
+- Output:
+- Illustration: nested structure
+* Summary
+*** \phantom{y}                                               :B_block:BMCOL:
+*** \phantom{x}                                               :B_block:BMCOL:
+* Future work
+* The end
+* outtakes                                                         :noexport:
+** Other things we've worked on
+
+#+C Local Variables:
+#+C org-tree-slide-skip-outline-level: 3
+#+C mode-line-format: nil
+#+C org-latex-compiler: "xelatex"
+#+C eval: (org-display-inline-images t t)
+#+C eval: (setq org-tree-slide-header nil)
+#+C End:
+
+* Frame with references :noexport:
+  :PROPERTIES:
+  :BEAMER_OPT: fragile,allowframebreaks,label=
+  :END:
+  \printbibliography
-- 
2.11.4.GIT