[FOM] [CiE] Newsletter No.23, November 24, 2009

CiE cie at maths.leeds.ac.uk
Fri Nov 27 00:38:17 EST 2009

CiE Newsletter No.23, November 24, 2009


1. Seventh International Conference on 
Computability and Complexity in Analysis (CCA 2010) - Zhenjiang, China

2. Ninth International Conference on 
UNCONVENTIONAL COMPUTATION 2010 (UC10), University of Tokyo, Japan

3. P&C 2010 - 3th International Workshop on 

4. LATA 2010 - last call for papers

5. 3rd Workshop "From Biology To Concurrency and 
back" (FBTC 2010) - deadline extension

1. (from Vladik Kreinovich) Seventh International 
Conference on Computability and Complexity in 
Analysis (CCA 2010) - Zhenjiang, China:

                  First Call for Papers
                  CCA 2010 Proceedings

Seventh International Conference on Computability 
and Complexity in Analysis (CCA 2010) will take 
place in Zhenjiang, China, June 21 - 25, 2010. (http://cca-net.de/cca2010)

The CCA 2010 Program Committee cordially invites 
researchers in the area of computability and 
complexity theory to submit papers for presentation at the conference.

*	Computable analysis
*	Complexity on real numbers
*       Constructive analysis
*	Domain theory and analysis
*	Theory of representations
*	Computable numbers, subsets and functions
*       Randomness and computable measure theory
*	Models of computability on real numbers
*	Realizability theory and analysis
*	Real number algorithms *	Implementation of exact real number arithmetic


Authors are invited to submit a PDF version of an
extended abstract (typically 10-12 pages) on the
following web page:


These extended abstracts need to be prepared with
EPTCS style file



Accepted papers will be published as CCA 2010 
proceedings in Electronic Proceedings in Theoretical Computer Science (EPTCS).

It is planned to publish a special issue in some journal
dedicated to CCA 2010 after the conference.


Submission deadline: March 8, 2010
Notification of authors: April 12, 2010
Final version: May 10, 2010

Invited Speakers:

Klaus Ambos-Spies (Heidelberg, Germany)
Ding-Zhu Du (Dallas, USA) Stefano Galatolo (Pisa, Italy)
Hajime Ishihara (Ishikawa, Japan)
Ker-I Ko (Beijing, China and Stony Brook, USA)
Robert Rettinger (Hagen, Germany)
Klaus Weihrauch (Hagen, Germany)

Program Committee:

  Andrej Bauer (Ljubljana, Slovenia)
  Douglas Bridges (Canterbury, New Zealand)
  Vasco Brattka (Cape Town, South Africa)
  Douglas Cenzer (Gainesville, USA)
  Martin Escardo (Birmingham, UK) Peter Gacs (Boston, USA)
  Daniel Graca (Faro, Portugal)
  Vladik Kreinovich (El Paso, USA)
  Angsheng Li (Beijing, China)
  Elvira Mayordomo (Zaragoza, Spain)
  Mathias Schroeder (Munich, Germany)
  Dieter Spreen (Siegen, Germany)
  Kaile Su (Beijing, China)
  Hideki Tsuiki (Kyoto, Japan)
  Xizhong Zheng, co-chair (Glenside, USA)
  Ning Zhong, co-chair (Cincinnati, USA)
  Martin Ziegler (Darmstadt, Germany)

2. (from Kenichi Morita) Ninth International 
(UC10), University of Tokyo, Japan:

                        Call for Papers or Posters

                    Ninth International Conference on
                     UNCONVENTIONAL COMPUTATION 2010

                       University of Tokyo, Japan
                          June 21st-25th, 2010

UC10 is organized by the University of Tokyo, 
Japan, and CDMTCS, University of Auckland, New 
Zealand, under the auspices of EATCS.

Original papers/posters are solicited in all 
areas of unconventional computation. 
Papers/posters dealing with theory as well as 
with experiments and applications are 
welcome.  Typical, but not exclusive, topics are: 
natural computing including quantum, cellular, 
molecular, neural, and membrane computing as well 
as evolutionary paradigms; chaos and dynamical 
systems based computing; proposals 
forcomputations going beyond the Turing model.

Submissions: Authors are invited to submit papers 
(at most 12 pages) or posters electronically, via EasyChair:


Each author of a paper should prepare a PDF file 
following LNCS format of Springer. Each author of 
a poster should submit a PDF file of either a 
graphical poster or abstract text, which contains 
sufficient information for reviewers to evaluate 
the research outcomes.  Joint submissions to 
other conferences are not permitted.  Each 
accepted paper/poster must be presented at the 
conference. The author of the poster is 
responsible for printing. The proceedings will be 
published by Springer LNCS series and will be available at the conference.

Invited Speakers: (to be confirmed)

Satellite Workshops: (to be confirmed)

Conference Location: The conference and satellite 
workshops will take place in the University of 
Tokyo (Sanjo Conference Hall), Hongo Campus, Japan.

Conference History: The first venue of the 
Unconventional Computation Conference (formerly 
called Unconventional Models of Computation) was 
Auckland, New Zealand, in 1998; subsequent sites 
of the conference were Brussels, Belgium, in 
2000; Kobe, Japan, in 2002; Seville, Spain, in 
2005; York, UK, in 2006; Kingston, Canada, in 
2007; Vienna, Austria, in 2008; and Ponta Delgada, Portugal, in 2009.

UC Steering Committee:
T. Baeck (Leiden, The Netherlands), C.S. Calude 
(Auckland, NZ, co-chair), L.K. Grover (Murray 
Hill, NJ, USA), J. Kari (Turku, Finland), L. Kari 
(London, Ont., Canada), J. van Leeuwen (Utrecht, 
The Netherlands), S. Lloyd (Cambridge, MA, USA), 
Gh. Pu{a}un (Seville, Spain, and Bucharest, 
Romania), T. Toffoli (Boston, MA, USA), C. Torras 
(Barcelona, Spain), G. Rozenberg (Leiden, The 
Netherlands, and Boulder, Colorado, USA, 
co-chair), A. Salomaa (Turku, Finland).

Organizing Committee: Masashi Aono, Wako, Japan 
Masami Hagiya, Tokyo, Japan (chair) Satoshi 
Murata, Tokyo, Japan Ferdinand Peper, Kobe, Japan Fumiaki Tanaka, Tokyo, Japan

Programme Committee:
Andrew Adamatzky, Bristol, UK Selim Akl, 
Kingston, Canada Masashi Aono, Wako, Japan 
Olivier Bournez, Paris, France Cristian S. 
Calude, Auckland, NZ Luca Cardelli, Cambridge, UK 
David Corne, Edinburgh, UK Nachum Dershowitz, Tel 
Aviv, Israel Michael Dinneen, Auckland, NZ Marco 
Dorigo, Brussels, Belgium Masami Hagiya, Tokyo, 
Japan Emma Hart, Edinburgh, UK Gregg Jaeger, 
Boston, USA Natasha Jonoska, Tampa, USA Jarkko 
Kari, Turku, Finland Viv Kendon, Leeds, UK 
Vincenzo Manca, Verona, Italy Jonathan Mills, 
Bloomington, USA Kenichi Morita, Hiroshima 
(co-chair) Ferdinand Peper, Kobe, Japan Kai 
Salomaa, Kingston, Canada Hava Siegelmann, 
Amherst, USA Mike Stannett, Sheffield, UK Darko 
Stefanovic, Albuquerque, USA Susan Stepney, York, 
UK Jon Timmis, York, UK (co-chair) Hiroshi Umeo, 
Osaka, Japan Damien Woods, Seville, Spain Xin Yao, Birmingham, UK

Proceedings Committee: Cristian S. Calude, 
Auckland, NZ Masami Hagiya, Tokyo, Japan Kenichi 
Morita, Hiroshima, Japan Grzegorz Rozenberg, 
Leiden, Netherland Jon Timmis, York, UK


Important Dates:

Submission Deadline: February 1st, 2010
Notification of Acceptance: March 8th, 2010
Revision Deadline: March 29th, 2010
Conference Dates: June 21st-25th, 2010

3. (from Felix Costa) P&C 2010 - 3th 
International Workshop on PHYSICS AND COMPUTATION - On the Nile, Egypt:


P&C 2010
3th International Workshop on PHYSICS AND COMPUTATION
On the Nile, Egypt
August 30 (embarkation) -- September 3 (desembarkation on September

Deadline for submissions: January 15th, 2010


Original papers are solicited in all areas of Physics and Computation
(and related fields). Typical, but not exclusive, topics are:

- Analogue Computation
- Axiomatization of Physics: completeness, decidability, reduction
- Church-Turing thesis
- Computing beyong the Turing barrier
- Digital Physics
- Philosophy of Physics (and computation)
- Quantum computation (digital, analogue). Applications to Biology.
Quantum logics
- Reaction-diffusion models of computation: including Brain Dynamics,
BZ Computers
- Relativity: spacetimes, computation, time travel, speedup
- Theory of measurement: axiomatization , complexity

All researchers in the area of the Workshop are kindly invited to
submit their papers (at most 12 pages) electronically, via easychair:
http://www.easychair.org/conferences/?conf=pc10 . The submissions of
papers are expected to be in PDF format using the suitable class
files of Springer LNCS. Joint submissions to other conferences are
not permitted. Each accepted paper must be presented at the Workshop.


Submissions due: January 15th, 2010
Notification: February 12h, 2010
Final versions due: March 20, 2010

Early Registration: February 19 --- The charter will take a limited
number of 40 participants with some further space for people
travelling together.


Contributed papers will be selected from submissions received by the


- Andrew ADAMATZKI, University of West England
- Selim AKL, Queen's University, Canada
- Hajnal ANDREKA, Alfred Renyi Institute of Mathematics, Budapest
- Edwin BEGGS, University of Swansea
- Olivier BOURNEZ, Ecole Polytechnique
- Dan BROWNE, University College London
- Cristian CALUDE, University of Auckland, New Zealand
- Arturo CARSETTI, University of Rome "Tor Vergata"
- Barry COOPER, University of Leeds
- Bob COECKE, University of Oxford
- Jose Felix COSTA, Technical University of Lisbon
- Gilles DOWEK, Ecole Polytechnique and INRIA
- Walid GOMAA, University of Alexandria
- Viv KENDON, University of Leeds
- Carlos LOURENCO, University of Lisbon
- Judit MADARASZ, Alfred Renyi Institute of Mathematics, Budapest
- Yasser OMAR, Technical University of Lisbon
- Sonja SMETS, University of Groningen , Netherlands
- Mike STANNETT, University of Sheffield
- Karl SVOZIL, Institut fuer Theoretische Physik, Technische
Universitaet Wien
- John V. TUCKER, University of Swansea
- Jiri WIEDERMANN, Academy of Sciences of the Czech Republic ,
Institute of Computer Science
- Karoline WIESNER, University of Bristol
- Martin ZIEGLER, University of Paderborn, Germany


- Caslav BRUKNER
- Cristian CALUDE
- Jose Felix COSTA
- Gregory CHAITIN
- Istvan NEMETI


- Cristian CALUDE
- Jose Felix COSTA
- Walid GOMAA



3rd International Workshop on Physics and Computation, P&C 10
Egypt , August 30 -- September 3 , Cruise downstream and upstream the
Nile, from Luxor (through Aswan) to Luxor.
Arrival and departure airports: Luxor or Cairo.

Includes one (or half) a cabin (7 nights) on board and the meals (but
not drinks) for the 8 days cruise on the Nile.

Registration fees: between $800 and $1200, plus the (optional)
sightseeing package of $145 (till February 20).


Second International Workshop on Physics and Computation

First International Workshop on Physics and Computation


P&C 08: Two Issues of Applied Mathematics and Computation (Volume
215, Issue 4, October 15 , 2009 , Elsevier) and Natural Computing
(Volume 8, Number 3 , September, 2009 , Springer) .
P&C 09: Proceedings will appear as a Bentham Book.
P&C 10: We are applying for a special Issue of Physica D.


Our 5 days (Monday to Friday) Workshop <<Physics and Computation
2010>> comprises:
   8 Invited speakers (50 minutes each, 10 minutes for discussion);
   2 Tutorials (100 minutes each, 20 minutes for discussion);
16 Contributed papers (35 minutes each , 10 minutes for discussion);
   1 Special Session : Homage to Arthur C. Clarke 's 2010 , HAL 9000
New Legacy (120 minutes). David G. Stork has done a respectable work
with respect to 2001
(http://mitpress.mit.edu/e-books/Hal/contents.html). <<Which
realizations in Unconventional Computation make us feel closer to HAL
9000 >>

Social programme includes sightseeing (with visits to) the main
Archeological Stations, discussions with an egyptologist on board,
light lectures after dinner on Egyptology and the reading of



Faculty of Engineering,
Alexandria University,
Alexandria, Egypt
Email: wgomaa at alex.edu.eg and walid.gomaa at loria.fr

4. (from Caros Martin)  LATA 2010 - last call for papers:

Last Call for Papers


Trier, Germany, May 24-28, 2010



Deadline: December 3

Please notice that the deadline is firm and will not be extended !


LATA is a yearly conference in theoretical 
computer science and its applications. As linked 
to the International PhD School in Formal 
Languages and Applications that was developed at 
Rovira i Virgili University (the host of the 
previous three editions and co-organizer of this 
one) in the period 2002-2006, LATA 2010 will 
reserve significant room for young scholars at 
the beginning of their career. It will aim at 
attracting contributions from both classical 
theory fields and application areas 
(bioinformatics, systems biology, language 
technology, artificial intelligence, etc.).


Topics of either theoretical or applied interest 
include, but are not limited to:

- algebraic language theory
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computer linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, 
multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern matching and pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- symbolic dynamics
- term rewriting
- text algorithms
- text retrieval
- transducers
- trees, tree languages and tree machines
- weighted machines


LATA 2010 will consist of:

- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific 
subfields, on open problems, or on professional 
issues (if requested by the participants)


John Brzozowski (Waterloo), Complexity in Convex Languages
Alexander Clark (London), Three Learnable Models 
for the Description of Language
Lauri Karttunen (Palo Alto), to be announced (tutorial)
Borivoj Melichar (Prague), Arbology: Trees and Pushdown Automata
Anca Muscholl (Bordeaux), Communicating Automata (tutorial)


Alberto Apostolico (Atlanta)
Thomas Baeck (Leiden)
Stefania Bandini (Milano)
Wolfgang Banzhaf (St. John's)
Henning Bordihn (Potsdam)
Kwang-Moo Choe (Daejeon)
Andrea Corradini (Pisa)
Christophe Costa Florencio (Leuven)
Maxime Crochemore (Marne-la-Vallée)
W. Bruce Croft (Amherst)
Erzsebet Csuhaj-Varju (Budapest)
Jurgen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
Rodney G. Downey (Wellington)
Frank Drewes (Umea)
Henning Fernau (Trier, co-chair)
Rusins Freivalds (Riga)
Rudolf Freund (Wien)
Paul Gastin (Cachan)
Edwin Hancock (York, UK)
Markus Holzer (Giessen)
Helmut Jorgensen (London, Canada)
Juhani Karhumaki (Turku)
Efim Kinber (Fairfield)
Claude Kirchner (Bordeaux)
Brian Marcus (Vancouver)
Carlos Martin-Vide (Brussels, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Bucharest)
Claudio Moraga (Mieres)
Sven Naumann (Trier)
Chrystopher Nehaniv (Hatfield)
Maurice Nivat (Paris)
Friedrich Otto (Kassel)
Daniel Reidenbach (Loughborough)
Klaus Reinhardt (Tübingen)
Antonio Restivo (Palermo)
Christophe Reutenauer (Montréal)
Kai Salomaa (Kingston, Canada)
Jeffrey Shallit (Waterloo)
Eljas Soisalon-Soininen (Helsinki)
Bernhard Steffen (Dortmund)
Frank Stephan (Singapore)
Wolfgang Thomas (Aachen)
Marc Tommasi (Lille)
Esko Ukkonen (Helsinki)
Todd Wareham (St. John's)
Osamu Watanabe (Tokyo)
Bruce Watson (Pretoria)
Thomas Wilke (Kiel)
Slawomir Zadrozny (Warsaw)
Binhai Zhu (Bozeman)


Adrian Horia Dediu (Tarragona)
Henning Fernau (Trier, co-chair) Maria Gindorf (Trier)
Stefan Gulan (Trier)
Anna Kasprzik (Trier)
Carlos Martin-Vide (Brussels, co-chair) Norbert Muller (Trier)
Bianca Truthe (Magdeburg)


Authors are invited to submit papers presenting 
original and unpublished research. Papers should 
not exceed 12 single-spaced pages and should be 
formatted according to the standard format for 
Springer Verlag's LNCS series (see 
Submissions have to be uploaded at:



A volume of proceedings published by Springer in 
the LNCS series will be available by the time of the conference.

A special issue of the Journal of Computer and 
System Sciences (Elsevier) will be later 
published containing refereed extended versions 
of some of the papers contributed to the 
conference. Submissions to it will be only by invitation.

A special issue of another major journal 
containing papers oriented to applications is under consideration.


The period for registration will be open since 
September 1, 2009 until May 24, 2010. The 
registration form can be found at the website of 
the conference: http://grammars.grlmc.com/LATA2010/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 530 Euro
Late registration fees (PhD students): 430 Euro
On-site registration fees: 550 Euro
On-site registration fees (PhD students): 450 Euro

At least one author per paper should register. 
Papers that do not have a registered author by 
February 15, 2010 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of 
the proceedings volume, coffee breaks, lunches, 
excursion, and conference dinner.


Early (resp. late) registration fees must be paid 
by bank transfer before February 15, 2010 (resp. 
May 14, 2010) to the conference series account at 
Open Bank (Plaza Manuel Gomez Moreno 2, 28020 
Madrid, Spain): IBAN: ES1300730100510403506598 - 
Swift code: OPENESMMXXX (account holder: Carlos 
Martin-Vide & URV ~V LATA 2010).

Please write the participant's name in the 
subject of the bank form. Transfers should not 
involve any expense for the conference.

On-site registration fees can be paid only in cash.

A receipt for the payment will be provided on site.

Besides paying the registration fees, it is 
required to fill in the registration form at the website of the conference.


An award will be offered to the authors of the 
two best papers accepted to the conference. Only 
papers fully authored by PhD students are 
eligible. The award intends to cover their travel expenses.


Paper submission: December 3, 2009 *
Notification of paper acceptance or rejection: January 21, 2010
Final version of the paper for the LNCS proceedings: February 3, 2010
Early registration: February 15, 2010
Late registration: May 14, 2010
Starting of the conference: May 24, 2010
Submission to the post-conference special issue(s): August 27, 2010

* Contributors who have submitted by the deadline 
will be allowed to upload an updated version until December 10.


gindorf-ti at informatik.uni-trier.de


LATA 2010
Universitat Trier
Fachbereich IV ~V Informatik
Campus II, Behringstraße
D-54286 Trier

Phone: +49-(0)651-201-2836
Fax: +49-(0)651-201-3954

5. (from Paola Quaglia) 3rd Workshop 'From 
Biology To Concurrency and back' (FBTC 2010) - deadline extension:

*** Deadline Extension
*** 3rd Workshop "From Biology To Concurrency and back" (FBTC 2010)

*** New deadline for abstracts: November 29, 2009 (abstracts)
*** New deadline for papers: December 8, 2009

More information below or at http://www.disi.unitn.it/~fbtc2010/


                         CALL FOR PAPERS: FBTC 2010

                     From Biology To Concurrency and back

                        (satellite event of ETAPS 2010)

                               March 27, 2010
                               Paphos, Cyprus



	As in its previous editions, the workshop aims at gathering
researchers with
	special interest at the convergence of life and computer science,
with particular
	focus on the application of techniques and tools from concurrency.
	We solicit the submission of unpublished results reporting on both
   analysis, and validation of biological behaviours using
   methods and platforms, and on bio-inspired models and tools for describing
   distributed interactions.
	Topics of interest include, but are not limited to:
	applications of techniques from rewriting logics, process calculi,
Petri Nets,
	graph grammars, hybrid systems, and model checking to the
representation and
   testing of scenarios from life sciences.

	Submission through EasyChair,
   15 pages manuscripts in EPTCS (http://www.eptcs.org/) style.

   Submission of title and abstract: November 29, 2009
   Submission of paper: December 8, 2009
   Notification: January 17, 2010
   Submission of final version: February 21, 2010

PROGRAMME COMMITEE (to be confirmed)
	Marco Antoniotti (University of Milan Bicocca, IT)
	Chiara Bodei (University of Pisa, IT)
	Luca Bortolussi (University of Udine, IT)
	Luca Cardelli (Microsoft Research Cambridge, UK)
	Erik de Vink (Technische Universiteit Eindhoven, NL)
	Vincent Danos (CNRS and University of Edinburgh, UK)
	François Fages (INRIA Paris-Rocquencourt, F)
	Anthony Finkelstein (University College London, UK)
	Walter Fontana (Harvard Medical School, US)
	Radu Grosu (Stony Brook University, US)
	Jane Hillston (University of Edinburgh, UK)
	Anna Ingólfsdóttir (Reykjavik University, IS)
	John Lygeros (Automatic Control Laboratory, CH)
	Emanuela Merelli (University of Camerino, IT) (Co-chair)
	Paola Quaglia (CoSBi and Trento University, IT) (Co-chair)
	Carolyn Talcott (SRI International, US)
	Adelinde Uhrmacher (University of Rostock, DE)
	Cristian Versari (University of Bologna, IT)

Items for the next CiE Newsletter should be sent to s.b.cooper at leeds.ac.uk
to arrive by December 11, 2009

   ASSOCIATION COMPUTABILITY IN EUROPE       http://www.computability.org.uk
   CiE Conference Series                          http://www.illc.uva.nl/CiE
   CiE 2010                                       http://www.cie2010.uac.pt/
   CiE Membership Application Form             http://www.cs.swan.ac.uk/acie

__________ Information from ESET NOD32 Antivirus, 
version of virus signature database 4634 (20091124) __________

The message was checked by ESET NOD32 Antivirus.


More information about the FOM mailing list