International Fall School in Formal Languages and Applications

FSFLA 2011 is being organized by the Mathematical Linguistics Research Group and will be held on 31 October, 1, 2, 3 and 4 November, at the Catalunya campus of Rovira i Virgili University, Tarragona. The chair is Professor Carlos Martín-Vide and the School is aimed addressed at undergraduate and graduate students from around the world.

The Scholl is most appropriate for student with degrees in Computer Science or Mathematics, but students with other degrees (for instance, in Linguistics, Electrical Engineering, Molecular Biology or Logic) are also welcome provided they have a good background in discrete mathematics.

The School is also appropriate for people who are more advanced in their career who want to keep themselves up to date with developments in the field. The instructors are top names in their respective subjects. The School aims to help students begin their research careers.

The names of the professors and the courses that they will be giving are: Franz Baader (Technische Dresden), Reasoning in Description Logics (intermediate, 6 h.); Manfred Droste (Leipzig), Weighted Automata and Weighted Logic (introductory/advanced, 8 h.); Max H. Garzon (Memphis), DNA Codeword Design and DNA Languages (introductory/intermediate, 10 h.); Venkatesan Guruswami (Carnegie Mellon), The Complexity of Approximate Constraint Satisfaction (intermediate, 6 h.); Tao Jiang (California Riverside), Average-case Analysis and Lower Bounds by the Incompressibility Method (intermediate, 6 h.); Michael Moortgat (Utrecht), Type-logical Grammars: Expressivity, Parsing Complexity [introductory/advanced, 8 h.); Helmut Seidl (Technische München), Macro Treetransducers for XML Processing (intermediate, 6 h.); Alan Selman (Buffalo), Probabilistic Complexity Classes (intermediate, 10 hours); Jeffrey Shallit (Waterloo), Automatic Sequences, Decidability, and Enumeration (intermediate, 6 h.)

For more information, go to http://www.grlmc.com/ , or please contact florentinalilica.voicu@urv.cat