coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Joao Marcos <botocudo AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] CFP: ThEdu'22
- Date: Mon, 27 Dec 2021 15:13:30 -0300
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=botocudo AT gmail.com; spf=Pass smtp.mailfrom=botocudo AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f53.google.com
- Ironport-data: A9a23:jZcMe69NSI029y7yeWsPDrUD4X+TJUtcMsCJ2f8bfWQNrUoj0j0AyjQcWz2Ob/+LYzbwKNgkO4iw8RhUuJ+BxocxQXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/hykmh2ipwPkcFhcwnT/wdOixxZVA/fvQHOOlUrSbYnoZqTJMEU/Ntzozw4bVvaYz2bBVMyvV0T/Di5W31G2Ng1aYAUpIg063ky6Didyp0N8uUvPSUtgQ1LPWvyF94JvyvshdJVOgKmVfNrbSq+ouUNiEEm3lExcFUrtJk57+e0wOB7/VZE2A1yEQVK+ljRxP4Cc1187XNtJGMRYR22jPxo4vjogW3XCzYV9B0qnkkuMBVBJFHyZWMqhP+buBKn+62SCW5xScLCG1m6w1ZK0xFdRAprwf7Xt13fcfMXUGag2Jr/mnxaqyDOhqnMUqasfxVL7zEFl0lWSDS6kyGMWbBf3ev4oAmm1h15laRqOGIZcNNm9GcjDrZjljOnM2AbQChsOWh1zrKmUN8QjR/L5fD3P7yQVw1P3sN4OQdIHRA8pSmUmcqyTN+GGRP/3TD/THoRLtz55mrranceLHtIMu+HmQ8/drhBiSwTVWBkBNE1S8pva9hwi1XNc3x4k8ksYxhfBayaBpZoCVs96ETLqssRsVWt4WGOo/gO1I4rSB+B6XXwDoURYYAOHLd6YKqfgC2VqAntevDjtq2FFQYRpx6Z/MxQ6P1eMpwaPuqMPKocbpIzUunW3rsi/ycw==
- Ironport-hdrordr: A9a23:3KzNtKhQk9qYCwYznqY06uQd0HBQXuYji2hC6mlwRA09TyX4raCTdZsgviMc5Ax6ZJhCo7G90cu7Lk80nKQdibX5W43OYOCMggWVxe9ZgbfK8nnCFyr99ulGkYRneMFFeb7NJGk/rsr84gm+CZIazMOa9b3Av5a980tQ
- Ironport-phdr: A9a23:1D7/DB+9zKYIWv9uWca8ngc9DxPPW53KNwIYoqAql6hJOvz6uci4ZQqGvKom3Q+BdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdm72/qv95HOYQhEiz6wbLBvJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLnhycJOTA6/m/KlMJ/kLlWoA69qxFl34LYfJ2ZOfh4c6jAfd0aX21BXsNJWiJFBYOzdYwPBPcGM+lCtYnyu1wOrQCjDgSrH+zvzSNIhnjq0q0nzushFhrL3AMlH90UsXTUqM/5O7sVUeCw1aTFyyjIYPxK1znn8ofIbgwhru+WXbJ2acfcx1ciGgPbg1iTp4LoPy2Z2/kQvmaV4eRtVe2hh3MopQxwojaix9shh5XNi48LxV7J9zh1zYc2KNGlTEN2YNCqHZ1NvC+UMIt2R9ktQ2BuuCsi170JpYS3fDAWyJg/2RHQceeHcoiU7RLjTumRIC14iGhieLKliBa/91WrxO7kVsSszlpGsi5InsPPu30NzRDf98mKR/pn8kqh1zuC0R3Y5PteLkAuj6XbLoYswr4umZoXtkTOBir2l1/3jK+Sb0kk+++o5/n+brXoppKROZV4ig75MqQplcy/Bfo3PhISUGic/OSwzLzj/UvnT7VWlvA6jLXVvZTAKckYpqO1GRJZ34ci5hqlDzqr3swUnXwdI1JEfBKHgZLpO1bLIP3gFvi/hEiskDB3yPDbI7LhBY7ALnfGkLj7fLZ971RQxxY0zdBa/55UEK0OIOrvWk/ts9zVFgM2Mwutw+r+FNp90p4eVnmUD6+CMKLStEeI6fg1L+mNYo8Vojf9JOI/6/7gl39q0WMaKKKuxN4cbG2yNvVgOUSQJ3T20fkbFmJfnA03S6TPgUeJViUbM3y1Q6U3+z08II2jBIbHAIuqherSj2+AApRKazUeWRi3GnDyetDcMx/pQC2XK85l1DcDUOr5I2fA/RSntQu/yr0+a+SJoWsXspXs0NUz7OrWx0laHdNcAMGU0mXLRGZxzDpgeg==
[with apologies for cross-posting]
ThEdu'22
11th International Workshop on
Theorem-Proving Components for Educational Software
Technion, Israel Institute of Technology
Haifa, Israel, August 11, 2022
a satellite of FLoC 2022
Conference website
https://www.uc.pt/en/congressos/thedu/ThEdu22
Submission link
https://easychair.org/conferences/?conf=thedu22
Submission deadline
May 9, 2022
- [Coq-Club] CFP: ThEdu'22, Joao Marcos, 12/27/2021
Archive powered by MHonArc 2.6.19+.