[Thedu] THedu'12 - submission of a workshop proposal
Dear THedu Interest Group members
It is time to begin the procedures for THedu'12
*) The THedu'12 Chairs names are still to be decided.
*) Submission of a workshop proposal to a conference.
There are two possibilities
1) As discussed in the THedu Interest Group Meeting
CICM 2012 - Conference on Intelligent Computer Mathematics
July 9-13, 2012 at Jacobs University, Bremen, Germany
Deadline for proposal submissions: December 7. 2011
Acceptance/rejection notification: January 7, 2012
2) continuing with CADE (this year included in IJCAR)
IJCAR 2012 - 6th International Joint Conference on Automated Reasoning
June 26th to July 1st 2012 at Manchester, UK
Deadline for proposal submissions: November 30, 2011
Acceptance/rejection notification: December 8, 2011
This message is to open the discussion about:
names (for the chairs)
which conference to apply a proposal.
In two next messages I will send the full text of the "Call for Workshop
Proposals"
Remember the THedu's mailing details
address: thedu@uc.pt
archive: http://ml.ci.uc.pt/mhonarchive/thedu/
--
At\'e breve;\`A bient\^ot;See you later;Vidimo se;
Professor Auxiliar Pedro Quaresma
Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia
Universidade de Coimbra
P-3001-454 COIMBRA, PORTUGAL
correioE: pedro@mat.uc.pt
p\'agina: http://www.mat.uc.pt/~pedro/
telef: +351 239 791 137; fax: +351 239 832 568