[FOM] [CiE] Newsletter No.23, November 24, 2009
CiE
cie at maths.leeds.ac.uk
Fri Nov 27 00:38:17 EST 2009
CiE Newsletter No.23, November 24, 2009
___________________________________________________________________________
CONTENTS:
1. Seventh International Conference on
Computability and Complexity in Analysis (CCA 2010) - Zhenjiang, China
2. Ninth International Conference on
UNCONVENTIONAL COMPUTATION 2010 (UC10), University of Tokyo, Japan
3. P&C 2010 - 3th International Workshop on
PHYSICS AND COMPUTATION - On the Nile, Egypt
4. LATA 2010 - last call for papers
5. 3rd Workshop "From Biology To Concurrency and
back" (FBTC 2010) - deadline extension
===========================================================================
1. (from Vladik Kreinovich) Seventh International
Conference on Computability and Complexity in
Analysis (CCA 2010) - Zhenjiang, China:
First Call for Papers
CCA 2010 Proceedings
Seventh International Conference on Computability
and Complexity in Analysis (CCA 2010) will take
place in Zhenjiang, China, June 21 - 25, 2010. (http://cca-net.de/cca2010)
The CCA 2010 Program Committee cordially invites
researchers in the area of computability and
complexity theory to submit papers for presentation at the conference.
Topics:
* Computable analysis
* Complexity on real numbers
* Constructive analysis
* Domain theory and analysis
* Theory of representations
* Computable numbers, subsets and functions
* Randomness and computable measure theory
* Models of computability on real numbers
* Realizability theory and analysis
* Real number algorithms * Implementation of exact real number arithmetic
Submissions:
Authors are invited to submit a PDF version of an
extended abstract (typically 10-12 pages) on the
following web page:
http://www.easychair.org/conferences/?conf=cca2010
These extended abstracts need to be prepared with
EPTCS style file
http://style.eptcs.org/
Proceedings:
Accepted papers will be published as CCA 2010
proceedings in Electronic Proceedings in Theoretical Computer Science (EPTCS).
It is planned to publish a special issue in some journal
dedicated to CCA 2010 after the conference.
Dates:
Submission deadline: March 8, 2010
Notification of authors: April 12, 2010
Final version: May 10, 2010
Invited Speakers:
Klaus Ambos-Spies (Heidelberg, Germany)
Ding-Zhu Du (Dallas, USA) Stefano Galatolo (Pisa, Italy)
Hajime Ishihara (Ishikawa, Japan)
Ker-I Ko (Beijing, China and Stony Brook, USA)
Robert Rettinger (Hagen, Germany)
Klaus Weihrauch (Hagen, Germany)
Program Committee:
Andrej Bauer (Ljubljana, Slovenia)
Douglas Bridges (Canterbury, New Zealand)
Vasco Brattka (Cape Town, South Africa)
Douglas Cenzer (Gainesville, USA)
Martin Escardo (Birmingham, UK) Peter Gacs (Boston, USA)
Daniel Graca (Faro, Portugal)
Vladik Kreinovich (El Paso, USA)
Angsheng Li (Beijing, China)
Elvira Mayordomo (Zaragoza, Spain)
Mathias Schroeder (Munich, Germany)
Dieter Spreen (Siegen, Germany)
Kaile Su (Beijing, China)
Hideki Tsuiki (Kyoto, Japan)
Xizhong Zheng, co-chair (Glenside, USA)
Ning Zhong, co-chair (Cincinnati, USA)
Martin Ziegler (Darmstadt, Germany)
===========================================================================
2. (from Kenichi Morita) Ninth International
Conference on UNCONVENTIONAL COMPUTATION 2010
(UC10), University of Tokyo, Japan:
Call for Papers or Posters
Ninth International Conference on
UNCONVENTIONAL COMPUTATION 2010
UC10
University of Tokyo, Japan
June 21st-25th, 2010
http://arn.local.frs.riken.jp/UC10/
UC10 is organized by the University of Tokyo,
Japan, and CDMTCS, University of Auckland, New
Zealand, under the auspices of EATCS.
Original papers/posters are solicited in 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
forcomputations 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=uc2010
Each author of a paper should prepare a PDF file
following LNCS format of Springer. Each author of
a poster should submit a PDF file of either a
graphical poster or abstract text, which contains
sufficient information for reviewers to evaluate
the research outcomes. Joint submissions to
other conferences are not permitted. Each
accepted paper/poster must be presented at the
conference. The author of the poster is
responsible for printing. The proceedings will be
published by Springer LNCS series and will be available at the conference.
Invited Speakers: (to be confirmed)
Satellite Workshops: (to be confirmed)
Conference Location: The conference and satellite
workshops will take place in the University of
Tokyo (Sanjo Conference Hall), Hongo Campus, Japan.
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; and Ponta Delgada, Portugal, in 2009.
UC Steering Committee:
T. Baeck (Leiden, The Netherlands), C.S. Calude
(Auckland, NZ, co-chair), L.K. Grover (Murray
Hill, NJ, USA), J. Kari (Turku, Finland), L. Kari
(London, Ont., Canada), J. van Leeuwen (Utrecht,
The Netherlands), S. Lloyd (Cambridge, MA, USA),
Gh. Pu{a}un (Seville, Spain, and Bucharest,
Romania), T. Toffoli (Boston, MA, USA), C. Torras
(Barcelona, Spain), G. Rozenberg (Leiden, The
Netherlands, and Boulder, Colorado, USA,
co-chair), A. Salomaa (Turku, Finland).
Organizing Committee: Masashi Aono, Wako, Japan
Masami Hagiya, Tokyo, Japan (chair) Satoshi
Murata, Tokyo, Japan Ferdinand Peper, Kobe, Japan Fumiaki Tanaka, Tokyo, Japan
Programme Committee:
Andrew Adamatzky, Bristol, UK Selim Akl,
Kingston, Canada Masashi Aono, Wako, Japan
Olivier Bournez, Paris, France Cristian S.
Calude, Auckland, NZ Luca Cardelli, Cambridge, UK
David Corne, Edinburgh, UK Nachum Dershowitz, Tel
Aviv, Israel Michael Dinneen, Auckland, NZ Marco
Dorigo, Brussels, Belgium Masami Hagiya, Tokyo,
Japan Emma Hart, Edinburgh, UK Gregg Jaeger,
Boston, USA Natasha Jonoska, Tampa, USA Jarkko
Kari, Turku, Finland Viv Kendon, Leeds, UK
Vincenzo Manca, Verona, Italy Jonathan Mills,
Bloomington, USA Kenichi Morita, Hiroshima
(co-chair) Ferdinand Peper, Kobe, Japan Kai
Salomaa, Kingston, Canada Hava Siegelmann,
Amherst, USA Mike Stannett, Sheffield, UK Darko
Stefanovic, Albuquerque, USA Susan Stepney, York,
UK Jon Timmis, York, UK (co-chair) Hiroshi Umeo,
Osaka, Japan Damien Woods, Seville, Spain Xin Yao, Birmingham, UK
Proceedings Committee: Cristian S. Calude,
Auckland, NZ Masami Hagiya, Tokyo, Japan Kenichi
Morita, Hiroshima, Japan Grzegorz Rozenberg,
Leiden, Netherland Jon Timmis, York, UK
----------------------------------------
Important Dates:
Submission Deadline: February 1st, 2010
Notification of Acceptance: March 8th, 2010
Revision Deadline: March 29th, 2010
Conference Dates: June 21st-25th, 2010
===========================================================================
3. (from Felix Costa) P&C 2010 - 3th
International Workshop on PHYSICS AND COMPUTATION - On the Nile, Egypt:
PRELIMINARY CALL FOR PAPERS
PHYSICS AND COMPUTATION 2010, P&C 10
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
P&C 2010
3th International Workshop on PHYSICS AND COMPUTATION
On the Nile, Egypt
August 30 (embarkation) -- September 3 (desembarkation on September
5)
Deadline for submissions: January 15th, 2010
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Original papers are solicited in all areas of Physics and Computation
(and related fields). Typical, but not exclusive, topics are:
- Analogue Computation
- Axiomatization of Physics: completeness, decidability, reduction
- Church-Turing thesis
- Computing beyong the Turing barrier
- Digital Physics
- Philosophy of Physics (and computation)
- Quantum computation (digital, analogue). Applications to Biology.
Quantum logics
- Reaction-diffusion models of computation: including Brain Dynamics,
BZ Computers
- Relativity: spacetimes, computation, time travel, speedup
- Theory of measurement: axiomatization , complexity
All researchers in the area of the Workshop are kindly invited to
submit their papers (at most 12 pages) electronically, via easychair:
http://www.easychair.org/conferences/?conf=pc10 . 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 Workshop.
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Submissions due: January 15th, 2010
Notification: February 12h, 2010
Final versions due: March 20, 2010
Early Registration: February 19 --- The charter will take a limited
number of 40 participants with some further space for people
travelling together.
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE:
- Andrew ADAMATZKI, University of West England
- Selim AKL, Queen's University, Canada
- Hajnal ANDREKA, Alfred Renyi Institute of Mathematics, Budapest
- Edwin BEGGS, University of Swansea
- Olivier BOURNEZ, Ecole Polytechnique
- Dan BROWNE, University College London
- Cristian CALUDE, University of Auckland, New Zealand
- Arturo CARSETTI, University of Rome "Tor Vergata"
- Barry COOPER, University of Leeds
- Bob COECKE, University of Oxford
- Jose Felix COSTA, Technical University of Lisbon
- Gilles DOWEK, Ecole Polytechnique and INRIA
- Walid GOMAA, University of Alexandria
- Viv KENDON, University of Leeds
- Carlos LOURENCO, University of Lisbon
- Judit MADARASZ, Alfred Renyi Institute of Mathematics, Budapest
- Yasser OMAR, Technical University of Lisbon
- Sonja SMETS, University of Groningen , Netherlands
- Mike STANNETT, University of Sheffield
- Karl SVOZIL, Institut fuer Theoretische Physik, Technische
Universitaet Wien
- John V. TUCKER, University of Swansea
- Jiri WIEDERMANN, Academy of Sciences of the Czech Republic ,
Institute of Computer Science
- Karoline WIESNER, University of Bristol
- Martin ZIEGLER, University of Paderborn, Germany
STEERING COMMITTEE:
- Caslav BRUKNER
- Cristian CALUDE
- Jose Felix COSTA
- Gregory CHAITIN
- Istvan NEMETI
ORGANIZATION COMMITTEE:
- Cristian CALUDE
- Jose Felix COSTA
- Walid GOMAA
- Karl SVOZIL
INVITED SPEAKERS AND TUTORIALS: - To be confirmed in the SECOND CALL
VENUE:
3rd International Workshop on Physics and Computation, P&C 10
Egypt , August 30 -- September 3 , Cruise downstream and upstream the
Nile, from Luxor (through Aswan) to Luxor.
Arrival and departure airports: Luxor or Cairo.
Includes one (or half) a cabin (7 nights) on board and the meals (but
not drinks) for the 8 days cruise on the Nile.
Registration fees: between $800 and $1200, plus the (optional)
sightseeing package of $145 (till February 20).
PREVIOUS EVENTS:
Second International Workshop on Physics and Computation
http://www.lix.polytechnique.fr/~bournez/PC2009/i.php
First International Workshop on Physics and Computation
http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html
POST--CONFERENCE PUBLICATION:
P&C 08: Two Issues of Applied Mathematics and Computation (Volume
215, Issue 4, October 15 , 2009 , Elsevier) and Natural Computing
(Volume 8, Number 3 , September, 2009 , Springer) .
P&C 09: Proceedings will appear as a Bentham Book.
P&C 10: We are applying for a special Issue of Physica D.
STRUCTURE OF THE EVENT
Our 5 days (Monday to Friday) Workshop <<Physics and Computation
2010>> comprises:
8 Invited speakers (50 minutes each, 10 minutes for discussion);
2 Tutorials (100 minutes each, 20 minutes for discussion);
16 Contributed papers (35 minutes each , 10 minutes for discussion);
1 Special Session : Homage to Arthur C. Clarke 's 2010 , HAL 9000
New Legacy (120 minutes). David G. Stork has done a respectable work
with respect to 2001
(http://mitpress.mit.edu/e-books/Hal/contents.html). <<Which
realizations in Unconventional Computation make us feel closer to HAL
9000 >>
Social programme includes sightseeing (with visits to) the main
Archeological Stations, discussions with an egyptologist on board,
light lectures after dinner on Egyptology and the reading of
hieroglyphs.
CONTACT:
Walid GOMAA
Faculty of Engineering,
Alexandria University,
Alexandria, Egypt
Email: wgomaa at alex.edu.eg and walid.gomaa at loria.fr
===========================================================================
4. (from Caros Martin) LATA 2010 - last call for papers:
*********************************************************************
Last Call for Papers
4th INTERNATIONAL CONFERENCE ON LANGUAGE AND
AUTOMATA THEORY AND APPLICATIONS (LATA 2010)
Trier, Germany, May 24-28, 2010
http://grammars.grlmc.com/LATA2010/
*********************************************************************
Deadline: December 3
Please notice that the deadline is firm and will not be extended !
=====================================================================
AIMS:
LATA is a yearly conference in theoretical
computer science and its applications. As linked
to the International PhD School in Formal
Languages and Applications that was developed at
Rovira i Virgili University (the host of the
previous three editions and co-organizer of this
one) in the period 2002-2006, LATA 2010 will
reserve significant room for young scholars at
the beginning of their career. It will aim at
attracting contributions from both classical
theory fields and application areas
(bioinformatics, systems biology, language
technology, artificial intelligence, etc.).
SCOPE:
Topics of either theoretical or applied interest
include, but are not limited to:
- algebraic language theory
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computer linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual,
multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern matching and pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- symbolic dynamics
- term rewriting
- text algorithms
- text retrieval
- transducers
- trees, tree languages and tree machines
- weighted machines
STRUCTURE:
LATA 2010 will consist of:
- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific
subfields, on open problems, or on professional
issues (if requested by the participants)
INVITED SPEAKERS:
John Brzozowski (Waterloo), Complexity in Convex Languages
Alexander Clark (London), Three Learnable Models
for the Description of Language
Lauri Karttunen (Palo Alto), to be announced (tutorial)
Borivoj Melichar (Prague), Arbology: Trees and Pushdown Automata
Anca Muscholl (Bordeaux), Communicating Automata (tutorial)
PROGRAMME COMMITTEE:
Alberto Apostolico (Atlanta)
Thomas Baeck (Leiden)
Stefania Bandini (Milano)
Wolfgang Banzhaf (St. John's)
Henning Bordihn (Potsdam)
Kwang-Moo Choe (Daejeon)
Andrea Corradini (Pisa)
Christophe Costa Florencio (Leuven)
Maxime Crochemore (Marne-la-Vallée)
W. Bruce Croft (Amherst)
Erzsebet Csuhaj-Varju (Budapest)
Jurgen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
Rodney G. Downey (Wellington)
Frank Drewes (Umea)
Henning Fernau (Trier, co-chair)
Rusins Freivalds (Riga)
Rudolf Freund (Wien)
Paul Gastin (Cachan)
Edwin Hancock (York, UK)
Markus Holzer (Giessen)
Helmut Jorgensen (London, Canada)
Juhani Karhumaki (Turku)
Efim Kinber (Fairfield)
Claude Kirchner (Bordeaux)
Brian Marcus (Vancouver)
Carlos Martin-Vide (Brussels, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Bucharest)
Claudio Moraga (Mieres)
Sven Naumann (Trier)
Chrystopher Nehaniv (Hatfield)
Maurice Nivat (Paris)
Friedrich Otto (Kassel)
Daniel Reidenbach (Loughborough)
Klaus Reinhardt (Tübingen)
Antonio Restivo (Palermo)
Christophe Reutenauer (Montréal)
Kai Salomaa (Kingston, Canada)
Jeffrey Shallit (Waterloo)
Eljas Soisalon-Soininen (Helsinki)
Bernhard Steffen (Dortmund)
Frank Stephan (Singapore)
Wolfgang Thomas (Aachen)
Marc Tommasi (Lille)
Esko Ukkonen (Helsinki)
Todd Wareham (St. John's)
Osamu Watanabe (Tokyo)
Bruce Watson (Pretoria)
Thomas Wilke (Kiel)
Slawomir Zadrozny (Warsaw)
Binhai Zhu (Bozeman)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Henning Fernau (Trier, co-chair) Maria Gindorf (Trier)
Stefan Gulan (Trier)
Anna Kasprzik (Trier)
Carlos Martin-Vide (Brussels, co-chair) Norbert Muller (Trier)
Bianca Truthe (Magdeburg)
SUBMISSIONS:
Authors are invited to submit papers presenting
original and unpublished research. Papers should
not exceed 12 single-spaced pages and should be
formatted according to the standard format for
Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0).
Submissions have to be uploaded at:
http://www.easychair.org/conferences/?conf=lata2010
PUBLICATIONS:
A volume of proceedings published by Springer in
the LNCS series will be available by the time of the conference.
A special issue of the Journal of Computer and
System Sciences (Elsevier) will be later
published containing refereed extended versions
of some of the papers contributed to the
conference. Submissions to it will be only by invitation.
A special issue of another major journal
containing papers oriented to applications is under consideration.
REGISTRATION:
The period for registration will be open since
September 1, 2009 until May 24, 2010. The
registration form can be found at the website of
the conference: http://grammars.grlmc.com/LATA2010/
Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 530 Euro
Late registration fees (PhD students): 430 Euro
On-site registration fees: 550 Euro
On-site registration fees (PhD students): 450 Euro
At least one author per paper should register.
Papers that do not have a registered author by
February 15, 2010 will be excluded from the proceedings.
Fees comprise access to all sessions, one copy of
the proceedings volume, coffee breaks, lunches,
excursion, and conference dinner.
PAYMENT:
Early (resp. late) registration fees must be paid
by bank transfer before February 15, 2010 (resp.
May 14, 2010) to the conference series account at
Open Bank (Plaza Manuel Gomez Moreno 2, 28020
Madrid, Spain): IBAN: ES1300730100510403506598 -
Swift code: OPENESMMXXX (account holder: Carlos
Martin-Vide & URV ~V LATA 2010).
Please write the participant's name in the
subject of the bank form. Transfers should not
involve any expense for the conference.
On-site registration fees can be paid only in cash.
A receipt for the payment will be provided on site.
Besides paying the registration fees, it is
required to fill in the registration form at the website of the conference.
BEST PAPER AWARDS:
An award will be offered to the authors of the
two best papers accepted to the conference. Only
papers fully authored by PhD students are
eligible. The award intends to cover their travel expenses.
IMPORTANT DATES:
Paper submission: December 3, 2009 *
Notification of paper acceptance or rejection: January 21, 2010
Final version of the paper for the LNCS proceedings: February 3, 2010
Early registration: February 15, 2010
Late registration: May 14, 2010
Starting of the conference: May 24, 2010
Submission to the post-conference special issue(s): August 27, 2010
* Contributors who have submitted by the deadline
will be allowed to upload an updated version until December 10.
FURTHER INFORMATION:
gindorf-ti at informatik.uni-trier.de
CONTACT:
LATA 2010
Universitat Trier
Fachbereich IV ~V Informatik
Campus II, Behringstraße
D-54286 Trier
Phone: +49-(0)651-201-2836
Fax: +49-(0)651-201-3954
===========================================================================
5. (from Paola Quaglia) 3rd Workshop 'From
Biology To Concurrency and back' (FBTC 2010) - deadline extension:
*** Deadline Extension
*** 3rd Workshop "From Biology To Concurrency and back" (FBTC 2010)
*** New deadline for abstracts: November 29, 2009 (abstracts)
*** New deadline for papers: December 8, 2009
More information below or at http://www.disi.unitn.it/~fbtc2010/
=====================================================================
CALL FOR PAPERS: FBTC 2010
From Biology To Concurrency and back
(satellite event of ETAPS 2010)
March 27, 2010
Paphos, Cyprus
http://www.disi.unitn.it/~fbtc2010/
======================================================================
AIMS AND OBJECTIVES
As in its previous editions, the workshop aims at gathering
researchers with
special interest at the convergence of life and computer science,
with particular
focus on the application of techniques and tools from concurrency.
We solicit the submission of unpublished results reporting on both
modelling,
analysis, and validation of biological behaviours using
concurrency-inspired
methods and platforms, and on bio-inspired models and tools for describing
distributed interactions.
Topics of interest include, but are not limited to:
applications of techniques from rewriting logics, process calculi,
Petri Nets,
graph grammars, hybrid systems, and model checking to the
representation and
testing of scenarios from life sciences.
SUBMISSION AND PUBLICATION
Submission through EasyChair,
15 pages manuscripts in EPTCS (http://www.eptcs.org/) style.
IMPORTANT DATES
Submission of title and abstract: November 29, 2009
Submission of paper: December 8, 2009
Notification: January 17, 2010
Submission of final version: February 21, 2010
PROGRAMME COMMITEE (to be confirmed)
Marco Antoniotti (University of Milan Bicocca, IT)
Chiara Bodei (University of Pisa, IT)
Luca Bortolussi (University of Udine, IT)
Luca Cardelli (Microsoft Research Cambridge, UK)
Erik de Vink (Technische Universiteit Eindhoven, NL)
Vincent Danos (CNRS and University of Edinburgh, UK)
François Fages (INRIA Paris-Rocquencourt, F)
Anthony Finkelstein (University College London, UK)
Walter Fontana (Harvard Medical School, US)
Radu Grosu (Stony Brook University, US)
Jane Hillston (University of Edinburgh, UK)
Anna Ingólfsdóttir (Reykjavik University, IS)
John Lygeros (Automatic Control Laboratory, CH)
Emanuela Merelli (University of Camerino, IT) (Co-chair)
Paola Quaglia (CoSBi and Trento University, IT) (Co-chair)
Carolyn Talcott (SRI International, US)
Adelinde Uhrmacher (University of Rostock, DE)
Cristian Versari (University of Bologna, IT)
===========================================================================
Items for the next CiE Newsletter should be sent to s.b.cooper at leeds.ac.uk
to arrive by December 11, 2009
___________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2010 http://www.cie2010.uac.pt/
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
___________________________________________________________________________
__________ Information from ESET NOD32 Antivirus,
version of virus signature database 4634 (20091124) __________
The message was checked by ESET NOD32 Antivirus.
http://www.eset.com
More information about the FOM
mailing list