[FOM] [CiE] Newsletter No.15, June 27, 2009

CiE cie at maths.leeds.ac.uk
Sat Jun 27 11:39:41 EDT 2009


CiE Newsletter No.15, June 27, 2009

___________________________________________________________________________
CONTENTS:

1. Colloquium on Unconventional Models of Computation, in honor of 
Giancarlo Mauri - Call for Participation

2. Special issue of International Journal of Unconventional Computing 
- Call for Papers

3. Current Trends in Theory and Practice of Computer Science (SOFSEM 
2010) - Extension of Deadline

4. Unconventional Computation 2009 (UC 2009) - Last minute registration

5. Computability and Complexity in Analysis 2009 (CCA 2009) - Call 
for Participation

6. 6th Workshop on Fixed Points in Computer Science, FICS 2009 - CfP

7. Special issue of Journal of Universal Computers Science (JUCS) 
from CCA 2008, published in honour of Klaus Weihrauch's 65th birthday 
- now online


========================================================================= 
1. (from Paola Bonizzoni) Colloquium on Unconventional Models of 
Computation, in honor of Giancarlo Mauri - Call for Participation:

COLLOQUIUM ``UNCONVENTIONAL MODELS OF COMPUTATION''
28th September  2009, Cremona, Italy
CALL FOR PARTICIPATION

A colloquium in honor of Giancarlo Mauri, entitled ``Unconventional
models for computation'',  will be co-located with ICTCS 09
http://www.cremona.polimi.it/ictcs09/
on September 28.
The colloquium consists of an opening lecture delivered by Grzegorz
Rozenberg and invited contributions.
Moreover few free contributions could be considered. Interested
people can send by e-mail an abstract to Paola Bonizzoni
(bonizzoni at disco.unimib.it) up to July 15.
(Please notice that the deadline for submitting to ICTCS remains June
28)

Paola Bonizzoni and
The Organizing and Scientific Commettee of ICTS 09

Paola Bonizzoni
Dipartimento  di Informatica  Sistemistica e   Comunicazione
Universita Degli Studi  di  Milano-Bicocca (ITALY)
email: bonizzoni at disco dot unimib dot it
tel.   (+39) 02-64487814
fax: (+39) 02-64487839
http://bioinformatics.bio.disco.unimib.it/~bonizzoni/


=========================================================================
2. (from Jerome Durand-Lose) Special issue of International Journal 
of Unconventional Computing - Call for Papers:

CALL    for      PAPERS
**********************************************************************

     International Journal of Unconventional Computing

Special issue on

     New Worlds of Computation

**********************************************************************
http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose/Recherche/2009_IJ
UC_NWC
http://www.oldcitypublishing.com/IJUC/IJUC.html
**********************************************************************

This special issue is a sequel to the
   Worskop New Worlds of Computation (NWC '09)
January 12, 2009, Orleans, FRANCE
http://www.univ-orleans.fr/lifo/Manifestations/NMC09/

Submission is open (i.e. NOT restricted to NWC participants)
**********************************************************************

Topics

The special issue aims at gathering papers from a wide off-Turing
community in order to bring forth the common problematics as well as
divergent results.

Models of computation that fall out of the Turing context:

     * Analog computation
     * Continuous computation
     * Hybrid systems
     * Computation on infinite structures (Ordinals, linear orders)
     * Hypercomputation
     * Infinite time computation
     * Non-Euclidean spaces
     * Non-standard approaches
     * Optical collision
     * Abstract geometrical computation
     * Cellular automata
     * Collision based, quantum, DNA, membrane...

The classical Turing computability has been THE paradigm for
computation for more than half a century. In less than two decades,
various paradigms have been proposed (invented, discovered or
reframed) and communities have emerged: computable analysis, algebraic
models, Quantum computing, DNA, Cellular automaton... All of them fall
outside the classical context because they manipulate objects that are
just out of the classical scope (infinite objects or uncountably many
values) or continuous or infinite time. Unfortunately, there is no
miraculous generalized Church-Turing thesis (nor specialized analog
nor...).

The audience aimed at is roughly the same as:

     * Machines, Computations and Universality
     * Unconventional Computation
     * Computability in Europe
     * Hypercomputation Research Network

Deadlines

Submission      September 1st 2009
Notification    December 1th 2009

Submission is handled with easychair:

https://www.easychair.org/login.cgi?conf=ijuc_nwc_09

Guest editor

Jerome Durand-Lose contact: jerome.durand-lose at univ-orleans.fr
LIFO (Laboratoire d'Informatique Fondamentale d'Orleans), projet Graphes et
Algorithmes
Universite d'Orleans - logo Universite d'Orleans, Departement d'Informatique
de l'UFR Sciences.


=========================================================================
3. (from Roman Spanek) Current Trends in Theory and Practice of 
Computer Science (SOFSEM 2010) - Extension of Deadline:

                                 DEADLINE EXTENDED

                                    SOFSEM 2010
                                 36th Conference on
             Current Trends in Theory and Practice of Computer Science
        January 23-29, 2010, Hotel Bedrichov, Spindleruv Mlyn, Czech Republic
                                 http://www.sofsem.cz

    The initial SOFSEM deadline has passed, but we received many signals that
    an extension of the deadline for full papers would be very desirable for
    many authors. We have thus decided to extend the SOFSEM submission deadline
    by exactly ONE WEEK. Thus:

     the deadline for submitting abstracts is EXTENDED to June 30, for full
     papers to July 7.

    Please tell your colleagues for whom the previous deadlines were too tight
    that they have one more week to submit a paper to SOFSEM!

    For details on submitting papers to SOFSEM 2010: see http://www.sofsem.cz

    Sincerely,
    Jan van Leeuwen
    (general chair)

    SOFSEM 2010 conference tracks are:
    *  Foundations of Computer Science
       Chair: David Peleg (Weizmann Institute of Science, Israel)
       Co-chair: Anca Muscholl (University of Bordeaux, France)
    *  Principles of Software Construction
       Chair: Bernhard Rumpe (RWTH Aachen University, Germany)
    *  Data, Knowledge, and Intelligent Systems
       Chair: Jaroslav Pokorny (Charles University in Prague, Czech Republic)
    *  Web Science
       Chair: David De Roura (University of Southampton, United Kingdom)


=========================================================================
4. (from Felix Costa) Unconventional Computation 2009 - Last minute 
registration:

CALL FOR PARTICIPATION --- LAST MINUTE REGISTRATION
UNCONVENTIONAL COMPUTATION UC 2009

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
UC 2009
8th International Conference on UNCONVENTIONAL COMPUTATION, Ponta 
Delgada, Azores Islands, PORTUGAL, September 7-11, 2009

Conference Poster can be downloaded from the Conference Homepage: 
http://www.uc09.uac.pt .
TAKE A LOOK TO OUR WEBSITE

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

EARLY REGISTRATION: JUNE 1ST - 26TH 2009

We are happy to invite you to the next edition of the International 
Conference on UNCONVENTIONAL COMPUTATION (UC).

==================
EARLY REGISTRATION
==================
Registrations before JUNE 26th fall into the early registration 
period, for which a reduced fee applies. Please register at the 
conference website http://www.uc09.uac.pt/registration.php .

==========================
HOTEL / FLIGHT RESERVATION
==========================
Rooms will be available at the special conference hotel rate. Please 
consult the conference website 
http://www.uc09.uac.pt/accommodation.php for information on reserving 
your flight and / or your hotel room at the special conference rate.

============
PhD STUDENTS
============
There are special prices for accommodation of PhD students at 
University Student Residence, please consult the conference website 
http://www.uc09.uac.pt/PhDAccommodation.php .

INVITED SPEAKERS:

- Edwin BEGGS (Swansea University): Experimental Computation
- Jarkko KARI (University of Turku): Cellular Automata
- Carlos LOURENENCO (University of Lisbon): Brain Dynamics
- Przemyslaw PRUSINKIEWICZ (University of Calgary): Developmental Computing
- Lukas 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

INVITED SPEAKERS (ACTION EVENT on ANALOG COMPUTERS):

- Jonathan MILLS, Indiana University: Awakening the Analogue 
Computer: Rubel's Extended Analog Computer Workshop
- James M. NYCE (Ball State University): Artifice, Interpretation and 
Nature: Key Categories in Radiology Work

INVITED LECTURER:

- Gabriela QUEIROZ (Volcanology and Geogological Risks Evaluation Centre,
University of Azores): The Geology of the Island

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:

- Jose Felix COSTA (Chair), Tech. Univ. of Lisbon and Swansea Univ.,
Portugal and UK
- Elisabete FREIRE, University of Azores, Portugal
- Matthias FUNK, University of Azores, Portugal
- Luis Mendes GOMES, University of Azores, Portugal
- Helia GUERRA, University of Azores, Portugal

CONTACT ADDRESS:

Elisabete FREIRE
Department of Mathematics
University of Azores
Rua da Mae de Deus
9501-855 Ponta Delgada
Portugal
Phone: (+351) 296 650 506 /  (+351) 296 650 000
e-mail: freire at uac.pt


=========================================================================
5. (from Peter Hertling) Computability and Complexity in Analysis 
2009 (CCA 2009) - Call for Participation:

Call for Participation
Sixth International Conference on

Computability and Complexity in Analysis 2009 (CCA 2009)

August 18-22, 2009, Ljubljana, Slovenia

Early registration deadline: August 1st, 2008

IMPORTANT: book hotels before June 25th, 2009, see information below!
______________________________________________________________

Invited Speakers

   * Mark Braverman (Cambridge, USA)
   * Vladik Kreinovich (El Paso, USA)
   * Dana Scott (Pittsburgh, USA)
   * Ning Zhong (Cincinnati, USA)

Tutorial Speakers

   * Martin Escardo (Birmingham, UK)
   * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands)

Scientific Program Committee

   * Andrej Bauer (Ljubljana, Slovenia)
   * Vasco Brattka (Cape Town, South Africa)
   * Mark Braverman (Cambridge, USA)
   * Pieter Collins (Amsterdam, The Netherlands)
   * Peter Hertling, co-chair (Munich, Germany)
   * Hajime Ishihara (Ishikawa, Japan)
   * Ker-I Ko, co-chair (Stony Brook, USA)
   * Robert Rettinger (Hagen, Germany)
   * Victor Selivanov (Novosibirsk, Russia)
   * Alex Simpson (Edinburgh, Great Britain)
   * Dieter Spreen (Siegen, Germany)
   * Frank Stephan (Singapore)
   * Xizhong Zheng (Glenside, USA)

Organizing Committee

   * Andrej Bauer (Ljubljana, Slovenia)
   * Iztok Kavkler (Ljubljana, Slovenia)
   * Davorin Lesnik (Ljubljana, Slovenia)
   * Matija Pretnar (Ljubljana, Slovenia)

Venue & Accommodation

The venue for CCA 2009 is the Faculty of Mathematics
and Physics, University of Ljubljana. Further information
on accommodation is available here:

http://cca.fmf.uni-lj.si/

IMPORTANT: special hotel room offers are available only
until June 25th, 2009. Please book your room early!

Registration Fees

   * Euro 100 until August 1st, 2009 (standard fee)
   * Euro 120 after August 1st, 2009 (late fee)

Further information on registration is available here:

http://cca.fmf.uni-lj.si/

Programme

The programme will start with a tutorial day in the
morning of August 18th and finish around lunch time of
August 22nd. The schedule will be fixed soon and will
then be available on the conference home page.

Proceedings

Fully accepted papers will be published as CCA 2009 proceedings
in the Dagstuhl Research Online Publication Server. In addition,
a printed version (as a technical report) will be available at
the conference.

It is customary to publish a special journal issue dedicated to
CCA 2009 after the conference.

Conference Web Page

http://cca-net.de/cca2009/


========================================================================= 
6. (from Ralph Matthes) 6th Workshop on Fixed Points in Computer 
Science, FICS 2009 - CfP:

                  2nd Call for Papers (Extended Abstracts)

         6th Workshop on Fixed Points in Computer Science, FICS 2009
                 Coimbra, Portugal, 12-13 September 2009,
                     a satellite workshop of CSL 2009,
                   colocated with PPDP 2009, LOPSTR 2009

                         http://cs.ioc.ee/fics09/

Background

Fixed points play a fundamental role in several areas of computer
science and logic by justifying induction and recursive
definitions. The construction and properties of fixed points have been
investigated in many different frameworks such as: design and
implementation of programming languages, program logics,
databases. The aim of the workshop is to provide a forum for
researchers to present their results to those members of the computer
science and logic communities who study or apply the theory of fixed
points. Previous workshops where held in Brno (1998, MFCS/CSL
workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop),
Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop).

Topics include, but are not restricted to:

     * categorical, metric and ordered fixed point models
     * fixed points in algebra and coalgebra
     * fixed points in languages and automata
     * fixed points in programming language semantics
     * the mu-calculus and fixed points in modal logic
     * fixed points in process algebras and process calculi
     * fixed points in the lambda-calculus,
          functional programming and type theory
     * fixed points in relation to dataflow and circuits
     * fixed points in logic programming and theorem proving
     * finite model theory, descriptive complexity theory,
          fixed points in databases

Invited speakers

Javier Esparza (Technische Universitat Muenchen)
Yde Venema (Universiteit van Amsterdam)
a 3rd invited speaker tba

Contributed talks

Selection of contributed talks is based on extended abstracts/short
papers of 3..6 pp formatted with easychair.cls. Submission is via
EasyChair by 30 June 2009. The authors will be notified of
acceptance/rejection by 21 July 2009.

Camera-ready versions of the accepted contributions, due by 11 August
2009, will be published for distribution at the workshop as a
technical report.

If the number and quality of submissions and accepted talks warrant
this, EDP Sciences will publish a special issue of Theoretical
Informatics and Applications. The special issues of the previous
editions of FICS appeared in the same journal.

Programme committee

Yves Bertot (INRIA Sophia Antipolis)
Anuj Dawar (University of Cambridge)
Peter Dybjer (Chalmers University of Technology)
Zoltan Esik (University of Szeged)
Masahito Hasegawa (Kyoto University)
Anna Ingolfsdottir (Reykjavik University)
Ralph Matthes (IRIT, Toulouse) (co-chair)
Jan Rutten (CWI and Vrije Universiteit Amsterdam)
Luigi Santocanale (LIF, Marseille)
Alex Simpson (University of Edinburgh)
Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair)
Igor Walukiewicz (LaBRI, Bordeaux)

Sponsors

EXCS, Estonian Centre of Excellence in Computer Science

=========================================================================
7. (from Vasco Brattka) Special issue of Journal of Universal 
Computers Science (JUCS) from CCA 2008:

This is to let you know that the

     Special Issue of the
     Journal of Universal Computers Science (JUCS)
     following CCA 2008 and published
     in honour of Klaus Weihrauch's 65th birthday

is online now:

     http://www.jucs.org/jucs_15_6


=========================================================================
Items for the next CiE Newsletter should be sent to cie at leeds.ac.uk
to arrive by July 13, 2009

__________________________________________________________________________
  ASSOCIATION COMPUTABILITY IN EUROPE      http://www.computability.org.uk
  CiE Conference Series                         http://www.illc.uva.nl/CiE
  CiE 2009                 http://www.math.uni-heidelberg.de/logic/cie2009
  CiE Membership Application Form            http://www.cs.swan.ac.uk/acie
__________________________________________________________________________




More information about the FOM mailing list