[ThEdu] Business meeting

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear ThEdu'ers

With some delay (sorry), below the report (already with some additional
information) came from the ThEdu'19 Business meeting

==================================
ThEdu'19 post proceedings at EPTCS
==================================

  EPTCS - the same as in 2018

  Open call for paper - deadline ? --- guarantee of >= 5 submissions

  After asking to the participants we have:

  4 normal submission
  + 1 invited submission
  + 1 external submission

  + some additional submissions after the CfP, hopefully
 
  EPTCS 290 (2018) - 6 papers (ThEdu'18 (7-3) + 2 news)
  EPTCS 267 (2017) - 9 papers (ThEdu'17 (9-3) + 3 news)
  EPTCS  79 (2011) - 9 papers (ThEdu'11 (12-3) + 0 news)

    * Call for papers:            16 September 2019
    * 2nd Call for papers:         1 November 2019
    * Submission (full papers):   18 November 2019
    * Notification of acceptance: 16 December 2019
    * Revised papers due:         21 January 2019

=======================================================
ThEdu'20 - where, when and other organizational issues.
=======================================================

  IJCAR 2020, International Joint Conference on Automated Reasoning,

  29th June - 2nd July 2020. Paris, France

  temptive (we have to wait for the cfw from IJCAR organization)

    Call for Papers (issued): 30 March 2020
    Extended Abstracts:       27 April 2020
    Author Notification:      11 May 2020
    Workshop Day:             29 June--2 July 2020

See you at Paris, and thank you all form the support to ThEdu series of
workshops.

---//---
IJCAR 2020, Paris, France, 29th June - 2nd July 2020 
---//---

-- 

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor Auxiliar Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568