CiE Newsletter No.23, November 24, 2009 ___________________________________________________________________________ CONTENTS: 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 PHYSICS AND COMPUTATION - On the Nile, Egypt 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. Topics: * 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 Submissions: Authors are invited to submit a PDF version of an extended abstract (typically 10-12 pages) on the following web page: http://www.easychair.org/conferences/?conf=cca2010 These extended abstracts need to be prepared with EPTCS style file http://style.eptcs.org/ Proceedings: 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. Dates: 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 Conference on UNCONVENTIONAL COMPUTATION 2010 (UC10), University of Tokyo, Japan: Call for Papers or Posters Ninth International Conference on UNCONVENTIONAL COMPUTATION 2010 UC10 University of Tokyo, Japan June 21st-25th, 2010 http://arn.local.frs.riken.jp/UC10/ 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: http://www.easychair.org/conferences/?conf=uc2010 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: PRELIMINARY CALL FOR PAPERS PHYSICS AND COMPUTATION 2010, P&C 10 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- P&C 2010 3th International Workshop on PHYSICS AND COMPUTATION On the Nile, Egypt August 30 (embarkation) -- September 3 (desembarkation on September 5) 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 PROGRAMME COMMITTEE: - 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 STEERING COMMITTEE: - Caslav BRUKNER - Cristian CALUDE - Jose Felix COSTA - Gregory CHAITIN - Istvan NEMETI ORGANIZATION COMMITTEE: - Cristian CALUDE - Jose Felix COSTA - Walid GOMAA - Karl SVOZIL INVITED SPEAKERS AND TUTORIALS: - To be confirmed in the SECOND CALL VENUE: 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). PREVIOUS EVENTS: Second International Workshop on Physics and Computation http://www.lix.polytechnique.fr/~bournez/PC2009/i.php First International Workshop on Physics and Computation http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.h tml POST--CONFERENCE PUBLICATION: 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. STRUCTURE OF THE EVENT Our 5 days (Monday to Friday) Workshop <> 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). <> 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 hieroglyphs. CONTACT: Walid GOMAA Faculty of Engineering, Alexandria University, Alexandria, Egypt Email: wgomaa@alex.edu.eg and walid.gomaa@loria.fr =========================================================================== 4. (from Caros Martin) LATA 2010 - last call for papers: ********************************************************************* Last Call for Papers 4th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2010) Trier, Germany, May 24-28, 2010 http://grammars.grlmc.com/LATA2010/ ********************************************************************* Deadline: December 3 Please notice that the deadline is firm and will not be extended ! ===================================================================== AIMS: 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.). SCOPE: 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 STRUCTURE: 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) INVITED SPEAKERS: 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) PROGRAMME COMMITTEE: 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) ORGANIZING COMMITTEE: 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) SUBMISSIONS: 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 http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at: http://www.easychair.org/conferences/?conf=lata2010 PUBLICATIONS: 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. REGISTRATION: 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. PAYMENT: 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. BEST PAPER AWARDS: 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. IMPORTANT DATES: 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. FURTHER INFORMATION: gindorf-ti@informatik.uni-trier.de CONTACT: 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 http://www.disi.unitn.it/~fbtc2010/ ====================================================================== AIMS AND OBJECTIVES 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 modelling, analysis, and validation of biological behaviours using concurrency-inspired 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 AND PUBLICATION Submission through EasyChair, 15 pages manuscripts in EPTCS (http://www.eptcs.org/) style. IMPORTANT DATES 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@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 ___________________________________________________________________________