coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ningning Xie <xnningxie AT gmail.com>
- To: caml-list AT inria.fr, coq-club AT inria.fr, agda AT lists.chalmers.se, cl-isabelle-users AT lists.cam.ac.uk, concurrency AT listserver.tue.nl, haskell-cafe AT haskell.org, types-announce AT lists.seas.upenn.edu
- Subject: [Coq-Club] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024)
- Date: Thu, 17 Oct 2024 17:35:06 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xnningxie AT gmail.com; spf=Pass smtp.mailfrom=xnningxie AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f173.google.com
- Ironport-data: A9a23:drMp5Kx8Uc3q06NxjdR6t+fpxyrEfRIJ4+MujC+fZmUNrF6WrkVUz zQfWTyPa62Cajeheth3b4q18klTsJXdyt9jSABk/lhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmcc3l48sfrZ9Eo35auq5Fv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFP34s9IMW9rA7c/67hGXTlE+ /0kEwokO0Xra+KemNpXS8Fpj8Unac3pZcYR4y47iz7eCvkiTNbIRKCiCd1whm9hwJATW6yGN 4xANmEHgBfoO3WjPn8HDpQ/mui4h3TXfDhRqVbTrq0yi4TW5FUhgeSyYYKKILRmQ+1+l0mqn 1PHwV2pDxYKbNu+4xerzmuz07qncSTTHdh6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQ88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy66R5wTAQ2ZdEWUHZ9shu8s7Azct0 zdlgu/UONCmi5XNIVr1y1tehWra1YU9dAfuuQdsoco5D9jfTEUbixvOSpNnEvfwgISqQnf/x DeFqCV4jLIW5SLOO2NX4nif6w9AZLCQJuL22ukTdm2g5wJ9IoWiYuRELHDFuO1YIt/xokap5 RA5dgv30AzKJZ6InS2JBu4KGdlFIhpD3CL02TZSInXqy9hhF7NPs2ydDPGS6XqF6vo5RAI=
- Ironport-hdrordr: A9a23:OMAa+KtRwytc/psn+5NC9LAN7skDXtV00zEX/kB9WHVpm62j5q aTdZEgvyMc5wxhOk3I9erwW5VoIkm9yXcW2/h1AV7KZmCP01dAR7sSibcKrQeQfBHWx6pz07 x/e7NyBNC1IV9xltbi/QW0euxN/DBFys+VbCXlokuFgTsFV0io1WZENjo=
- Ironport-phdr: A9a23:Z2ICjhAr/EOOFq0sJcbfUyQUf0oY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua41ygWUBM6Cta4MotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiaxbalsI Bi2sAndudQajIptJ60s1hbHv3xEdvhZym9vOV+dhRHw6Nuu8pV+6SpQofUh98BBUaX+Yas1S KFTASolPW4o+sDlrAHPQgST6HQSVGUWiQdIDBPe7B7mRJfxszD1ufR71SKHIMD5V7E0WTCl7 6d2VB/ljToMOjAl/G3LjMF7kaRWqw+jqRNi2Y7ZeI6aOvpwcK3eYN0UW3ZOU91LWCBdGI6xd ZcDA/YDMOtesoLzp0EOrRy7BQS0HO3vyzlIhnDw3a071eQhHhzN0w0hH90QrX/Zq9r0NKEUU eC0yqnIwjrCb/JI1jrm54jIdwouofCIXb5qbcXRzkwvGhrDg16NpoPrIymb2f4Rs2iH8eVgT +SvhnY7pwxwvjWiwskhh5XNi4wV11zI6yp3zJgrKNGkRkB2btCqHIZMui+VOIZ7TMEvTmFot iomxbMLpJy2cSgKxZk5wRPUdvKJc4+N4h35VeaRJy91hGlkeLKwnxay9VKvyuvmWsmzylZKo SxImcTPuHAVzxHf9NSLR/9n8kqi2TuDzR7f5v1HLEwuiKbWKZAsz7gtnZcNtUTDAzT2mFnog 6+Ma0sk++mp5Pr/b7n6oJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em80afs/Uz9QLlTiv02k LTVvInUJcgGpKO0DRVZ0okk6xa4ADem1MoXkWMbI1JCfRKLl4npO1fQL/DkFfqznUignTNxy /3FPrDtGIvBImTAnbv7YLpw6UBRxBI2zd9F5pJUDr8BIOj0Wk/0rNHZARk5Mwq1w+bhB9V82 YIeVnyUD6+WNaPdq16I5uY1L+aQY48VvS7xK/4+6PH2l382hUcdfbW13ZsQcH20AOxqI1+Fb nr0ntcBDWAKsxIiQ+PwjV2CVSdfZ3KzX6In+jE2E5mmDIfGRoC1mrONxia7HptMZmBHEF+AC 3nod5+cV/cWdC2SOtNhkiADVbW5V4Ah0giuuBbmxLpjM+rb4TYVtYnj1dhw/+3cjws+9T1yD 8SH0mGCVXt4nm0SR2x+4KcqqkV4zhKH0LNkq/1eD91aof1TFk8xMoeZxOhnAfjzXBjAd5GHU hLuS9qqCBk1T8kt2JkFY095Hti4lVbY0m7iCLtQlqeCDpEw9q+ZwmP8Pd1Vz3fdyLJnhFAjB MJEc3ClwuZ08A7YGpTTnkOSho6udL8AxyPX6mqZi3aTsQdeVEo4UazeXn0bYg7dpNr0zkPLV LyjDbBhNRFOjYaeO7NHcZjgi1NBWfHoNfzaYnmtgCGrCB+TgK6UYYzsPWgRwXbzEk8BxiYS+ 3mANA4xThegriqKHDpoFFTgc0Lh2eZ7oXK/CEQzylfZPAVay7Op90tN1rSnQPQJ0+dc0M9Ag zB9HVLnmsnTF8LFvQ1qOqNVfdI65l5Dk2PfrQ10eJK6fOh5nlBLVQNxsgv10glvTJ1amJ06q nUrygViKK+w31ZIdjfe1pf1afXMMmenxBm0cObN303GltOf+6MB8vM9/kXlugCvGVoj/l1o1 tBU1z2X4ZCZRBEKX8fXVUA6vwN/u6mcYiQ54NbM0mZwNKCvrjLY89cgBe9gzhT5OtkGb/jCG wj1HMkXQcOpLYTGgnCPaRQJdKBX/a8wZYa9cueenbSsN6BmlS6nimJO5MZ81FiN/mxyULyA2 ZFN2Pye0gadMlW0xF68rsD6n5xFbjAODyK+zybjHotYeqx1e84CF26vJ8S9wtg2iYTqXjZU8 1uqBlVO38HMG1Laf1r73AtfxUUaiXOikCq8iTdzlnBhr6aS2jDP3/W3bAAOaSZAQGhvi0upI JDh1YhLGhj1KVJxxF38uh2posoT7L5yJGTSX0pSKi3/LmU4F7C1qqLHeclErpUhrSRQVu24J 1GcUL/05RUAgEaBVyNTwi42czayt9D3hRt/3SiNKnByqnXJeMxYyhLW5diaTvlUlGljJmEwm XzMC16wMsP8t8WSkZbFvfC/WkquU5RSdW/gyobK52OroGZtBxO4hfW6nNbqRBM73SHM3N5vT SzUrRz4b+EHzoyCOPl8NgltDV74sY9hH51m15E3j9cW0GQbgZOc+TwGl33yOJNVw/C2YH0IT D8Ni9nbhWqtkF1lKHOPyJL4W12Sx8JgY5+xZWZe1i8m7s9MAbuZ9/QexXoz8gf+91qBJ6Eix X8U0rM25WQfgv0VtQZIrG3VGb0UEURCfGTtmxmO89GivfBSbWerf6K30Rk2ltSgAbee5wBED SyhK9FyQGkqtpU5aQ2XgxiRosn+ddLdbMwerEiRmhbE1a1OLY4p0+ANjmxhMH78unssz6g6i wZv1Ne0ptviSS0l8aSnDxpfLjCwadkU/2SnnaBYn8CZz4GiNppkEzQPGpDvSLj7dVBa/eSiL AuIHDAm/z2LH7zeGwCP6UpOoHfGEpTtPHaSbip8r50qVFyWI0pRhxoRVTMxk8siFwyk88fmd V9w+jEb4lOr4gsJ0O9jMAPzF3vOvAr9IClhU4CRdVAFi2MKr1eQK8GV6fh/Wj1V7oH05hLYM XSVPkxJFT1bARHCXgG7eOPyup+YtLLETuumc6mQPfPU8rcYDqnQg8roi9oDnX7EN93TbCc8S aRjgAwbGyg+QZyRmi1TGXJJ0XiRPojL/FHkvXcv5sGnrKa0AkS2uc3WWuEUaZI2q3XUye+CL 7LC23o/cGwFkMtKnTiRlvAexAJA0nk+MWDyTvJQ83aKFvuYm7cLXUdEMGUqZZcOt+RkmVATX KyTwtLtiuwi1q9zWwoDDAax3JnuPJNCInnhZgmeWgDWZPLfdGeNm4auMOu9UeEC1rwK8Ufr6 HDASQm7eW3S8luhHwamNeUG5M2CFDpZvoz1MhNkCGy5CcnjdgX+Kth8yzs/3bwzgHrOc28aK zl1NU1X/PWW6mtDj/NzFnYkjDItJPSYmyuf8+jTK4oH+fptDCNukutG4XM8g7JL5SBATfZxl WPctNlr612hl+COzHJgXn8s4n5Tg5mXuEx5JajD3pxJWHKB+BBUqGvJVE9MqNxiBdni/atXz 5mHla7+LitD78OB/cYYAJuxSorPO34gPBz1XT/MWVFdHHj7aCeF3xwbya7JpRj35tAgp5Phm YQDUOpeXV0xTLYBD1h9WcYFK9FxVy8llriSiIgJ42C/pV/fXpY/3NiPW/SMDPHoMDvcg6NDY k5C0bX+LIIcJoz280NnY1h+2o/NHgCDOLIF6j0kdQIyrEhXpTJmSXYv3kv+dg63yHoaFPrxm hxvzwUnPr9r+zDr7FM6YFHNoWFj9St50cWgijeXfjnrKa62VowDECv4uX86NZbjShp0Zwm/9 aSFHDLNRrYUi7k5MG4y11SatpxIFvpRC6ZDZU1IrRl4T/ot2FVY7C6gwB0ejQMgIZRnnQouN 5WrqiAYsz8=
- Ironport-sdr: 67118322_MDy7aNweSNmOAdYzcqGpN9Hduf1s0b1MrEbnb9EBh8jqv/O WQO4mPlyg6/FTrazbJinrkszpsBHuOYAfOy/TUQ==
POPL 2025 CALL FOR TUTORIALS
https://popl25.sigplan.org/track/POPL-2025-tutorials#Call-For-Tutorials
The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, United States.
POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation, and verification of programming languages, programming systems, and programming abstractions.
Tutorials for POPL 2025 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.
Tutorials will be held on Jan 19–21, 2025. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).
Submission details
Deadline for submission: October 25th, 2024
Notification of acceptance: November 1st, 2024
A tutorial proposal should provide the following information:
Further information
Any query regarding POPL 2025 tutorial proposals should be addressed to the co-located events chairs Christoph Matheja (chmat AT dtu.dk) and Robert Rand (rand AT uchicago.edu), or to the general chair Steve Zdancewic (stevez AT seas.upenn.edu).
The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, United States.
POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation, and verification of programming languages, programming systems, and programming abstractions.
Tutorials for POPL 2025 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.
Tutorials will be held on Jan 19–21, 2025. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).
Submission details
Deadline for submission: October 25th, 2024
Notification of acceptance: November 1st, 2024
A tutorial proposal should provide the following information:
- Tutorial title
- Presenter(s), affiliation(s), and contact information
- 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available.
- 1-2 paragraph abstract suitable for tutorial publicity.
- 1-paragraph biography suitable for tutorial publicity.
Further information
Any query regarding POPL 2025 tutorial proposals should be addressed to the co-located events chairs Christoph Matheja (chmat AT dtu.dk) and Robert Rand (rand AT uchicago.edu), or to the general chair Steve Zdancewic (stevez AT seas.upenn.edu).
- [Coq-Club] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024), Ningning Xie, 10/17/2024
Archive powered by MHonArc 2.6.19+.