Re: [Thedu] THedu'12 - submission of a workshop proposal
Dear Pedro,
thank you for your initiative !
*) THedu'12 Chairs names:
When Francisco withdrew Miguel's consent to the Chair, there was a
suggestion to continue with the THedu'11 settings until an interest
group meeting at THedu'12. If I remember right, there were some mails
supporting this suggestion.
So I confirm the above suggestion again.
*) THedu'12 at CICM or IJCAR: Both appear appropriate in content, both
seem to have many personal interconnections to members of the THedu
interest group; the set of PCs' intersections gives a singleton:
Makarius in MKM (\in CICM).
Since I cannot estimate the probability of rejection, I suggest to apply
for both.
Walther
PS: How can we get information about the members of the thedu@uc.pt list ?
On 10/07/2011 07:11 PM, Pedro Quaresma wrote:
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/