Skip to Content.
Sympa Menu

coq-club - [Coq-Club] ITP 2024: Call for Workshop and Tutorial Proposals

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ITP 2024: Call for Workshop and Tutorial Proposals


Chronological Thread 
  • From: Besik Dundua <bdundua AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] ITP 2024: Call for Workshop and Tutorial Proposals
  • Date: Sat, 24 Feb 2024 08:02:28 +0400
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bdundua AT gmail.com; spf=Pass smtp.mailfrom=bdundua AT gmail.com; spf=None smtp.helo=postmaster AT mail-pj1-f41.google.com
  • Ironport-data: A9a23:PclMKq6b2O8Wr9QIcDmd9QxRtKXDchMFZxGqfqrLsTDasY5as4F+v mQWDzqEbKnfN2GkfdknOt/kpEIBvMPXxoBkQABk+yszZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsbAr414rZ8Ekz5K6o5GtD1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj69MyK1o8es4Wxu9mC3Fq8 c40cy4WYw/W0opawJrjIgVtrsEqLc2uJIFG/388lHfWCvEpRZ2FSKLPjTNa9G1o14YeQLCEP pRfNWMHgBfoO3WjPn8dBI84kPqhrnb6ejxc7lmSoMLb5kCDlFEpiOizbbI5fPSjR9d6zxaSh VjY1ErzBD4lF8O55ha8pyfEaujnxn6iAN1DStVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuVtukGhPk+TiLuRkTX9cWGOo/gO2Q9kbKyyDFIXMOCX1PVNU3vt8SQQ4Gj UGSksy8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0ts4mLTGYb3kKnczpzLJNZmOEZDt0Z/ txnhC03hrFWlcxSkqvnpBbIhDWjopWPRQkwjuk2Yo5HxlIjDGJGT9X3gbQ+0RqmBNjDJrVml CZd8/VyFMhUUfmweNWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf8JdAPuWomex05bZ9sldrVj Kn76VM5CHh7bCvCUEOLS9vvYyjX5fG8S46/B6+KBjawSsMtK1LalM2RWaJg9zuwyRBzwP9X1 WazfsGrAnIXQaVhx3zeegvu+e5D+8zK/kuKHcqT503/j9K2PSfJIZ9bagfmRr5it8us/l6Km +uzwuPRl32zpsWlP3GLmWPSRHhWRUUG6Wfe8Z0OKb/felM6QwnMyZb5mNscRmCspIwN/s+gw 513chYwJIPX3CWdd1e5eTp4ZanxXJ1yi3s+MGZ+dRyrwnUvK8LnpqsWa5J9L/Ft+f1B3MxEa aAPW/yBJfBTFRXB2TAWNqfmoKJYKR+EuAOpPgieWgYZQaJOfQLzx4LbTlPdzxVWViuTnukik oKkzTLeEMYiRRw9LcP4a8CP7lKWvFobkt1cR0Hjf9tZIh3t1KNIKCXBqOA9DO9RCBfExxqcj x23BzVBr8bzgoYFyvv7roHakJWISsxVAVh/M1TAy4qPJQ323zaG0JBRduSlZhXfXz7Ew7qjb uBr0P3MCv0Ls1JUuY5aEbww76YBy/bwhr1d3CJ2NW7qagm1N7ZePXW258lDmalTzLt/uwHte Eau+MFfCIqZKvHeD18dCwo0XNutjchOtGHp0s00B0Hm6Atc3rmNCxxSNibRrh1tFuJ+NYd9z NoxvMIT1ReEtSMrFdS7lQFRyXWHKy0Rcqcgt6xCOrTRtCgQ9ghgb6DfWwjM27PeT/VXM0IvH C2Yu7qauZRY2Xj5UiQSEVrj4LNjoKog6TFw8U86BlWWm9D6qOc98z9P/B8WEAlE7BV1/NhiG 2psNkdKC72E1G53jcpuQ1KuIhFlARGH8Bb90GkyyW/TFRGpckfvL2QNH/mH025E0mBbfxldp Kq5zkS8WxnUXcjB5AkAcm87lO7GUvpw6RzkpMCrO++nDqsKS2PprYH2bFVZtia9J906gXP2g NVD/cFyWPXdDjERqahqMLuq/+0cZz7cLVMTXMw72r0CGFzdXzSA2TKuDUSVUeEVLtzo9X6IM eBfFvhtZT+fihnX9is6AJQSKYBahPQqvdoOWo36LF487oewkGBbj4LyxAPf2kkQXNRcoeQsI NjwdhWDMFCqq1l6pmvvlPRAa02EOYQqRQukx+2k0vQ7J7RausFWTEwC+L+VvXKUDQhZwyypr D7zP6/78ugz5rlvzq3NE7pCDTqaMdncdvqF2yHtvsVsbeHgC9bvtQQUmAO+Pw1pIqYgAYVrt LWSsezY2FHOk6Y2Xlv4xbiANfhtzuejUNVHNvnYKCFhohKDf8v38j0/9HudO7UQtP9gvuycW BqfRO6rUNwkS/Nx5SZyVXBFMhA/D6/XUP/RlRmlpa7RNilHgB31Ety30FTIM0RJfTAsEL/jA FbWv/2O2IhpnL5UDkVZO8A8Uo5KG369a64IbNariCK5CFOviVa8urfPsxosxDXIK3ucGvbB/ pP3aUniRSu2pZ334olVg65qsj0TKURNs+06U0Ye2txx0hSRLmoNK8YDOpQnVLBQtAHP16/DW TKcV1t6VB3BXglFfyulsZ6nFk2aC/cVM9j0Gi0x8gnGI22qDYeHG/16+j0m/35yfSD5wfq6L c0FvEf9JQW13oojUNN7CiZXWgu77qiyKrM0FUHBfwjaBh8fBfAS1iUkElYUEyPAFM7JmQPAI m1dqaWohq2kYRaZLCqiUyc99NIlUPfHwDAhbCPJy9Ha02le5PMV0+XxYokfzZVaBPnn59cyq bffSG6E4mTQ0XsW0UfsVxTFnocsYc+28gOGwGMPiOHcc2xcKojqAi/aoRcycQ==
  • Ironport-hdrordr: A9a23:jPMQbK3K7kJvkEeH+0LGdAqjBL8kLtp133Aq2lEZdPU1SL3+qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH
  • Ironport-phdr: A9a23:nDKOBhDwia66M7doM7BFUyQUdUkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua88ygSWFtuAo7Ic0qyK6fCmATRBqb+681k8M7V0FCU5wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oRvVu8UMj4ZvKKk9xxrHr3BVf+ha2X5kKUickhri5cq85oJv/zhVt/k868NOTKL2crg3Q rBfEDkoKWc56tH1uxLeVwWP/HwcUmsXkhpMHQfI6QzxU4nyvCXnqOdzwTGWMsLqQ786XzSi9 LprRwTziCgbLT458XrYhdJ2galGvR+uvR1/w4rTYIGIKPpze77WcN0GSWZdWMtaSipMCZ6+Y YQSFeoMJelXoYnzqVUNsBWwGxWjCfj1xTNUnHL7x7E23/gjHAzAwQcuH8gOsHPRrNjtKaodT /u1zKjLzT7eYf1WxDH955XVch87vPqBWql/ftfMyUkpCgzFk0+fpJfqPzOQzOsNsmyb4/B8W uKojm4qsgd8qSWgyckwkIfGnJ4Vykza+iVjxoY4Pd21RVN5bNOmH5VdtC+XOoV2T88+X2xlu Tg2xLMJt5KmYSQExpspyhDDZ/Gab4SG7RLtWeWeLDpkmn9odr2yiha0/EO9xOP8Ucy030xLr ipDitTMqmsN1wHJ5sSdRfty4F+t2SqU1wDO8O1ELl47mKzGIJAi2r49joQfvVjHEyPsm0j7j LWaels59uWp8ejqbajqq5mBPIJqjgH+L78umtChDuQiLwYOXmma9vqk2bH/+0DyXa9Egecsk qbDtZDXPcQbqbC9Aw9Syosj7gywDzai0NgBhXkHLk9JdAuJj4XmJl3COv/4DfC4g1SjlDdk2 erKMaHmApXINnTDkbHhcqhh60NE1gY/0dRS64hXB7wBOv7/RFL9ud3CAhI2LgC42+PnB8981 oMaV2KPGKiZMKbKvFCT++0vPu+Ma5IIuDnnMPUl6PvugmU4mV8ZZ6WmwZwXaHWgEvRgOEqWe WDsjcsZEWcWogo+S/TnhECaXT5Je3myR7485i08CI++EYjDQZmtjKWd0ye/A51ZfXtLCkuME Hftb4WLQe0AaCOUIs97kzwLT6KtS4E71ULmiAivwL1+a+HQ5ycwtJT51dEz6feAuws18GleA t+c0CmhUmd4g2pAEzU6waZzvEVVxVKK0Kw+iPtdQ48Ar8hVWxs3YMaPh9dxDMr/D1qplrahT V+nRo7jGjQtVpcqxMdIZU9hGtKkhxSF3iywArZTmabYTIcs/Pf62H78b914126AzLMo2lMqX 81DKGSOiat29gyVDInMwA2Cj6j/Ta0Hx2bW8Xubi2+HvUVWSgl1BK/JQHYTe0L+otHw50eER LirWvw8KgUU78mEJ+NRb8Hxy1VLQPC2INPFf2e4gHu9Hz6Nz7KIKZLoIiATgHybB08DnAQeu 32BMGDSHw+HpGTTRHxrHFPrOAb39PVm7Wi8Vgkyxh2LaEto0/y0/AQUjLqSUaFb2LVMoyonp zhueTT1l9vLF9qNoRZgd6RAcJs85llAz2fQqw16ONSpMaljglcUdwk/sVnp0l17DYBJkM5iq 31PrkI6I66F1l9cfhuX2JnxPvvcLWyztBGjZqjK203Phc6M8/RH4/A5plP/+QCxQxB6ojM3j p8PiiXausyZaWhaGYj8WUs26RVg8rTTYy1mopjRyWUpKq6s9DnLx9MuAuIhjBemZdZWdq2eR 2qQW4UXAdajLOsylh2ndBUBaapY+LMyM96vX/SD0a+veu1nmXj16AYPqJA4yU+K+ydmH6TC0 4sDz+yR9gSCXjb4ylymt4qk0ZABbjYUEG2lzCHiD4MEfax+c7EADmK2KtG2zNFz73L0c0ZR7 0XrR1YP2cvyPAGXc0S4xgpIk0IevX2gnyK8iT1yiTAg6KSFjmTCxOHrdRxPPWAuJiEqh1vxJ 4SphvgVWUGpa04ikx7t6UvhxqddrbhyNCGJGRYOL3WwdTg8FPfp/rOZK9ZC8pYprTlaXIHeK RiBR7jxrgFbmyLvEm1CxSwqIjSju5H3hRt/2yqWKHd+qmaceNkln0+OooyBA6QIgHxaHXod6 3GfHFW3Mti38M/Bkp7Ctrv7TGe9TthIdjGty4qctSy97GksABulnvn1lMe0dGpymSL9ydRuU j3F6RjmZYy+na62LORrY0BAC1r16s48EYZ72NhV5tlYyT0Bi5OZ8GBS223/LNNXxKvWY38ER DpNyNnQqlutyAhoKXSHwJj8X3OWz556ZtW0VWgR3zo088FADKrHid4M1TswuFezqhjdJORsh jpIg+V782YU2qta8Bpo1CiWBaoeWFVVLTC53Qrd9Miw9cA1LC6uaeTijxc4xIH5Suve/UcEH yylMpY6QX0usoMlawmKiSOrrNmjIYiYbMpP5EPK1U6Y1a4Nbsp2zKJv52IvOHqh7yN7jbRn3 Fo+hdfi+9LfY2R1oPDmWFgBanusNplVona03e5fhprEgNzpR888XG1NBNyxE5fKWHoTrai1b l7eVmRj9THLX+KYR1bX6V86/SuQSNbyZi3RfD9Biow8DBiFeB4F2FFSDGh8x8RpUFjtnZOEE g8x5yhNtASh9F0RmqQxZkO5CiCG9U+pcmtmEsHBakANv0cZvQGNdpXPpvR6GyUSlnG4hCqKL GHTJwFBDGVSH1eBG0imJb62o9/J7+mfAOO6afrIe7SH7+JEBb+Owtq0341q8izpVI3HN2R+D /A9xktIXGxoU8XflTIVTiULliXLJ8eFrRa48ydzo4ix6vPuEA7o4IKODfNVP7ANs1iuhryfM ueLmCtjATNR15dJ3X2RjbZDhRgdjCZhczTrGrMF9GbMQK/Whq5LHksbZid0Z64qp+o32ghAP 9Kei8ugjOYpyK5oTQ0cCxq9w5LMB4RCOWy2OVLZCVzeMb2HIWaO2MTreeanTqUWiuxIthq2s DLdEkn5Pz3FmSO6MnLneexKkiyfOwRT/Y+ndRM4Q2LvUdTqdxSTP9p+jDlwyroxzCCvVyZUI X1nfkVBo6fFpztfmel6Endd42BNKOCFn2OB7bCdJMpP9/RsBStwmqRR53FwmN43pGlUAfdyn iXVtNtnpVqrx/KOxjRQWx1Lsj9XhYiPsC2K2I3c/5hEHG7GpVcDsTzWBBMNqN9oTNbovvIIo jAgvK32ITZGtdnT+JlFbyAxAM2COXsldxHuHWyMZDY=
  • Ironport-sdr: 65d96a5e_TNKVmvjyJcVjyWB4ehnsRPHtGZLM0N2uaF3tk2gdQnf2EWo S+nCY9nYTYM20UVQVDxGwtsawzKoI6Cqu+QNw7w==

                 -------------------------------------------------------------------------------
          Fifteenth Conference on Interactive Theorem Proving ITP 2024
                      September 9-14, 2024, Tbilisi, Georgia
                      https://www.viam.science.tsu.ge/itp2024/
                     Call for Workshop and Tutorial Proposals
 -------------------------------------------------------------------------------

 The ITP conference organizers are soliciting proposals for affiliated workshops
 and tutorials. Members of the community are invited to submit proposals on any
 topic related to interactive theorem proving. Workshops typically feature
 presentations of ongoing research that is not ready yet for formal publication,
 and tutorials may e.g. present extended demos of particular software. The ITP
 organizers encourage a broad interpretation of the above formats and welcome
 proposals for any kind of event that benefits the ITP community.

 The workshops and tutorials will take place 13-14 September (last two days of the conference).
 
 Workshop/tutorial proposals should contain the following data:

 - Name of the workshop/tutorial.
 - Brief description of the workshop/tutorial, including workshop topics.
 - Previous instances of the event (if any).
 - Contact information and affiliation of the workshop/tutorial organizers.
 - An estimate of the audience size.
 - Proposed format of the workshop/tutorial (e.g. regular talks, tool demos,
    poster presentations, etc.).
 - Duration of the workshop/tutorial (e.g. full-day or half-day) and the
    preferred day.
 - Special technical or AV needs (if any).

 All proposals should be submitted by e-mail to:bdundua AT gmail.com.
 The deadline for submitting a proposal is March 5, 2024.
 Earlier submissions are encouraged, and notifications of acceptance will be
 issued on a rolling basis.            


  • [Coq-Club] ITP 2024: Call for Workshop and Tutorial Proposals, Besik Dundua, 02/24/2024

Archive powered by MHonArc 2.6.19+.

Top of Page