Coincidência: leio esse email e tá no meu desktop, de repente, uma foto de Schönbrunn que tirei no verão, agora, em Viena... Aliás nos encontramos no final da conferência, não foi, Bruno?
2009/1/16 Francisco Antonio Doria <[email protected]> > Bom, Leopoldo, meu orientador, me disse uma vez, faz o doutorado no Brasil > e sai como pos-doc, porque aí você tem liberdade de estudar e pesquisar o > que quisr... > > 2009/1/16 Bruno Woltzenlogel Paleo <[email protected]> > > Olá, >> >> Há um pouco de propaganda enganosa nesse email do European Masters Program >> in Computational Logic (EMCL). Para que ninguem caia na armadilha que eu >> caí, vou explicar um pouco mais sobre o EMCL. >> >> Estudei nesse programa entre 2005 e 2007. Fiz meu primeiro ano em Dresden >> (Alemanha), onde completei todos os creditos necessarios para cursos, e o >> segundo ano em Vienna (Austria), onde fiz minha tese e projeto prático. >> >> Vienna com certeza vale a pena (e eu a excluo das criticas seguintes), mas >> Dresden é muito baixo nivel. [O que dizer de um mestrado em "logica" em que >> nao se ensina nem se usa (e creio que tambem nao se saiba) nem natural >> deduction, nem sequent calculi, nem tableaux...? Em que nem ao menos se >> menciona o teorema de Gödel? Simplesmente nao se ensina nada de proof theory >> em Dresden... Tambem nao se ensinam logicas nao-classicas... Logicas de >> ordem superiores foram apenas mencionadas em uma ou duas aulas...] >> >> E Dresden é considerada, pelos alunos do EMCL, a segunda melhor >> universidade entre as cinco que fazem parte do programa. Todo ano há >> problemas, porque a maioria dos alunos querem vir para Vienna (ou Dresden, >> como segunda opcao) no segundo ano, e aí nao há alunos suficientes para >> preencher as vagas em Madrid, Lisboa... >> Entao, apesar de eu ter tido experiencia apenas com Dresden, imagino que a >> situacao nao seja muito melhor nas outras universidades (exceto Vienna)... >> >> Dos mais de 20 alunos que deveriam se formar entre julho e setembro de >> 2007, apenas 4 haviam se formado até fevereiro de 2008! >> >> >> Vou comentar abaixo o email de propaganda do EMCL enviado há alguns dias: >> >> ---------------------- >> [The Erasmus Mundus Programme] supports European top-quality Masters >> Courses >> ------- >> >> Um pedido aos lógicos brasileiros que tenham contatos com bons >> departamentos de lógica na Europa: Pecam que seus contatos criem >> concorrencia ao EMCL ou que pelo menos contactem a European Commission sobre >> isso. Do jeito que está, a European Commission está jogando dinheiro fora >> pra promover o low-quality EMCL, quando poderia estar financiando cursos de >> lógica de verdade, top-quality, de bons departamentos na Europa que voces >> conhecam... >> >> ------------------------------- >> It is an international distributed >> Master of Science course (MSc.), in cooperation with the computer science >> departments in the following universities: >> >> * Universidade Nova de Lisboa, Portugal >> * Free University of Bozen-Bolzano, Italy >> * Technische Universitaet Dresden, Germany >> * Technische Universitaet Wien, Austria >> * Universidad Politecnica de Madrid, Spain >> ------------------------------------- >> >> Nao há cooperacao de verdade entre essas universidades. O que há é um >> "sistema de modulos" de cursos. Em teoria, os módulos básicos deveriam ser >> iguais nas cinco universidades, mas na pratica a diferenca de nivel é imensa >> entre as cinco. >> >> -------------------------------------- >> This program, entirely in English, >> --------------------------------- >> >> Isso é mentira. Um amigo meu da Indonesia passou o primeiro ano dele na >> Universidad Politecnica de Madrid e nao pode fazer quase nenhum curso lá, >> simplesmente porque nao havia cursos em ingles. >> >> --------------------------------- >> involves studying one year at the >> Universidade Nova de Lisboa, and completing the second year with a stay in >> one of the partner universities. >> ------------------------------- >> >> Nao é verdade. Pode-se escolher quaisquer 2 universidades entre as 5. >> Nao é necessário fazer o primeiro ano em Lisboa. Eles provavelmente estao >> anunciando assim, porque Lisboa sempre foi a universidade de menor >> preferencia entre os alunos do EMCL. >> >> ----------------------------------- >> In 2009 the European Union will offer several new Erasmus Mundus >> scholarships for non-European citizens (in 2004, 2005, 2006, 2007, >> 2008 more than 90 Erasmus Mundus scholarships were given). Each >> scholarship for each student amounts to 21,000 EUR per academic year; >> this includes 10 monthly grants of 1,600 EUR and a fixed amount of >> 5,000 EUR for fees, travel expenses, relocation costs, etc >> ----------------------------------- >> >> Nenhum brasileiro recebeu a bolsa Erasmus Mundus no EMCL até hoje (apesar >> de pelo menos 5 já terem estudado no programa)... >> >> A bolsa Erasmus Mundus é cheia de pre-conceitos oficiais chamados de >> "windows", que favorecem indianos e outras nacionalidades, mas nao >> brasileiros... >> >> Além disso, aparentemente, o comite de selecao do EMCL assume que >> brasileiros podem conseguir outras bolsas (como a bolsa Alban), entao >> resolvem nao dar a Erasmus Mundus... Isso foi o que parece ter acontecido no >> meu caso. >> >> A bolsa Erasmus Mundus para o mestrado EMCL é maior que uma bolsa de PhD >> na Europa. Muita gente aplica para o EMCL só por causa do dinheiro. Eu >> conheco pelo menos tres alunos que fugiram com o dinheiro sem nunca >> completar o mestrado. A quantidade de alunos desinteressados em Logica (que >> sao selecionados de forma aparentemente aleatória) é outro fator que >> prejudica a qualidade do programa... Esses alunos que vem só pelo dinheiro >> estao mais do que satisfeitos com a falta de qualidade do EMCL. E a European >> Commission avalia o EMCL apenas atraves de questionarios respondidos pelos >> estudantes, entao... >> >> ---------------------------- >> Several scholarships are available for students not holding an Erasmus >> Mundus scholarship, >> ------------------- >> >> Que eu saiba, isso só é verdade na universidade de Bolzano, na Italia, e a >> bolsa local da provincia é de aproximadamente 1000 euros por ano. >> >> -------------------------------- >> to waive the tuition fee of 3.000 € for students >> without a scholarship, on the basis of their academic merit. >> -------------------------------- >> >> A tuition fee costumava ser diferente em cada universidade. >> Lisboa costumava custar 5000 euros por ano. Dresden costumava custar ~300 >> euros por ano. Vienna costumava custar 750 euros por ano... Agora custa 3000 >> pra todo mundo, o que significa que quem estuda em Vienna está, na pratica, >> pagando pra Lisboa, o que nao faz muito sentido... >> >> ------------------------------------- >> the focus of instruction will be in deduction systems, >> ---------------------------------------- >> >> "focus [..] in deduction systems", mas nada de sequent calculus, tableaux, >> natural deduction, refined resolution??? >> >> ----------------------------------- >> syntax directed semantics, >> -------------------------- >> >> "syntax directed semantics" é o nome de um dos módulos "avancados" de >> cursos em Dresden. No meu ano foram oferecidos dois cursos nesse modulo: >> "The Algebraic Path Theory" e "Formal Models of Concurrency"... Até hoje eu >> fico tentando imaginar o que eles querem dizer com "syntax directed >> semantics"... A maioria dos módulos sao assim: just fancy names that do not >> have much to do with the actual content of the courses. >> >> -------- >> semantic web, bioinformatics, >> --------------------- >> >> Houve um unico curso em Dresden em que bio-informatics e semantic web >> foram "ensinadas" juntas, se é que isso faz sentido... Metade do curso foi >> sobre uma linguagem inutil e cheia de bugs chamada "prova" (uma mistura de >> prolog com java), que havia sido desenvolvida pelo professor do curso... >> Alguma relacao com semantic web ou bioinformatics? >> >> --------------- >> logic and natural language processing >> ---------------- >> >> Houve um curso de "Natural Language Processing" dado por uma professora >> visitante da China. Era impossível entender o ingles dela. Foram ensinados >> apenas alguns algoritmos de parsing com context-free grammars. Coisas como >> Montague grammar, CCGs, DRTs, computational semantics, linguistic side >> effects, continuation passing style para linguistica,..., nao foram nem >> mencionadas... >> >> ----------------------- >> Students will acquire practical experience and will become familiar in the >> use of tools >> within these applications. >> ------------------------ >> >> Isso me lembra o curso de "interactive theorem proving", no qual os alunos >> deveriam adquirir experiencia prática em Isabelle, PVS e Maude, sem ter >> nenhum conhecimento de Higher-Order-Logic ou Term Rewriting Systems (porque >> nao há cursos sobre esses assuntos em Dresden). >> >> ------------------------------ >> In addition, students will be prepared for a future PhD, >> ------------------------------- >> >> Nao aprendi nada em Dresden que tenha me preparado significativamente para >> o meu doutorado (que envolve cut-elimination e resolution em logica >> classica)... >> >> ------------------------------------ >> they will come in contact with the international research >> community and will be integrated into ongoing research projects. >> ---------------------------------------- >> >> Nao é fácil superar a barreira de condescendencia que os professores do >> EMCL tem com os alunos estrangeiros, para se integrar realmente em um >> projeto de verdade... >> >> -------------------------------------- >> They will develop competence in foreign languages >> -------------------------------------- >> >> Meu nivel de alemao decaiu em Dresden, porque lá (quase) todos os alunos >> eram estrangeiros e as aulas eram em ingles. >> >> (Quase) todos os alunos eram estrangeiros, porque os alemaes mesmo nao >> querem estudar no departamento de logica de Dresden... Apesar da faculdade >> de ciencia da computacao lá ser grande, apenas um aluno alemao decidiu fazer >> o mestrado em logica após concluir o bacharelado lá. Também havia um aluno >> alemao formado (european B.Sc. de 3 anos) em Karlsruhe, que sabia mais >> logica que os professores de Dresden. Ele terminou o mestrado em pouco mais >> de 1 ano, em vez dos dois usuais. >> >> ----------------- >> Applicants should have a Bachelor degree (Bologna 1st cycle or equivalent) >> in Computer Science, Computer Engineering, Logic, or other relevant >> disciplines; special cases will be considered. >> ------------------ >> >> O B.Sc. degree europeu é de 3 anos apenas e com uma carga horaria total de >> 180 ECTS. >> Nem se compara a um diploma universitário brasileiro de 5 anos e com carga >> horaria que pode chegar a até, como no caso do ITA, 450 ECTS... >> >> O processo de Bologna nada mais é que uma forma oficial de discriminacao. >> É como se eles dissessem: "Our universities and students are much better >> than in the rest of the world. They need to study only 3 years, while you >> need to study much longer" >> >> ------------------------- >> * International student community. >> --------------------- >> >> Only international. No local student community takes part. >> >> ------------------------ >> * Direct interaction with the local and international industry and >> research centres, with the possibility of practical and research >> internships that can lead to future employment. >> ------------------------- >> >> Not at all... >> >> ---------------------------- >> * Excellent scholarship opportunities and student accommodations. >> ---------------------------- >> >> Um amigo russo de um amigo russo meu decidiu abandonar o programa, e um >> dos problemas que ele citou no "partial report" dele foi as pessimas >> condicoes e os varios problemas que ele teve numa "excellent student >> accomodation" em Lisboa. >> >> Em Dresden a acomodacao é de fato excelente. >> >> Em Vienna, o unico problema é esse: alojamentos infestados de baratas e >> precos pra explorar os estudantes em vez de ajudá-los. >> >> -------------------------------------- >> The European Masters Program in Computational Logic is one of the few >> European Masters awarded by the European Union's Erasmus Mundus programme >> from its first year of existence in 2004. >> -------------------------------------- >> >> Talvez esse tenha sido o problema. Eles aplicaram no primeiro ano e >> acabaram ganhando funding por falta de concorrencia... >> >> -------------------------------- >> It supports European top-quality Masters >> Courses >> ------- >> >> :-) Sério? Se o EMCL é top-quality, o que dizer do resto da Europa? >> >> >> Quem quiser mais detalhes e mais informacoes, é só me pedir... Resumindo: >> eu nao recomendo o EMCL. Mas se alguem aí resolver aplicar, faca de tudo pra >> passar os dois anos em Vienna (um amigo meu de Israel conseguiu escapar de >> Madrid depois de 6 meses apenas, em vez de esperar o tempo usual de um >> ano)... >> >> >> Até mais, >> >> Bruno Woltzenlogel Paleo >> >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
