Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Onward! Papers 2022 - CfP

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Onward! Papers 2022 - CfP


Chronological Thread 
  • From: Andreea Costea <andreeac AT comp.nus.edu.sg>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Onward! Papers 2022 - CfP
  • Date: Tue, 21 Jun 2022 12:23:15 +0300
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andreeac AT comp.nus.edu.sg; spf=Pass smtp.mailfrom=andreeac AT comp.nus.edu.sg; spf=None smtp.helo=postmaster AT mailgw0.comp.nus.edu.sg
  • Ironport-data: A9a23:9c9PEqswesbGPiurdoiz+WTM/efnVI1YMUV32f8akzHdYApBsoF/q tZmKWqAMvqLYjTxfdsgb4qy80sGvJ/Vzd4yHVFu+Hw9FHlBgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g527BVPyvX4 Ymo+5OFYQf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZzzU1kxZI7zo7sEbFpWMxFnObx93JaSdBBTseTLp6HHW37lwvFhExlwNood4qBxHHoI+ PAFbisCBvyBr7vtn/TiEbMq1phldpGD0IA34hmMyRnQC/o8TJ3KSI3B4tpAmjEtnYZDEeuYf MVxhT9HME6ZOUAfYAp/5JQWguiiiybFcjNhiVO+q4kR2lj23Chfz+24WDbSUobbG5oKxx3wS nj912/+G1QRMMGV4SGU92qlwO7JhyLyHowIfIBU7dY63BjJnioYDxgOE12mur+0hlP4QN03x 1EoFjQGresoqlTxbebGAASH43CkjgcYSuF0OrhvgO2S8Zb87wGcD2kCazdObt06qcM7LQDGM HfSwLsF4hQz7dWopWKhGqS89GjqaHl9wXsqPHdfElVeu7EPtalq1nryosBf/LmdtfKd9dvY+ DGMoyEmgK8e5SLg//zhlW0rbhr8+t2TFkg+4QDPGGS49UV0aJPjfIPABbnnARRocdvxorqp5 SZsdy2iAAYmVsvleMulG7hlIV1Rz6zZWAAwe2JHEZg77CiK8HW+Z41W6zwWDB43b5tbJW65M RWO5Vg5CHpv0J2CNv8fj2WZV5pC8EQcPY6Nug38MIcTOcYZmPGvpXkwDaJv44wduBJ9z/5gY MzznTeEC38GCKNhxT7+WuEcz7Ix3SEi1CvUS9jgzhKo2KKZfnP9dFv2GAfmUwzN14vd+F+92 48Gb6OikkwPOMWjMni/2dNCdjgicClkbbio8JY/XrDYfWJb9JQJVqW56ak/YLZsg6k9vr6Op hlRrGcClgqm7ZAGQC3XAk1ehETHB80g9ihkZ3JyYD5FGRELOO6S0UvWTLNvFZFPyQCp5acco yAtd5rSD/JRZC7A/jhBP5DxoJY7KUagggeWeSy4e34yc4MmXAOQoo3oeQ7m9S8vCCurtJti+ uL4hlODGZdTFR5/CMv2ae60ywLjtHcQr+t+Qk/UL4QBY07r6oVrd3T8g6ZvccEBIBnO3BWA0 AOSDUtKrOXBudZootLOgLjCqZqyVeZyAwxBEDCDv7qxMCDb+EulwJNBALrRImiNBDus9fz7N +tPzvz6PPkWp3pwstJxQ+Rx0KYzx9rzvLsLnA1rEULCY0mvFr49cGKN2tNCt/EVy7JU5Vm2V 0aI9oUIMLmFIpm+QlsYJQ4qcbzF3vYRgn/U8O9zLUnnojR4peLVXUJXNhiKqSpcMLolbNp6m bdx4JYbu16llx4nEtealSQFpW2DI0sJX7gjqpxHUpTgjRAmyw0abJGAWDX65oqDN4dFPkUwe GbG1PaH3ewazU3Hazw1CGOL0OZAw48B4UgYwFgHLlWPu9zEmv5ngEQOqWRnFlxYnkddzuZ+G ml3LEkkd6yB8gBhiNVHQ23xSRpKAweU+xCpxlYE/IEDo5JEioAQwKwB1eexEIQx9mtdejdEp PeTz2P9FzD3Z4f80jZ0QkENRzkPizBu3lWqpSxlN53t81oGjf7NiairfSwOtgChDM8swlbIz QWv1PglcrX1bEb8vIViY7R3Ft0spNSsL2tHWbdn4bhPEG3BPiq9sdRLx4ZdZesVT8H3HYSE5 wCC6y6Bu9lSFMpDk9zDOZMxHg==
  • Ironport-hdrordr: A9a23:WxBuZKkJ3lBxdwCw40g5s70r2wjpDfIi3DAbv31ZSRFFG/Fw8P re5cjztCWE7gr5N0tApTntAsm9qBDnm6Kdg7NhWItKjDOW31dARbsKheCOr1Ld8kbFh4xgPM lbAstD4I2ZNykfsS8k2mOFL+o=
  • Ironport-phdr: A9a23:v5hXnhS4sCFDIwQbvsr2vSkvaNpsohmVAWYlg6HPa5pwe6iut67vI FbYra00ygOTBsOCsKkP0rCempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCCgbb58I hi6ohjdutcLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmTgLjhiUaOD4j6GzYhcJ+gqJFrhy8pBJ+zInUb52aOvdlYqPQftEaSXZdUspNVSFMBJ63Y YsVD+oGOOZVt5Xwp10TohukGwajGvngwSJWi3/xxq06z/ouHhvb1wEnBd0OtmnbrM/rO6gMS ++60LLFwinEb/NTwTfx8o7Icg06of2WQ71/bNfRxVM0FwPKl1idr5HuMDyJ2OoXqWeb8/ZgW vy1i24hswx8oDuiy8Uvh4TUiI8YylDK+ytnzYs7O9G1VFJ2bNy4HZZRqSyUN5V7T80jTm11p Co3ybMLtYO1ciYFzJkpxx7SZvqaeIaG5RLjUfyeITZ+hH99Y7K/nxKy/lK7yu38Ssa011BKo jBCktnWuXAA0QHY5MufSvZl40us1zSC2xrO5uxKP0w4j6nWJpE7zrIuipYet1nIEDXsl0Xsl qCWc10p+ui25OTjZbXrvpqcOJV1igH6PaQvlNCzDf4kPQgJWmib4f6w1Lv+/U3iWrlFkOA5k rTDvJDBKsQXvq+5AwlL3YY/8xuzEjmr3dYCkXUaIl9JZgiLgovmNl3UPvz0Ee+zg1G2nzdqw /DGMKfhApLILnXbirjhe6ty61RCxwUt199Q+4lZBa0GIPL2Qk/9rtrYDgIiMwCu3enoFch92 pkFWWKAGqOZNrjdvkeS5u0zO+mMeJMVuDHlJvQ4//Lul2M2mUcBfam12psacGy3HvN/I0mAf XXshsoBHnwRswolTO3qjUWCXiRJa3azWaI8/DA7B5i8AYfNXID+yICGiSy8B9hdYn1MIlGKC 3bhMYueCNkWbyfHC8ltiDEJXPCKTJQ92Bjm4Ab8x6BqI+Pf0iYfsIql0sVuoeDfiFcp+monX Iymz2iRQjQszSszTDgs0fUnyaQc4lKK0KwixuddCcQW/fRCFAEzKZ/byeV+TdH0QAPIONmTG x69WtvzJzY3Q5oqxsMWJV5nEoCriBzZ0iejCJcekLmTQpop6eTR02W3PMkug23e2vwZhkI9C tBKKXXgg6d+8wbJAIucmkOVjaunfK801ynI7CGF0HHIsU1FFhV/Au3eRX5KQEzQoJzi41/aC b+jDbNyKgxa1cuLMbdHcPXshFRCS+i7ft/ZZnr3nXqrQxuE2/WXY+IGYk072yPQQAgBmgEXp zOdMBQmQz2mqCTYBSBvElTmZwXt9/N/oTW1VB18yQbCdEBn27evn3xdzfWBV/Me2K4FsyY9u n11Gli6xdffF9uHoUJoYqxdZdo35FoP23jeskRxOZmpLqYqgVB7EUw/tkXizRh6A45oms8vt DUs0RE0JK6FlkhONnuZ0Z32JrzLOzzq5hn8Dsyeklra0duQ5uIO8KFh8Aql5VrzUBp+tS8/g Lw3mzOG657HDRQfS8f0W0czrV1hoq3CJzM67MXS3GFtNq+9tnnD3cgoDa0r0EXFHZ8XPaWaG Qv1C8BfCdKpLblgkl6ldB8JNet6/6kxJ4WgauDA1aK2ev1v1mHD7ywP8MVm30SA+jApAOfO0 4wIzviT9gCAUi+6ikq69M37hMZfantBewj3gTihD4lXaKpoeI8NAmr7OMy7yOJ1gJv1UmJZ/ lqub78f8PegYgHaL1n03AkKkF8SvWTigyyziTp9jzAuqKObmi3I2eXrMhQdaCZHQ2xrjFGkJ obR7ZhSVU6kdQUknRCN7kH/3+5dub85ImXOB1xHNyT7NGBtVKKsu6HKOpUQrspz62MHDKLmO RiTUduf61MC3jnmHndCyTxzbDystpjj3lR7hG+bMHdvvS/ccMB0yw3Y4Y+UTvpQ0zwaAShg3 GCMWR7lZIPvrYnSzc+Q14L2H3isXZBSbyTxmIaJtS/hoHZvHQX6hfe43NvuDQk91yb/kdhsT yTB6hjmMeyJn+y3N/xqek5wCRry8c1/T8t3lIcqiZwZ0lARgZCNu3waiiH+Pcgdwq20Px9vD XYbhsXY5gTowhgpJ3SF3Y/0X361ycxkf5+8f3hQ1y4gqdtFQvTxjvQMjW5+pVy2qhjUaP52k 2IGyPcg33UdhvkApAsnyijOSqBXB0RTOjbg0giZ993r5rsCf36hKPLjsSg21cDkFryJpRtQH Wr0aot3VzEl9d1xaRrJwDX6ooD8JIuJNo1V70bO1UecybENcdVqzJ9ozWJmIT6v5CZ6jbdg1 1o+gdfj5NLAcD8l/brlUEcDaXusPJlVq2mr0f8ZxZzzvcjnH409SGxQA92xFqjuQG5U76ygb FzGESVg+C7ARvyGRlXZuBsg9SuISMrOVTnfLStJkZA7HEDbL0tamEYSQS58k5IkUBuljMWzI Bs8v2hLoFX/rwMKzP9zcRTzTyHEq2LKIn89GoCYNwYPqApF4l+TN9GFqO9/AmdD8dWo/lzRb zbDIQ9PCHlPXFGfQV3vI/+16ryiu6CRVLriaqGXJ76JrPQYUeqTg5+jz8198H6aP8GLdBGOF tUd3UxOFTB8EsXdwXAUTjAP0jjKZIidrQu9/St+qoa+9u7qUUTh/9nHDbwaKthp9x2s5MXLf +eNmCZ0LypZ3ZIQ1DfJzrYYxlsblyBpcXGkD70BsSfHSK+YlLVQClYXbCZ6Nc0A6KxZvEEFI cnAltb8zaJ1lNYwAlZBWkO53MquYNRMJXymcl7LGQCQO/XOJDHGxd32fbLpSbBUi7Yx1VX4s jKaHkn/ezWbwmCyCFb2arsK3H3dZkQN3eP1OgxgAmXiUt/8PxiyMdstyCYz3aVxnHTBc2gVL Tl7dUpJ6LyW9yJRxPtlSAkjpjJoK/eJnyGB4qzWMJET5LFiBChumu9T61wxzL5NqidZX7p4l DaUtdEk8DTE2qGfjyFqVhZDsGMBnIWQoUBrIrnU7LFFUHfA8w1Vq26XDgxMocZ+TNDjpuZLx ZKc8cC7YCcH+NXS88wGAsHSI8/SK3stPy3iHzvMBRcERzqmXYk6r0dalenU8GCO6JU2t973l 8hWIle0fFcyE+tcDFl+WtEOPdFsUWF9+VZ6pMsB5H6xs0GXT8JfptbBS+nUDPnybi2W3+EsW g==
  • Ironport-sdr: Iv0pnmfEE84RCEDJr+vA/wN8zTUII6b+cel75jY3IPceMDFQGJHmLciIJ0oMZoryQ86E5FMgCO catO5jp7bypNTxF7rg382+ne4gXlIec2Fy3gPoXMyqxjbMcw1vyHQ4EEbRmslpqZnYtkao8BeK SKIOJO1UMcNktQ8pzrAU66HLqRdwagrWupJshv0Lj/QhaIupqidZK0SG2MzLXBwdyGkBkAA466 9Nviajv6iHM4bcjjsmYIHDqtfincXC0+Xh6yGyCYtkyZTx5nVc5ede2lIbAjCOTdg5CyXiktrQ AEwDFzOa9Aoels0+d8VQ9RJ7
  • Organization: National University of Singapore

*** Onward! Papers 2022 Call for Papers ***

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radical, more visionary and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching and reporting on programming language and software engineering research.

Onward! Papers is looking for grand visions and new paradigms that could make a big difference in how we will one day build software. But it is not looking for research-as-usual papers—conferences like OOPSLA are the place for that. Those conferences require rigorous validation such as theorems or empirical experiments, which are necessary for scientific progress, but which typically preclude discussion of early-stage ideas. Onward! papers must also supply some degree of validation because mere speculation is not a good basis for progress. However, Onward! accepts less rigorous methods of validation such as compelling arguments, exploratory implementations, and substantial examples. The use of worked-out examples to support new ideas is strongly encouraged.

https://2022.splashcon.org/track/splash-2022-Onward-papers

The submission deadline is July 10th, 2022 AOE.


  • [Coq-Club] Onward! Papers 2022 - CfP, Andreea Costea, 06/21/2022

Archive powered by MHonArc 2.6.19+.

Top of Page