Publishing Partner: Cambridge University Press CUP Extra Wiley-Blackwell Publisher Login

FYI: 4th Intl Phd School/Formal Languages


Author: Carlos Martin-Vide

Linguistic Field(s): General Linguistics

FYI Body: 4TH INTERNATIONAL PHD SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS
2004-2006

ROVIRA I VIRGILI UNIVERSITY
RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
TARRAGONA, SPAIN


AWARDED WITH THE MARK OF QUALITY (MENCION DE CALIDAD) BY THE
SPANISH MINISTRY FOR EDUCATION AND SCIENCE, MCD2003-00820


COURSES AND PROFESSORS 1ST TERM (MARCH-JULY 2005)

FORMAL LANGUAGES: FOUNDATIONS, ROOTS, SOURCES AND APPLICATIONS (SOLOMON
MARCUS, BUCHAREST)

LANGUAGES (ZOLTAN ESIK, TARRAGONA)

COMBINATORICS ON WORDS (TERO HARJU, TURKU)

VARIETIES OF FORMAL LANGUAGES (JEAN-ERIC PIN, PARIS)

REGULAR GRAMMARS (MASAMI ITO, KYOTO)

CONTEXT-FREE GRAMMARS (MANFRED KUDLEK, HAMBURG)

CONTEXT-SENSITIVE GRAMMARS (VICTOR MITRANA, TARRAGONA)

MILDLY CONTEXT-SENSITIVE GRAMMARS (HENNING BORDIHN, POTSDAM)

FINITE AUTOMATA (SHENG YU, LONDON ON)

PUSHDOWN AUTOMATA (HENDRIK JAN HOOGEBOOM, LEIDEN)

TURING MACHINES (MAURICE MARGENSTERN, METZ)

COMPUTATIONAL COMPLEXITY (MARKUS HOLZER, MUNICH)

DESCRIPTIONAL COMPLEXITY OF AUTOMATA AND GRAMMARS (DETLEF WOTSCHKE,
FRANKFURT)

INTRODUCTION TO KOLMOGOROV COMPLEXITY AND ITS APPLICATIONS (FOR EXAMPLE,
IN FORMAL LANGUAGES AND AUTOMATA) (PAUL VITANYI, AMSTERDAM)

PATTERNS (KAI SALOMAA, KINGSTON ON)

INFINITE WORDS (JUHANI KARHUMAKI, TURKU)

STURMIAN WORDS (JEAN BERSTEL, MARNE-LA-VALLEE)

TWO-DIMENSIONAL LANGUAGES (KENICHI MORITA, HIROSHIMA)

PROBABILISTIC AUTOMATA: BACKGROUND, RELATED TOPICS AND GENERALIZATION
(AZARIA PAZ, HAIFA)

GRAMMARS WITH REGULATED REWRITING (JUERGEN DASSOW, MAGDEBURG)

CONTEXTUAL GRAMMARS (CARLOS MARTIN-VIDE, TARRAGONA)

PARALLEL GRAMMARS (HENNING FERNAU, TUEBINGEN)

GRAMMAR SYSTEMS (ERZSEBET CSUHAJ-VARJU, BUDAPEST)

TREE AUTOMATA AND TREE LANGUAGES (MAGNUS STEINBY, TURKU)

TREE TRANSDUCERS (ZOLTAN FULOP, SZEGED)

TREE ADJOINING GRAMMARS (JAMES ROGERS, RICHMOND IN)

FORMAL LANGUAGES AND CONCURRENT SYSTEMS (JETTY KLEIJN, LEIDEN)

GRAPH GRAMMARS AND GRAPH TRANSFORMATION (HANS-JOERG KREOWSKI, BREMEN)

RESTARTING AUTOMATA (FRIEDRICH OTTO, KASSEL)

DECISION PROBLEMS OF RATIONAL RELATIONS (CHRISTIAN CHOFFRUT, PARIS)

COURSES AND PROFESSORS 2ND TERM (SEPTEMBER-DECEMBER 2005)

FORMAL POWER SERIES (WERNER KUICH, VIENNA)

FUZZY FORMAL LANGUAGES (CLAUDIO MORAGA, DORTMUND)

DNA COMPUTING: THEORY AND EXPERIMENTS (MITSUNORI OGIHARA, ROCHESTER NY)

SPLICING SYSTEMS (RANI SIROMONEY, CHENNAI)

AQUEOUS COMPUTING (TOM HEAD, BINGHAMTON NY)

CELLULAR AUTOMATA (GIANCARLO MAURI, MILAN)

UNIFICATION GRAMMARS (SHULY WINTNER, HAIFA)

CONTEXT-FREE GRAMMAR PARSING (GIORGIO SATTA, PADUA)

PROBABILISTIC PARSING (MARK-JAN NEDERHOF, GRONINGEN)

CATEGORIAL GRAMMARS (MICHAEL MOORTGAT, UTRECHT)

WEIGHTED AUTOMATA (MANFRED DROSTE, LEIPZIG)

WEIGHTED FINITE-STATE TRANSDUCERS (MEHRYAR MOHRI, FLORHAM PARK NJ)

GRAMMATICAL INFERENCE (COLIN DE LA HIGUERA, SAINT-ETIENNE)

MATHEMATICAL FOUNDATIONS OF LEARNING THEORY (SATOSHI KOBAYASHI, TOKYO)

NATURAL LANGUAGE PROCESSING WITH SYMBOLIC NEURAL NETWORKS (RISTO
MIIKKULAINEN, AUSTIN TX)

STOCHASTIC LEARNING AUTOMATA (JOHN OOMMEN, OTTAWA ON)

TEXT RETRIEVAL: FOUNDATIONS (MAXIME CROCHEMORE, MARNE-LA-VALLEE)

TEXT RETRIEVAL: APPLICATIONS (RICARDO BAEZA-YATES, SANTIAGO DE CHILE)

MATHEMATICAL EVOLUTIONARY GENOMICS (DAVID SANKOFF, OTTAWA ON)

QUANTUM AUTOMATA (JOZEF GRUSKA, BRNO)

FORMAL LANGUAGES AND LOGIC (VINCENZO MANCA, VERONA)

CODES (FERNANDO GUZMAN, BINGHAMTON NY)

CRYPTOGRAPHY (VALTTERI NIEMI, HELSINKI)

STRING COMPLEXITY (LUCIAN ILIE, LONDON OON)

IMAGE COMPRESSION (JARKKO KARI, TURKU)

TOPICS IN ASYNCHRONOUS CIRCUIT THEORY (JOHN BRZOZOWSKI, WATERLOO ON)

GRAMMAR-THEORETIC MODELS IN ARTIFICIAL LIFE (JOZEF KELEMEN, OPAVA)

SYNTACTIC METHODS IN PATTERN RECOGNITION (RUDOLF FREUND, VIENNA)

AUTOMATA-THEORETIC TECHNIQUES FOR VERIFICATION AND OTHER DECISION
PROBLEMS (OSCAR IBARRA, SANTA BARBARA CA)

HTTP://PIZARRO.FLL.URV.ES/CONTINGUTS/LINGUISTICA/PROYECTO/GRLMC.HTM

STUDENTS:

CANDIDATE STUDENTS FOR THE PROGRAMME ARE WELCOME FROM AROUND THE WORLD.
MOST APPROPRIATE DEGREES INCLUDE: COMPUTER SCIENCE AND MATHEMATICS.
OTHER STUDENTS (FOR INSTANCE, FROM LINGUISTICS, LOGIC OR ENGINEERING)
COULD BE ACCEPTED PROVIDED THEY HAVE A GOOD UNDERGRADUATE BACKGROUND IN
DISCRETE MATHEMATICS. AT THE BEGINNING OF THE FIRST TERM, A SERIES OF
LESSONS ON DISCRETE MATHEMATICS ADVANCED PRE-REQUISITES WILL BE OFFERED,
IN ORDER TO HOMOGENIZE THE STUDENTS' MATHEMATICAL BACKGROUND.

BEFORE APPLYING TO THE PROGRAMME AND IN ORDER TO CHECK ELIGIBILITY, THE
STUDENT MUST BE CERTAIN THAT THE HIGHEST UNIVERSITY DEGREE S/HE GO
ENABLES HER/HIM TO BE ENROLLED IN A DOCTORAL PROGRAMME IN HER/HIS HOME
COUNTRY.

TUITION FEES:

1,867 EUROS IN TOTAL, APPROXIMATELY.

DISSERTATION:

AFTER FOLLOWING THE COURSES, THE STUDENTS ENROLLED IN THE PROGRAMME WILL
HAVE TO WRITE AND DEFEND A RESEARCH PROJECT AND, LATER, A DISSERTATION
IN ENGLISH IN THEIR OWN AREA OF INTEREST, IN ORDER TO GET THE SO-CALLED
EUROPEAN PHD DEGREE (WHICH IS A STANDARD PHD DEGREE WITH AN ADDITIONAL
MARK OF QUALITY). ALL THE PROFESSORS IN THE PROGRAMME WILL BE ALLOWED TO
SUPERVISE STUDENTS' WORK.

FUNDING:

DURING THE TEACHING SEMESTERS, FUNDING OPPORTUNITIES WILL BE PROVIDED BY
THE SPANISH MINISTRY FOR EDUCATION AND SCIENCE (MOBILITY GRANTS), BY THE
SPANISH MINISTRY FOR FOREIGN AFFAIRS (BECAS MAE), AND BY THE EUROPEAN
COMMISSION (ALBAN SCHEME, FOR LATIN AMERICAN CITIZENS). ADDITIONALLY,
THE UNIVERSITY MAY HAVE A VERY LIMITED AMOUNT OF ECONOMIC RESOURCES
ITSELF FOR COVERING THE TUITION FEES, ACCOMMODATION AND LIVING EXPENSES
OF A FEW MORE STUDENTS.

IMMEDIATELY AFTER THE COURSES AND DURING THE WRITING OF THE PHD
DISSERTATION, SOME OF THE BEST STUDENTS WILL BE OFFERED 4-YEAR RESEARCH
FELLOWSHIPS, WHICH WILL ALLOW THEM TO WORK IN THE FRAMEWORK OF THE HOS
RESEARCH GROUP.

PRE-REGISTRATION PROCEDURE:

IN ORDER TO BE PRE-REGISTERED, ONE SHOULD POST TO THE PROGRAMME
CHAIRMAN:
. XEROCOPY OF THE MAIN PAGE OF THE PASSPORT,
. XEROCOPY OF THE HIGHEST UNIVERSITY EDUCATION DIPLOMA,
. XEROCOPY OF THE ACADEMIC RECORD,
. FULL CV,
. LETTERS OF RECOMMENDATION (OPTIONAL),
. ANY OTHER DOCUMENT TO PROVE BACKGROUND, INTEREST AND MOTIVATION
(OPTIONAL).

SCHEDULE:

ANNOUNCEMENT OF THE PROGRAMME: JULY 31, 2004

PRE-REGISTRATION DEADLINE: OCTOBER 31, 2004

SELECTION OF STUDENTS: NOVEMBER 5, 2004

STARTING OF THE 1ST TERM (TENTATIVE): MARCH 29, 2005

END OF THE 1ST TERM (TENTATIVE): JULY 11, 2005

STARTING OF THE 2ND TERM (TENTATIVE): SEPTEMBER 12, 2005

END OF THE 2ND TERM (TENTATIVE): DECEMBER 23, 2005

DEFENSE OF THE RESEARCH PROJECT (TENTATIVE): SEPTEMBER 16, 2006

DEA EXAMINATION (TENTATIVE): MARCH 17, 2007

QUESTIONS AND FURTHER INFORMATION:

PLEASE, CONTACT THE PROGRAMME CHAIRMAN, CARLOS MARTIN-VIDE, A
CMV@ASTOR.URV.ES

POSTAL ADDRESS:

RESEARCH GROUP ON MATHEMATICAL LINGUISTICS

ROVIRA I VIRGILI UNIVERSITY

PL. IMPERIAL TARRACO, 1

43005 TARRAGONA, SPAIN

PHONE: +34-977-559543

FAX: +34-977-559597



Back   FYI main page