CiE Newsletter No.13, May 29, 2009 ___________________________________________________________________________ CONTENTS: 1. Proof, Computation and Complexity in Nancy - PCC 2009 2. Workshop and AMS Special Session on Constructive Mathmematics - Second announcement and Call for Papers 3. Book announcement - Computing with Cells: Advances in Membrane Computing 4. PhD at Heriot-Watt CS 5. FLoC 2010: First Announcement 6. SOFSEM 2010 - First Call for Papers 7. MeCBIC 2009: 2nd Call for Papers 8. 2nd CfP: Computational Models for Cell Processes 2009 9. CCC09: Early registration ends this Sunday! 10. UC 2009 - CALL FOR PARTICIPATION ========================================================================= 1. (from Reinhard Kahle) Proof, Computation and Complexity in Nancy - PCC 2009: =============================== CALL FOR PAPERS 8th Proof, Computation and Complexity PCC 2009 2 - 3 July 2009 LORIA - Nancy, France http://pcc.loria.fr =============================== Aim and scope -------------------- The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity. Past events were held ------------------------------ - 2008 in Oslo - 2007 in Swansea, colocated with the British Mathematical Colloquium 2007, - 2006 in Ilmenau, - 2005 in Lisbon, as affiliated Workshop to ICALP '05, - 2004 in Dresden, in conjunction with the Summer School on Proof Theory and Automated Theorem Proving, - 2003 in Dresden, in conjunction with the Summer School on Proof Theory, Computation, and Complexity, and - 2002 in Tubingen. Organisers ---------------- - Guillaume Bonfante, Nancy - Jean-Yves Marion, Nancy - Reinhard Kahle, Lisbon - Ulrich Berger, Swansea - Monika Seisenberger, Swansea - Birgit Elbl, Muenchen Invited Speakers ----------------------- - Patrick Baillot, Lyon - Philippe de Groote, Nancy - Lars Kristiansen, Oslo Contributions ------------------ PCC is intended to be a lively forum for presenting and discussing recent work. Participants who want to contribute a talk are asked to submit an abstract (LaTeX, 1-2 pages). The collection of abstracts will be available at the meeting. Important Dates ---------------------- Submission deadline : 10 June 2009 Notification to authors : 15 June 2009 Workshop: 2-3 July 2009 Submission of abstract: {bonfante, marionjy}@loria.fr When and where ----------------------- The conference will be held the 2-3 of July 2009 at the LORIA (http://www.loria.fr/access-en/acceder/the-way-to-loria/view?set_language=en ), the computer science laboratory of Nancy University. More information will be available at http://pcc.loria.fr ========================================================================= 2. (from Robert Lubarsky) Workshop and AMS Special Session on Constructive Mathmematics: SECOND ANNOUNCEMENT AND CALL FOR PAPERS Workshop and AMS Special Session on Constructive Mathmematics Florida Atlantic University Boca Raton, FL Oct 28 - Nov 1 2009 http://math.fau.edu/Richman/Worshop/ The workshop sessions will meet W Oct 28 & R Oct 29. Its goal will be actual progress in the field. The sessions and their leaders will be algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). It will conclude the morning of F Oct 30 with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, F Oct 30 - Sun Nov 1, web site http://www.ams.org/amsmtgs/2161_program.html. Abstracts of talks to be considered for inclusion at this special session can be submitted over this AMS website, or at http://www.ams.org/cgi-bin/abstracts/abstract.pl, with a strict deadline of July 14. PLEASE NOTE THAT THIS DEADLINE IS EARLIER THAN THE ONE FOR NON-SPECIAL SESSION CONTRIBUTIONS!!! By the AMS standard, talks at such sessions are typically twenty minutes long. The organizing committee is Robert Lubarsky and Fred Richman. For further information contact Robert.Lubarsky@comcast.net. For further information on the AMS sectional meeting contact either Matthew Miller, the relevant AMS secretary, at miller@math.sc.edu, or Mario Milman, the local organizer, at extrapol@bellsouth.net. ========================================================================= 3. (from Pierluigi Frisco) Book announcement - Computing with Cells: Advances in Membrane Computing: New book: Computing with Cells: Advances in Membrane Computing Pierluigi Frisco Oxford University Press Membrane systems are a new class of distributed and parallel model of computation inspired by the subdivision of living cells into compartments delimited by membranes. Their hierarchical internal structure, their locality of interactions, their inherent parallelism and also their capacity to create new compartments, represent the distinguishing hallmarks of membrane systems. Membrane computing, the study of membrane systems, is a fascinating and fast growing area of research. The main streams of current investigations in Membrane Computing concern theoretical computer science and the modelling of complex systems. In this monograph Pierluigi Frisco considers the former trend: he presents an in-depth study of the formal language and computational complexity aspects of the most widely investigated models of membrane systems. This study gives a comprehensive understanding of the computational power of the models considered, shows different proof techniques used for such study, and introduces links highlighting the similarities and differences between the their computational power. These models cover a broad range of features, giving a grasp of the enormous flexibility of the framework offered by membrane systems. Aimed at graduates and researchers in the field, who can use it as a reference text, and to people with an initial interest in Membrane Computing, who can use it as a clear and up to date starting point for Membrane Computing. ========================================================================= 4. (from Pierluigi Frisco) PhD at Heriot-Watt CS: One PhD studentship in Computer Science, Heriot-Watt University One PhD studentship is available in Computer Science at Heriot-Watt University funded under the EPSRC Doctoral Training Awards. These pay fees and a stipend at an EPRSC-set level, currently 12,940 GBP a year for UK candidates, and fees only (no subsistence) for EU candidates. ***Overseas candidates are NOT eligible.*** Potential candidates should have a Bachelor degree in Computer Science or a cognate discipline at the 2(1) level or an equivalent academic qualification. Please submit a CV (including the names of two academic referees) and short (max 6-pages) research proposal in one of the following specific areas relating to research groups in Computer Science at Heriot-Watt. Further details of groups and their members are available at http://www.macs.hw.ac.uk/cs/resareas/index.htm Computer Science at Heriot-Watt offers an active and stimulating research atmosphere with more than 50 current PhD students organised in internationally-leading research groups. It ranked equal 3rd among Scottish CS Departments in the 2008 RAE and is a member of the Scottish Informatics and Computer Science Alliance uniting Scotland?s CS Research Universities. Its researchers hold substantial funding from both UKRC and the EU ? see http://www.macs.hw.ac.uk/cs/resareas/grants.htm. Research areas: VIS&GE: synthetic characters, affective systems, interactive narrative, interactive and game-based educational systems ULTRA: computerisation of mathematics, types and rewriting in programming languages and mobility calculi, types in logic and theorem proving Intelligent Systems Lab: membrane computing, ambient intelligence, artificial immune systems, systems biology, evolutionary computing Dependable Systems Group: formally-motivated computing, systems modelling, programming languages, automated reasoning, parallel/distributed/mobile systems, Pervasive and Ad Hoc systems To apply, please send your CV and research proposal to: ruth@macs.hw.ac.uk with a short covering email which must indicate which research group and specified research area your proposal covers. Deadline: June 19th ========================================================================= 5. (from Nicole Schweikardt) FLoC 2010: First Announcement: 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org * In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, the third (FLoC'02) was held in Copenhagen, Denmark, in 2002, and the fourth (FLoC'06) was held in Seattle, Washington, USA. * We are pleased to announce the fifth Federated Logic Conference (FLoC'10) to be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at University of Edinburgh (www.inf.ed.ac.uk). * The following conferences will participate in FLoC: Int'l Conference on Computer-Aided Verification (CAV) Int'l Conference on Logic Programming (ICLP) Int'l Joint Conference on Automated Reasoning (IJCAR) Int'l Conference on Interactive Theorem Proving (ITP) IEEE Symposium on Logic in Computer Science (LICS) Int'l Conference on Rewriting Techniques and Applications (RTA) Int'l Conference on Theory and Applications of Satisfiability Testing (SAT) * Pre-conference workshops will be held on July 9-10. ITP, LICS, RTA, and SAT will be held in parallel on July 11-14, to be followed by mid-conference workshops on July 14-15. CAV, ICLP, and IJCAR will be held in parallel on July 16-19, to be followed by post-conference workshops on July 20-21. Plenary events involving all the conferences are planned. There will be receptions in the Edinburgh Castle and at the National Galleries of Scotland. * The call for workshop proposals can be found at the FLoC web page (http://www.floc-conference.org). Calls for papers will be issued in the near future. For additional information regarding the participating meetings, please check the FLoC web page later this summer. * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov ========================================================================= 6. (from Roman Spanek) SOFSEM 2010 - First Call for Papers: FIRST CALL FOR PAPERS 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 SOFSEM (SOFtware SEMinar) is the annual international winter conference devoted to the theory and practice of computer science. Its aim is to present the latest developments in research for professionals from academia and industry, working in leading areas of computer science. The SOFSEM program consists of Invited Talks by prominent researchers, Contributed Talks selected by the Program Committee from submitted papers and the Student Research Forum. SOFSEM is organized in plenary and parallel tracks, giving a unique opportunity to obtain an excellent overview of the selected research areas. All tracks are devoted to original research and leading developments. SOFSEM is the ideal conference for presenting new results, for scientific discussions, for establishing personal contacts with colleagues, and for exchanging ideas. SOFSEM is also well-suited for young computer scientists. SOFSEM 2010 consists of the following 4 tracks: * 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 Roure (University of Southampton, United Kingdom) Moreover, for students, there is the * Student Research Forum (SRF) SRF Chair: Maria Bielikova (Bratislava) For details please have a look at the conference web site http://www.sofsem.cz IMPORTANT DATES --------------------- Abstracts deadline: June 23, 2009 Full papers deadline: June 30, 2009 Accepted papers notification: September 15, 2009 Camera-ready papers: October 1, 2009 Conference: January 23-29, 2010 PROCEEDINGS ---------------- The proceedings of SOFSEM 2010 with the invited and contributed papers will be published in the Springer's series Lecture Notes in Computer Science, as in the previous years. The proceedings will be distributed at the conference. LOCATION ------------ SOFSEM 2010 will be organized in Hotel Bedrichov, Spindleruv Mlyn, a premier winter resort in Krkonose (Giant Mountains) about 150 km from Prague. Its beautiful nature is ideal for many winter sport activities and relaxation. We are looking forward to seeing you at SOFSEM 2010. Jan van Leeuwen (General Chair) ========================================================================= 7. (from Gabriel Ciobanu) MeCBIC 2009: 2nd Call for Papers: MeCBIC 2009 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi Webpage: http://www.info.uaic.ro/~mecbic Satellite Workshop of CONCUR 2009 5th September 2009, Bologna, Italy The main aim of the workshop is to bring together researchers working in membrane computing, in biologically inspired process calculi (ambients, brane calculi, etc.) and in other related fields to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships (similarities, differences,...). Original research papers (including significant work-in-progress) on the membrane systems or biologically inspired process calculi are sought. Papers on the relationship between membrane systems and biologically inspired process calculi are particularly welcome. Related formal approaches in which cell compartments play an important role are also within the scope of the workshop. Topics of interest include (but are not limited to): * Biologically inspired models and calculi * Biologically inspired systems and their applications * Analysis of properties of biologically inspired models and languages * Theoretical links and comparison between different models/systems Invited Speaker: Luca Cardelli Pi in the Sky: Spatial Process Algebra for Developmental Biology The 3rd MeCBIC will be held exactly 2 years after the tragic death of Nadia Busi who worked at the University of Bologna for many years, and organize the first MeCBIC in 2006. Thus MeCBIC 2009 is also a scientific commemoration and reverence to Nadia. Important Dates Title + Abstract: 1 June, 2009 Paper Submission: 7 June, 2009 Notification: 14 July, 2009 Camera-ready: 21 July, 2009 Workshop: 5 September, 2009 EPTCS Version: 2 October, 2009 Authors are invited to submit a PDF version of their papers (15 pages) using the web page http://www.easychair.org/conferences/?conf=mecbic2009. The workshop proceedings will be published in the Electronic Proceedings in Theoretical Computer Science (http://www.eptcs.org/). The submissions should be prepared using LaTeX and EPTCS format. Based on the submissions quality, it is possible to publish extended versions of selected (and additionally referred) papers in a special issue of a journal. Program Committee * Luca Cardelli - Microsoft Research, Cambridge, UK * Matteo Cavaliere - CoSBi, Trento, Italy * Gabriel Ciobanu (chair) - Romanian Academy, Iasi * Erzsebet Csuhaj-Varju - Hungarian Academy, Budapest * Jean-Louis Giavitto - University of Evry, France * Maciej Koutny - Newcastle University, UK * Vincenzo Manca - University of Verona, Italy * Emanuela Merelli - University of Camerino, Italy * Marino Miculan - University of Udine, Italy * Gheorghe Paun - Romanian Academy, Bucharest * Cristian Versari - University of Bologna, Italy * Claudio Zandron - University of Milano-Bicocca, Italy Organizers * Ivan Lanese / lanese -at- cs.unibo.it * Cristian Versari / versari -at- cs.unibo.it * Emanuela Merelli / merelli -at- unicam.it Contact: gabriel@info.uaic.ro ----- ========================================================================= 8. (from Ion Petre) 2nd CfP: Computational Models for Cell Processes 2009: Second International Workshop on Computational Models for Cell Processes Eindhoven, the Netherlands, November 3, 2009 http://combio.abo.fi/compmod09/ In conjunction with Formal Methods 2009 -------------------------------------------------------------------- === Deadline for submissions: June 29, 2009 === === Proceedings will be published in the new EPTCS series === -------------------------------------------------------------------- THE MEETING ----------- Computational systems biology is an exciting new application area for applied mathematics and computer science. This workshop of the 16th International Symposium on Formal Methods fosters an excellent platform gathering researchers in formal methods and related fields that are interested in the wealth of opportunities and challenges in systems biology. SUBMISSIONS ----------- We seek papers and extended abstracts in all areas that relate to the relevance and potential of formal methods and computational modeling/simulation in systems biology. In particular, we welcome contributions that present biological processes requiring special computational and formal techniques that have not been investigated so far in the context of formal methods, as well as extensions of formal methods formalisms introduced to improve their applicability to biology. Topics of interest include, but are not limited to: - Formal models for cellular pathways - Qualitative biological modeling - Quantitative formal methods - Theoretical comparison of formalisms for biological processes - Biologically-inspired extensions to formal methods, concurrency theory, or logical methods - Differential, discrete and/or stochastic modeling languages - Reconstruction of biological networks based on empirical data - Decomposition and modularization of large biological networks - Applications of formal methods and computational modeling - Membrane systems as a modeling platform Authors are invited to submit extended abstracts or full papers of up to 15 pages formatted according to EPTCS guidelines. Electronic submissions should be formatted in PDF. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. A special issue of a high-level international journal, based on the workshop, is planned after the workshop. INVITED SPEAKERS ---------------- - Jasmin Fisher (Microsoft Research Cambridge) - Hidde de Jong (INRIA Grenoble - Rhone-Alpes) - Grzegorz Rozenberg (University of Leiden) IMPORTANT DATES --------------- - Submission: June 29, 2009 - Notification: September 10, 2009 - Final version: October 1, 2009 - Workshop: November 2, 2009 PROGRAMME COMMITTEE ------------------- - Ralph Back, Abo Akademi, Finland - Lubos Brim, Masaryk University, Czech Republic - Muffy Calder, University of Glasgow, UK - Eugen Czeizler, Abo Akademi, Finland - Vincent Danos, University of Edinburgh, UK - Russ Harmer, University of Paris 7, France - Monika Heiner, Brandenburg University of Technology Cottbus, Germany - Jane Hillston, University of Edinburgh, UK - Ina Koch, Max Planck Institute for Molecular Genetics, Germany - Vincenzo Manca, University of Verona, Italy - Giancarlo Mauri, University of Milan-Bicocca, Italy - Satoru Miyano, University of Tokyo, Japan - Andrei Paun, Louisiana Tech University, US - Ion Petre, Abo Akademi, Finland - Jaco van de Pol, University of Twente, the Netherlands - Alberto Policriti, University of Udine, Italy - Erik de Vink, Eindhoven University of Technology, the Netherlands ORGANIZERS ---------- - Ion Petre, ipetre 'AT' abo.fi - Erik de Vink, evink 'AT' win.tue.nl - Ralph-Johan Back, backrj 'AT' abo.fi VENUE: Technische Universiteit Eindhoven, the Netherlands ========================================================================= 9. (from John Rogers) CCC09: Early registration ends this Sunday! Dear Colleagues, I am writing to remind you that the early registration deadline for the 2009 IEEE Conference on Computational Complexity is Sunday, May 31st, just a few short days away. Please see the conference web site at computationalcomplexity.org for the program and a link to the local arrangements web site, where you can find registration and travel information. John Rogers Publicity Chair CCC jrogers@depaul.edu ========================================================================= 10. (from Felix Costa) UC 2009 - CALL FOR PARTICIPATION: UC 2009 8th International Conference on UNCONVENTIONAL COMPUTATION Ponta Delgada, 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 . Original papers or posters will cover many areas of unconventional computation. Papers dealing with theory as well as with experiments and applications will be presented. Typical, but not exclusive, topics are: - Amoeba-based computing - Analogue computation - Ant networks - Algorithmic cooling - Cellular automata - Church-Turing thesis - Cornerstones of the halting problem - Diophantine equations - Dynamic system computing - Ergodic system computing - Evolutionary computation - Genetic networks - Immune networks - Molecular computing - Nanocomputing - Natural Computing - Neural Computing - Non-standard lambda-calculus and logics - Optical computing - P systems - Reaction-diffusion computing - Self-assembly - Tiles - Quantum computation - Quantum protocols - Unconventional Turing machines (infinite-time, relativistic, bio, etc.) - Undecidability in Physical Theories Posters dealing with experimental laboratory prototypes of non-standard computing devices will be exposed. All researchers in these areas are kindly invited to attend the conference as well as physicists, chemists, and biologists (students or senior researchers). The conference will take place in Azores (Portugal). Azores is an archipelago comprised of nine islands located in the middle of the Atlantic Ocean, between Europe and North America. The islands are full of natural reserves, protected landscape areas, parks and protected forests. The magic of the Azores is not only found in its stunning landscapes, but also in its history and culture. Its palaces, churches and fortresses are all reminders of when the island provided a stopover port for ships loaded with treasures from the Americas and the Orient. Ponta Delgada is the biggest city of the Azores which is located on the southern coast of the São Miguel island. It has many magnificent buildings of tremendous architectural value portraying the urban architecture of the 16th to the 19th centuries. The majority of these are presently used to accommodate the various political, administrative, religious and cultural offices of the Azores, including the University of Azores, where UC'09 will be hosted. -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. WE ARE LOOKING FORWARD TO SEE YOU AT UNCONVENTIONAL COMPUTATION'09 IN AZORES! -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. The proceedings will be published by Springer LNCS series and will be available at the conference. Selected papers will be invited for Special Issues of well known Journals. Contributed papers/posters were selected from submissions received by the PROGRAMME COMMITTEE consisting of - Andrew ADAMATZY, UWE Bristol, UK - Selim AKL, Queen's University, Canada - Masashi AONO, RIKEN Advanced Science Institute, Japan - Edwin BEGGS, Swansea University, UK - Olivier BOURNEZ, Ecole Polytechnique, France - Mark BURGIN, University of California, Los Angeles, USA - Cristian S. CALUDE, University of Auckland, New Zealand - Luca CARDELLI, Microsoft Research Cambridge, UK - S. Barry COOPER, University of Leeds, UK - Jose Felix COSTA (co-chair), Tech. Univ. of Lisbon and Swansea Univ., Portugal and UK - James CRUTCHFIELD, Complexity Sciences Center, Univ. of California at Davis, USA - Martin DAVIS, Prof. Emeritus, New York University and Visiting Scholar, Berkeley, USA - Nachum DERSHOWITZ (co-chair), Tel Aviv University, Israel - Michael DINNEEN, University of Auckland, New Zealand - Gilles DOWEK, Ecole Polytechnique and INRIA, France - Rudolf FREUND, Vienna University of Technology, Austria - Dina Q. GOLDIN, Brown University, USA - Masami HAGIYA, University of Tokyo, Japan - Mark HOGARTH, University of Cambridge, UK - Natasha JONOSKA, University of South Florida in Tampa, USA - Lila KARI, University of Western Ontario, Canada - Julia KEMPE, Tel Aviv University, Israel - Yasser OMAR, ISEG, Technical University of Lisbon, Portugal - Ferdinand PEPER, National Inst. of Information and Communications Tech., Kobe, Japan - Mario J. PEREZ-JIMENEZ, University of Seville, Spain - Petrus H. POTGIETER, University of South Africa, South Africa - Kai SALOMAA, Queen's University, Canada - Hava SIEGELMANN, University of Massachusetts Amherst and Harvard University, USA - Darko STEFANOVIC, University of New Mexico, USA - Susan STEPNEY, University of York, UK - Christof TEUSCHER, Portland State University, USA - Jon TIMMIS, University of York, UK CONFERENCE: 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, Sevilla, Spain, in 2005, York, United Kingdom, in 2006, Kingston Ontario, Canada, in 2007, Vienna, Austria, in 2008, and Ponta Delgada (Azores), Portugal, in 2009. INVITED SPEAKERS: - Edwin BEGGS (Swansea University): Experimental Computation - Jarkko KARI (University of Turku): Cellular Automata - Carlos LOURENGO (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 ========================================================================= Items for the next CiE Newsletter should be sent to pmt6sbc@leeds.ac.uk to arrive by June 12, 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 __________________________________________________________________________