Prezados colegas: como alguns de vocês devem saber, o "South-American candidate " ao Ackermann Award é a tese do meu ex-estudante Juan Carlos Agudelo sobre as relações entre lógica paraconsistente e computação quântica.
Gostaria de manifestar aqui (mas vou também escrever aos membros do júri) minha indignação contra a falta de respeito do comitê dio Ackermann Award em simplesmente cancelar a premiação, com base nos estranhos argumentos apresentados: 1) "...this decision does not imply that the nominations this year were weaker than in the past"; 2) ". Most of the nominations this year were at the same level as many of the shortlisted nominations in the previous years"; 3) ". Yet none of them had the additional extra quality required for the Ackermann Award." Ou seja: os trabalhos (pelo menos alguns deles) estão tão bons quanto os premiados, mas falta algo (?). O que falta? Falta que sejam de "gente do bem" ou u "assuntos do bem"? Infelizmente, tanto quanto o Nobel, esse Ackermann Award é uma premiaçãozioha de mentira. Talvez dêem o prêmio ao Obama por "computar" tão eficientemente com seu Blackberry... Abraços, Waltetr > ACKERMANN AWARD 2010 > * The sixth Ackermann Award was to be presented at this CSL'10, > held in Brno, Czech Republic. > * The Jury consisted of > A. Atserias (Barcelona, Spain), > R. Alur (Philadelphia, USA), > J. van Benthem (Amsterdam, The Netherlands), > T. Coquand (Gothenburg, Sweden), > P.-L. Curien (Paris, France), > A. Dawar (Cambridge, U.K., Vice-president of EACSL), > A. Durand (Paris, France), > J.A. Makowsky (Haifa, Israel, Chair of the Jury and Member of the > EACSL Board), > D. Niwinski (Warsaw, Poland, President of EACSL) and > G. Plotkin (Edinburgh, U.K., LICS Organizing Committee). > * In spite of the extremely high quality of the nominated theses, > the Jury finally, and almost unamimously, decided > NOT to give an Ackermann Award in 2010. > * The Jury would like to emphasize that this decision does not > imply that the nominations this year were weaker than in the > past. Most of the nominations this year were at the same level as many > of the shortlisted nominations in the previous years. Yet none of them > had the additional extra quality required for the Ackermann Award. > * The full text of the Jury's report may be found > in the Proceedings of CSL'2010 (LNCS vol. 6247) or > at http://www.springerlink.com/index/N660523295512W22.pdf > * The call for nominations for the Ackermann Award 2011 > can be found at http://www.eacsl.org/submissionsAck.html > > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * > * * * * * * * * * * * * * * * * * * * > > ACKERMANN AWARD 2011 - THE EACSL OUTSTANDING DISSERTATION AWARD > FOR LOGIC IN COMPUTER SCIENCE > CALL FOR NOMINATIONS > * Eligible for the 2011 Ackermann Award are PhD dissertations in topics > specified by the EACSL and LICS conferences, which were formally > accepted as PhD theses at a university or equivalent institution > between 1.1.2009 and 31.12. 2010. > * Submission details are available at > http://www.eacsl.org/submissionsAck.html > * The deadline for submission is March 15, 2011 > Nominations can be submitted from January 1, 2011 on, > and should be sent to the secretary of the Jury by e-mail: > [email protected] > * The award consists of > - a diploma, > - an invitation to present the thesis at the CSL conference, > - the publication of the abstract of the thesis and the laudation > in the CSL proceedings, > - travel support to attend the conference. > * The 2011 Ackermann Award will be presented to the recipients at the > annual conference of the EACSL (CSL'11) in Bergen (Norway) > to be held 12-15 September 2011, > www.eacsl.org/csl11/ > * The jury consists of at least 7 members (additions still likely): > - The president of EACSL, D. Niwinski (Warsaw) > - The vice-president of EACSL, A. Dawar (Cambridge) > - One member of the LICS Steering Committee, NN > - A. Atserias (Barcelona) > - T. Coquand (Goeteborg) > - P.-L. Curien (Paris) > - A. Durand (Paris) > J. Makowsky (Haifa), member of the board of EACSL, will act as the > secretary of the Jury. > * The jury is entitled to give more (and less) than one award per year. > * The previous Ackermann Award recipients were: > 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind; > 2006: Stefan Milius and Balder ten Cate; > 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang; > 2008: Krishnendu Chatterjee; > 2009: Jakob Nordstrom; > 2010: ---- (The Jury decided that no Award is given). > * For the four years 2010-2013, > the Ackermann Award is sponsored by the Kurt Goedel Society > > > +++++++++++++++++++++++++++++++++++++++++++++++++ Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3521-6515 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
