[TYPES/announce] COMPUTABILITY - The Journal of the Association CiE

2011-07-21 Thread S Barry Cooper
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

___

COMPUTABILITY
The Journal of the Association CiE

Now Accepting Submissions!

First volume to be published in 2012
as part of the celebrations of the Alan Turing Year

http://www.computability.de/journal/
___

Aims and Scope

Computability is the journal of the Association Computability in Europe
and it is published by IOS Press in Amsterdam.

The journal Computability is a peer reviewed international journal that
is devoted to publishing original research of highest quality, which is
centered around the topic of computability.

The subject is understood from a multidisciplinary perspective,
recapturing the spirit of Alan Turing (1912-1954) by linking theoretical
and real-world concerns from computer science, mathematics, biology,
physics, computational neuroscience, history and the philosophy of
computing.

Editor-in-Chief

Vasco Brattka (Cape Town, South Africa)

Managing Editors

Paola Bonizzoni (Milan, Italy)
S. Barry Cooper (Leeds, UK)
Benedikt Loewe (Amsterdam, The Netherlands)
Elvira Mayordomo (Zaragoza, Spain)

Editorial Board

Samson Abramsky (Oxford, UK)
Manindra Agrawal (Kanpur, India)
Eric Allender (Piscataway, USA)
Jeremy Avigad (Pittsburgh, USA)
Arnold Beckmann (Swansea, UK)
Olivier Bournez (Palaiseau, France)
Alessandra Carbone (Paris, France)
Karine Chemla (Paris, France)
Bruno Codenotti (Pisa, Italy)
Stephen A. Cook (Toronto, Canada)
Anuj Dawar (Cambridge, UK)
Rodney G. Downey (Wellington, New Zealand)
Natasha Jonoska (Tampa, USA)
Ulrich Kohlenbach (Darmstadt, Germany)
Russell Miller (New York, USA)
Andrei Morozov (Novosibirsk, Russia)
Prakash Panangaden (Montreal, Canada)
Frank Stephan (Singapore)
Vlatko Vedral (Oxford, UK)
Rineke Verbrugge (Groningen, The Netherlands)
Ning Zhong (Cincinnati, USA)


Submission Guidelines

The journal Computability invites submission of full papers of highest
quality on all research topics related to computability.

Computability accepts only submissions of original research papers that
have not been published previously and that are not currently submitted
elsewhere. Full versions of papers that have already been published in
conference proceedings are eligible only if the conference version is
clearly cited and the full version enhances the conference version
significantly.

Authors are requested to submit PDF manuscripts electronically via the
online submission system. Authors can indicate non-binding wishes
regarding Editorial Board Members who should handle their submission.
Final versions of accepted papers have to be prepared using the journal
style file and they need to be submitted together with all source files.

Authors submitting a manuscript do so on the understanding that they
have read and agreed to the terms of the IOS Press Author Copyright
Agreement and that all persons listed as authors have given their
approval for the submission of the paper.

http://www.computability.de/journal/
___




[TYPES/announce] FSFLA 2011: 2nd announcement

2011-07-21 Thread Carlos Martín Vide
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*

2011 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES
AND APPLICATIONS

FSFLA 2011

(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain

October 31 – November 4, 2011

Organized by:
Research Group on Mathematical Linguistics
Rovira i Virgili University

http://grammars.grlmc.com/fsfla2011/

*

ADDRESSED TO:

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.

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

There will be no overlap in the schedule of the courses.

The previous event was SSFLA 2011 (http://grammars.grlmc.com/ssfla2011/).

COURSES AND PROFESSORS:

- Franz Baader (Technische Dresden), Reasoning in Description Logics 
[intermediate, 6 hours]
- Manfred Droste (Leipzig), Weighted Automata and Weighted Logic 
[introductory/advanced, 8 hours]
- Max H. Garzon (Memphis), DNA Codeword Design and DNA Languages 
[introductory/intermediate, 10 hours]
- Venkatesan Guruswami (Carnegie Mellon), The Complexity of Approximate 
Constraint Satisfaction [intermediate, 6 hours]
- Tao Jiang (California Riverside), Average-case Analysis and Lower Bounds by 
the Incompressibility Method [intermediate, 6 hours]
- Michael Moortgat (Utrecht), Type-logical Grammars: Expressivity, Parsing 
Complexity [introductory/advanced, 8 hours]
- Helmut Seidl (Technische München), Macro Treetransducers for XML Processing 
[intermediate, 6 hours]
- Alan Selman (Buffalo), Probabilistic Complexity Classes [intermediate, 10 
hours]
- Jeffrey Shallit (Waterloo), Automatic Sequences, Decidability, and 
Enumeration [intermediate, 6 hours]

SCHOOL PAPER:

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.

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/fsfla2011/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 July 31, 2011), 
- 15 euros (for payments after July 31, 2011). 

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

Uno-e Bank (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 2011 and your full name in the subject. A receipt will be 
provided on site. Bank transfers should not involve any expense for the School.

For early reduced rates, please notice that the date that counts is the date of 
the arrival of the fees to the School’s account.

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 complete the 
registration and the payment earlier.

ACCOMMODATION:

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

CERTIFICATES:

Students will be delivered a certificate 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 completion of 
the task, independently on whether the paper will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: June 4, 2011
Starting of the registration: June 4, 2011
Early registration deadline: July 31, 2011
Starting of the School: October 31, 2011
End of the School: November 4, 2011 

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu: florentinalilica.vo...@urv.cat 

WEBSITE:

http://grammars.grlmc.com/fsfla2011/ 

POSTAL ADDRESS:

FSFLA 2011
Research Group on Mathematical Linguistics
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