Re: [Thedu] THedu'12 - submission of a workshop proposal

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

Em Segunda 10 Outubro 2011, Walther Neuper escreveu:
> 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 ?
> 

For now a quick answer to the P.S.

In 

http://ml.ci.uc.pt/mailman/listinfo/thedu

you have the users interface for the THedu mailing list, for the moment the 
list of subscribers is available only for the administrators, as soon as I 
finish my next class (computability and complexity :) I will change this to be 
acessible to all other users of the 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/
> 
> _______________________________________________
> Thedu mailing list
> Thedu@uc.pt
> http://ml.ci.uc.pt/mailman/listinfo/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