| Category: ||E-Conf |
| Subject: ||2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS |
| From: || |
| Email: ||carlos.martin_(on)_urv.cat |
| Date received: ||17 Mar 2011 |
| Start date: ||18 Apr 2011 |
2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND
APPLICATIONS (SSFLA 2011)
(formerly International PhD School in Formal Languages and
Tarragona, Spain, April 18-22, 2011
Organized by: Research Group on Mathematical Linguistics Rovira i
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]
Markus Holzer (Giessen), Computational Complexity [introductory,
14 hours] Thierry Lecroq (Rouen), Text Searching and Indexing
[introductory, 10 hours] Rupak Majumdar (Kaiserslautern),
Software Model Checking [introductory, 10 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]
On a voluntary basis, within 6 months after the end of the
School, students will be expected to draft an individual or
jointly-authored research paper on a topic covered during the
classes under the guidance of the lecturing staff.
It has to be done on line at
They are variable, depending on the number of courses each
student takes. The rule is:
1 hour =
- 10 euros (for payments until November 30, 2010),
- 15 euros (for payments after November 30, 2010).
The fees must be paid to the School's bank account:
Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN:
ES3902270001820201823142 - Swift code: UNOEESM1 (account holder:
Carlos Martin-Vide GRLMC)
Please mention SSFLA 2011 and your full name in the subject. An
invoice will be provided on site. Bank transfers should not
involve any expense for the School.
People registering on site at the beginning of the School must
pay in cash. For the sake of local organization, however, it is
recommended to complete the registration and the payment earlier.
Information about accommodation is provided on the website of the
Students will be delivered a diploma stating the courses
attended, their contents, and their duration. Those participants
who will choose to be involved in a research paper will receive
an additional certificate at the end of the task, independently
on whether the paper will finally get published or not.
Announcement of the programme: October 8, 2010 Starting of the
registration: October 11, 2010 Early registration deadline:
November 30, 2010 Starting of the School: April 18, 2011 End of
the School: April 22, 2011
QUESTIONS AND FURTHER INFORMATION:
Carlos Martin-Vide: carlos.martin_(at)_urv.cat
SSFLA 2011 Research Group on Mathematical Linguistics Rovira i
Virgili University Av. Catalunya, 35 43002 Tarragona, Spain
Phone: +34-977-559543 Fax: +34-977-558386
Elsnet-list mailing list Elsnet-list_(at)_mailman.let.uu.nl