ThEdu'21 & CADE28 - registration now open

[Joao Marcos]

O programa do 

10th International Workshop on Theorem-Proving Components for Educational Software

já está disponível em 

https://www.uc.pt/en/congressos/thedu/ThEdu21/programme

[]s, 

Joao Marcos

---------- Forwarded message ---------

(please visit CADE28 webpage https://www.cs.cmu.edu/~mheule/CADE28/ for

all the details)


Participants of CADE-28 need to register at
https://www.conftool.org/cade28/index.php
<https://www.conftool.org/cade28/index.php> . Registration includes the
ability to attend the workshops and tutorials. Standard registration is
now open and closes on July 4, 2021. Late registration (higher fees)
will start on July 5, 2021.

There are three types of participants:
- Author participants (standard $120, late $150), whose registration fee
will partially cover the conference costs. For each accepted conference
paper, one author needs to register as an author participant. A single
author registration covers only a single paper; and
- Regular participants (standard $50, late $80); and
- Student participants (standard $20, late $30). Students of accepted
papers are eligible for a Woody Bledsoe award covering the student
registration fee (but not an author registration fee). Advisors can
nomiante their students for a Woody Bledsoe award at
regist...@cade-28.info.

Alternatively, one can register only for the workshops and tutorials
(standard $20, late $30) or only for CASC (standard $65, late $85).