CiE Newsletter No.10, April 14, 2009 ___________________________________________________________________________ CONTENTS: 1. Last Call - 8th International Conference on Unconventional Computation Ponta Delgada 2. LEEDS SYMPOSIUM ON PROOF THEORY AND CONSTRUCTIVISM 3. NONA SUMMER SCHOOL ON COMPLEXITY THEORY 4. Workshop on Physics and Computation 5. Workshop and AMS Special Session on Constructive Mathmematics 6. Summer School on Computational Methods in Synthetic Biology 7. Calls for Marie Curie Individual Fellowships ========================================================================= 1. (from Felix Costa) Last Call - 8th International Conference on UNCONVENTIONAL COMPUTATION Ponta Delgada: LAST CALL FOR PAPERS / POSTERS UNCONVENTIONAL COMPUTATION UC' 09 -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- UC 2009 8th International Conference on UNCONVENTIONAL COMPUTATION Ponta Delgada, PORTUGAL September 7-11, 2009 ---------------------------------------------- Deadline for submissions: April 19th, 24 h GMT ---------------------------------------------- Conference Poster and Call for Papers/Posters can be downloaded from the Conference Homepage: http://www.uc09.uac.pt . TAKE A LOOK TO OUR WEBSITE -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Original papers or posters are solicited in all areas of unconventional computation. Papers dealing with theory as well as with experiments and applications are welcome. 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 All researchers in the area of the conference are kindly invited to submit their papers (at most 12 pages) electronically, via EASYCHAIR: http://www.easychair.org/conferences/?conf=uc09 . 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 conference. 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 Journal. We also encourage physicists, chemists, and biologists (students or senior researchers) to submit a poster (standard size A1 or 1 or 2 x A2). Posters should be focused on experimental laboratory prototypes of non-standard computing devices. The submissions of posters are also expected to be in PDF format. The author is responsible for printing out the poster. To submit a poster you should go to EASYCHAIR and choose the special topic "POSTERS" instead of a thematic topic. Submissions Due: April 19th, 2009 ( NEW ) Notification: May 8th, 2009 Final Versions Due: June 5th, 2009 Contributed papers/posters will be 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 - José Félix 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. PÃ~IREZ-JIMÃ~INEZ, 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 LOURENÃ~GO (University of Lisbon): Brain Dynamics - Przemyslaw PRUSINKIEWICZ (University of Calgary): Developmental Computing - Lukáš 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 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 - José Félix COSTA (chair), Tech. Univ. of Lisbon and Swansea Univ., Portugal and UK - Elisabete FREIRE, University of Azores, Portugal - Matthias FUNK, University of Azores, Portugal - Luís Mendes GOMES, University of Azores, Portugal - Hélia GUERRA, University of Azores, Portugal CONTACT ADDRESS: Elisabete FREIRE Department of Mathematics University of Azores Rua da Mãe de Deus 9501-855 Ponta Delgada Portugal Phone: (+351) 296 650 506 / (+351) 296 650 000 e-mail: freire@uac.pt ========================================================================= 2. (from Laura Crosilla) LEEDS SYMPOSIUM ON PROOF THEORY AND CONSTRUCTIVISM: LEEDS SYMPOSIUM ON PROOF THEORY AND CONSTRUCTIVISM A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors~R Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events, supported by the BLC, LMS, EPSRC, the Goedel Society and the Deutsche Vereinigung fur Math Logik und Grundlagenforschung: 4th & 5th July: An LMS-funded conference on Proofs and Computations with speakers W. Buchholz (Munich), E.A. Cichon (Nancy), D. Normann (Oslo), W.W. Tait (Chicago), J.V. Tucker (Swansea), A. Weiermann (Ghent). This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday. 5th & 6th July: A Gentzen Centenary Conference funded by the Gödel Society and DVMLG, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory. Speakers: M. Baaz (Vienna), G. Mints (Stanford), J. von Plato (Helsinki), W. Pohlers (Muenster), H. Schwichtenberg (Munich), W. Sieg (CMU Pittsburgh), G. Sundholm (Leiden). 7th ~V 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism. Though each day will begin with two plenary sessions, the emphasis will be on research activity within the areas: Ordinal Analysis, Proof Mining and Complexity, Constructive Foundations, and Constructive Methods in Mathematics. In addition to many of those aforementioned, the following have already indicated their intention to participate, and others (yet to be announced) are expected to come: P.Aczel (Manchester), T. Arai (Kobe), A. Beckmann (Swansea), U. Berger (Swansea), D. Bridges (Christchurch), S. Buss (San Diego), A. Cantini (Florence), T. Carlson (Columbus), R. Constable (Cornell), T. Coquand (Gothenberg), F. Ferreira (Lisbon), H. Friedman (Columbus), N. Gambino (Leicester), P. Hancock (Strathclyde), M. Hyland (Cambridge), G. Jäger (Bern), H. Ishihara (JAIST), U. Kohlenbach (Darmstadt), R. Lubarsky (Florida), S. Negri (Helsinki), E. Palmgren (Uppsala), G. Sambin (Padua), P. Schuster (Munich), A. Setzer (Swansea), H. Simmons (Manchester), T. Strahm (Bern), W. Tait (Chicago), S. Tupailo (Tallinn). Limited support is available for younger researchers, who are encouraged to attend. Basic accommodation is available at modest cost, at Lyddon Hall on the Leeds University Campus close to the School of Mathematics. For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/index.html or contact the organisers at: matptw@leeds.ac.uk Organisers of the LMS meeting: Michael Rathjen and Laura Crosilla. Organisers of the other events: Michael Rathjen, Laura Crosilla, and Stan Wainer. ========================================================================= 3. (from Edward Hirsch) NONA SUMMER SCHOOL ON COMPLEXITY THEORY: Call for Participation NONA SUMMER SCHOOL ON COMPLEXITY THEORY St.Petersburg, Russia, August 12-16, 2009 http://logic.pdmi.ras.ru/ssct09/ COURSES * Lance Fortnow (Northwestern University, Toyota Technological Institute): Structural Complexity * Nicola Galesi (University of Rome "La Sapienza"): Proof Complexity * Heribert Vollmer (University of Hanover): Satisfiability Problems * Uri Zwick (Tel Aviv University): Complexity of Graph Algorithms Based on Matrix Multiplication APPLICATION FORM The intended participants are MSc and PhD students and post-docs in fields related to the themes of the school. If you want to attend the school, we would like you to apply by April 30, 2009. All participants will be notified of admission to the school by May 10, 2009. Final confirmation will be given after the granted participant can document that he/she has booked his/her flight. To apply, please send an application letter containing the following information NAME: DEPARTMENT, UNIVERSITY, COUNTRY: NAME OF ADVISOR: PREVIOUS KNOWLEDGE IN COMPLEXITY THEORY: and organize a brief letter of reference from advisor, to Alexander Kulikov, kulikov()logic.pdmi.ras.ru ACCOMMODATION AND COST There will be no participation fee and the school includes free accommodation between the dates of August 11 and August 17 for registered participants without a base in St. Petersburg. However, space is limited, and since the school is sponsored by NoNA, participants from NoNA groups will be given priority. The next preference is given to students attending CSR-2009. ========================================================================= 4. (from Olivier Bournez) Workshop on Physics and Computation: **************************************************************************** CALL FOR PAPERS Workshop on Physics and Computation (PC'09) http://www.lix.polytechnique.fr/~bournez/PC2009/ September 7-11, 2009, Ponta-Delgada, Azores, Portugal (Satellite event of UC'2009) **************************************************************************** Physics and computation have interacted from the early days of computing. Ultimately, physics laws permit computation. The aim of the workshop is to bring together researchers with various interests in the area to discuss important issues like fundamental physical limits of computers, chaos and dynamical systems, quantum computers and hypercomputation. Topics of interest include (but are not limited to): * Relativistic Computation * Quantum Computing and Information * Molecular Computing and Reaction Diffusion * Dynamical Systems * Randomness * New models of computation * Cellular automata * Analog Computation * Bio-inspired Computing * Hypercomputation **** Paper Submission Guidelines **** Papers - maximum length 15 pages - must be submitted in PDF to Olivier.Bournez@polytechnique.edu and Gilles.Dowek@polytechnique.edu **** Important Dates **** Deadline for submission: May 15th, 2009 Decision notification: July 7th, 2009 Workshop: September 7-11, 2009 Organizers: Olivier Bournez (Ecole polytechnique) Gilles Dowek (Ecole polytechnique and INRIA) and the Organization team of UC'2009 Steering Committee: Caslav Brukner (Vienna) Cristian Calude (Auckland) Gregory Chaitin (IBM) Jose-Felix Costa (Lisboa) Istvan Nemeti (Budapest) ========================================================================= 5. (from Robert Lubarsky) Workshop and AMS Special Session on Constructive Mathmematics: CONFERENCE ANNOUNCEMENT AND CALL FOR ABSTRACTS 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, 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, Fred Richman, and Marty Solomon. 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. ========================================================================= 6. (from Pierluigi Frisco) Summer School on Computational Methods in Synthetic Biology: ---------- Calling All Future Synthetic Biologists for the Summer School on: Computational Methods in Synthetic Biology Edinburgh, June 22-26, 2009 http://compsynbio.org The summer school will bring together leading theoreticians and experimentalists to discuss the current stage-of-the-art and long-term prospects for Synthetic Biology. We will create a friendly working atmosphere with an engaging balance of talks, discussions, and the opportunity to work collaboratively and establish lasting interactions (and hopefully friendships!) in this community driven discipline. Participants are encouraged (but not obliged) to present their own contribution, a poster or a paper, to Synthetic Biology. We are going to have a meeting in which UK and international speakers will present their results and will engage the audience in discussions concerning: Dry: theoretical studies about the tools and theories from mathematics, informatics, and physics that are currently used or that could contribute to new understandings; Wet: applied techniques and methodologies in the laboratory and their use in real case studies; Outreach: long term legal and societal implications in the society, economy, and therapies. Confirmed Invited Speakers Dr. Jane Calvert: (The University of Edinburgh, UK) Dr. Chris French: (The University of Edinburgh, UK) Dr. Emma Frow: (The University of Edinburgh, UK) Prof. Alfonso Jaramillo: (Ecole Polytechnique, CNRS, France) Prof. Kunihiko Kaneko: (The University of Tokyo, Japan) Prof. Bruce E. Logan: (Penn State University, USA) Prof. Andrew Millar: (The University of Edinburgh, UK) Prof. Vitor A. P. Martins dos Santos: (Helmholtz Center for Infection Research, Germany) Prof. Vincent Schachter: (Genoscope - Centre National de Sequencage, France) See you in Edinburgh! ========================================================================= 7. Marie Curie Individual Fellowships The Calls for the Marie Curie Individual Fellowships are open. They will close on the 18th August 2009 at 17.00 Brussels time. Copies of the Work Programme and the Guide for Applicants can be downloaded from the following websites by following the link to the information pack. International Incoming Fellowship (IIF) http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCa llPage&call_id=199 International Outgoing Fellowship (IOF) http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCa llPage&call_id=200 Intra European Fellowship (IEF) http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCa llPage&call_id=198 ========================================================================= Items for the next CiE Newsletter should be sent to pmt6sbc@leeds.ac.uk to arrive by April 26, 2009 -------------------------------------------------------------------------