Skip to Content.
Sympa Menu

coq-club - [Coq-Club] ICFP 2022 Student Research Competition: Final Call for Submissions

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICFP 2022 Student Research Competition: Final Call for Submissions


Chronological Thread 
  • From: Danel Ahman <danel.ahman AT fmf.uni-lj.si>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] ICFP 2022 Student Research Competition: Final Call for Submissions
  • Date: Wed, 1 Jun 2022 10:13:30 +0200
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=fmf.uni-lj.si; dmarc=pass action=none header.from=fmf.uni-lj.si; dkim=pass header.d=fmf.uni-lj.si; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=q45+YSttFu8Tsl5TA/fBQlESjpJ4qdOhkaJQOk5KvUg=; b=Fmb3T2lWMN4U5HEzxPh9gg/NpRw+HsVN/iPf5GjVEbf259jv5N3R+mr0alvjeDBvBbiv20+tLSqfSzZjw3ex1XM5VUNCVnNMkGn+44DJE+2Skhmv/Igs+J9FtA15TqI1AB4CR7jC17QtC6npe77ZtYlMoohbMUhoRBwlJB6IVFJaPXbee8RfHNlM4B6msSL2QJ6OzPkWAeSRvIRT/Opf9blCj0MIobBFKK6nTUM95puavQqLVffWzQsxInXJnRsT6mOVelW3x3v2oKPUf9nNPblLBJTo5nGzPGKT9D3gBvB6G+qQyWhV++eANj6WahmOtU2Y4D0PR41PEPSw2Bq0vg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=S2SpX0YStOoxuAub0UIJZpg5a7yYawtVnPfjMpGHprEjT2sf7sTydVYqvhwVzviZOusaD9WsXSUV/shdq3Qnx3KXSIFJuUoJ97w+ZmaJeKi8H7Ko8vRnDNiZ/21YIdWu/Ga+ioGW9RpqU7Jl7hxIOmF9MGap/1DM+BlsmLu8HDjdT1TOH1aRol1V9OeTd0nQNvRSSNeFxwoljrflYY9ORh1lzNgBa4u4ZZxdxWJGl3XRHrftrR50g1hYYHd+1weMS8DAm+QK3vxtmvwWi96ZHhEoGkHTGS3jYHLeDlswdAci5eQpqKilK8bBLZNEjBwBMbxM8HWryjiTxUeiWvK1AA==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=danel.ahman AT fmf.uni-lj.si; spf=Pass smtp.mailfrom=danel.ahman AT fmf.uni-lj.si; spf=Pass smtp.helo=postmaster AT EUR05-DB8-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:JddVvqKZgKeCEuGnFE+R0ZAlxSXFcZb7ZxGr2PjKsXjdYENS0GEPn zBKWT/VbKqCMWKmKdEka4++pxsPvMTXx4UxSVMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVvU4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhuI0rm Yhd6tuMGSANeYP0x/VEeihAHHQrVUFG0OevzXmXnPGplxCDX1G8hvJkAQcxIJES/ftxDSdW7 /sEJTsRbxeFweWr3La8TeoqjcMmRCXpFN9H/Cg4kneDVbB/GMqrr6bivbe02B88j8ZDGbDXZ 88QbxJhaRqGfhtOf1MVTok/9AutriKvImYF8gnIzUYxy3bhwVBVyJK8CcLcQ4axSNpqmXqio 1uTqgwVBTlBbYfEllJp6EmEjejW2Cj/RYg6D6y97vcsgVuJx2VVBgd+aLegifywi0r7V9gPJ lEOoncpq/JrrRbtScThVRqlpnLCpgQbR9dbD+w97keK17bQ5AGaQGMDS1atdeDKqucRGGZ7i 0/W2O+5IhgonoXKWCu0x6+b+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7q5jESMWGvq w1mvBTSlJ1O1pVQiPXTEUTvxmz2+8mRJuIgzl+PNl9J+D+Vc6aESuREA3D38PxELYDxorKpk CBe8yRyxMQDDJeWiCGXKNjh8Zms7veBdTHW0VNyBcF88DL3oif5O4dN/Dt5OUFldN4efiPka 1PSvgUX44JPOHytbul8ZIfZ5yUWIUrISoqNuhP8N4Ymjn1NmOmvoXoGiam4gjqFraTUuftjU ap3iO71ZZrgNYxpzSCtW8AW2qIxyyY1yAv7HM6mk0z9iOrEOiHKFd/p1WdiiMhpvMtoRy2Fo 75i2zeikEo3vBDWPnSMoNZLfQhiwYYTX8mv85MJHgJ8HuaWMDp4UKSOqV/QU4lklL5SjeDG4 jm2XVVAz0D2mXzAL223hoNLOdvSsWJEhStjZ0QEZA72s1B6ONrHxPpBK/MfIOd2nMQ+nKYcZ 6RUIK2oX6UfIhyZoWh1Rcem9uRKKk/07T9iygL+PVDTibY7G1eWkjIlFyOznBQz4t2f75tn+ +fxjV2FGfLuhW1KVa7rVR5m9Hvp1VB1pQ64dxKgzgB7dBq+/Y50BTb2i/NrccgAJQ+anWmU0 gjQHBEZ4O3P5ZQ0qYGbiaeBpoavMu1/AksFRTOHsujmbXHXrji53ItNcOeUZjSBBmn6z6OvO LdOxPbmPfxbwVtH6tIuE7tiwa8kycHoortWklZtEHnRNg/5BLZuZGSA3IxLtOtWx+YB6wexX 0uO/PhcOKmIZ5m/TAFPdFJ9Y73ah/8OmzTU4fAkG2nA5Xd6rOidTEFfHxiQkygBfrF7B4Uon LU6s8kM5g3j1xcnP4rUji1Q8GjQfHUMX79768M3PbWz108H4AEHZpbRTCjr/JuIdtNAdFEwJ SOZj7bDgLIawVfed300Fj7G2u8E3cYCvxVDzVkjIVWVm4Wa2aZnhkEJqTlnHB5Iyhhn0v5oP jc5OkBwI5KI9Wg6icVGWVeqBAwcVgaS/Vb8ygdSmWCFHVOkUHfBcD80NeqXoRlL9mtden1X9 uGV1Xy9DDHsJpiohG01RFJvrOHlQZpp7Arelcu7HsODWZ4nfT7ihazobm0N8kO1DcQ0jUzBh O9r4OcvNvKiZXRM+/U2W9uAyLAdaBGYP2gdE/xs+aU+G2uDKjy/3D65LV+8J5FWLPvQ/E7kU MFjK6qjjfhlOPpic9zaOUINH1OwtNMU3oJfP5/BdSsBubbZqSd1upXN8CS4nHUsX9hljcc6L MXWai6GFWuTw3BTngchaeFab3Ggb4BsiBLUhYiIHCchTvrvc92AtWk817XyonOUdQ9luQmV1 O8GT7GD1PRskOyAgKO1epiuxGyIxRfbWuGGth21spFKb5XUMK8icu/TRkbPZ2xrAFfaZzi7e XlhfjI6MIMpcYvai1zkpqQ=
  • Ironport-hdrordr: A9a23:xf5NgayQtzzjJ8LeXdgcKrPx6eskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9wYh4dcLG7Scq9qBbnmaKdjrNhWYtKMDOHhILKFvAY0WKd+UyEJ8SWzIc0u8 ZdmsBFeaXN5DNB/KTHCWeDYrEdKI7tytHQuQ6S9QYecShaL4VbqytpAAeSFUN7ACFAGJoCDZ KZou5KvSCpd3g7ZtmyQiBtZZm2m/T70LbdJTIWDR8u7weDyRuu9b7BChCdmjMTSSlGz7sO+X XM1yb5+qKgmfemzQK07R6n071m3P/ajvdTDs2FjcYYbh3qlwaTfYxkH4aPuTgkydvfmWoCoZ 3pmVMNLs5z43TeciWeuh32wTTt1z4o9jvL1UKYqWGLm72weBsKT+56wa5JeBrQ7EQt+Ptm1r hQ4m6fv51LSTvdgSXG4cTSXR0CrDv8nZMbq59Ys5Vja/pSVFcIxrZvsH+9Ua1wah4S0bpXW9 WHV6rnlblrmVDzVQGmgoAg+q3jYp0JJGb6fqEzgL3u79FopgEE86Jh/r14op4hzuNMd3AW3Z W2DkxX/Is+MfP+K5gNc9s8fQ==
  • Ironport-phdr: A9a23:6I4vjxJh4LoRIkPOztmcuChuWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM93RSQB9mTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fQbghMizaxfK1+I RqrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4 aV2Rx/ykCoJNyI2/nzUhMJ+kqxVpx2uqgdlzILIZYGYLvp+cr/fcN4cWGFPXtxRVytEAo6kY YUAFewBMvhcr4Lgu1YOrR6+ChOqBOjyzTJHm2X53ask3OQlCw3JxgwgH9cUv3TSt9j1OqISU e6vwKnVyzXDbupa2TP/6ITSaRAhoOiBULRtesXe1UchDRnKjkmMqYP7JTOV0PwAvWaf4ud9W u+iimApph1srzSxxMohlofHi54Ixlza6Sh0woc4KcG3RUNlfNOpE5lduSGbOoZrXs8sTWFmt SU+x7AApJW1ci8KyJE9yB7ebfyKa4iI4hX/VOmNOzd4nGhpd664hxa36USg1/f8Vs2p31lUo CpKjN/MtmsT2BDJ9seHTf598l+71jmT0gDf8OZEIVo7labDMJ4hw7EwloIXsUvZGC/6gkL2j LWZdkgi5+Om6Pznb63pq5OALYN4lx3yP6Y0lsChHeg0KBUCU3WF9eikyrHu/FH1TbtPg/Erj qXWqpHXKMEFqqKlGABY15sv5hS7Ajqj1dkUg3YKIVRYcxydlYfpIUvBIPXgAPe/nVuslDBry ujJMLLvHpvBMnjOnK7vc7tg6ENQ0Q0zwstB6J5ODbEBPe7zVVT2tNzFCB82Lha4w/79CNV6y oMRR36AArOYMKPVt1+E/OUvI/SQZI8Rvzb9LPsl6+Tygn8+nF8RZaip3Z0JZ3CkBvlrLFmVb WDxjtsdE2oGpBQyQPDwhFGfTDJfeW6+X6cm6TE6DIKmA53DRoeogLGZwSi0BJtWaX5CClyWC 3jod4CEVO0KaC+JLM9hlzIEWaK8S48n1BGirQv6y7h9IurP+y0UrZTj28Nt6O3JiR4y7SB0D 9ia02yVUm14hnkISCMu3KBjvUx9zU+O3rR/g/xBDNBc+/dJUhohOpPH1Ox7C9XyWhrbcduTS VamRM+mATArQd4rzd8OeRU1J9L3hRfamiGuHrU9lrqRBZVy/LiP8WL2IpNRwnDL0OEIj1wvR IMbOWSgi6o5/gjWDojhnUCX0busdOEY3mjW9THQniK1oEhEXVsoAu3+VncFax6OxTyYzkbLT rv0TK8iLhME08mJbK1Ddtzui1xCAvblItXXJWyryC+rHRjd4LSKYcLxfnkFmj3HAR0ImgYe+ TCPNQ03AA+vpmyYETpvUFbtJVjtoqFlsH3udkYv1EmRalF5kb+8+xobn/uZHv8a2L8A/i4hr jxyNFi40ZTLDdvFowgnZ6QPKcgl7gJ/3HnC/xd4IoTmL61mgQsGdB9rukr1yxhtIqh9q5B36 V8AnE91I6/e105dfTSF25y2IqfQNmT54BGobejRx03a19GVvKwI7ZzUsn3FuwekXgon+nRji ZxO1meEo4/NB0wUWI7wVUA+8157oavba28z/dGc03okKqSyvjLYvrBhTOI41hatecteO6KYB UfzFcMdHc2nNO0tnRCgcBsFOOlY8KN8MdmhcrOK36uiPeAomzzD7ywP7Il730bK/ip5Q+jg0 ZMLheye306DVXHnjRbps8z6n5xFeSBHBnC2mk2GTMZaYqx/e5pOCH/7f5Xxn40hwcS1HScBr g3GZRtOwsKidBuMYkao2ARR0R5Sunm7gW6iyDcylTg1r62Z1SiIwuL4dRNBNHQYIQsqxVrqP 4WwiMgXGUayaA183hes40v+gaFboa15B2fWTwFVeSmzK2MkSar65d/gK4ZfrYgltylaSrH2b VmcR7q7qhsf2iXLEW5Qgi09dnSuuNPinlYp7QDVZGY2p33fd8ZqwB7Z79GJXv9d0A0NQyxgg CXWDFyxVzWw1e2djIyL8uW3Vmb7E4ZWbTGu14SL8i2y+WxtBxS72fG1gNzuVwYgg2f30NxjV COAqxiZAMGj2628POYhd0ltDVnU5c90XJx4k840htcL2DAWi46U8nwOjWroeYkDn/umMzxXH XhSmoSd6ROAugUrNn+TwoPlSniRitBsYdW3eCJe2y4w6dxLFLbB6bVFmSVvpV/r5QnVYPV7g nIc0a5ysDhD275P4lJrl3zHUdVwVQFCMCfhlgqF9YW7paRTPiO0dKSokVB5lpanBa2DpQdVX DD4fI0jFGl+9JYaUhqE3Xvt54XjYNSVY8gUs0jenx7GguwTIZI0n/wiiy9pf3/7vDghyaggj FY9uPPy9JjCMGhr8K+jV1RUPzv4Y4Ua+jTki45Qm8jQwoauW5FjXC4KFsiNL7rgAHcZsvLpM ByLGTs3pyKAGLbRKgSY7V9vs3PFF534f2HSPnQSys9uAQWMPEEKyh5BRy00x9Rqc2LijNyka kpy4Sodo0L1ugcZgPw9LAHxCy/evFv6Nm9yGcLZdFwOqVgfr0bNbZ7CtqQqR34eptv561XTT w7TLwVQUTNUAArdXwilZv/2ooCcu+mAWrjnd6eIPerI8aoGEK7XjZO3jNk89m7VZJzWZytsU 6VjiBgEASAceYyRmi1RGXYez3ufNpfC9hngonYl/IfjoLzqXgnr+IeCWaBKP9kp4wqxnaqIK ++XgmB+NCpc0ZQPg3TPzd19lBZXgiVqPVFBCJw4vDXWBOLVk65TVVsAbj9rcdFP5OQ61xVMP sjSjpX00KR5h7g7EQUNWVvkk8CvLcsERgP1fEvAH1qOPa+aKCfj7vzNOf75ZZcAyeJeulu3p CqRFFLlMnKbjT71WhuzMOZKyiaGIBhZv4L7eRFobAqrBN7rcRy0NtZrgCZ+neVy3yuVczREd 2ElKQtEtfWI4Dldg+ljFmAJ9XdjIeSe2m6Y4+TeNpcKoK5rDyBzxIc4qDwxz7pY6j0BReQgx HOU94Yx5Qv+1LDWkGkCMlIGsDtAiYOVsF83PKzY8sMFQnPY5FcX6m7WDR0WptxjA9mpuqZKy 9GJmrigTVUKu9/S48YYANDZbcydN390exbgHjPQSgIFSDetHW/aiQpAlvDX8n/TtZlw+f2O0 NIeD6RWUlA4DKZQEkN+ANkLO4t6RBsJrITD0Yskzyr7qxPcAsJHoprAS/SeR+31LyqUhqVFY B1Oxq7kKYMUNcvw3EkoOTwY1MzaXkHXW95KuChoaAQ59V5M/HZJRWo2w0v5awmp7SxbBbuuk xUxkAc7ffU1+WKm/QIsPlST7nhV8gF5iZD/jDuWajK0MKqgQdQcFX/vr0ZoepLjH1QpNUvjx wo8cm+DHu8ZjqM8JzwzzlaE5t0XX6YbFPMhAldYxOnLNahylw0E8mP/gxcAvLeNCIM+xlJyL djw8DQYnVokNYF9JLSOdvBAlgEC3/vX7CH0jrhjkkhCdyNvuCuTYHBa4kVQb+t/fnP68LA0s l7Q3GcTMGkKXP43rv847VszN6KY1SX83rVfK0e3ceuCM6eevGuGnsmNJzF4ngYBk00PlVCZ+ ckmfQyJUUFqyLnXDBVbbKIqyCl4UvAKqT3/V3bLtu/Ah5VoI4+6C+bkC/eUs7oZiV6lGwBvG JkQ6sMGHd+n10SKdK8PyZYLzBtr+QLqYVGHSu9IKkrjrQ==
  • Ironport-sdr: QPloDboDh0zg9+A4ks+dHPtgdMTuE2yh8kZdI4rajjCKVVq3sCQSGEApDYOsTwVNUS9v6nuCQ1 jQ5oAzC5Wo25B38OepxT24768GjIhgkNEFLE4+6RupGgI7MkV+BcHCrfN1wNkAVuDnJE+lsBLa BB3T2uNOLHD0sl8QUHdxiJjatkPb/YihGtfPjjkUHZEXpxfS2ujjtner48eD6i3DzTpa46ihDe 1x2geEWQ4zkmRzYXwPLqdYNgsESi6RaAlgATIbVoWDvfRIFjrqinnT4L++XFgglVh2n1DTufid IxCzhSjtk0azbnk6u5lQunms

ICFP 2022 Student Research Competition

       Call for Submissions


ICFP 2022 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.

The SRC consists of three rounds:

* Submission of an extended abstract
* Poster session at ICFP 2022
* Finalists' presentations at ICFP 2022

During the first round students submit an extended abstract detailing
their research to be reviewed by the program committee. Those students
whose abstracts get accepted advance to the poster session round which
will take place during ICFP 2022. Winners of the poster session
advance to next round, where they will give a 5-minute presentation
about their work on the ICFP main stage in front of a live audience.

### IMPORTANT DATES

* Submission Deadline: 8 June 2022 (Wednesday)
* Author Notification: 24 June 2022 (Friday)
* ICFP 2022 Conference in Ljubljana, Slovenia:
    11 September 2022 (Sunday) - 16 September 2022 (Friday)

### SUBMISSION OF EXTENDED ABSTRACTS

* Submission Website: https://icfp22src.hotcrp.com

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://icfp22.sigplan.org/track/icfp-2022-student-research-competition

### PROGRAM COMMITTEE

Danel Ahman (University of Ljubljana) (co-chair)
Maria I. Gorinova (Twitter)
Daniel Hillerström (University of Edinburgh) (co-chair)
Shin-ya Katsumata (National Institute of Informatics)
Jennifer Paykin (Galois)
François Pottier (Inria)
Nikhil Swamy (Microsoft Research)



  • [Coq-Club] ICFP 2022 Student Research Competition: Final Call for Submissions, Danel Ahman, 06/01/2022

Archive powered by MHonArc 2.6.19+.

Top of Page