Belo dia de verão, todo mundo em mangas de camisa... 2009/1/21 Bruno Woltzenlogel Paleo <[email protected]>
> 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/* > > > > > > *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
