[TYPES/announce] CADE-28: Call for Tutorials

Sophie Tourret stourret at mpi-inf.mpg.de
Mon Nov 23 10:23:48 EST 2020


CADE-28: Call for Tutorials

The 28th International Conference on Automated Deduction (CADE-28)
Carnegie Mellon University, Pittsburgh, USA.  11-16th July 2021.
http://www.cade-28.info

CADE will carefully monitor the development of the COVID-19 pandemic, and take
guidance from the health authorities, to determine whether CADE-28 will be
physical or online or hybrid.


CALL FOR TUTORIALS
==================
Tutorial proposals for CADE-28 are solicited. The tutorials will take place
before (11th July) and after (16th July) the conference. Tutorials are expected
to be either half-day or full-day events, with a theoretical or applied focus,
on a topic of interest to CADE-28. Please provide the following information in
your application:

+ Tutorial title.
+ Names and affiliations of organizers.
+ Proposed tutorial duration (from half to one day) and the preferred day.
+ Brief description of the tutorial's goals and topics to be covered.
+ Whether or not a version of the tutorial has been given previously, and
   if/how the intended presentation differs.
+ Short statement regarding plans in case of an online conference.

Within reason, CADE will take care of printing and distributing notes for
tutorials that would like this service.


Important Dates for Tutorials:
+ Submission deadline:           07 December 2020
+ Notification:                  18 December 2020
+ Tutorials:                11 & 16 July     2021


Proposals for tutorials must be submitted to the CADE-28-WTC track via
         https://easychair.org/conferences/?conf=cade28



-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5242 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201123/61a5e3a9/attachment-0001.p7s>


More information about the Types-announce mailing list