Logic List Mailing Archive

Hypernet 2011, UC 2011, and Physics & Computation 2011

6-10 June 2011
Turku, Finland

Three co-located events in Turku with separate Calls for Papers (scroll 
down): Hypernet, UC 2011, and Physics and Computation 2011

==================================================================

Call for Papers / Posters

HYPERNET (Hypercomputation Workshop) 2011
Co-located Workshop with Unconventional Computation 2011
June 6-10, Turku, Finland
UC2011 Main Site: http://www.math.utu.fi/projects/uc2011/

Papers and posters are solicited on all aspects of Hypercomputation.

KEY DATES
Paper submission deadline:  28 Feb 2011
Paper authors notified:      1 Apr 2011
Final versions due:         18 Apr 2011
Poster submission deadline: 18 Apr 2011
Poster authors notified:    25 Apr 2011
Early registration ends:     2 May 2011

PUBLICATION
Accepted papers will be published in the first instance in electronic form as a 
Workshop pre-proceedings. As in previous years, authors will be invited, 
following the Workshop, to submit finalised versions of their work for journal 
publication.

Submissions should be submitted electronically via EasyChair, in PDF format:

    http://www.easychair.org/conferences/?conf=hypernet11

Papers should initially be no more than 12 sides in length (excluding 
bibliography), and should be formatted for A4 paper.

TOPICS INCLUDE (but are not restricted to)
* analogue systems
* arithmetic hierarchy
* axiomatizations of physics
* Church-Turing thesis
* complexity of nonstandard systems
* computing beyond the Turing barrier
* digital physics
* economics and uncomputability
* nonstandard computation
* philosophical aspects
* quantum computation
* relativistic computation
* transfinite systems
* unconventional computation and its properties
* wormhole computation

PROGRAMME COMMITTEE
Selim Akl (Queen's)
Hajnal Andrka (Budapest)
Olivier Bournez (Ecole Polytechnique)
Cristian Calude (Auckland)
Barry Cooper (Leeds)
Francisco Antnio Dria (Rio de Janeiro)
Marian Gheorghe (Sheffield)
Viv Kendon (Leeds)
Peter Kugel (Boston)
Kenichi Morita (Hiroshima)
Istvan Nmeti (Budapest)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)
Gergely Szkely (Budapest)
Christof Teuscher (Portland)
John Tucker (Swansea)
Benjamin Wells (San Francisco)

ORGANISING COMMITTEE
Hajnal Andrka (Budapest)
Cristian Calude (Auckland)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)

COORDINATOR / QUERIES
Mike Stannett (m.stannett@dcs.shef.ac.uk)

=================================================================

2nd Call for Papers or Posters

Tenth International Conference on
UNCONVENTIONAL COMPUTATION, UC 2011

University of Turku, Finland, June 6-10, 2011
http://www.math.utu.fi/uc2011/

------------------------------------------------------------------------
Important dates

- Paper submission deadline: January 31, 2011
- Notification to authors: March 4, 2011
- Final versions due: March 21, 2011
- Poster submission deadline: April 18, 2011
- UC 2011: June 6-10, 2011

------------------------------------------------------------------------
UC 2011 is organized by the FUNDIM laboratory of the mathematics 
department at the University of Turku, Finland, under the auspices of 
EATCS.

Original papers and posters are solicited in all all areas of 
unconventional computation. Papers/posters dealing with theory as well as 
with experiments and applications are welcome. Typical, but not exclusive, 
topics are: natural computing including quantum, cellular, molecular, 
neural and membrane computing, as well as evolutionary paradigms; chaos 
and dynamical systems based computing; proposals for computations going 
beyond the Turing model.

Submissions: Authors are invited to submit papers (at most 12 pages) or 
posters electronically, via EasyChair:
http://www.easychair.org/conferences/?conf=uc2011
All submissions are expected to be in the pdf format. Paper submissions 
should be prepared following the LNCS format of Springer. Poster 
submissions should contain either a graphical poster or an abstract with 
sufficient details for the reviewers. Simultaneous submissions to other 
conferences with published proceedings are not permitted. Each accepted 
paper/poster must be presented at the conference. The author of the poster 
is responsible for printing it. The proceedings (only for papers) will be 
published by Springer LNCS series and will be available at the conference.

------------------------------------------------------------------------
Programme Committee:
- Selim Akl (Kingston, CA)
- Olivier Bournez (Paris, FR)
- Thomas Bck ( Leiden, NL)
- Adan Cabello (Sevilla, ES)
- Barry Cooper (Leeds, UK)
- Jos Flix Costa (Lisbon, PT)
- Nachum Dershowitz (Tel Aviv, IL)
- Eric Goles (Santiago, CL)
- Shan He (Birmingham, UK)
- Mika Hirvensalo (Turku, FI)
- Natasha Jonoska (Tampa FL, US)
- Jarkko Kari (Turku, FI, co-chair)
- Giancarlo Mauri (Milano, IT)
- Kenichi Morita (Hiroshima, JP)
- Ion Petre (Turku, FI, co-chair)
- Kai Salomaa (Kingston, CA)
- Hava Siegelmann (Amherst MA, US)
- Susan Stepney (York, UK)
- Fumiaki Tanaka (Tokyo, JP)
- Jon Timmis (York, UK)

------------------------------------------------------------------------
Invited Speakers:
- Samson Abramsky (Oxford, UK),
- Bastien Chopard (Geneva, CH),
- David Corne (Edinburgh, UK),
- Juhani Karhumki (Turku, FI),
- Gheorghe Pa(un (Bucharest, RO),
- Grzegorz Rozenberg (Leiden, NL).

Tutorials:
- Quantum Information (Mika Hirvensalo, Turku, FI),
- Cellular Automata (Nicolas Ollinger, Marseille, FR),
- Membrane Computing (Mario de J. Prez Jimnez, Sevilla, SP).

Satellite Workshops:
- Physics and Computation (org. Mike Stannet),
- Hypercomputation (org. Mike Stannet),
- Language Theory in Biocomputing (org. Tero Harju),
- Discrete Models of Complex Systems (org. Anna Lawniczak)

Conference location: The conference and the satellite workshops will take 
place in the Calonia and Arcanum buildings of the University of Turku.

Conference History: 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; Seville, Spain, in 2005; 
York, UK, in 2006; Kingston, Canada, in 2007; Vienna, Austria, in 2008; 
Ponta Delgada, Portugal, in 2009; and Tokyo, Japan, in 2010.

------------------------------------------------------------------------
Organizing Committee:
- Pierre Guillon
- Tero Harju
- Mika Hirvensalo
- Timo Jolivet
- Juhani Karhumki
- Jarkko Kari (chair)
- Arto Lepist
- Ion Petre
- Petri Salmela
- Charalampos Zinoviadis

Proceedings Committee:
- Cristian S. Calude
- Jarkko Kari
- Arto Lepist
- Ion Petre
- Grzegorz Rozenberg

UC Steering Committee:
- Thomas Bck (Leiden, NL),
- Cristian S. Calude (Auckland, NZ, co-chair),
- Lov K. Grover (Murray Hill NJ, US),
- Jarkko Kari (Turku, FI),
- Lila Kari (London, CA),
- Jan van Leeuwen (Utrecht, NL),
- Seth Lloyd (Cambridge MA, US),
- Gheorghe Pa(un (Bucharest, RO),
- Tommaso Toffoli (Boston MA, US),
- Carme Torras (Barcelona, SP),
- Grzegorz Rozenberg (Leiden, NL, co-chair),
- Arto Salomaa (Turku, FI).

===========================================================

Call for Papers / Posters

PHYSICS & COMPUTATION 2011
Co-located Workshop with Unconventional Computation 2011
June 6-10, Turku, Finland
UC2011 Main Site: http://www.math.utu.fi/projects/uc2011/

Papers and posters are solicited on the relationships between Physics and 
Computation.

KEY DATES
Paper submission deadline:  28 Feb 2011
Paper authors notified:      1 Apr 2011
Final versions due:         18 Apr 2011
Poster submission deadline: 18 Apr 2011
Poster authors notified:    25 Apr 2011
Early registration ends:     2 May 2011

PUBLICATION
Accepted papers will be published in the first instance in electronic form 
as a Workshop pre-proceedings. As in previous years, authors will be 
invited, following the Workshop, to submit finalised versions of their 
work for journal publication.

Submissions should be submitted electronically via EasyChair, in PDF 
format:

     http://www.easychair.org/conferences/?conf=pc2011

Papers should initially be no more than 12 sides in length (excluding 
bibliography), and should be formatted for A4 paper.

TOPICS INCLUDE (but are not restricted to)
* analogue computation
* axiomatization of physics: completeness, decidability, reduction
* digital physics
* optical computation
* philosophy of physics and computation
* quantum computation (digital, analogue) and its applications (biology, 
mathematics, etc.)
* quantum logics
* quantum randomness
* reaction-diffusion models of computation: including brain dynamics, BZ 
computers
* relativity: spacetimes, computation, time travel, speedup
* theory of measurement: axiomatization, complexity
* wormhole computation

PROGRAMME COMMITTEE
Andy Adamatzky (Bristol)
Alastair Abbott (Auckland)
Hajnal Andrka (Budapest)
Olivier Bournez (Ecole Polytechnique)
Adn Cabello (Seville)
Cristian Calude (Auckland)
Shlomi Dolev (Ben Gurion)
Elham Kashefi (Edinburgh)
Viv Kendon (Leeds)
Giuseppe Longo (Paris)
Kenichi Morita (Hiroshima)
Ferdinand Peper (NiCT)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)
Damien Woods (CalTech)
Paolo Zuliani (Carnegie Mellon)

ORGANISING COMMITTEE
Hajnal Andrka (Budapest)
Cristian Calude (Auckland)
Ion Petre (Turku)
Mike Stannett (Sheffield)
Susan Stepney (York)

COORDINATOR / QUERIES
Mike Stannett (m.stannett@dcs.shef.ac.uk)