Organizadores:
Research Group on Mathematical Linguistics, Rovira i Virgili University
Tipo de actividad:
Curso
Fecha límite de solicitud:
Martes, 31 diciembre, 2013
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


Ciudad: 
Tarragona
País: 
España
Fecha de inicio: 
Lunes, 18 abril, 2011
Fecha de finalización: 
Viernes, 22 abril, 2011
Dirección postal completa: 
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain.
Correo electrónico: 
Página de Internet: 
Materias de especialidad: 
Información adicional: 

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


16/06/2016 Congresos y cursos