2011 International Spring School in Formal Languages and Applications.

Materias de especialidad:
Descripción:
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
Correo electrónico:
Información adicional:

Carlos Martin-Vide: null De 18 al 22 de abril de 2011

País: