Logic List Mailing Archive

Last CfP: UC09, Ponta Delgada

7-11 Sep 2009
Acores, Portugal

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 suitab
le 
class files of Springer LNCS. Joint submissions to other conferences are no
t 
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 autho
r is 
responsible for printing out the poster. To submit a poster you should go t
o 
EASYCHAIR and choose the special topic "POSTERS" instead of a thematic topi
c.

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 th
e 
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 Dav
is, 
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 Universi
ty, 
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 Pont
a 
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 Hardw
are: From 
successful applications to implications for the theory of computation
- Philip WELCH (University of Bristol): Relativistic Computers and Transfin
ite 
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 Schola
r, 
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 Polytechniqu
e), 
and Gilles DOWEK (Ecole Polytechnique and INRIA)

ORGANIZING COMMMITTEE

- José Félix COSTA (chair), Tech. Univ. of Lisbon and Swansea Uni
v., 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