Skip to Content.
Sympa Menu

coq-club - [Coq-Club] ISR 2024: Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ISR 2024: Call for Participation


Chronological Thread 
  • From: Thiemann, René <Rene.Thiemann AT uibk.ac.at>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] ISR 2024: Call for Participation
  • Date: Tue, 26 Mar 2024 09:00:47 +0000
  • Accept-language: de-DE, de-AT, en-US
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Rene.Thiemann AT uibk.ac.at; spf=Pass smtp.mailfrom=Rene.Thiemann AT uibk.ac.at; spf=None smtp.helo=postmaster AT smtp.uibk.ac.at
  • Dkim-filter: OpenDKIM Filter v2.11.0 smtp.uibk.ac.at 42Q90lqu3472920
  • Ironport-data: A9a23:lMYKXaNWu2nzIFDvrR1mk8FynXyQoLVcMsEvi/4bfWQNrUp23jECm 2QXDWyDOKzbYDakKN8jboW//UMH6p6AxoBjGXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYADNNwJcaDpOt/rY8k035ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXATUay7KlWLX1qArYV1tpVUW9v9 OIHfWVlghCr34pawZqgT/V0wNkiJsqtNYhZs20IITPxVK12B8qYGeOTo4YEhF/chegWdRraT /AUbzcpUBTBbhhGPFE/FZM0n6GhjT/2b1W0rXrF/vNvvzOMlmSd1pDXHPnTQtm7Hfl63W2Bm Vjf4EH4D0gFYYn3JT2tqCv33bSUzEsXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 1cR5jJosKk49wqiRZ/0Q3VUvUJooDYaZecOPLECyT3R9ZHZzzq7VmYlTyBePYlOWNANeRQm0 VqAntXMDDNpsaGIRX/1yltyhW/oUcTyBTNZDRLoXTc4D8/fTJYbpy6nczqOOLWwksWzBDD6w HaDp243m93/bPLnNY3kojgrYBr1+PAlqzLZAC2MDwpJCSslPOaYi3SAswSz0Bq5BN/xoqO9l HYFgdOCy+sFEIuAkieAKM1UQ+jwvKjYbmeH3gQ2d3XEy9hL0yL5FWy3yG0lTHqFzu5dEdMUS BGO5FgPjHOtFCr0BUOIX25BI55zlvO7ToWNugH8c9xPfJVrbw6b7WlpawaR2Wb2mlIxmqJXB HtoWZvEMJruMow+lGDeb75EidcDn3lirUuNHsqT50r8jtKjiIu9FO1t3K2mNL5ptctpYWz9r r5iCid9404DDbavOnWHrtZ7wJJjBSFTOK0aYvd/LoarSjeK0kl4YxMI6eJ/Jd5WjO5Om/3W/ 3qwfEZdxRCtzTfEMAiGIDQrIr/mQZ81/zpxMD0OLGSY/SEpQb+uy6MDKLoxX70sr9J4wdBOE vIqRsSnA9Z0cArhxQgzV5fHkdFdREyZvj7WZyuBSxojTqFkXD3Mq4PFfBOw1SwgDRiXlMoZo p/53zz5W74GaQZGCeiOSfOwzmGeuWoWt/JyUnDpfPhSWhTI26p7JxPhisQYJ5k3FizC4T+Bx iCUKxs8jsvckb8fqdXmq/iNkNa0LrFYAEFfIVj+0Z+3EivrpkyY3o5KVbezTwD3DW/b1v2rW rRI8qvaLvYCoVdttrh8GZZNyYYVxYPmh51e/zReMET7VXaZIZI+HSDexuhKjLNH+ZFBswjvW k6vxMhTCY/UBOzbSmwuNCgXRcXd88oLmwviz+U/e2T7wy5VwICpc2tvOzu0tSgMC4ctba0Ex 786td80+j6PrEMgEuy7gxB+80WOKX09UJsbiKwKPb+ziiQX5wFDRbf+Fh7J5Iq+boQQE0syf R6Rqqnwp5Vd4UvgYXADL2fp29RFtJEVpSF16UIzF22IvvHnhfYH+gJb3hpqbwZSzzRBi/lSP EoyPWJLBKy+xRVar+kdYHKJBCdAGwy/+Gb973ArhV/pZRCkeUKVJVJsJNvX2l4S9lxtWwRy/ Zaa+T7DainrdsSg5RkCcxdphNK7ROMg6zCYvt6sGvmEOJwIYTDFpKuKTkhQojvFBfIBvmH2l dNIzs1RN5KibTUxppclAba0zb4TERCIBFJTSMFboZ8mIzvuRyGQ6xOvdWaKZcJ/F97b+xSZC utvBP51eTaQ6SKslg0fVIkwe+Javfhx/9cTWKLZFUhfuZulkzdZmpbx9C//uWwVf+tTgfsNc oP8SjbTPVGT1F11mnDMpvZqImCXQ8cJTyyi0fGX8NcmLYMisuZtfX4207Kl4nWkIVZn8zm1p yLGXbfdlMZ5+LRvnqztM6RNPBq1ItXNT9a18Bi/ntBNTNHXO+LMhhwlkUbmNAFoIrchYdR7u rCTutrR3kmenrIJf03GupuGTY9l2N6TWbdJD8fJM3VqpyuOd8vy6R8l+WrjC5hokstY1/a3V TmDd8q8Wt4EaehznEQPRXBlLC8cLKDrYoPLhyC39a2MAydA9z33Foqs8HuxYFxLciMNBYbFN Tb1nPST/fFdkpVHAU4VJvNhAqIgGmTZZ4kdS4TTuwWbX06SuXHTiou6wFBkoXvOB2KfGcn33 YPdS1KsPF6usaXP15dCv5Y0ohQTC21njPItel4GveR7kC2+EHVMONF13U/q0X2IuneaOFDEi DDxgK8KEiDhRXJZcB//pt3oGA6DbgDL1hEVORRxl354qQ/vbG9DPFel3jph6XQwczClxf3Px RQ25CjrJhboqn12bb972xF46NuLAtvHx3gLv0n21cXua/rb7XPmy1Q5dDdwuef7/w0hWakFy aXZhYyJfa1jdXPMLA==
  • Ironport-hdrordr: A9a23:zm/BTasDZHMf+7r4Apq0YhuA7skDttV00zEX/kB9WHVpm5Sj5q eTdGxy726ItN9jYgBHpTnmAtj9fZq8z+8O3WFyVY3JYOCCggaVxe5ZnO7fKlHbdREWldQtqp uIEZIObOEYZGIS5a2XjzVQeOxB/DDzytHLuQ6o9QYPcegFUcBdBkxCe3+m+wVNNXF77fZVLu vs2uN34wC4cXBSVM68HXVtZZm8mzTkruOcXSI7
  • Ironport-phdr: A9a23:5AvpRhat9Hydm+1VflpFks//LTE42oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1g6PBNyBoKse16L/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajZb5+N gi6oRjPusUZnIduNKk8wQbVr3VVfOhb2WxnKVWPkhjm4cu+4IBt+DlKtfI78M5AX6T6f6AmQ rFdET8rLWM76tD1uBfaVQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi6 6BrSAL0iCoCKjU0/n3bhtB2galGph+quh5xzJPOYIyNNPRwYL7Tfc8US2RCX8ZeSyNPDYynY osTFOUBOPpUo5Xhq1YMqxa1GAmiBPnoyj9NnnL4w6060+U/HgHDxgMgGdQOvGzJp9vpKqgSV /qyx7TPwDvfcfxW3yny5JLWfBAhoPGDQ7dwftDXyUkpDA7Fk1SQppfmPz+PzOsCr3KX4PB8V e+2jWMstg5+rCS1yMg2lonJmpwaykrC9Shhz4s5ON+1RUp/bNK6EpZdtC+XOoh1T848QGxmt zs2x7wJt5KmYCUEyJAqyh3fZvGJcYWF/gzvWeaNLDl3i39rdrSyjAu8/0inz+3zTMi00FBSo ypYk9nDrXMN2wbJ5cebUPdy5Fuh1DCS3A7Q8uFJOV04mKTYJpI73LI9mIQfvV7eEiPshUn7g 7Oael059uWm6OnreKvqq5GCO4NulA3yKKAjl82nDeglPAUDXHKX9fqy2bH950H1Xq9GguA0n 6TXtp3RONoWpqqkAw9OzoYs9Qy/ASqn0NUZg3YKNE5JdRSahIbzIV7OOur3DfKnjlSsjjhrw /fGM6X6ApXIMnjDiK3tfat860FHywo/18pQ6I5OBr4bPPL/Qk7xtNrGAR8lKwG43ujqBdZn2 o8AV2+DHLWVPL7IvVOV6e8jP/GAZIoPtzb8L/gl6eTujXg8mVIFYaemw50XZ26iEvp4I0WZY GTjgtIbHmcMuAozV/HqiFyZXj5QfXq9Rb4z6ishB4K6FYvDQJuij6Sb3CinBp1WenxGCleUH Hv1b4mEQesDaDqOIs99lTwJTaSuS4g41R23qAD6z6dnIfHP9y0DtZPj0cB16PfJmREz8zx0F cWd3HuXQ2F6hGNbDwMxiep0plU4wVOe24B5heZZHJpd/bkBBgw9LNvXy/FwI9H0QAPIONmTH gWIWNKjVA0xT980ytkIJw5HFtMjxkT50iynRYMVlrGODZoy2r/d1Xu3Ls07wmqQh/pptEUvX sYabT7uvaV47QWGX+Yh8m2cnqeuLuEH2TLVsXyE1SyItV1ZVwh5VePEW2oebw3Yt4ex/VvMG pmpD7lvKQ5d0YiaMKIfUNDvgBN6RPbuPd3YZUqsmm2zQx+DgLqQP8LxY2tI5CzGEwAflhwLu 3OPNAwwHCCk9ljTCjEoKVLubkbl9+9WtXKxTQk9xEeDcx4pzKK7rzgSg/HUUPYPxvQEtSMm/ i1zB0q41snKBsCovA99ZONBYNk+pl5Mk2vF3+BkFrqnKa0qxlsXcgAs+ljryw0yEYJY184js HItygN2b6OeylJIMT2Cj9j2PfXMJ2/+8QrKCeae00zC0NuQ5qYE6egp41TlsgazE0M+8nJhm 9BL2nqY75/OAUIcS5X0Gkow8hF7ofndbExfr8vu2Hthd5W0szLH0tQvLPYkwBXmdtwZOb/FX A7+HssGBtS/ffQwkgvMDFpMN+RT+agoesK+IqLdiOjxZ7wmxXT/0TwUheI1mliB/Cd9VOPSi pMMwvXDmxCCSy+5l1C59Mb+hYFDYzgWWGu50yntQoBLNcgQNc4GD3mjJ8qvy5BwnZnoDjRi+ ViuQW8G2cKscByUR0H81w4W3E9RqGDtyk7ah3Rk1iokqKaSxnmE+enkeVw7Om9GQWBki3/xI IK3ydkRGkG0JVtM9lPt9QPxwK5Vo756Jm/YTBJTfiT4GGplV7O5qruIZ8MnBIoAiSxMS6z8Z FmbTuW4uB4Gy2b4GHMYwjkndjass5G/nhpgiWvbImwh5HbefMhxw1/Y6rm+DbZr0zwLAhV4i DTSD166F8So99bSnpyFu/z2W2+6V5JVeDXm1svZ73v9vzYwR0T5xqzr0tT8dGpymTf2zdxrS TnFoF7nb4/n2r77eeNrc090BUPtvs9zG4VwiIw119kb3XkXgInQ/GJSyDyjd48Ag+SnKiNRH W1uoZad+gXu1Ux9I2jcwov4Ui7Y2c59f5yhZXtQ3Csh7sdMAaPS7bpenCIzrEDryGCZKfV7g DoZzuMjrXAAhORc8jAgyCjbPrATEExROyrEihWC7Ja3p+NeeCz8FNr4nFo7ht2nALyY90tmV XD0PKsiHCJ158N5GE/N2n6144qiccWaPrdx/lWE1hzHieZSMpc4kPEH0DFmNWzKtnog0+cnj BZq0MLyrM2dJm5q5q78Hg9AO2i/eZYI4j+0x/U7/I7ez8W1E55mADlOQJb4UafiDmcJrfq+f weWTG9l8SfdQ+GFW1bZsRs+53PXT8LybCHRfiJDi4wkHUXEQS4XyAEMAGdjxc5/TFvwgpWnK RsjrjEJugyh8UsKkLkycUC5CzuE7AawNmVtE8jZdkEMqFgEvhuJVK7WpuNrQ3MBpc3n9lfXb DXdPlgVRwnlQ2SiAFbudvmr7NjEqK2DA/amauDJefOIoPBfUPGBwdSu1JFn9nCCLJfHOH4qF PA91kdZOBIxU83EhzUCTTAWnCPRfoaaohm74Ch+ssG49rziRgvu4YKFD7YaP89o/li6hqKKN ujYgygcS34QzpQX2XrB06QSxnYJjj12MSSsG7dGvCWLRb6R0q5bAhgHaj9iYctF66Vvu2sFc cXfi97zyvt5lqtsUAcDDwe73JjvPJBScATffBvdCU2GNaqLP2jOysDzOuanTKFIyf5Tr1u2s CqaFEnqOnKCkSPoXlahK7Ip7mnTMRpAtYW6ahsoB3LkSYesUBC9PZlLjTw7xLQygFvXNGQfd zF3NUpR5O71j2sQkrBkFmpN42AwZ/GDgDqc5vLEJ4w+qv53GmJpluhZpn0xjbJJpnIhJrQ9i G7ZqdhgpEujm++Ex298URZAnT1MgZqCoURoPaixHnxoRHfO/1QE5iOZF0ZSzzOKIsDusaMWw 9OJnb6hcV+qEvrP+NcEQdXVIsHBOXFnOAa7QFbp
  • Ironport-sdr: 66028ec0_zbZHfeT34An3UT2cyBWaxRSs9pGahBf8YSfIZZsJQf34OHG /UPBmEX0vPDWLykGAGa2t/MdZlbpKlR7ZhOnEWg==

Dear all,

I’d like to forward this announcement about the summer school on rewriting
ISR 2024,
where tracks B and C also cover topics about interactive theorem proving.
In particular, track B will include an introduction to Coq, cf.

http://cl-informatik.uibk.ac.at/events/isr-2024/B/

Best,
René



14th International School on Rewriting (ISR 2024)

August 25 - September 1, Obergurgl, Austria

http://cl-informatik.uibk.ac.at/isr24/

* early registration deadline: May 1

ISR 2024 is aimed at master and PhD students, researchers and practitioners
interested in the study of rewriting concepts and their applications. It
offers three parallel tracks, taught by well-known experts:

- Track A: comprehensive introduction to first-order term rewriting
lecturer: Aart Middeldorp

- Track B: comprehensive introduction to type theory and lambda calculus
lecturers: Herman Geuvers and Niels van der Weide

- Track C: advanced courses on
- Interoperability of Proof Systems using Lambdapi
lecturer: Frederic Blanqui
- Randomized Programming and Rewriting
lecturer: Ugo Dal Lago
- Tools in Rewriting
lecturer: Nao Hirokawa
- Termination and Complexity in Higher-Order Term Rewriting
lecturer: Cynthia Kop
- SAT/SMT Solving and Applications in Rewriting
lecturer: Sarah Winkler

Each track consists of 20 slots of 90 minutes. Further details (including
registration information) can be found on the website of ISR 2024:

http://cl-informatik.uibk.ac.at/isr24/

ISR 2024 is organized by Aart Middeldorp, Georg Moser and Rene Thiemann.

  • [Coq-Club] ISR 2024: Call for Participation, Thiemann , René, 03/26/2024

Archive powered by MHonArc 2.6.19+.

Top of Page