Dates, Submissions & Grants

Important dates

All dates are Anywhere on Earth.

Events

Workshops+Tutorials:    23-26 August 2019
Conference:                         27-30 August 2019

Papers

Abstract deadline:             15 February 2019   20 February 2019
Submission deadline:      22 February 2019   27 February 2019
Rebuttal phase:                  5-10 April 2019
Notification:                        18 April 2019
Final version:                      27 May 2019

Submissions via Easychair: https://easychair.org/conferences/?conf=cade27.

The call for papers is available here.

Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chair may solicit further reviews after the rebuttal period.

Workshop/Tutorials/System Competitions

Submission deadline:  15 November 2018
Notification:                   15 December 2018
Proposals for workshops, tutorials, and system competitions should be uploaded via https://easychair.org/conferences/?conf=cade27wtc
Grants

Students who want to attend CADE-27 may apply for the following grants:

      • Association for Symbolic Logic (ASL): student ASL members may apply for (limited) ASL travel funds that we are making available for sponsored meetings:
        http://www.aslonline.org/studenttravelawards.html
        Deadline: at least three months prior to the start of CADE-27.
      • The Association for Women in Mathematics has administered the NSF-AWM Travel Grant Program for Women since 1988, supporting both travel to domestic or foreign research conferences and, more recently, longer-term visits with a mentor. The application procedure is available at
        https://awm-math.org/awards/awm-grants/travel-grants/
        Deadline: May 1st.
      • EUTypes COST Action: supports attendance of young researchers presenting work on type theory at
        international conferences via travel grants. The rules are described here:
        https://eutypes.cs.ru.nl/ConfGrants
        Deadline: immediately after having been notified of paper/poster acceptance.
      • Woody Bledsoe Student Travel Awards: is intended to partially reimburse conference registration fees, transportation, and accommodation expenses. Preference will be given to students who will play an active role in the conference (including satellite workshops, competitions and tutorials) and do not have alternative funding.  A nomination consists of a recommendation letter of up to 300 words from the student’s advisor.  The nomination should also contain full contact details for the students.  Nominations for CADE-27 should be sent by e-mail to the chair and conference organizers at (e-mail: TBA).
        Deadline: TBA.