CiE Newsletter No.7, March 3, 2009 ___________________________________________________________________________ CONTENTS: 1. DCM 2009 - 5th International Workshop on Developments in Computational Models, Rhodes, Greece, 11 July 2009 2. FOCS 2009 CFP 3. HYPERCOMPUTATION WORKSHOP @ UC 2009 Ponta Delgada, Portugal, September 7-11, 2009 4. 7th PANHELLENIC LOGIC SYMPOSIUM, July 15-19, 2009, Patras, Greece 5. Symposium on Programming, Types, and Languages, Gothenburg, 19 March 2009 6. DNA15: The Fifteenth International Meeting on DNA Computing and Molecular Programming ========================================================================= 1. (from Vincent Danos) DCM 2009 - 5th International Workshop on Developments in Computational Models, Rhodes, Greece, 11 July 2009: ========================================================================= First Call for Papers DCM 2009 5th International Workshop on Developments in Computational Models ** Computational Models From Nature ** http://www.pps.jussieu.fr/~danos/dcm09/ Rhodes, Greece Saturday, 11 July 2009 Deadline for abstracts: 30 April, 2009 A satellite event of ICALP 2009 - http://icalp09.cti.gr/ ========================================================================= DCM 2009 is the fifth in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. And to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2009 will be a one-day satellite event of ICALP 2009, with a special focus on the theme 'Computational Models From Nature'. Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modelling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility, trust, and security; - information-theoretic ideas in computing. PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF format to the conference EasyChair submission page: https://www.easychair.org/login.cgi?conf=dcm2009 by the deadline: 30 April, 2009. After the workshop authors will be invited to submit a full paper of their presentation. Accepted contributions will appear in a special issue of the EPTCS (Electronic Proceedings in Theoretical Computer Science). Selected papers will be considered for a special issue of the IJSI (International Journal of Software and Informatics) (to be confirmed). IMPORTANT DATES: Submission deadline for abstracts: 30 April, 2009 Notification: 22 May Workshop: 11 July, 2009 PROGRAMME COMMITTEE: S. Barry Cooper (Leeds, Co-chair) Vincent Danos (Edinburgh, Co-chair) Paola Bonizzoni (Milan) Alessandra Carbone (Paris) Luca Cardelli (Microsoft Research) Robert Coecke (Oxford) Mariangiola Dezani (Turin) Ellie D'Hondt (Brussels) Jerome Feret (INRIA, ENS Paris) Maribel Fernandez (King's College, London) Mark Hogarth (Cambridge) Jean-Pierre Jouannaud (Tsinghua, CNRS) Zoran Konkoli (Chalmers) Angsheng Li (CAS, Beijing) Ian Mackie (Ecole Polytechnique) Gheorghe Paun (Bucharest) Simon Perdrix (Paris) Grzegorz Rozenberg (Leiden) Peter Selinger (Dalhousie) Jiri Wiedermann (Prague) Damien Woods (Seville) ========================================================================= Further information: Barry Cooper, pmt6sbc@leeds.ac.uk ========================================================================= ========================================================================= 2. (from Daniel Spielman) FOCS 2009 CFP: The FOCS 2009 CFP is now available at: http://www.cs.yale.edu/focs09/ Please note that this year we are asking for an extended abstract, followed by a brief description of that abstract a week later! ========================================================================= 3. (from Mike Stannett) HYPERCOMPUTATION WORKSHOP @ UC 2009 Ponta Delgada, PORTUGAL, September 7-11, 2009: FIRST CALL FOR PAPERS HYPERCOMPUTATION WORKSHOP @ UC 2009 Ponta Delgada, PORTUGAL September 7-11, 2009 Deadline for submissions: June 1st, 2009 Workshop begins: September 8th, 2009 Please note that the workshop is scheduled to start one day later than the main UC conference, to allow attendees time to travel to Ponta Delgada from the Relativistic Logic meeting in Budapest, which ends shortly beforehand. Conference Poster and the main UC2009 Call for Papers/Posters can be downloaded from the "Unconventional Computation 2009" Conference Homepage: http://www.uc09.uac.pt . TAKE A LOOK AT THE UC'09 WEBSITE -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Original papers or posters are solicited in all areas of hypercomputation. Papers dealing with theory and philosophy as well as links to other disciplines are equally welcome. We recognise that there may be some overlap with the main conference themes; possible topics include, but are not restricted to: - Analogue Computation - Arguments Against Hypercomputation - Church-Turing Thesis - Computational Status of Physical Theories - Cosmological Computational Models - Cornerstones of the Halting Problem - Diophantine Equations and their General Solution - Economic Models - Field Computation - Logical Arguments - Newtonian Hypercomputation - Non-standard Lambda-Calculus and Logics - Optical Computing - Philosophy of Computation and Hypercomputation - Quantum Hypercomputation - Semantic Models for Hypercomputation - Unconventional Turing machines - Undecidability in Physical Theories - Unified Models of Computation and Hypercomputation Accepted papers will initially be published as a downloadable electronic pre-proceedings; following the meeting, authors will be given the opportunity to amend their papers in the light of comments received, for subsequent submission for publication in an appropriate international journal. FORMAT: Papers should initially be prepared in LaTeX, using the standard "article" document style and "alpha" bibliography style. There is no page restriction for the initial electronic pre-proceedings, but subsequent journal versions will be subject to standard limits. [Submissions written in Word are also acceptable, provided any accompanying images are also submitted as self-contained image files (GIF, PNG, JPG, BMP, etc) - we cannot extract images from Word files. Accepted submissions will be converted to LaTeX prior to inclusion in the pre-proceedings, which may result in layout changes.] SUBMISSIONS AND QUERIES: Please direct all submissions and queries to hypernet09@hypercomputation.net Submissions Due: June 1st, 2009 Notification: July 6th, 2009 Final Versions Due: August 10th, 2009 INVITED SPEAKERS currently include: Hajnal Andreka (Budapest, relativistic models) Marian Gheorghe (Sheffield, membrane systems) Pete Wells (San Francisco, equational logic) WORKSHOP COORDINATOR Mike Stannett Dept of Computer Science University of Sheffield Regent Ct, 211 Portobello Sheffield S1 4DP United Kingdom ========================================================================= 4. (from from Pavlos Peppas) 7th PANHELLENIC LOGIC SYMPOSIUM, July 15-19, 2009, Patras, Greece: ============================================= CALL FOR PAPERS ============================================= for the SEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS7) July 15-19, 2009 University of Patras, Patras, Greece http://www.bma.upatras.gr/pls7/ ============================================= PAPER SUBMISSION DEADLINE: MARCH 27, 2009 ============================================= The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers. FEATURED AREAS The featured areas include, but are not limited to, the following (in alphabetical order): - Algebraic logic - Foundational interactions between Logic, Computer Science and Mathematics - Logic in AI - Logic in Computer Science - Modal Logics - Model Theory - Non-classical Logics - Philosophy of Logic - Residuated Structures - Recursion Theory - Set Theory - Substructural Logics The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research. PAPER SUBMISSION Submitted papers should report on original research work that falls within the scope of the symposium. Authors are invited to submit a paper not exceeding five pages by 27 March 2009. Papers must be written in English and must be formatted according to the PLS7 guidelines. The first page should include title; names of authors; the affiliation, address, email of the corresponding author; abstract (up to 200 words); and at least three keywords describing the topic of the paper. All papers should be submitted electronically at EasyChair (https://www.easychair.org/login.cgi?conf=pls7). Submitted papers will be reviewed by the PLS7 scientific committee. Accepted papers will be presented at the Symposium by one of their authors, and they will be included in the Symposium proceedings. IMPORTANT DATES - Abstract Submission Deadline: March 27, 2009 - Acceptance Notification: May 15, 2009 - Camera Ready Papers Deadline: June 12, 2009 - Conference Dates: July 15-19, 2009 INVITED SPEAKERS - Pantelis Eleftheriou, University of Lisbon - Nick Galatos, University of Denver - Mai Gehrke, Radboud University Nijmegen - Chrysafis Hartonas, Technological Educational Institute of Larissa - David Makinson, London School of Economics - Alberto Marcone, University of Udine - Yuri I. Manin, Max Planck Institute for Mathematics and Northwestern University - Tinko Tinchev, Sofia University - Yde Venema, University of Amsterdam - George Voutsadakis, Lake Superior State College SCIENTIFIC COMMITTEE - Jim Delgrande, Simon Fraser University - Costas Dimitracopoulos, University of Athens - Josep Maria Font, University of Barcelona - Kostas Hatzikyriakou, University of Thessaly - Antonis Kakas, University of Cyprus - Panagis Karazeris, University of Patras - Giorgos Koletsos, National Technical University of Athens - George Metakides, University of Patras - Joan Moschovakis, Occidental College - Hiroakira Ono, Japan Advanced Institute of Science and Technology - Thanases Pheidas, University of Crete - Alexandra Soskova, Sofia University - Constantine Tsinakis (Chair), Vanderbilt University - Athanassios Tzouvaras, University of Thessaloniki - Mary-Anne Williams, University of Technology, Sydney - Stathis Zachos, National Technical University of Athens ORGANIZING COMMITTEE - Costas Drossos (co-chair), University of Patras - Anastasios - Michael Fotinopoulos, University of Patras - Panagis Karazeris, University of Patras - Lefteris Kirousis, University of Patras - Eftichis Papadopetrakis, University of Patras - Pavlos Peppas (co-chair), University of Patras HOTEL RESERVATIONS Hotel accommodations are offered by several hotels of various categories in Patras, Rio and the surrounding area. Participants will need to communicate directly with the selected hotels to secure their reservations. The conference web site contains detailed information for contacting the hotel of your choice. FURTHER INFORMATION Information about PLS7 can be found at the conference web site at http://www.bma.upatras.gr/pls7/ E-mail inquiries about PLS7 should be directed to the co-chairs of local organizing committee: Costas Drossos (cdrossos@upatras.gr) or Pavlos Peppas (pavlos@upatras.gr) ========================================================================= 5. (from Peter Dybjer) Symposium on Programming, Types, and Languages, Gothenburg, 19 March 2009: Dear colleague, You are cordially invited to the Symposium on Programming, Types, and Languages Dedicated to Bengt Nordstrom in connection with his 60th birthday. Chalmersska Huset, Gothenburg, 19 March 2009 *Invited Speakers* Robin Milner, University of Cambridge Per Martin-Lof, University of Stockholm Lennart Augustsson, Standard Chartered Bank, England Thierry Coquand, University of Gothenburg Robin Cooper, University of Gothenburg Further information at http://www.cs.chalmers.se/Cs/Research/Logic/PTLSymposium/ *Registration* If you want to attend, please fill in the following doodle-poll before March 9th http://www.doodle.com/participation.html?pollId=mv6pp689pxzk9wkz There is no registration fee, but please indicate whether we should provide lunch and (morning and afternoon) coffee for you. The symposium will be followed by a dinner at Restaurant Fiskekrogen at 19.00. The cost for a three course dinner is 525 SEK excluding drink. Please indicate whether you want to participate in the dinner as well. Best regards, Ana Bove, Peter Dybjer, Aarne Ranta, Jan Smith, Bjorn von Sydow (organisers) ========================================================================= 6. (from Alessandra Carbone) DNA15: The Fifteenth International Meeting on DNA Computing and Molecular Programming: --------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------- DNA15: The Fifteenth International Meeting on DNA Computing and Molecular Programming Fayetteville, Arkansas, USA, June 8-12, 2009 http://dna15.uark.edu --------------------------------------------------------------------- THE MEETING Biomolecular computing is an interdisciplinary field that draws together Chemistry, Computer Science, Mathematics, Molecular Biology, and Physics for the molecular-scale manipulation of matter. The International Meeting on DNA Computing and Molecular Programming is a forum where scientists with different backgrounds, yet sharing a common interest in biomolecular computing, meet and present their latest results. Continuing this tradition, the 15th International Meeting on DNA computing and Molecular Programming, under the auspices of the International Society for Nanoscale Science, Computation and Engineering (ISNSCE), will focus on the current experimental and theoretical results with the greatest impact. SOLICITATION FOR PAPERS Papers and poster presentations are sought in all areas that relate to biomolecular computing, including (but not restricted to): demonstrations of biomolecular computing (using DNA and/or other molecules), theoretical models of biomolecular computing, biomolecular algorithms, computational processes in vitro and in vivo, analysis and theoretical models of laboratory techniques, biotechnological and other applications of DNA computing, DNA nanostructures, DNA devices such as DNA motors, DNA error evaluation and correction, in vitro evolution, molecular design, self-assembled systems, nucleic acid chemistry, and simulation tools. Papers and posters with new experimental results are particularly encouraged. Please refer to the conference website, http://dna15.uark.edu for more details, and instructions for authors. INSTRUCTIONS FOR AUTHORS Electronic Submissions: All papers and abstracts should be submitted electronically by March 11, 2009. For submission please follow the instructions and the link at the conference web page, http://dna15.uark.edu. Papers must be submitted in pdf format. The use of LaTeX is strongly encouraged. The users of Word may download a conversion tool such as cutePDF to produce a PDF file for submission. Submissions should be done through http://www.easychair.org/conferences/?conf=dna15. TRACKS Authors may choose between two submission tracks. Papers considered for oral presentation will automatically be considered for poster presentation if they are not accepted for oral presentation. Track A (Traditional) - Full Paper: Submissions of full papers will be considered for inclusion in the conference proceedings and should conform to the following guidelines: - The total length of the paper should not exceed 10 pages (11 point type, single spaced, with 1 inch margins). - Each paper should contain an abstract which briefly describes the primary results and their importance. - After the conference, selected papers will be included in a volume of the Springer-Verlag Lecture Notes in Computer Science. Please follow the formatting instructions at http: //www.springer.com/computer/lncs/. Track B - One-Page Abstract: Primarily for authors submitting experimental results who plan to submit to a journal rather than publish in the conference proceedings. Submissions should conform to the following guidelines: - The total length of the abstract should not exceed 1 page (11 point type, single spaced, with 1 inch margins). - The one-page abstract should describe the primary results and their importance. - Authors who wish to have their Track B submission considered for an oral presentation should include a manuscript, a thesis chapter or some other form of supporting documentation; the purpose of this document is to enable the program committee to evaluate the merit of the work for oral presentation. Only the one-page abstract will appear in the proceedings. Track B papers unaccompanied by adequate documentation will not be eligible for oral presentation. STUDENT PAPER PRIZES The best two papers with a student as the lead and presenting author will be awarded travel prizes. Eligible papers should be noted in the submission and accompanied by a brief letter of support from the research adviser. Recipients of the prize will be notified at the time of acceptance. Some other student scholarships may also be available. --------------------------------------------------------------------- IMPORTANT DATES --------------------------------------------------------------------- Submission deadline: March 11, 2009 Notification of acceptance: April 20, 2009 Revised manuscripts due: May 4, 2009 Conference: June 8-12, 2009 Accommodation Deadline: May 1, 2009 --------------------------------------------------------------------- INVITED SPEAKERS (confirmed) James Aspnes, Computer Science, Yale University Reinhard Laubenbacher, Virginia Bioinformatics Institute, Virginia Tech David Leigh, Chemistry, University of Edinburgh Kenichi Morita, Information Engineering, Hiroshima University Michael Roukes, Physics, Cal Tech Itamar Willner, Chemistry, The Hebrew University of Jerusalem SPONSORS * National Science Foundation (NSF) * Air Force Office of Scientific Research (AFOSR) * Arkansas Science and Technology Authority (ASTA) * Arkansas Biosciences Institute (ABI) * University of Arkansas College of Engineering * University of Arkansas Graduate School * University of Arkansas Department of Computer Science and Computer Engineering * University of Arkansas Department of Biological Engineering * University of Arkansas Division of Agriculture RELATED EVENTS - Tutorial Day: June 8, 2009 - tutorials covering important topics related to biomolecular computing. WEBSITE AND CONTACTS http://dna15.uark.edu Natasha Jonoska (International Steering Committee Chair) Russell Deaton and Akira Suyama (Program Committee Co-Chairs) Russell Deaton and Jin-Woo Kim (Organizing Committee Co-Chairs) --------------------------------------------------------------------- ========================================================================= Items for the next CiE Newsletter should be sent to pmt6sbc@leeds.ac.uk to arrive by March 16, 2009 -------------------------------------------------------------------------