org/farm-2017.org

   1 * OUTLINE
   2
   3 #+BEGIN_COMMENT
   4 Functional Programming has emerged as a mainstream software
   5 development paradigm, and its artistic and creative use is booming. A
   6 growing number of software toolkits, frameworks and environments for
   7 art, music and design now employ functional programming languages and
   8 techniques. FARM is a forum for exploration and critical evaluation of
   9 these developments, for example to consider potential benefits of
  10 greater consistency, tersity, and closer mapping to a problem domain.
  11
  12 FARM encourages submissions from across art, craft and design,
  13 including textiles, visual art, *music*, 3D sculpture, animation, GUIs,
  14 video *games*, 3D printing and architectural models, choreography,
  15 *poetry*, and even VLSI layouts, GPU configurations, or
  16 *mechanical engineering designs*.  *Theoretical foundations*, *language design*,
  17 *implementation issues*, and *applications* in industry or the arts are
  18 all within the scope of the workshop.  The language used need not be
  19 purely functional (“mostly functional” is fine), and may be manifested
  20 as a domain specific language or tool.  Moreover, submissions focusing
  21 on questions or issues about the use of functional programming are
  22 within the scope.
  23 #+END_COMMENT
  24
  25 ** 1 THEORETICAL FOUNDATIONS Informal mathematical language is more general, and  the reasoning involved may be abductive, inductive, or heuristic.
  26
  27 *** 1.1
  28 *** 2.2
  29
  30 ** 2 LANGUAGE DESIGN The presentation here will describe a strategy we have been developing for representing mathematical dialogues and other informal texts.
  31
  32 *** 2.1
  33 *** 2.2
  34
  35 ** 3 IMPLEMENTATION ISSUES A publication appearing in "Artificial Intelligence" this month describes the high-level features of informal mathematics, and helped inspire this project.
  36
  37 *** 3.1
  38 *** 3.2
  39
  40
  41 ** 4 APPLICATIONS Our latest efforts produce more detailed models mathematical arguments.
  42
  43 *** 4.1
  44 *** 4.2
  45
  46 ** 5 A graphical formalism and a corresponding prototype implementation will be described.
  47
  48 *** 5.1
  49 *** 5.2
  50
  51 ** 6 Applications include modelling collaborative proof dialogues and discursive Q&A, as well as more traditional proofs.
  52
  53 *** 6.1
  54 *** 6.2
  55
  56 ** 7 In our planned next steps we plan to bring in explicit type-theoretic representations of mathematical objects within a service-oriented architecture./
  57
  58 *** 7.1
  59 *** 7.2
  60
  61 ** 8 mob programming
  62
  63 *** 8.1
  64 *** 8.2
  65
  66 ** 9 music from corneli, pease, stefanou survey ("Chapter 6")
  67
  68 *** 9.1
  69 *** 9.2
  70
  71 ** 10 prior art: board games, story stuff
  72
  73 *** 10.1
  74 *** 10.2
  75