FSFLA 2012 Registration Form

(form version 1.6)

This is the registration form for FSFLA 2012.

SCHOOL CANCELLED

For security reasons, you should fill in the form in less than 10 minutes.

Fees:

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: Avinguda 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.

Please provide the following contact information: (bold fields are mandatory)!

¹ The default values for City and Country fields are based on the client IP remote address. This information might be not very accurate (due to ISP policies, proxy connections, etc.), and we kindly ask you to provide the right values for the registration form.

Name:
Name in Latex: (with accents, please)
Title:
Affiliation:
City¹:
Country¹:
E-mail:

Note that E-mail field is not obligatory; we recommend to fill in this field to receive course materials before the school starts.

Registration Type:

	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]

Supplementary information:

Arriving Date:
Departure Date:
Comments, special requests, etc.:

Acknowledgement and Copyright Notice

This product includes GeoLite data created by MaxMind, available from http://www.maxmind.com/app/geolitecity, database last updated April 1st, 2011.