[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