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
