ELSNET-List Message
Elsnet
 
   


ELSNET-List Message

Subject: [ E-Conf ] 2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS
From: <grlmc_(on)_urv.cat>
Date received: 30 Sep 2012
Deadline: -
Start date: 29 Oct 2012





*To be removed from our mailing list, please respond to this
message with UNSUBSCRIBE in the subject*

*****************************************************************

2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND
APPLICATIONS

FSFLA 2012

(formerly International PhD School in Formal Languages and
Applications)

Tarragona, Spain

October 29 - November 2, 2012

Organized by:

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

http://grammars.grlmc.com/fsfla2012/

*****************************************************************

AIM:

FSFLA 2012 offers a broad and intensive series of lectures at
different levels on selected topics in language and automata
theory and their applications. The students choose their
preferred courses according to their interests and background.
Instructors are top names in their respective fields. The School
intends to help students initiate and foster their research
career.

The previous event in this series was FSFLA 2011
(http://grammars.grlmc.com/fsfla2011/).

ADDRESSED TO:

Graduate (and advanced undergraduate) 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.

The School is appropriate also for people more advanced in their
career who want to keep themselves updated on developments in the
field.

There is no overlap in the class schedule.

COURSES AND PROFESSORS:

- Eric Allender (Rutgers), Circuit Complexity: Recent Progress in
  Lower Bounds [introductory/advanced, 8 hours]

- Amihood Amir (Bar-Ilan), Periodicity and Approximate
  Periodicity in Pattern Matching [introductory, 6 hours]

- Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent
  Boolean Programs [introductory/advanced, 8 hours]

- Bruno Courcelle (Bordeaux), Automata for Monadic Second-order
  Model Checking [intermediate, 8 hours]

- Jörg Flum (Freiburg), The Halting Problem for Turing Machines
  [introductory/advanced, 6 hours]

- Aart Middeldorp (Innsbruck), Termination of Rewrite Systems
  [introductory/intermediate, 8 hours]

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/fsfla2012/Registration.php

FEES:

They are variable, depending on the number of courses each
student takes. The rule is:

1 hour =

- 10 euros (for payments until June 2, 2012),

- 12.50 euros (for payments between June 3 and August 15, 2012),

- 15 euros (for payments after August 15, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank

bank's address: Julian Camarillo 4 C, 28037 Madrid, Spain

IBAN: ES3902270001820201823142

SWIFT/BIC code: UNOEESM1

account holder: Carlos Martin-Vide GRLMC

account holder's address: Av. Catalunya 35, 43002 Tarragona,
Spain

Please mention FSFLA 2012 and your name in the subject. A receipt
will be provided on site.

Remarks:

- Bank transfers should not involve any expense for the School.

- People claiming early registration will be requested to prove
  that the bank transfer order was carried out by the deadline.

- Students may be refunded only in the case when a course gets
  cancelled due to the unavailability of the instructor.

People registering on site at the beginning of the School must
pay in cash. For the sake of local organization, however, it is
much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation is available on the website of
the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses
attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: March 24, 2012

Starting of the registration: March 24, 2012

Very early registration deadline: June 2, 2012

Early registration deadline: August 15, 2012

Starting of the School: October 29, 2012

End of the School: November 2, 2012

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:

florentinalilica.voicu_(at)_urv.cat

WEBSITE:

http://grammars.grlmc.com/fsfla2012/

POSTAL ADDRESS:

FSFLA 2012

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

Av. Catalunya, 35

43002 Tarragona, Spain

Phone: +34-977-559543

Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona

Universitat Rovira i Virgili

ATT00001

__________________________________________
- ELSNET mailing list Elsnet-list_(at)_elsnet.org
- To manage your subscription go to:
  http://mailman.elsnet.org/mailman/listinfo/elsnet-list


	

[ Search | Events calendar | Deadline calendar ]

 

Page generated 19-12-2014 by Steven Krauwer Disclaimer / Contact ELSNET