[Agda] Call for Submissions: ICFP Student Research Competition

[Sam Tobin-Hochstadt]

         ICFP 2019 Student Research Competition
                Call for Submissions

ICFP invites students to participate in the Student Research
Competition in order to present their research and get feedback from
prominent members of the programming language research
community. Please submit your extended abstracts through the
submission website.

### Important dates

Submissions due:    14 Jun 2019 (Friday) 
            https://icfp19src.hotcrp.com
Notification:       28 Jun 2019 (Friday)
Conference:         18 August (Sunday) - 23 August (Friday)


Each submission (referred to as "abstract" below) should include the
student author’s name and e-mail address; institutional affiliation;
research advisor’s name; ACM student member number; category
(undergraduate or graduate); research title; and an extended abstract
addressing the following:

* Problem and Motivation: Clearly state the problem being addressed and
  explain the reasons for seeking a solution to this problem.

* Background and Related Work: Describe the specialized (but
  pertinent) background necessary to appreciate the work in the
  context of ICFP areas of interest. Include references to the
  literature where appropriate, and briefly explain where your work
  departs from that done by others.

* Approach and Uniqueness: Describe your approach in addressing the
  problem and clearly state how your approach is novel.

* Results and Contributions: Clearly show how the results of your work
  contribute to programming language design and implementation in
  particular and to computer science in general; explain the
  significance of those results.

* Submissions must be original research that is not already published
  at ICFP or another conference or journal. One of the goals of the
  SRC is to give students feedback on ongoing, unpublished
  work. Furthermore, the abstract must be authored solely by the
  student. If the work is collaborative with others and*or part of a
  larger group project, the abstract should make clear what the
  student’s role was and should focus on that portion of the work.

* Formatting: Submissions must be in PDF format, printable in black
  and white on US Letter sized paper, and interpretable by common PDF
  tools. All submissions must adhere to the "ACM Small" template that
  is available (in both LaTeX and Word formats) from
  https://www.acm.org/publications/authors/submissions. For authors
  using LaTeX, a lighter-weight package, including only the essential
  files, is available from
  http://sigplan.org/Resources/Author/#acmart-format. The submission
  must not exceed 3 pages in PDF format. Reference lists do not count
  towards the 3-page limit.

Further information is available at the ICFP SRC website:
https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition

ICFP Student Research Competition Chair:
  William J. Bowman (University of British Columbia)