From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9D10A7ED67 for ; Sun, 12 Aug 2012 17:52:06 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of grlmc@urv.cat) identity=pra; client-ip=193.144.16.78; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of grlmc@urv.cat designates 193.144.16.78 as permitted sender) identity=mailfrom; client-ip=193.144.16.78; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta01.urv.cat) identity=helo; client-ip=193.144.16.78; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="postmaster@mta01.urv.cat"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcCAITQJ1DBkBBOiWdsb2JhbAAqBBaCSq48iHMiAQEBFSYFIoIiBQglIRkCAQQYAQQqCgILASYCBBICJQEECgkIAxIEh3AHKpdHkniNSgSLDgODBoJIYAOIGYMYgWZciGyFNIQ9h2yBVAQ X-IronPort-AV: E=Sophos;i="4.77,756,1336341600"; d="scan'208,217";a="169706295" Received: from mta01.urv.cat ([193.144.16.78]) by mail1-smtp-roc.national.inria.fr with ESMTP; 12 Aug 2012 17:52:05 +0200 X-IronPort-AV: E=Sophos;i="4.77,756,1336341600"; d="scan'208,217";a="29894533" Received: from pmbox2.urv.cat ([193.144.16.41]) by mta.urv.cat with ESMTP; 12 Aug 2012 17:52:05 +0200 Received: from Carlos1 (74.Red-81-39-183.dynamicIP.rima-tde.net [81.39.183.74]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by pmbox2.urv.cat (Postfix) with ESMTPSA id CA1E9E192; Sun, 12 Aug 2012 17:51:50 +0200 (CEST) From: "GRLMC" To: Date: Sun, 12 Aug 2012 17:52:00 +0200 Message-ID: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_049C_01CD78B3.35112E90" X-Mailer: Microsoft Office Outlook 11 X-MIMEOLE: Produced By Microsoft MimeOLE V6.0.6000.16669 Thread-index: Ac14omkMILyNqXI5Qg6Awvms/da88w== X-Validation-by: grlmc@urv.cat Subject: [Caml-list] FSFLA 2012: 3rd announcement This is a multi-part message in MIME format. ------=_NextPart_000_049C_01CD78B3.35112E90 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* =20 ********************************************************************* =20 2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS =20 FSFLA 2012 =20 (formerly International PhD School in Formal Languages and Applications) =20 Tarragona, Spain =20 October 29 =96 November 2, 2012 =20 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University =20 http://grammars.grlmc.com/fsfla2012/ =20 ********************************************************************* =20 AIM: =20 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. =20 The previous event in this series was FSFLA 2011 ( http://grammars.grlmc.com/fsfla2011/). =20 ADDRESSED TO: =20 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. =20 The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. =20 There is no overlap in the class schedule. =20 COURSES AND PROFESSORS: =20 - 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=F6rg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours] - Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours] =20 REGISTRATION: =20 It has to be done on line at =20 http://grammars.grlmc.com/fsfla2012/Registration.php =20 FEES: =20 They are variable, depending on the number of courses each student takes. The rule is: =20 1 hour =3D=20 =20 - 10 euros (for payments until June 2, 2012),=20 - 12.50 euros (for payments between June 3 and August 15, 2012), - 15 euros (for payments after August 15, 2012).=20 =20 PAYMENT PROCEDURE: =20 The fees must be paid to the School's bank account:=20 =20 Uno-e Bank bank=92s address: Julian Camarillo 4 C, 28037 Madrid, Spain IBAN: ES3902270001820201823142 SWIFT/BIC code: UNOEESM1 account holder: Carlos Martin-Vide GRLMC account holder=92s address: Av. Catalunya 35, 43002 Tarragona, Spain =20 Please mention FSFLA 2012 and your name in the subject. A receipt will be provided on site. =20 Remarks: =20 - 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. =20 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. =20 ACCOMMODATION: =20 Information about accommodation is available on the website of the School. =20 CERTIFICATE: =20 Students will be delivered a certificate stating the courses attended, their contents, and their duration.=20 =20 IMPORTANT DATES: =20 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=20 =20 QUESTIONS AND FURTHER INFORMATION: =20 Lilica Voicu: florentinalilica.voicu@urv.cat=20 =20 WEBSITE: =20 http://grammars.grlmc.com/fsfla2012/=20 =20 POSTAL ADDRESS: =20 FSFLA 2012 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain =20 Phone: +34-977-559543 Fax: +34-977-558386 =20 ACKNOWLEDGEMENTS: =20 Diputaci=F3 de Tarragona Universitat Rovira i Virgili =20 ------=_NextPart_000_049C_01CD78B3.35112E90 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

*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)

 

Tarragon= a, 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 th= eory and their applications. The students choose their preferred courses accordi= ng 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 201= 1 (http://grammars= .grlmc.com/fsfla2011/).

 

ADDRESSED T= O:

 

Graduate (and advanced undergraduate) students = from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, fr= om 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 development= s in the field.

 

There is no overlap in the class schedule.=

 

COURSES AND PROFESSORS:

 

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

- Amihood A= mir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [in= troductory, 6 hours]

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

- Bruno Cou= rcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours]<= /span>

- J=F6rg Fl= um (Freiburg), The Halting Problem for Turi= ng Machines [introductory/advanced, 6 hours]

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

 

REGISTRATIO= N:

 

It has to be done on line at<= /font>

 

http://grammars.grlmc.com/fsfla2012/Registratio= n.php

 

FEES:<= /o:p>

 

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

 

1 hour =3D

 

- 10 euros (for payments until June 2, 2012), <= o:p>

- 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 acco= unt:

 

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 3= 5, 43002 Tarragona, Spain

 

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

 

Remarks:

 

- Bank transfer= s should not involve any expense for the School.

- People claimi= ng 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.

 

ACCOMMODATI= ON:

 

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 D= ATES:

 

Announcement of the programme: March 24, 2012

Starting of the registration: March 24, 2012

Very early registration deadline: June 2, 2012<= o:p>

Early registration deadline: August 15, 2012

Starting of the School: October 29, 2012

End of the School: November 2, 2012 =

 

QUESTIONS A= ND FURTHER INFORMATION:

 

Lilica Voicu:

florentinalilica.voicu@urv.cat

 

WEBSITE:

 

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

 

POSTAL ADDR= ESS:

 

FSFLA 2012

Research Group on Mathematical Linguistics (GRL= MC)

Rovira i Virgili University

Av. Catalunya, 35

43002 Tarragon= a, Spain

 

Phone: +34-977-559543<= /p>

Fax: +34-977-558386

 

ACKNOWLEDGE= MENTS:

 

Diputaci=F3 de Tarragona

Universitat Rovira i Virgili<= /p>

 

------=_NextPart_000_049C_01CD78B3.35112E90--