Olá,
----------- 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? ---------- Foi sim! :-) O Schönbrunn realmente dá um bom wallpaper pro desktop, especialmente se a foto for tirada num dia de sol... Até mais, Bruno -------------------------------- Bruno Woltzenlogel Paleo Phone: +43 (680) 2109403 Skype: bruno.wp Website: <http://www.logic.at/people/bruno/> http://www.logic.at/people/bruno/ From: Francisco Antonio Doria [mailto:[email protected]] Sent: Freitag, 16. Januar 2009 19:44 To: Bruno Woltzenlogel Paleo Cc: [email protected] Subject: Re: [Logica-l] European Masters Program in Computational Logic 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
