CiE Newsletter No.15, June 27, 2009 ___________________________________________________________________________ CONTENTS: 1. Colloquium on Unconventional Models of Computation, in honor of Giancarlo Mauri - Call for Participation 2. Special issue of International Journal of Unconventional Computing - Call for Papers 3. Current Trends in Theory and Practice of Computer Science (SOFSEM 2010) - Extension of Deadline 4. Unconventional Computation 2009 (UC 2009) - Last minute registration 5. Computability and Complexity in Analysis 2009 (CCA 2009) - Call for Participation 6. 6th Workshop on Fixed Points in Computer Science, FICS 2009 - CfP 7. Special issue of Journal of Universal Computers Science (JUCS) from CCA 2008, published in honour of Klaus Weihrauch's 65th birthday - now online ========================================================================= 1. (from Paola Bonizzoni) Colloquium on Unconventional Models of Computation, in honor of Giancarlo Mauri - Call for Participation: COLLOQUIUM ``UNCONVENTIONAL MODELS OF COMPUTATION'' 28th September 2009, Cremona, Italy CALL FOR PARTICIPATION A colloquium in honor of Giancarlo Mauri, entitled ``Unconventional models for computation'', will be co-located with ICTCS 09 http://www.cremona.polimi.it/ictcs09/ on September 28. The colloquium consists of an opening lecture delivered by Grzegorz Rozenberg and invited contributions. Moreover few free contributions could be considered. Interested people can send by e-mail an abstract to Paola Bonizzoni (bonizzoni@disco.unimib.it) up to July 15. (Please notice that the deadline for submitting to ICTCS remains June 28) Paola Bonizzoni and The Organizing and Scientific Commettee of ICTS 09 Paola Bonizzoni Dipartimento di Informatica Sistemistica e Comunicazione Universita Degli Studi di Milano-Bicocca (ITALY) email: bonizzoni at disco dot unimib dot it tel. (+39) 02-64487814 fax: (+39) 02-64487839 http://bioinformatics.bio.disco.unimib.it/~bonizzoni/ ========================================================================= 2. (from Jerome Durand-Lose) Special issue of International Journal of Unconventional Computing - Call for Papers: CALL for PAPERS ********************************************************************** International Journal of Unconventional Computing Special issue on New Worlds of Computation ********************************************************************** http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose/Recherche/2009_IJ UC_NWC http://www.oldcitypublishing.com/IJUC/IJUC.html ********************************************************************** This special issue is a sequel to the Worskop New Worlds of Computation (NWC '09) January 12, 2009, Orleans, FRANCE http://www.univ-orleans.fr/lifo/Manifestations/NMC09/ Submission is open (i.e. NOT restricted to NWC participants) ********************************************************************** Topics The special issue aims at gathering papers from a wide off-Turing community in order to bring forth the common problematics as well as divergent results. Models of computation that fall out of the Turing context: * Analog computation * Continuous computation * Hybrid systems * Computation on infinite structures (Ordinals, linear orders) * Hypercomputation * Infinite time computation * Non-Euclidean spaces * Non-standard approaches * Optical collision * Abstract geometrical computation * Cellular automata * Collision based, quantum, DNA, membrane... The classical Turing computability has been THE paradigm for computation for more than half a century. In less than two decades, various paradigms have been proposed (invented, discovered or reframed) and communities have emerged: computable analysis, algebraic models, Quantum computing, DNA, Cellular automaton... All of them fall outside the classical context because they manipulate objects that are just out of the classical scope (infinite objects or uncountably many values) or continuous or infinite time. Unfortunately, there is no miraculous generalized Church-Turing thesis (nor specialized analog nor...). The audience aimed at is roughly the same as: * Machines, Computations and Universality * Unconventional Computation * Computability in Europe * Hypercomputation Research Network Deadlines Submission September 1st 2009 Notification December 1th 2009 Submission is handled with easychair: https://www.easychair.org/login.cgi?conf=ijuc_nwc_09 Guest editor Jerome Durand-Lose contact: jerome.durand-lose@univ-orleans.fr LIFO (Laboratoire d'Informatique Fondamentale d'Orleans), projet Graphes et Algorithmes Universite d'Orleans - logo Universite d'Orleans, Departement d'Informatique de l'UFR Sciences. ========================================================================= 3. (from Roman Spanek) Current Trends in Theory and Practice of Computer Science (SOFSEM 2010) - Extension of Deadline: DEADLINE EXTENDED SOFSEM 2010 36th Conference on Current Trends in Theory and Practice of Computer Science January 23-29, 2010, Hotel Bedrichov, Spindleruv Mlyn, Czech Republic http://www.sofsem.cz The initial SOFSEM deadline has passed, but we received many signals that an extension of the deadline for full papers would be very desirable for many authors. We have thus decided to extend the SOFSEM submission deadline by exactly ONE WEEK. Thus: the deadline for submitting abstracts is EXTENDED to June 30, for full papers to July 7. Please tell your colleagues for whom the previous deadlines were too tight that they have one more week to submit a paper to SOFSEM! For details on submitting papers to SOFSEM 2010: see http://www.sofsem.cz Sincerely, Jan van Leeuwen (general chair) SOFSEM 2010 conference tracks are: * Foundations of Computer Science Chair: David Peleg (Weizmann Institute of Science, Israel) Co-chair: Anca Muscholl (University of Bordeaux, France) * Principles of Software Construction Chair: Bernhard Rumpe (RWTH Aachen University, Germany) * Data, Knowledge, and Intelligent Systems Chair: Jaroslav Pokorny (Charles University in Prague, Czech Republic) * Web Science Chair: David De Roura (University of Southampton, United Kingdom) ========================================================================= 4. (from Felix Costa) Unconventional Computation 2009 - Last minute registration: CALL FOR PARTICIPATION --- LAST MINUTE REGISTRATION UNCONVENTIONAL COMPUTATION UC 2009 -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. UC 2009 8th International Conference on UNCONVENTIONAL COMPUTATION, Ponta Delgada, Azores Islands, PORTUGAL, September 7-11, 2009 Conference Poster can be downloaded from the Conference Homepage: http://www.uc09.uac.pt . TAKE A LOOK TO OUR WEBSITE -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. EARLY REGISTRATION: JUNE 1ST - 26TH 2009 We are happy to invite you to the next edition of the International Conference on UNCONVENTIONAL COMPUTATION (UC). ================== EARLY REGISTRATION ================== Registrations before JUNE 26th fall into the early registration period, for which a reduced fee applies. Please register at the conference website http://www.uc09.uac.pt/registration.php . ========================== HOTEL / FLIGHT RESERVATION ========================== Rooms will be available at the special conference hotel rate. Please consult the conference website http://www.uc09.uac.pt/accommodation.php for information on reserving your flight and / or your hotel room at the special conference rate. ============ PhD STUDENTS ============ There are special prices for accommodation of PhD students at University Student Residence, please consult the conference website http://www.uc09.uac.pt/PhDAccommodation.php . INVITED SPEAKERS: - Edwin BEGGS (Swansea University): Experimental Computation - Jarkko KARI (University of Turku): Cellular Automata - Carlos LOURENENCO (University of Lisbon): Brain Dynamics - Przemyslaw PRUSINKIEWICZ (University of Calgary): Developmental Computing - Lukas SEKANINA (Brno University of Technology): Evolvable Hardware: > From successful applications to implications for the theory of computation - Philip WELCH (University of Bristol): Relativistic Computers and Transfinite Computation INVITED SPEAKERS (ACTION EVENT on ANALOG COMPUTERS): - Jonathan MILLS, Indiana University: Awakening the Analogue Computer: Rubel's Extended Analog Computer Workshop - James M. NYCE (Ball State University): Artifice, Interpretation and Nature: Key Categories in Radiology Work INVITED LECTURER: - Gabriela QUEIROZ (Volcanology and Geogological Risks Evaluation Centre, University of Azores): The Geology of the Island TUTORIALS: - Manuel Lameiras CAMPAGNOLO (Technical University of Lisbon): Analogue Computation - James CRUTCHFIELD (University of California at Davis): Computational Mechanics: Natural Computation and Self-Organization - Martin DAVIS (Professor Emeritus, New York University and Visiting Scholar, Berkeley): Diophantine Equations WORKSHOPS: - Hyper-computation, Organized by Mike STANNETT (University of Sheffield) - Novel Computing Substrates, Organized by Andrew ADAMATZKI (University of West England, Bristol) - Physics and Computation, Organized by Olivier BOURNEZ (Ecole Polytechnique), and Gilles DOWEK (Ecole Polytechnique and INRIA) ORGANIZING COMMMITTEE: - Jose Felix COSTA (Chair), Tech. Univ. of Lisbon and Swansea Univ., Portugal and UK - Elisabete FREIRE, University of Azores, Portugal - Matthias FUNK, University of Azores, Portugal - Luis Mendes GOMES, University of Azores, Portugal - Helia GUERRA, University of Azores, Portugal CONTACT ADDRESS: Elisabete FREIRE Department of Mathematics University of Azores Rua da Mae de Deus 9501-855 Ponta Delgada Portugal Phone: (+351) 296 650 506 / (+351) 296 650 000 e-mail: freire@uac.pt ========================================================================= 5. (from Peter Hertling) Computability and Complexity in Analysis 2009 (CCA 2009) - Call for Participation: Call for Participation Sixth International Conference on Computability and Complexity in Analysis 2009 (CCA 2009) August 18-22, 2009, Ljubljana, Slovenia Early registration deadline: August 1st, 2008 IMPORTANT: book hotels before June 25th, 2009, see information below! ______________________________________________________________ Invited Speakers * Mark Braverman (Cambridge, USA) * Vladik Kreinovich (El Paso, USA) * Dana Scott (Pittsburgh, USA) * Ning Zhong (Cincinnati, USA) Tutorial Speakers * Martin Escardo (Birmingham, UK) * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Vasco Brattka (Cape Town, South Africa) * Mark Braverman (Cambridge, USA) * Pieter Collins (Amsterdam, The Netherlands) * Peter Hertling, co-chair (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Ker-I Ko, co-chair (Stony Brook, USA) * Robert Rettinger (Hagen, Germany) * Victor Selivanov (Novosibirsk, Russia) * Alex Simpson (Edinburgh, Great Britain) * Dieter Spreen (Siegen, Germany) * Frank Stephan (Singapore) * Xizhong Zheng (Glenside, USA) Organizing Committee * Andrej Bauer (Ljubljana, Slovenia) * Iztok Kavkler (Ljubljana, Slovenia) * Davorin Lesnik (Ljubljana, Slovenia) * Matija Pretnar (Ljubljana, Slovenia) Venue & Accommodation The venue for CCA 2009 is the Faculty of Mathematics and Physics, University of Ljubljana. Further information on accommodation is available here: http://cca.fmf.uni-lj.si/ IMPORTANT: special hotel room offers are available only until June 25th, 2009. Please book your room early! Registration Fees * Euro 100 until August 1st, 2009 (standard fee) * Euro 120 after August 1st, 2009 (late fee) Further information on registration is available here: http://cca.fmf.uni-lj.si/ Programme The programme will start with a tutorial day in the morning of August 18th and finish around lunch time of August 22nd. The schedule will be fixed soon and will then be available on the conference home page. Proceedings Fully accepted papers will be published as CCA 2009 proceedings in the Dagstuhl Research Online Publication Server. In addition, a printed version (as a technical report) will be available at the conference. It is customary to publish a special journal issue dedicated to CCA 2009 after the conference. Conference Web Page http://cca-net.de/cca2009/ ========================================================================= 6. (from Ralph Matthes) 6th Workshop on Fixed Points in Computer Science, FICS 2009 - CfP: 2nd Call for Papers (Extended Abstracts) 6th Workshop on Fixed Points in Computer Science, FICS 2009 Coimbra, Portugal, 12-13 September 2009, a satellite workshop of CSL 2009, colocated with PPDP 2009, LOPSTR 2009 http://cs.ioc.ee/fics09/ Background Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, databases. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points. Previous workshops where held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop). Topics include, but are not restricted to: * categorical, metric and ordered fixed point models * fixed points in algebra and coalgebra * fixed points in languages and automata * fixed points in programming language semantics * the mu-calculus and fixed points in modal logic * fixed points in process algebras and process calculi * fixed points in the lambda-calculus, functional programming and type theory * fixed points in relation to dataflow and circuits * fixed points in logic programming and theorem proving * finite model theory, descriptive complexity theory, fixed points in databases Invited speakers Javier Esparza (Technische Universitat Muenchen) Yde Venema (Universiteit van Amsterdam) a 3rd invited speaker tba Contributed talks Selection of contributed talks is based on extended abstracts/short papers of 3..6 pp formatted with easychair.cls. Submission is via EasyChair by 30 June 2009. The authors will be notified of acceptance/rejection by 21 July 2009. Camera-ready versions of the accepted contributions, due by 11 August 2009, will be published for distribution at the workshop as a technical report. If the number and quality of submissions and accepted talks warrant this, EDP Sciences will publish a special issue of Theoretical Informatics and Applications. The special issues of the previous editions of FICS appeared in the same journal. Programme committee Yves Bertot (INRIA Sophia Antipolis) Anuj Dawar (University of Cambridge) Peter Dybjer (Chalmers University of Technology) Zoltan Esik (University of Szeged) Masahito Hasegawa (Kyoto University) Anna Ingolfsdottir (Reykjavik University) Ralph Matthes (IRIT, Toulouse) (co-chair) Jan Rutten (CWI and Vrije Universiteit Amsterdam) Luigi Santocanale (LIF, Marseille) Alex Simpson (University of Edinburgh) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair) Igor Walukiewicz (LaBRI, Bordeaux) Sponsors EXCS, Estonian Centre of Excellence in Computer Science ========================================================================= 7. (from Vasco Brattka) Special issue of Journal of Universal Computers Science (JUCS) from CCA 2008: This is to let you know that the Special Issue of the Journal of Universal Computers Science (JUCS) following CCA 2008 and published in honour of Klaus Weihrauch's 65th birthday is online now: http://www.jucs.org/jucs_15_6 ========================================================================= Items for the next CiE Newsletter should be sent to cie@leeds.ac.uk to arrive by July 13, 2009 __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2009 http://www.math.uni-heidelberg.de/logic/cie2009 CiE Membership Application Form http://www.cs.swan.ac.uk/acie __________________________________________________________________________