The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
When : 2016-10-30
Where : Amsterdam, The Netherlands
Submission Deadline : 2016-09-09
Categories : Informatics , Computational Science
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
(SPLASH 2016)
October 30 November 4, 2016
Amsterdam, The Netherlands.
Goal of SPLASH-E 2016
SPLASH-E will be a one-day working meeting, with the following goals: Building on prior work, identify and enumerate the foundational concepts of computation.
More ambitiously, for each concept, create a detailed plan for a lesson (or short sequence of lessons) for 8 year olds, to teach the concept.
We do not solicit publications, but we ask prospective participants to submit a one-paragraph position statement.
Topics:
# Concepts for structuring computation and data: The idea of sequence, selection, and repetition (e.g., regular expressions: ab, a?, a*; or imperative languages: statement sequences, conditionals, and loops; or functional languages: conditionals and recursion)
# The concept of types (selection and repetition often depend on Booleans; school arithmetic and algebra usually use numbers)
# How the concepts of variables differ between imperative languages (with assignment), functional languages (with let expressions and function arguments), and math (x in equations)
# Models of computation underlying pure functional languages (lambda calculus) and imperative languages (Turing machines), and their equivalence, how evaluation/execution works in each of them, and their relationship to school mathematics
# Abstraction as exemplified endlessly in programming and programming languages.
# Names. Names allow abstraction. Using descriptive names is common in programming (but less common in math).
# Information and data. Algorithms + data = programs, computation + information = computer science.
Important Dates:
Submission deadline for abstracts: September 9th 2016
User Name : shaun
Posted 09-09-2016 on 11:44:50 AEDT