coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CADE 2021 call for participation

From: Sophie Tourret <stourret AT mpi-inf.mpg.de>
To: coq-club AT inria.fr, cl-isabelle-users AT lists.cam.ac.uk, matryoshka-devel AT lists.gforge.inria.fr
Subject: [Coq-Club] CADE 2021 call for participation
Date: Thu, 10 Jun 2021 07:20:31 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=stourret AT mpi-inf.mpg.de; spf=Pass smtp.mailfrom=stourret AT mpi-inf.mpg.de; spf=None smtp.helo=postmaster AT jupiter.mpi-klsb.mpg.de
Ironport-hdrordr: A9a23:iUjOkau0SFrXWbwhICOIOxFs7skDQNV00zEX/kB9WHVpm62j5qWTdZEgviMc5wxwZJhNo7+90cq7MBHhHPxOgLX5VI3KNGOKhILCFu9fBOXZrwEIVxeOldJ15ONaSZFXLPC1NlRii93miTPIdOoI8Z29ypmBocqb9X1qVg0CUdAF0ztE
Ironport-phdr: A9a23:v/cDnBNDmaPuqRkM+Xcl6nYlChdPi9zP1u491JMrhvp0f7i5+Ny6ZQqDvKQr1waTFtqAo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9AdgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/229pHJbQhEmSSxbbxwIRi4sA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOSA5/m/KicJ+gqxUrx29qBFkzI7YfJuYOeZicq7Tf94XQ3dKUMZLVyxGB4Oxd5YBD+0ZPeZYronyuUYFowW5BQmxHuPv0CFHhmPr1qA9yOQhDQbG3BE6H9IUrnvUsM74NKIKUeC01aXIzDPDb/1M1Tf48IjIfQotruySUr9pd8fa1EYgGR/fgFqKtYzlIy2a1v4Ls2WD4OdtSOOihWAkpgxyvzWixtshh4bUi44Jy13J+iF0zYgpKdO3S0N1b8OoHZROuiyHOIZ4Qt0vTmVmtiskxLAKp5i2dzUExpQgwh7Qcf2Hc46Q7x3/TumePCl3iGt7dL+8nRqy8E6gyuP7VsWszllFtDFFk9nQuXANzRPT69KHRuF6/ke71jaC0R3Y5OJcIU0siKbWJZoszqQtmpcXq0jOHS77lF/rgKKWbkkp/vWk5/76brjnp5KQLY95hh/kPqkshMCyB/kzPBIUUGiB4+u80aXu/U3nT7VOif07iqvZsI3CJcQauq62HRVV3pwm6xanDjeqydcYnX0cLF1eYh6HipDpO17ULP/lE/izm1WskDF1yPDaJrDtH5vAI3zZnLv8ebtx8U1RxQspwdxC559YErQBL+jyWk/1utzYFBg5Mwmszub8FNV90Z4eWXiVAqCHLKPfqlqI5vouI+WVZY8Vvjj9J+Ig5/72gn81g0IScrex0ZsNdH+4BuhmI1meYXf0h9cOC3sKvhA+Teztk12CUT1TaGyrU60h+D47FpypDYPYS4CpgbyBxzu7HoZMamBJBFCMFm3od4qaVPsWaSKSJNVhkj0eWrS7RY8hz0LmiAivwL1+a+HQ5ycwtJT51dEz6feX3Ro2sD1vBs6Q12WACnxvk3kTbzs3x7xk50d0zxGK2u5lgLgQENVP/eJOSQc5PNvQwvJ3D/j2WxndZZGGRlG8TdjgADcrT9t3zcVdTVx6HoCZiQjD3ifiP7gIjaaGGNRg6b7bwmLrKtpVzm7HkagngR8jWsQJOWDw1f03zBTaG4OcyxbRrK2tb6lJhEYlFU+B0HKPoExCFgtoUODGWWsVIE7OopL16xGaJ1dBIbE/M05Az8DEL7NFLNHk3wwurBLLPczfJmO3lSG1HRnOyr7eNOLX

CADE 2021: 28th International Conference on Automated Deduction
July 11-16, 2021, virtual from Pittsburgh, Pennsylvania, USA

The conference on Automated Deduction (CADE) is the major international forum at
which research on all aspects of automated deduction is presented. The first
conference was held in 1974, with this year's conference being the 28th CADE.
Early CADEs were mostly biennial, and annual conferences started in 1996. The
CADE conference series is managed by CADE Inc.

The 28th International Conference on Automated Deduction (CADE-28) will be
virtual due to the COVID-19 pandemic. The virtual conference will take place
from July 11 to 16, 2021, including affiliated workshops.

Important Dates:

Early registration until July 4, 2021, end of the day local time (GMT-3)
Late registration from July 5, 2021 on.

For information about registration, see the conference website at:
http://www.cade-28.info/#participation .

A preliminary program is available at:
https://easychair.org/smart-program/CADE-28/ .

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

[Coq-Club] CADE 2021 call for participation, Sophie Tourret, 06/10/2021