coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Final Call for Participation: TPS Summer School and Workshop in Barcelona
Chronological Thread
- From: Master interuniversitari en Lógica Pura <masterlogic AT ub.edu>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Cc: Master interuniversitari en Lógica Pura <masterlogic AT ub.edu>
- Subject: [Coq-Club] Final Call for Participation: TPS Summer School and Workshop in Barcelona
- Date: Mon, 26 Jun 2023 07:00:35 +0000
- Accept-language: ca-ES, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ub.edu; dmarc=pass action=none header.from=ub.edu; dkim=pass header.d=ub.edu; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=7Dlsbw2qWUPNINCGPiY4xWoEt7AJS2kJpdm/5WvFmGs=; b=OM08lCQgJWQ97urniY7uj7rqbhZ/7jlKNfmgDr0nlj3AwM/55As1hwdb0p9mpP+GdoSQCGdIBMzU6muDg2JiJGVnmr5eDv9pvVH443OClSOPxK7ccEsRppyQlK2CPzG2Z8u4j9gCEnxy4ndLwsWtfczMJo8psLxGtyZZRYhfz2U+6g6B9HeDw2+oC6dY7fGDIRH2UA15qImqb+YJJYJbuwrQYezQZuhQ6OjVZ2ab1571e/5JuchdditSVACIcItcnt1aPKhWezTDXdpvRKQWAYnLn1mIkfCgvswwPzR1SawviZJyseHy44c9BQQVOptl5aPvXv1gX7NXKC5oD9nXxw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SLp6/dbKv5g7igvpC+R3me4mMOVgbpeb+gyJQoa5PXM/INevT2I2UROqPyFaZc091P8f/j0VqXjNUX8xGLPrm9Y6P+dlujIcMtwmtnbnYNO9URPLwCTU35C24sA/HaA0Yb5CWsi6ofilb41tkqBgWc7Quin5oYaFGcm7aBdP1A08/QAfFMHeGbO6bBnJ0YXVkVIqBxx02NZB7+nqGjDoUA+1k/Mgk+/5pPuICrc1TihjVj0rQbO0Zjq782Brf/0tcL7kcZPJKWQp5Jj8uDa40qf2OojLN8FAMrZtQZ3Myh4KmUR81oO7puibuWepX07UaQh8kkvJRz/+Tctl5RRLHA==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=masterlogic AT ub.edu; spf=Pass smtp.mailfrom=masterlogic AT ub.edu; spf=Pass smtp.helo=postmaster AT EUR02-AM0-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:UBFaKaLCiEcF2ExrFE+Rnp4lxSXFcZb7ZxGr2PjKsXjdYENS1GQAy TcYXTrVOa6JNjChedEkb4nl9RkFvZbdydNhSlEd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf8s9JIGjhMsfnb9kky5K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0Lub3zvwdJrIRANBbIy5v1IBXhTq c0BAWVYBvyDr7reLLOTZ9RW3p5mBeyzeYQVtzdn0C3TCusgTdbbWaLW6NRE3TA2wMdTAfLZY MlfYj1qBPjCS0EXfA5PV9RkwLju2SKXnz5w8Dp5oYIy6nPPwRZ117fsO/LIcJqHSdg9ckOw/ zuaojSlWkFEXDCZ4Ru3omCVnqzBpj7USJMwV53nrvVzvXTGkwT/DzVNDADg+aDj4qKkYPpUL FVR8S4zp4Ap5UmzR5/8WQe5qTiKpHYht8F4FuQ77ESEz/LZ/hzBXG8CFGYeM5ohqdM8QiEs2 hmRhdT1CDdzsbqTD3WA6rOTqjD0Mi8QRYMfWcMaZRcC4NvEpaxitSrwZMp4L6qsk4HEABill lhmsxMCr7kUiMcK0YCy8lbGny+gq/D1ougdtlq/soWNvlIRWWK1W2C7wQWBtqkdfe51WnHd7 ClbxqBy+chUVfmweDqxrPIlOpXBCxytGTjHnVN1E5Akn9hG0yf7JNo4DN1WAkBzLsZMWTjtZ EbVtWtsCHJ7OXKraep+Ztq8Ft5yl6/mT4y6DbbTc8ZEZYV3eEmf5iZyaEWM3mfr1k8xjaU4P pTdesGpZZr7NUiF5GXtLwv++eZ0rszb+Y81bcymp/hA+efHDEN5sZ9fbDOzghkRtctoWjn9/ ddFLNetwB5CSuD4aSS/2ddNfQ9UdiFnX8Cq8pI/mgu/zuxOSDBJ5xj5kOtJRmCZt/4E/gs11 i3iAhEAlAag7ZE5AVzUNiAzM9sDoqqTXVpgZHd3ZQ/ys5TSSYOu570YbJw5YfEu5vF5wJZJo wotKq297gB0Ym2foVw1NMGjxKQ7LUTDrVzVZUKNPmNgF6OMsiSSp7cIiCO0qHJRZsd23ONiy 4CdOvTzG8ZSF1oyU5eGMZpCDTqZ5BAgpQ67ZGOQSvE7Rakm2NICx/XZ36ZvcfIfYw7O3CWb3 AuwCBIV77uF6Yws/dWDwejOo461GqEsVgBXDkvK34aQbCP6x2uExZMfceCqeTuGanj41p//b spoztb9EsY9onB0j6RGHY1G95kOv+nUm+cCzyBPPmn6UFCwO7YxfliExZZus4NO9J94uCy3e Bu++4ReC5W0OefOMl0YFCw6ZMutiNAWnTjz66wuAUPYvSVYwpuOYX9wDTKt1hNPDeJSHts+4 OEDvMU21VSOuiAyOIzbshEOpnW+EHMQdo4G6LcYOdbPoSg2wAhgZZf8NHfH0KuXYY8RDnhwc y6mv4uctbFy3UGYTmESE0LK1u9jhZgjnhBG4VsBBlaRkOr+mf4F80xNwAszUzhq4E1L48BrN khvEn9FF6GE0jNrpcpEBm6XC15gAj+d8RfP0FcnrjDSYHSpcW3vF1cDH9ix0noXyV8BQQgDz oqkkD7kdR3IYPDO2jADXB85iv77Ev102A7wuOGmOMWnRqg7PD7XopKvQUEqqBLXJ9w7q2Oah Ott/cd2MbbaMwxJqYIFKoCq75YiYzHaG35jGNZPpLgoG0PYcxGMgQm+EVi7IJ5xFqab4H2GB NxLDeMRcRaHjQKljC0RXIwIKJ9KxM8Z3sIIIO7XFDRXoomkj2RbtbzL/XLDn04tedJllPg9J q73dz6vFm+xh2Neq1TSrftra3aJXt0ZWDLShOyF0v0FN5YmgtFedUsf1riVvXLMPjB3oDOSn gfIPJHNw8JYlI9DoorLE4d4PTuSF+/dbuqz3T6Wj8VvdvLKaMfHiBMUoALoPiNQJrogZO50n rWs7v/04n34vp8nd133vbyqTrd44PivVrFpavPyfSBQmBKfU+/O/RcsxWK0BphXmtIA+MWXf RCyMpqqUdszRd1m5WZ0bhJGGE03EJXHbabHpAK8oc+TCxMb7xf1EdO/+VLtbkBZbiUtKbSnL iPV4tGF+cF+vodXIR0LFcFdHJ5zJWH8VZscd9HesSeSCk+qiAigvoTOuAUB6zbZLGutC+f/v Iz4QybheCSIuK3nyM9Tt6pwtEY1CFd/mewBQVIPyeVpijyVDH80EspFCM8oUqprqy3V0I30Q Brvb2F4UCX0YmliQCXGud/mWl+SO/wKNtLHPQcWxkKzaRnnNLPYVfElvm1l7mxtczTu8PC/J JtMsjfsNxy22ddySfxV+vW/hvx9y+jHwm4Tv3rwiNH2Hw1UFIBiOKaNx+aRfXev/wDxeET3y awdaF1+GBv+YGupVMFqdjhSBQ0Tuy7pw3MwdyCTzd3DuoKdiupd1Pn4POK12boGBCjPDKBbX mv5HgNh/EjPskH/e4Nw0z7qvUOwIe+BWMW2MccPgCUMyrqo5D1P09wqxEIyoQJLxOKbO07X0 DSg/hDSwahDxF95gNWr9OnCx369vr/gwd0EYM4TaAIqSSAE8uU=
- Ironport-hdrordr: A9a23:N1Vl5qjxXVmFPB/2aVmeTHOFDnBQX0R13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwQZVpQRvnhP1ICPoqTM+ftWjdyR2VxeRZgbcKrAeQfBEWmtQ96U 4CSdk2NDSTNykdsS+S2mDRfLgdKbK8gcKVbJLlvhNQpHZRGsRdBmlCajqzIwlTfk1rFJA5HJ 2T6o5svDy7Y0kaacy9Gz0sQ/XDj8ejruOsXTc2QzocrCWehzKh77D3VzKC2A0Fbj9JybA+tU DYjg3C4Lm5uf3T8G6X64aT1eUapDLS8KoNOCW+sLlaFtwqsHfoWG1VYczPgNnympDu1L9lqq iOn/5qBbUJ15qYRBDOnfKq4Xip7N9m0Q6e9XaIxXTkusD3XzQ8Fo5Igp9YaALQ7w46sMh7y7 8j5RPti3N7N2KyoM3G3am7azh60k6v5XYym+8aiHJSFYMYdb9KtIQauEdYCo0JEi724J0uVL AGNrCq2N9GNVeBK3zJtGhmx9KhGnw1AxedW0AH/siYySJfknx1x1YRgMYfgnAD/pQgTIQs3Z WxDo140LVVCsMGZ6N0A+kMBcOxF2zWWBrJdHmfJFz2fZt3S04la6SHkYndyNvaBqDglqFC5K gpeGkoylIPRw==
- Ironport-phdr: A9a23:SHAeiRYPr375kIbopq3CQhP/LTEP2IqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPAdiBoKwYw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtIiTanbr5/L Au6oQrQu8QZnIBvNrs/xhzVr3RHfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQ LJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4 btnRAPuhSwaMTMy7WPZhdFqjK9DoByvuQJyzZPIYI+bN/RxYqzScMgASmZdW8ZcTTBNDp++Y oYJEuEPPfxYr474p1YWqhWxHxKsBP/xxT9Sm3T23Ks60/g/HgHcwQwgGdMOsGrKo9XvL6cSU Py1w7PSzTXCcvhZxzH945XOfAgirvGMXK5/ftDMwkc1CgPFlE+fopHiMjOQzOsNqHSb4PR6V eKrjG4npABxrSS0y8cxkYbFnJwaxU3Z9Shgxos+ONK3RlJhb9G+DJtQqz+VN5FwQs46Q2xmu Dg2x70HtJOnYCQH1poqyh7BZvGEfIWG7R3tWfufLzl3inxodq6yihm9/EWhxOPxVtW53EhJo yZZktfCuXYA3AHd5MiAT/ty5Eah2TCX2gDO8e5IO147mrfGK5Mn37U+lYITvFzMEyPqgkn6k bOae0c+9uS25OnqYK/qq52SOoNslA3zM7gil8K6DOglLgQBRWmW9OGi2LH/5kL0RbpHjvMqn qTctZ3WONkXq6ikCAFPyIkj8QywDzK+3dQYg3YHKFVFdQqIgYfnJ1/CPO70Ae6jjlqrjDtn3 vfGMab/DZnXKXjDjavhcq16605Bzgo80MpT54pOCrEGPPL8RFP+tMDZDh8+NQy42eHnCMhh1 oMaXmKPBayZPLnOvl+P4+IjO+iMZIkLtzbhM/Uo6OLigWUklVMBf6Slx4UbZX+6E/h8IUiUb 2LggtIbHmcLugo+QvbqiFqHUTNLYna9Rbk85i0lB4K8CYfDQY+tgL2d0yqgA51ZfXpKBU6RH nf1b4mEXewDZzqIIsB9ijwESaShS4g52B2zrAP60aZoLvLI+i0EspLuzMR65+rKlR0r6TN0C 9md3HqWQmFvnmIIQic207plrUx8zFeDy6l4jOZCGdxd/fMaGjs9YNTXyPU/ANTvUCrAeM2IQ RCoWJ/uVTo2V5c6x8IES0d7AdSryB7ZiXmEGbgQwpmCH4A56Ord2WT8Pdt7ymjLzrIgk1A8Q 4NCMyWCHaF+/AGbP5PTmg3Nkq+xaakG2CnC9Wyr0GDIsU1FBl0jGZ7ZVGwSMxOF5e/y4VnPG ufG4dUPNwJAzZTHMa5Wcpjzil4AQv7/OdPYamb3mmGqBB/OyKnfJJHydTA72yPQQFMBjxhV5 WyPYA03HTusuWbZAz1lPU/lJU7g7Lo2s2u1G3c91BrCdEh9z/yw8x8Ri+abTqYW16kYtT0lr Dp1F36g1ZTbB8fT7xF5cvBkaMgmqExCyXqftwF5Ocm4KLt+g1cFbwltl27T7U0tT6xlyY0tp n5syxduI6WF1l8HbymfwZ37JrzQLC/14QyrbKnVnFrZ1b56448p7/I14xXmtQCtTA859ml/l sNS2D2a74nLCwwbVdTwVFw2/l50veOSZC51/I7S2XB2VMv8+jbfx9IkAvckwRe8bp9eNq2DD gr7D8wdAYCnNuUrn1Gjah9MMvpV8eY4OMavdv3O36DOXq4omTu9kWld5Idy00mk6iA6R+LVn t4Ez/yewgqbRmLkll7y+svzmI1CeXQTBj/jkW69XNEXPPEtO9lQWgLMa4Wty95zhoDgQStd/ V+nXRYd3dOxPACVZBr71BFR0kIepTqmnzG5xnp6iWJMzOLX0SrQzuDlbBdCNHRMQTwoiF73P YWui9cVXUOAcgJvmRe4rxWfpeATtOFkIm/fTF0dNS3/NH1vSK+3ubuJS9NFrp4krG8EGPT5a lecRLnnphIc2C62BGpSygcwcDSys4n4lRh34I6EBE56t2GROcR5xBOFocfZWeYUxD0NAi9xl TjQAFG4ediv59Sd0ZnZ4KiyUGeoV5sbdieOr8vIsSKg+WBwBRqwnvubh9ehHAQnmSP2zNhlU yzUoQ20PtGtjvzld7g7IQ83Xxf18IJiF5t7k5csiZ11uzBSnZiT8Xcd0C/yPdhdxaPifS8IT D8PzcTS5Vut00liI3SVgoPhAynFhJI5OJ/gPjxQhXluiqICQL2Z57FFgyZv91+xrAaLJON4g i9Y0/wlrngTn+AOvgMpiCSbGLEbW0dCbkmO31yF6c6zqKJPaSOha7+1gQB7lMu9AauGpQ5dU 17kcNEvETI6vaAdeBrclWb+7I3pYoyaaNsIqhCOlxDPjuN9NZh3m/YXz3kvKSf2unsrzPQ+h Bpl0MShvYSJHG5q+bqwHh9SMjCmAqFbsiGol6tVmdyampy+Bpg0UCteR4PmFLj7WCJXr/nsM ByCVSExumvOU6SKBheRsSIE5zrOC8z5aynRdSNflZM6A0DAbE1H3FJIBHNjxsF/Tkbyg5W/O EZhumJMvBih8kMKkqQwcECjNwWX7AawNmVtEMTZcEUQtkcaoB6Kec2GsLApFnkBrMT49V6Dd jTDNVYPUTFsOATMBki9bOOnvYCSqrHBVOTid6CcM/LS+KRfT6nan5v3i9k/pm/eOJnXZSsyV 6VjiBgEACgceYyRmi1RGXYez3ufNpfC9hngonYlpZjnqKa5H1+2rYqXVekIOI02qUnv2PWNa 7bL1ighcW4KhNRRnzeNwbwbljb+kglWfiK2WfQFvC/JFufLn7NPSgQcYGV1PddJ6KQ12k9MP 9Tag5X7zOwwgvkwAlZDHVvv/6PhLdQNOH24PUjbCVyjGYm8fWeO6uSvJKS2RPtXkflesAC2t XCDCUj/Mz+flj7vEReyLeVLiyLdNxtb3eP1OhpgEmnsStv6ZwbzbIcx1GVph+do2TWVbiYVK nBkfllIr6GM4C8Qmfh5F2FbrzJkIeSChyeF/rzYJ5IR4p4JSmx/k+NX5mh/yqMAsHkCHaQq3 nGO8Zgx+ALD8KHH0DdsXRtQpywegYuKuR8nIqDF7txaXn2C+hsR7GKWAhBMpt1/C9SptboDr 7qH3K/1NjpG9MrZuMUGAM2BYseOK2YsKx7uFz/fJBYPCzOnKCuM4i4V2OHX7XCTopUg/9L0n 4EST7ZASFEvPt4nMBw/WfUneNJwVD5ilqOHhskV43b4tAPWWMhRopHAULSVHOnrLzGay7JDY lFbpNGwZZRWPYr91Ut4b1B8l4mfAEvcU+dGpSh5ZxM1qkFAozBuC3c+0EX/Zkax8WceQLSqy wUuhFI0MoFPvH/8pk06LV3QqG4snVktzJ/71CuJfme5Lb/sD90OTXuu8RB3atSiHk50dVHgw RQibW+bAeoX1/w5KwUJwEfdoccdRKQaFPUcJkdWnbbOO70pyQgO8337gxMYo7ODUdw7y0Mra cD+9XsYglA6NYdnK/CIfPgbiQQA48DG9i6wiLJryVdHdR9UqTGcJHZT6h5PauhuJjL2rLZls VXQwmIaKmZQD6F48qoyrhFvfLnYqkCom79bdBLrPrTGffrA4jrOyZbTEFhojhtaxQ4YpPB3y ZlxKUPMDhJ2leLDGUhRbpjMcVkNPZgVqSKbOC+Kta+lKXddIo/7G+z1H7fmXEc8r3+eRFxsN qFUq8MLE9+rzV3SKtrhIPgd0xIx6Q/3JVKDSvNUZBaMlzRBqMa6nsYfNWZ1OztbDGlgY3zf2 w==
- Ironport-sdr: 64993796_FW2rF3jP3qRKJwEeJAENH5A+kRzZ+jGVl33SqyxY+usAnNV 0Eivd9+Lred8pa8TCmU3wMUVqzxKnsag2PXuHBA==
The Proof Society Summer School and Workshop
Summer School: 10-12 July 2023
Workshop: 13-14 July 2023
Downtown Barcelona, Catalonia, Spain
https://www.ub.edu/prooftheory/event/tps2023/
*** REGISTRATION DEADLINE EXTENDED TO 2 JULY AoE ***
Includes the tutorial:
• Matthieu Sozeau (Inria)
MetaCoq, CertiCoq and Certified Extraction of Dependently-Typed Programs
Joost J. Joosten
Coordinator of the Barcelona Master in Pure and Applied Logic
University of Barcelona and Polytechnic University of Catalonia
Coordinator of the Barcelona Master in Pure and Applied Logic
University of Barcelona and Polytechnic University of Catalonia
Aquest missatge, i els fitxers adjunts que hi pugui haver, pot contenir informació confidencial o protegida legalment i s’adreça exclusivament a la persona o entitat destinatària. Si no consteu com a destinatari final o no teniu l’encàrrec de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si l’heu rebut per error, informeu-ne el remitent i elimineu del sistema tant el missatge com els fitxers adjunts que hi pugui haver.
Este mensaje, y los ficheros adjuntos que pueda incluir, puede contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no consta como destinatario final ni es la persona encargada de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo o copiarlo, ni a revelar su contenido. Si lo ha recibido por error, informe de ello al remitente y elimine del sistema tanto el mensaje como los ficheros adjuntos que pueda contener.
This email message and any attachments it carries may contain confidential or legally protected material and are intended solely for the individual or organization to whom they are addressed. If you are not the intended recipient of this message or the person responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any part of it. If you have received the message by mistake, please inform the sender of this and eliminate the message and any attachments it carries from your account.
- [Coq-Club] Final Call for Participation: TPS Summer School and Workshop in Barcelona, Master interuniversitari en Lógica Pura, 06/26/2023
Archive powered by MHonArc 2.6.19+.