Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.
All courses will be made compatible in terms of schedule.
Courses and Professors:
-Franz Baader (Dresden), Automata and Logic [advanced, 4 hours].
-Thomas Bäck (Leiden), Natural Computing [introductory, 10 hours].
-Markus Holzer (Giessen), Computational Complexity [introductory, 14 hours].
-Claude Kirchner (Bordeaux), Rewriting and Deduction Modulo [introductory, 6 hours].
-Thierry Lecroq (Rouen), Text Searching and Indexing [introductory, 10 hours]
-Rupak Majumdar (Kaiserslautern), Software Model Checking [introductory, 10 hours].
-Risto Miikkulainen (Austin), Natural Language Processing with Subsymbolic Neural Networks [introductory, 6 hours].
-Bernhard Steffen (Dortmund), Automata Learning from Theory to Application [introductory/advanced, 18 hours]
-Wolfgang Thomas (Aachen), omega-Automata and Infinite Games[introductory/advanced, 6 hours]
-Sheng Yu (London ON), Finite Automata and Regular Languages [introductory/advanced, 8 hours].
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain.
Phone: +34-977-559543
Fax: +34-977-558386
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain.
Carlos Martin-Vide: null De 18 al 22 de abril de 2011
