[FOM] [CiE] Newsletter No.10, April 14, 2009
S B Cooper
pmt6sbc at maths.leeds.ac.uk
Wed Apr 15 11:22:28 EDT 2009
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 at 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 at 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 at polytechnique.edu and Gilles.Dowek at 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 at comcast.net.
For further information on the AMS sectional meeting contact either
Matthew Miller, the relevant AMS secretary, at miller at math.sc.edu, or
Mario Milman, the local organizer, at extrapol at 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.PeopleDetailsCallPage&call_id=199
International Outgoing Fellowship (IOF)
http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=200
Intra European Fellowship (IEF)
http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=198
=========================================================================
Items for the next CiE Newsletter should be sent to pmt6sbc at leeds.ac.uk
to arrive by April 26, 2009
-------------------------------------------------------------------------
More information about the FOM
mailing list