coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Final Call for Papers: Student Session @ ESSLLI 2022

From: Sasha Mayn <amayn AT lst.uni-saarland.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] Final Call for Papers: Student Session @ ESSLLI 2022
Date: Thu, 31 Mar 2022 10:49:02 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=amayn AT lst.uni-saarland.de; spf=Pass smtp.mailfrom=amayn AT lst.uni-saarland.de; spf=None smtp.helo=postmaster AT thyone.hiz-saarland.de
Ironport-data: A9a23:s+RfV6lpsvXcUMJoi57CpZDo5gwDIERdPkR7XQ2eYbSJt1+Wr1Gzt xJJCGqPP6yKZWT9KtslOYS/8E0HvZKDmNdqQQM/pXo9H1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTres1hlZHWeIcg944f5Ys7N/09YAbeSRWVvX4 4up+JSHYTdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /12mZbudQ00MZf+o7w9EBlpHxtuO69/reqvzXiX6aR/zmXac2rrxfgoDEAkeJYR8/xzCGdCs /AVQNwPRknY26TnnvTkDLM33KzPL+GzVG8bknhlxCDfJfI9XdbeRaSP/tZRxjM5gMwIEfu2i 88xMGI2ME6dO0En1lE/E7A6vNa0giHFKyRmjVyF5vQ503f85VkkuFTqGICMIYXRFZQ9clyjj mnB5iHyBgwQHMeOzCKMtHOqnO7G2y3hML/+D5Wk9u9thlDVxm0BTQYfXEG/qP+1zEKzMz5CF 6AK0hECp/YO/lGkdOvGBz37oE+IhA4aWeMFRoXW9zqx4qbT5g+YAE0NQThAdMEquacKqdoCi wbhczTBWGQHjVGFdZ6O3uvF92/iYED5OUdcNH5bHGPp9vG+yLzfmC4jWf5PPcZZZPXOEDjqy SoheCM9irN7YSUjifvipAmvb96EnZHAVAo84Am/Y45Ixh95dYmjasqo6Eqe9v9JNoKQSFXHs HVsdymiAAImU8DleM+lGbtl8FSVCxCtbGC0bblHQ8RJythV0yT/Fb28GRknTKuTDu4KeCXyf GjYsh5L6ZlYMROCNPErM9zvVpxylfOwRbwJs8w4iPIROfCdkyfYpElTibK4hT6x+KTRufFnY c3AKZrE4YgyUv46l2TeqxghPU8DnHllnDiDFPgXPjyr3KeCf3WVRKxNPlyUdes58aWLuwPY7 8Q3Cid540o3bQEKWQGOqdR7BQlTdRATXMmmw+QKKLLrClc4SQkJVq+AqZt8KtcNt/kEyY/go CrnMmcGkwWXuJEyAVjQApyVQOmxDc8XQLNSFXFEAGtELFB4P971tf1PJsZvFVTlncQ6pcNJo zA+U53oKpxypv7volzxtLHx895vcgqFnwWLM3b3aTQzZccxFQjS5pn5eAqq7yAHFC6+s8d4r 7D5jlHXRp8KRgJDCsfKaavzng3r4iVHwLp/DxnSP91eWETw64w0eSb/uf8AJZ1eIxv0wDbHh R2dBg0VpLWWroJsqIvJiKmIop2HCex7GkYGTWDX4azvZHve5Xbl3IlBFf2BdCrZXWX4vqmvP L0Hw/b5OfwBvVBLr4slT+c1l/1jvYO3quYDnAp+HXjNY1C6MZ9aIyGLjZtVq6lA5r5Fog/oC EiBzdltP+nbMs3SFlNMdhEuaf6O1K1PlzTfsaY1LUH96HMl9baLSx8IbQWMmStbIf11MZFg2 u4oosof7QD5hhdzaoSKiSVd9mKtKH0cUvx7589AX9Kx0lImmgNYfJjRKi7q+5XeOdxDP34jL iKQmKef1a9XwVDPciZrGHWRj/BRg48C5EJDwFMYfQ7bhtrUgfk6mh1Q43EsRw1PyhxB36R/N zEzZUFyIKyP+RZuhdRCBjz9RVseWUfBokGhmUEUkGD5TlWzUj2fJWIwDu+B4UQF/j8OZTNc5 ryZlD7oXDuCkBsdBcfutZOJasAPTOCdMiXemNGgGcnDH5goJCHsi7WqbGwE7RfqaS/0aIsru sEylNucq4WiXcLTn0H/I42ByfINThHBP2VLW/Vo+q9PEWy0lPSax22VM07oEi9SD6WizKJ7Y vCC4upLTAj4ySCP6ysSDLQIKrl42vIkjDbHlnUHOkZe24aiQvFVXF48O8QwaKLHgzmjrCrlF r7sSg==
Ironport-hdrordr: A9a23:OSBMV6z1Hn7UIOt3QyVFKrPwPb1zdoMgy1knxilNoG9uA66lfq GV88jzuiWUtN98YgBFpTniAsm9qBHnm6KdiLN5VdzJMWXbUQCTXeZfBOXZsljd8mHFh41g6Z s=
Ironport-phdr: A9a23:banDDBN0amAnlsQ2+b4l6naZBhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv68r1QGVFt2Fo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6s95HJfglFhTWwbbxuI Bi3sA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5 KlpVRDokj8KOCI6/m/ZhcN/grxVrhK8qRFk2YHYfJuYOeBicq7Tf94XQ3dKUMZLVyxGB4Oxd 5YBAPAaPeZYtYb2ulwAogG+BAmqGejizSVHhnrs0qw61eQsCgXG3Bc8H94UrXTUqtT1OL4JU e+v1qbI1zHDYOlQ2Tjg8oTHbw4urOiKULltfsXf1VMhGBnZjlWMt4PlJTWV2/wOvmab8+duW /+jhWAlpg1svzWhyccih4nHiI8U113J9zl0zYc2KNC5TEN1b9CpHZhfuSyYK4Z6XMcvTmJmt SokzLANpJC1fC8PyJs9xh7fbeSKfJWP4hLiTuqRJi14hH19dL2hnBay6kygyun9VsWuzllKs yxImcTPuHAVzxHf98aKR/Rn8kql2DuDzQLe5vtaLU06i6bXM5osz74qmpcXrEjPBDH6lFj0g aOMaEkp9Oql5uL6abv8vJCcLZV7igTmP6QuhMO/BeM4PxASX2ib+eW807vj8lPjTLVKj/03k 7DVsIvAKssBvK65BxVa0oA+5BqlEjipzswUnXgBLF1bZBKKl5XlNl/BLfziCfqygk6gnTVxy /zYMLDtHI3BLn3Zn7fgebZ95VRcyA02zd1H/Z1UD6sOIfL1WkLqsNzYFQM5Pxapw+bhCdVxz 5geVniVDa+DNKPdq1mI6f81L+aReoAZoDD9JOM96P70kXA5gUMdfbWu3ZYPdXy0Bu5mLFmBY XrwntcBFn8HsRY5TOzzkVGNTTpTZ2upUK8n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMC ySgS4LRUPAVLSmWP8VJkzoeVLHnRZVy+wupsVrBwqFnJ6Lx8zwe/cbq0dFk4cXXjg106Dp1S t+U2nuJRmd42G8FEWxllJtjqFBwnw/QmZNzhOZVQIQ7D5JhVw47McWZ1OlmE5XpXRqHeN6VS VGgS9HgADcrT9t3zcVdK11lFYCEiRbOlzGvH6dTj6aCUZUx+7Pa93zqO4BgzXeDz6AolV0vR McJOWD1zrVn+V3rDpXS216ci77scK0d2CDX82LWxG+HrUdwVBVsF7jDXDUEb0LMqd3/6gXOQ uzmEqwpZy1Gz8PKMa5WcpvpgFFBEe/kI8jbanmtln2YGRaZwbWBKorraSAG1SzHDEECn0Yf8 B5qLCAYASGs6yLbBT1qThf0Zl/0tPJ5sDW9R1M1yAeDawtg0aC081gbn67UTfRbxb8CtCo7z lc8VF+gw9LbDcaBrAt9be1dZ906+lJOyWPesUR0IJWhK6loglNWfR5wugvi0BB+C4MIlsZPz jtixQ97OKSw1EhdMS6e3NXrM7TNLmD08FajZu+e213T1sqX5rZa8O4x+DCB9EmiEksv9Wki0 sEAiiDAoMSUSlVUC8mrASNVv1BgqrrXYzcw/dbR3HxoauyvtyPanskuHK0jwwqheNFWNOWFE hXzGosUHZvLSqRill63YxYDJO0X+rQzOpbsfv6PyaiDOP182i+gjCFc6Yln1kuK+2xwR6Sbu vRNi+HdxQaBWzrm2R2ot8nmn6hAfi1UA2y+jDPtDZRVb6t+O4oGQzTLQYX/1pB1gJjjXGRd/ VioCgYd2cOnThGVakT0wQxa0Ul/TWWPoSKj1HQ0ljgoqvHaxynS26H5cwJBPGdXRW5khFOqI I6ujtlcUlL6JwQukRKk4w79yc057Ox2KmDCR29MZDSwMmdjF7C5v6CGashDrp8l+SlaS+WzZ 1mGR6W1+kBGlXK9WTQYnmthPzix3/ex1wR3kmecMGp+oDLCdMd8yA2erN3QSPhN3yYXESxxi D3ZHF+5bJGi+dSZkYuGs/jrDjn9EMwNN3atl9ja507ZrSVwDBaynu6+gIjiGAk+imrg0sVyE D7PtFD6a5Xq0KKzNaRmeFNpDRny8ZkfeMk2n40uiZUXwXVfiI+S+C9NmGL6INNz3bniKmcLR HsQytfP5AHj1AtvIzjaouCxHmXY2cZna9SgNykf3yss6ehOE7vS8bpF2DB8q0C8pATdJ/Rw1 GR4q7Nm+DsRhOcHvxAoxyOWD+UJHEVWCifrkgyB89G0qKgELHbqa7W701By2MywFLzX6B8JQ 273I91xeE04ptU6Kl/H12f/r53paMWFJ8xGrQWayl/Fn6BUMM5jz6FWw3s5fz275Tp/l6Z+h Bhql/lWpaChLGNgtOK8Cx9cbXjuYt8LvyrqleBYl9qX2IamGtNgHC8KVd3mV6DgFjVarvnhO wuUdV904n6GBbrSGxOe40Z6vjrOFZ6sLXSeOHgey51rWhCcIEVVhA1cUi89m9Y1EQWjxcqpd 0kchHhZ/lnjth5F0f5lLTHjUnbYogruajYmDYOWJQBS5wdOoUvYcISf4u91AyBE78ihoQiKe Qn5L0xDCWAEXFDBBki2Z+Lyo4ietbfeXLHkfJ6sKf2UpOdTVumF38eq24pipHOXM9mXe2JlF 7s901ZCWnZwH4LYnS8OQmoZjXGoDYbTqRGi9ylwts36/u7sXVel7I6GGr16Nc5zvQ2wgOKYP ueKgC9/JXBU29lfoB2AgKhax1MUhyx0InO1Fq8csCfWUK/KsrNXHhkdZmVzNdkN9Ks1xA1EP 8Kdht6/hdsaxrYlTlxCU1LmgMSgY8cHdnq8OF3wD0GOLL2aJDfPzqkfjou4UqEWkeNV8ga5s CyfGknveDiOxWCBv/GHLeFdiyeWehxfqsSmex93DWHlQJTqZ0/jWDeSpTkt3fspgHKPLmcVK zx1dU8LorDCtUtl
Ironport-sdr: J9HxGxHWaGUWzEcAjwfFzAN5rM1m3SNbR3v71MsZxxAI77sW7XN4lmAdy2zLUHezjCxZFXshg1 fh1zEzRBMfk+DosBZ76eYYa1+gBmFQcKQoLz2V9uLdHfowvQ+S+MmN/Pk4r/cYaBdgV69c9GPK DX+HOvz+O5YWQeOkY0ZbNQ/YM/MDBKYAUmq78Utt2U74OSS31AVqJG6DzEwc/7rDVPv9K0osJE SWQlfOxTdQJRtnJgG+ayLkmmZboh4R2BJW0vQ9PpizI4NqEkwKt0SWXEgA++jwZA25L0bujTcb y3Q+msLypSmVga1iZIiHo9MT

We invite students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation to submit papers to the ESSLLI 2022 Student Session, taking place in Galway, Ireland from August 8-19.

The Student Session provides a venue for students to present and receive feedback on their work. It is organised into three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo). Important Dates
Please take note of the following important dates:

Submission deadline: April 4, 2022 April 11, 2022

Notification of acceptance: June 9, 2022

Submission of camera-ready extended papers: July 4, 2022

Conference dates: August 8-19, 2022
Call for Papers

About: We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. We also welcome smaller research projects and work in progress. Selected papers have regularly been appearing in the Student Session proceedings published by Springer (e.g. https://doi.org/10.1007/978-3-662-59620-3).

Oral/Poster Presentations: Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted to be presented either as oral presentations or as poster presentations. Reviewing and ranking will be done separately.

Sponsorship and Prizes: Springer generously supports the ESSLLI Student Session by offering prizes for a total of 1000€ in Springer books. The best poster and the best talk will each be awarded Springer book vouchers of 500€ each. The prizes are awarded based on the reviews of the submission as well as the oral/poster presentation.
Submission Policies
Please refer to the Student Session webpage for the submission policies: https://2022.esslli.eu/courses-wokshops-accepted/student-session.html
Registration
Attendance of the ESSLLI 2022 Student Session including presenting a poster or a talk requires registering for ESSLLI.
If you have any questions, feel free to contact us at amayn AT lst.uni-saarland.de.

[Coq-Club] Final Call for Papers: Student Session @ ESSLLI 2022, Sasha Mayn, 03/31/2022