[FOM] CiE Newsletter No.68, April 12, 2013

Olivier Bournez martin at eipye.com
Fri Apr 12 21:59:34 EDT 2013


CiE Newsletter No.68, April 12, 2013

Please send any items you would like included in 
next letter to Olivier Bournez (bournez at lix.polytechnique.fr)
DEADLINE: May 10th 2013.


___________________________________________________________________________

** COMPUTABILITY - The Journal of the Association 
CiE. Now accepting submissions.
http://www.computability.de/journal/

** CIE 2013 http://cie2013.disco.unimib.it/
Computability in Europe 2013: The Nature of 
Computation. Milano. 1st-5th July 2013.

** CIE 2013: Call for Informal Presentations: see item 12)

___________________________________________________________________________


***********************************************************************
CiE members will be happy to see that thousands of people around the world
voted Alan Turing's Universal machine the most important UK innovation of
the last 100 years:

http://www.topbritishinnovations.org

Many thanks to all those CiE members who voted and contributed to this
remarkable outcome.
***********************************************************************


CONTENTS

   1) CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013
   2) CCA 2013: First Call for Informal Presentations
   3) LPAR-19 CFP and Workshops
   4) ADDCT 2013: Automated Deduction: 
Decidability, Complexity, Tractability, Lake Placid NY (U.S.A.), 10 June 2013
   5) VI International Workshop on Nature 
Inspired Cooperative Strategies for Optimization 
- NICSO 2013 - September 2nd - 4th, 2013 Canterbury, United Kingdom
   6) Call for participation: Samson at 60 - Oxford, 28-30 May 2013
   7) Submission deadline extension: Machines, 
Computations and Universality 2013
   8) Phd positions in Human Brain Project (Principles of Brain Computation)
   9) MFCS 2013 - Call for Papers
   10) Call for papers - AQIS'13 - Asian Quantum Information Science, Chennai
   11) Call for Papers MeCBIC 2013 -- workshop ICALP, Riga, 7th July
   12) CiE 2013: Call for Informal Presentations
   13) SECOND CALL FOR PAPERS - AUTOMATA 2013
   14) Nordic Spring School in Logic May 27 - 31, 
Sophus Lie Conference Center, Nordfjordeid, Norway.
   15) First announcement: Heterotic computing, 7-8 Nov 2013
   16) Call for papers: Quantum Physics and Logic,
   17) Postdoctoral position in Quantum Information at Telecom ParisTech



___________________________________________________________________________

1) CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013

[From  Monika Seisenberger]

**********************************************************

   CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013

***********************************************************

5th International Conference on Algebra and Coalgebra in Computer Science

            CALCO Early Ideas Workshop

               September 2, 2013

                 Warsaw, Poland

       http://coalg.org/calco13/workshops.html#ei

   Submission deadline for short contributions: 27 May 2013

************************************************************

CALCO 2013 will be preceded by the CALCO Early Ideas Workshop,
dedicated to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute. Attendance at the workshop is open to all -
it is anticipated that many CALCO conference participants will want to
attend the CALCO Early Ideas workshop (and vice versa).

The CALCO Early Ideas Workshop invites submissions on the same topics
as the CALCO conference: reporting results of theoretical work on the
mathematics of algebras and coalgebras, the way these results can
support methods and techniques for software development, as well as
experience with the transfer of the resulting technologies into
industrial practice. The list of topics of particular interest is
shown on the main CALCO 2013 page: http://coalg.org/calco13/.

CALCO Early Ideas presentations will be selected according to
originality, significance, and general interest, on the basis of
submitted 2-page short contributions.  It can be work in progress, a
summary of work submitted to a conference or workshop elsewhere, or
work that in some other way might be interesting to the CALCO
audience. A booklet with the accepted short contributions will be
available at the workshop.

Submissions will be handled via EasyChair
https://www.easychair.org/conferences/?conf=calcoearlyideas2013
The use of LNCS style is strongly encouraged.

After the workshop, authors will have the opportunity to submit a full
10-15 page paper on the same topic. The reviewing will be carried out
by the CALCO Early Ideas PC, with the support of the CALCO PC. The
volume of selected papers will be made available in the arXiv and on
the CALCO pages. Authors will retain copyright, and are also encouraged
to disseminate the results by subsequent publication elsewhere.

http://coalg.org/calco13/workshops.html#ei

There will be a number of student grants available for the CALCO
conference - details shortly to be announced on the webpage.


-- CALCO Early Ideas Dates --

May 27, 2013: 2-page short contribution submission
June 24, 2013: Notification for short contribution
July 15, 2013: Final short contribution due
September 2, 2013: CALCO Early Ideas Workshop

October 15, 2013: 10-15 page paper submission
December 15, 2013: Notification for paper
January 15, 2014: Final paper version due


-- CALCO Early Ideas Programme Committee --

Bartek Klin, University of Warsaw, Poland
John Power, University of Bath, UK
Narciso Marti-Oliet, UCM, Spain
Till Mossakowski, DFKI, Germany
Monika Seisenberger, Swansea University, UK



___________________________________________________________________________

2) CCA 2013: First Call for Informal Presentations

______________________________________________________________

First Call for Informal Presentations
Tenth International Conference on

   Computability and Complexity in Analysis (CCA 2013)
   http://cca-net.de/cca2013/

July 8-10, 2013, Nancy, France

Submission deadline: May 20, 2013 (Abstracts only!)
______________________________________________________________


Invited Speakers

  * Ulrich Berger (Swansea, UK)
  * Takayuki Kihara (JAIST, Japan)
  * Cristóbal Rojas (Santiago, Chile)
  * Daniel Roy (Cambridge, UK)
  * Martin Ziegler (Darmstadt, Germany)


Scientific Program Committee

  * Andrej Bauer (Ljubljana, Slovenia)
  * Arno Pauly (Cambridge, UK)
  * Hannes Diener (Siegen, Germany)
  * Cameron Freer (MIT, USA)
  * Laurent Bienvenu (Paris, France)
  * Akitoshi Kawamura (Tokyo, Japan)
  * Ker-I Ko, co-chair (Stony Brook, USA)
  * Matthias Schröder (Vienna, Austria)
  * Robert Rettinger (Hagen, Germany)
  * Ning Zhong, co-chair (Cincinnati, USA)


Organizing Committee

  * Anne-Lise Charbonnier (Nancy, France)
  * Hugo Férée (Nancy, France)
  * Emmanuel Hainry (Nancy, France)
  * Mathieu Hoyrup, chair (Nancy, France)
  * Emmanuel Jeandel (Nancy, France)
  * Romain Péchoux (Nancy, France)


Submissions

Authors are invited to submit a PDF abstract (typically
1-2 pages) as "informal presentation" via the following web page:

   https://www.easychair.org/conferences/?conf=cca2013

No full papers will be required and informal presentations
can be based on ongoing research.


Dates

Submission deadline for informal presentations: May 20, 2013
Registration deadline: May 20, 2013


Conference Web Page

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

___________________________________________________________________________

3) LPAR-19 CFP and Workshops

                    ===========================
                              LPAR-19
                       1st CALL FOR PAPERS
                    CALL FOR WORKSHOP PROPOSALS
                    ===========================

      ============================================================
                The 19th International Conference on
      Logic for Programming, Artificial Intelligence and Reasoning
      ============================================================

             Stellenbosch, South Africa, 14-19 December 2013
                          www.LPAR-19.info

This is the first call for papers for LPAR-19 and a call for workshop
proposals. Information about workshop proposals is included at the end
of this call.

The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 19th LPAR
will be held in Stellenbosch, South Africa.

Logic is a fundamental organizing principle in nearly all areas in Computer
Science. It runs a multifaceted gamut from the foundational to the applied.
At one extreme, it underlies computability and complexity theory and the formal
semantics of programming languages. At the other extreme, it drives billions of
gates every day in the digital circuits of processors of all kinds. Logic is in
itself a powerful programming paradigm, but it is also the quintessential
specification language for anything ranging from real-time critical systems to
networked infrastructures. Logical techniques link implementation and
specification through formal methods such as 
automated theorem proving and model
checking. Logic is also the stuff of knowledge representation and artificial
intelligence. Because of its ubiquity, logic has acquired a central role in
Computer Science education.

Topics
------
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.

Topics of interest include, but are not limited to:
* Abduction and interpolation methods
* Automated reasoning
* Constraint programming
* Decision procedures
* Description logics
* Foundations of security
* Hardware verification
* Implementations of logic
* Interactive theorem proving
* Knowledge representation and reasoning
* Logic and computational complexity
* Logic and databases
* Logic and games
* Logic and machine learning
* Logic and the web
* Logic and types
* Logic in artificial intelligence
* Logic of distributed systems
* Logic programming
* Logical aspects of concurrency
* Logical foundations of programming
* Modal and temporal logics
* Model checking
* Non-monotonic reasoning
* Ontologies and large knowledge bases
* Probabilistic and fuzzy reasoning
* Program analysis
* Rewriting
* Satisfiability checking
* Satisfiability modulo theories
* Software verification
* Specification using logic
* Unification theory

Programme Chairs
----------------
* Ken McMillan
* Aart Middeldorp
* Andrei Voronkov

Conference Chairs
----------------
* Bernd Fischer
* Geoff Sutcliffe

Workshop Chair
--------------
* Laura Kovacs

Submission Details
------------------
Submissions of two kinds are welcome:

* Regular papers that describe solid new research results. They can be
  up to 15 pages long in LNCS style, including figures and references,
  but excluding appendices (that reviewers are not required to read).
* Experimental and tool papers that describe implementations of systems,
  report experiments with implemented systems, or compare implemented
  systems. They can be up to 8 pages long in the LNCS style.

Both types of papers can be electronically submitted in PDF via EasyChar:
  http://www.easychair.org/conferences/?conf=lpar19.
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below).

Participation
-------------
Authors of accepted papers are required to ensure that at least one of them
will be present at the conference.

Important Dates
---------------
* Abstract submission: 22nd July
* Paper submission: 2nd August
* Notification of acceptance: 27th September
* Camera-ready papers: 9th October
* Conference: 14th-19th December

Workshop Proposals
------------------
LPAR-19 workshops will be held on 14th December either as one-day or half-day
events. If you would like to propose a workshop for LPAR-19, please contact
the workshop chair via email (lkovacs at complang.tuwien.ac.at), by the proposal
deadline.

To help planning, workshop proposals should contain the following data:
* Name of the workshop.
* Brief description of the workshop, including workshop topics.
* Valid web address of the workshop.
* Contact information of the workshop organizers.
* An estimate of the audience size.
* Proposed format of the workshop (for example, regular talks,
  tool demos, poster presentations, etc.).
* Duration of the workshop (one-day or half-day).
* Potential invited speakers (if any).
* Procedures for selecting papers and participants.
* Special technical or AV needs.

Important workshop dates
------------------------
* Workshop proposals: 15th July
* Notification of workshops proposals: 29th July

___________________________________________________________________________

4) ADDCT 2013: Automated Deduction: Decidability, 
Complexity, Tractability, Lake Placid NY (U.S.A.), 10 June 2013

===================================================================
                    CALL FOR PAPERS
Automated Deduction: Decidability, Complexity, Tractability
                   (ADDCT 2013)

Workshop affiliated with CADE-24, Lake Placid, 10.06.2013
       http://www.uni-koblenz.de/~sofronie/addct-2013/
===================================================================
Important Dates
8 April  2013: Paper submission (extended)
30 April 2013: Notification
10 May   2013: Final version
10 June  2013: Workshop
===================================================================

Decidability, and especially complexity and tractability of logical
theories is extremely important for a large number of applications.
Although predicate logic and number theory are undecidable, decidable
theories or decidable theory fragments often occur in mathematics,
in program verification, in the verification of reactive, real time
or hybrid systems, as well as in databases and ontologies.

It is therefore important to identify such decidable fragments and to
design efficient decision procedures for them. It is equally important
to have uniform methods (e.g. resolution, rewriting, tableaux, sequent
calculi) which can be tuned to provide algorithms with optimal complexity.

GOAL
====
The goal of ADDCT is to bring together researchers interested in
- identifying (fragments of) logical theories which are decidable,
identifying fragments thereof which have low complexity, and
analyzing possibilities of obtaining optimal complexity results
with uniform tools;
- analyzing decidability in combinations of theories and possibilities
of combining decision procedures;
- efficient implementations for decidable fragments;
- application domains where decidability resp. tractability are crucial.


TOPICS OF INTEREST
==================
Topics of interest for ADDCT include (but are not restricted to):

- Decidability:
- decision procedures based on logical calculi such as:
   resolution, rewriting, tableaux, sequent calculi, or natural deduction
- decidability in combinations of logical theories
- Complexity:
- complexity analysis for fragments of first- (or higher) order logic
- complexity analysis for combinations of logical theories
   (including parameterized complexity results)
- Tractability (in logic, automated reasoning, algebra, ...)

- Application domains for which complexity issues are essential
(verification, security, databases, ontologies, ...)

The goal of ADDCT is to bring together researchers interested in exploring
the topics above, both at a theoretical level and motivated by applications.


SUBMISSION AND SELECTION PROCEDURE
==================================
Submissions are encouraged in one of the following categories:

- Original papers (up to 15 pages, LNCS style, including bibliography);
should describe original research and contain sufficient detail to
assess the merits and relevance of the contribution.
Simultaneous submission of material is prohibited.

- Work in progress (up to 6 pages, LNCS style, without bibliography).

- Presentation-only papers: may describe work previously published,
and will not be inserted in the proceedings. We are allowing the
submission of previously published work in order to allow researchers
to communicate good ideas that the attendees may not be aware of.

Given the informal style of the workshop, the submission of papers
presenting student's work and work in progress is encouraged.

Submission of papers is via EasyChair at
http://www.easychair.org/conferences/?conf=addct2013

The final versions of the selected contributions will be collected in a
volume to be distributed at the workshop and made accessible on the web.

PROGRAM COMMITTEE
=================
Carlos Areces (U. Cordoba)
Franz Baader (TU Dresden)
Peter Baumgartner(NICTA, Canberra)
Maria Paola Bonacina (U. Verona)
Christian Fermueller (T.U. Wien)
Silvio Ghilardi (U. Milano)  (co-chair)
Rajeev Gore (Australian National University)
Ullrich Hustadt (U. Liverpool)
Felix Klaedtke (ETH Zuerich)
Carsten Lutz (U. Bremen)
Christopher Lynch,(Clarkson U.)
Silvio Ranise (FBK-Irst)
Ulrike Sattler (U. Manchester) (co-chair)
Renate Schmidt (U. Manchester)
Viorica Sofronie-Stokkermans (MPI,Saarbruecken) (co-chair)
Ashish Tiwari (SRI)    (co-chair)
Luca Vigano (U. Verona)

For further informations please send an e-mail to
Viorica Sofronie-Stokkermans (sofronie at uni-koblenz.de)

___________________________________________________________________________

5) VI International Workshop on Nature Inspired 
Cooperative Strategies for Optimization - NICSO 
2013 - September 2nd - 4th, 2013 Canterbury, United Kingdom

[From Antonio D. Masegosa]


***********************************************************
The VI International Workshop on Nature Inspired 
Cooperative Strategies for Optimization - NICSO 2013
September 2nd - 4th, 2013
Canterbury, United Kingdom
http://www.nicso2013.org
***********************************************************

CALL FOR PAPERS

* * * IMPORTANT DATES * * *
Full paper submission: April 15, 2013
Acceptance notification: May 15, 2013
Final camera ready: June 5, 2013
NICSO: September 2-4, 2013

NICSO 2013 will be the sixth edition of the 
International Workshop on Nature Inspired 
Cooperative Strategies for Optimization. This 
workshop aims at bringing together international 
researchers and practitioners from different 
disciplines in order to discuss recent advances 
and exchange ideas on the current state of the 
art of cooperative problem solving strategies.

All submitted papers will be blind reviewed by at 
least two reviewers from the Program Committee. 
Selection criteria will be based on relevance, 
originality, significance, impact, technical 
soundness and quality of the presentation. 
Contributions are expected to provide original 
results, insights and experimental innovations. 
Manuscripts must be in PDF, not exceeding 12 
pages and conforming to the Latex template at 
Instructions for Authors page for the book series 
Studies in Computational Intelligence 
(http://www.springer.com/series/7092). 
Contributions are welcome to submission through 
the system available at http://www.easychair.org/conferences/?conf=nicso2013

STUDENT SCHOLARSHIPS: Successfully accepted 
postgraduate research student papers will 
automatically enter a competition from where the 
best will be chosen and offered a scholarship 
that offsets the student registration fee. The 
selection process criteria will be based on 
originality, technical soundness, positioning and 
writing style. More information in 
http://www.nicso2013.org/scholarships_scheme.html

The accepted papers will be published in the book 
series on STUDIES IN COMPUTATIONAL INTELLIGENCE 
(Springer) (http://www.springer.com/series/7092) 
indexed by ISI Web of Science Conference 
Proceedings, DBLP, Ulrichs, SCOPUS, MathSciNet, 
Current Mathematical Publications, Mathematical 
Reviews, Zentralblatt Math: MetaPress and 
Springerlink.  The authors of a selection of the 
best accepted papers will be invited to revise 
and extend their contributions for publication in 
a special issue in the JOURNAL OF MEMETIC 
COMPUTING (Springer) 
(http://www.springer.com/engineering/computational+intelligence+and+complexity/journal/12293).


* Plenary Speakers (more to confirm) *

- Automating the Design of Data Mining Algorithms 
with Genetic Programming, Alex Freitas, University of Kent, UK
- Bacterial micromachines -- Living logic 
circuits for computing, Angel GoÃ’i Moreno, 
National Center for Biotechnology, Spain


Target topics (but not limited to):

Adaptive Behaviour
Ants Colonies
Amorphous Computing
Artificial Life
Artificial Immune Systems
Bioinformatics
Bio-inspired architecture
Biological and Chemical IT
Complex Systems
Distributed Computing
Evolutionary Algorithms
Evolutionary Robotics
Evolvable Systems
Games and Game Theory
Genetic Algorithms
Genetic Programming
Hyperheuristics
Membrane Computing
Memetic Algorithms
Quantum Computing
Software Self-Assembly
Systems Biology
Systems Coevolution
Swarm Intelligence

* Workshop Organizers *

Fernando Esteban Barril Otero
German Terrazas
Antonio D. Masegosa

* Steering Committee *

Natalio Krasnogor
David A. Pelta

* Programme Committee *


Alex Freitas, University of Kent, UK
AndrÈs R. Masegosa, University of Granada, Spain
BelÈn Melian, University of La Laguna, Spain
Blas J. Galv·n, University of Las Palmas de Gran Canaria, Spain
Carlos Cruz Corona, University of Granada, Spain
Carlos GarcÌa MartÌnez, Univeristy of CÛrdoba, Spain
Cecilio Angulo, Technical University of Catalunya, Spain
Christof Teuscher, Portland State University, US
Colin Johnson, University of Kent, UK
Davide Anguita, University of Genova, Italy
Enrique Onieva, University of Deusto, Spain
Evelyne Lutton, INRIA, France
Francisco Herrera, University of Granada, Spain
Gabriela Ochoa, University of Stirling, UK
Gianluigi Folino, Istituto di Calcolo e Reti ad Alte Prestazioni, Italy
Gisele Pappa, Universidade Federal de Minas Gerais, Brazil
Giuseppe Scollo, University of Catania, Italy
J. Marcos Moreno, University of La Laguna, Spain
Jaume Bacardit, University of Nottingham, UK
Jean-Louis Giavitto, UniversitÈ d'Evry, France
Jim Smith, University of the West of England, UK
Jon Timmis, University of York, UK
Jorge Casillas, University of Granada, Spain
JosÈ A. Moreno, University of La Laguna, Spain
JosÈ Alejandro Castillo, Instituto Nacional de 
Investigaciones Nucleares, Mexico
JosÈ Luis Verdegay, University of Granada, Spain
JosÈ Manuel Cadenas, University of Murcia, Spain
Juan JosÈ Merelo, University of Granada, Spain
Marco Dorigo, UniversitÈ Libre de Bruxelles, Belgium
MarÃŒa Teresa Lamata, University of Granada, Spain
Marian Gheorghe, University of Sheffield, UK
Mario Pavone, University of Catania, Italy
Oliver Korb, Cambridge Crystallographic Data Centre, UK
Paolo Arena, University of Catania, Italy
RenÈ Doursat, Complex Systems Institute, France
Roberto Battiti, University of Trento, Italy
Shengxiang Yang, De Montfort University, UK
Stefano Pizzuti, Energy, New Technologies & Envir. Agency, Italy
Steven Gustafson, General Electric Global Research Center, US
Thomas Stibor, GSI Helmholtz Centre for Heavy Ion Research, Germany
Vincenzo Cutello, University of Catania, Italy
Vincenzo Manca, University of Verona, Italy
Vitorino Ramos, Technical University of Lisbon, Portugal
Vittorio Maniezzo, University of Bologna, Italy
Xiao-Zhi Gao, Helsinki University of Technology, Finland
Kwang-Hyun Cho, Korea Advanced Institute of 
Science and Technology (KAIST), korea

___________________________________________________________________________

6) Call for participation: Samson at 60 - Oxford, 28-30 May 2013

Samson at 60

A Conference in Honour of Samson Abramsky, on the 
event of his 60th Birthday, Oxford Department of 
Computer Science, Lecture Theatre B, 28-30 May 2013.

Speakers will cover the wide range of subjects to 
which Samson made pioneering contributions, 
stretching from the semantics of programming 
languages, including domain theory and game 
semantics, via logic were he introduced important 
notions such as full completeness, to quantum 
computing and quantum foundations, where he is a 
father of categorical quantum mechanics.

Conference fee is £50 per person for speakers 
and participants. Cash (in sterling pounds) 
payable on 28th May 2013 at the arrival 
registration. Limited funding is available for 
students and young researchers. Please contact 
Destiny Chen for further details prior to your booking.

Organisers:
Bob Coecke, Luke Ong, Prakash Panangaden

Local organisers:
Destiny Chen, Aleks Kissinger

Confirmed speakers:
Bob Coecke, Ross Duncan, Marcelo Fiore, Simon 
Gay, Chris Hankin, Chris Heunen, Peter Hines, 
Shane Mansfield, Martin Hyland, Radha Jagadeesan, 
Achim Jung, Aleks Kissinger, Ray Lal, Keye 
Martin, Paul-Andre Mellies, Michael Mislove, 
Andrzej Murawski, Prakash Panangaden, Philip 
Scott, Nikos Tzevelekos, Noson S. Yanofsky

More information:
http://www.cs.ox.ac.uk/sa60/

Contact:
Destiny.Chen at cs.ox.ac.uk



___________________________________________________________________________

7) Submission deadline extension: Machines, Computations and Universality 2013

The deadline for submissions has been extended to April 14.

                   CALL FOR PAPERS

Machines, Computations and Universality (MCU) 2013, the 6th conference
in the MCU series, will be hosted at the University of Zurich on
September 9-12, 2013.

http://mcu2013.ini.uzh.ch/


SCOPE

MCU explores computation in the setting of various discrete models
(Turing machines, register machines, cellular automata, tile assembly
systems, rewriting systems, neural models etc.) and analog and hybrid
models (BSS machines, infinite time cellular automata, real machines,
quantum computing etc.). There is particular (but not exclusive)
emphasis given towards the following:


1. the search for frontiers between decidability and undecidability in
the various models. (For example, what is the smallest number of pairs
of words for which the Post correspondence problem is undecidable, or
what is the largest state-symbol product for which the halting problem
is decidable for Turing machines?)


2. the search for the simplest universal models (such as small universal
Turing machines, universal rewriting systems with few rules, universal
cellular automata with small neighborhoods and a small number of states,
etc.)

3. the computational complexity of predicting the evolution of
computations in the various models. (For example, is it possible to
predict an arbitrary number of time steps for a model more efficiently
than explicit step by step simulation of the model?)

4. universality and undecidability in continuous models of computation.


IMPORTANT DATES

Submission: April 14, 2013 (EXTENDED DEADLINE)
Notification: May 17, 2013
Final Version: June 14, 2013
Conference: September 9-12, 2013


PROGRAM COMMITTEE

Andrew Adamatzky        (University of the West of England, UK)
Matthew Cook            (University of Zurich and ETH Zurich) (co-chair)
Erzsébet Csuhaj-Varjú   (Eötvös Loránd University, Budapest, Hungary)
Jérôme Durand-Lose      (University of Orléans, France)
Rudolf Freund           (University of Vienna, Austria)
Gabriel Istrate         (Institute e-Austria, Timisoara, Romania)
Jarkko Kari             (University of Turku, Finland)
Lila Kari               (University of Western Ontario, London, Canada)
Kamala Krithivasan      (Indian Institute of Technology, Chennai, India)
Maurice Margenstern     (University of Lorraine, France)
Turlough Neary          (University of Zurich and ETH Zurich) (co-chair)
Matthew Pattitz         (University of Arkansas, Fayetteville, USA)
Igor Potapov            (University of Liverpool, UK)
Klaus Sutner            (Carnegie Mellon University, Pittsburgh, USA)
Sergey Verlan           (University of Paris Est, France)
Damien Woods            (California Institute of Technology, USA)


INVITED SPEAKERS

Liesbeth De Mol     (Ghent University, Belgium)
Jarkko Kari         (University of Turku, Finland)
Kenichi Morita      (Hiroshima University, Japan)
Erik Winfree        (California Institute of Technology, USA)
Damien Woods        (California Institute of Technology, USA)


STEERING COMMITTEE

Maurice Margenstern     (University of Lorraine, France) (chair)
Jérôme Durand-Lose      (University of Orléans, France) (vice-chair)
Erzsébet Csuhaj-Varjú   (Eötvös Loránd University, Hungary)
Natasha Jonoska         (University of South Florida, USA)
Kenichi Morita          (Hiroshima University, Japan)
Gheorghe P?un           (The Romanian Academy, Romania)
Arto Salomaa            (University of Turku, Finland)
K. G. Subramanian       (University of Science, Malaysia)


PAPER PREPARATION AND SUBMISSION

Authors are invited to submit extended abstracts of no more than 12
pages via the EasyChair system at
https://www.easychair.org/conferences/?conf=mcu2013. Submissions should
contain original research that has not previously been published.
Concurrent submissions to other conferences/journals is not permitted.
Supplementary material that exceeds the 12 page limit will be considered
at the committee?s discretion. Submissions should contain sufficient
detail and explanation for the reviewers to be convinced of the main
claims being made in the paper. Submissions must be in the form of a PDF
prepared using the EPTCS style file (available at
http://style.eptcs.org/). The title page should include the title of the
paper, the names, affiliations and email addresses of each of the
authors, and an abstract of no more than 300 words.


CONFERENCE PROCEEDINGS

The proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS) and will be available at the
conference, and freely available online. For more information see the
EPTCS website at http://about.eptcs.org/.

Following, the conference, authors of selected papers will be invited to
submit an extended version of their work to a special issue of an
international journal.


___________________________________________________________________________

8) Phd positions in Human Brain Project (Principles of Brain Computation)

[From Wolfgang Maass]

---------------------------------------------------
Subject: Phd positions in Human Brain Project (Principles of Brain
Computation)

We are inviting applications for Phd positions at the Graz University of
Technology (Faculty for Computer Science) for research on

      Principles of Brain Computation

in the Human Brain Project http://www.humanbrainproject.eu/
and in the EU-Project BrainScaleS
http://brainscales.kip.uni-heidelberg.de/index.html

The Human Brain Project is expected to start on October 1, and our Lab
will lead research on principles of brain computation in this project.
We can employ Phd students already now for closely related work in the
BrainScales project  (this project provides intermediate financing until
the beginning of the Human Brain Project).

The Phd students will investigate computational properties and learning
features of data-based models for cortical microcircuits, through
computer simulations and theoretical analysis. Excellent research
skills, a genuine interest in answering fundamental open questions about
information processing in the brain, and the capability to work in an
interdisciplinary research team are expected. Experience in programming,
computer simulations or data analysis will be helpful.

Applications are invited by students with a master degree in one of the
areas computer science (especially machine learning, software design,
large-scale simulations), physics, mathematics, statistics, and
computational neuroscience. Our doctoral program will lead to a Phd in
Computer Science.

Please send your CV, information about your grades, and a letter
describing your scientific interests to my assistant Regina Heidinger:

               regina.heidinger at igi.tugraz.at

It would be helpful if you could include names and email addresses of
referees, and pdf files of your master thesis and/or other publications.

-- 
Prof. Dr. Wolfgang Maass
Institut fuer Grundlagen der Informationsverarbeitung
Technische Universitaet Graz
Inffeldgasse 16b ,   A-8010 Graz,  Austria


___________________________________________________________________________

9) MFCS 2013 - Call for Papers

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

MFCS 2013 - Call for Papers

38th International Symposium on Mathematical Foundations of Computer Science

August 26 - 30, 2013, IST Austria, Klosterneuburg, Austria

http://http://ist.ac.at/mfcs13/

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

The series of MFCS symposia, organized since 
1972, has a long and well-established tradition. 
The MFCS symposia encourage high-quality research 
in all branches of theoretical computer science. 
Their broad scope provides an opportunity to 
bring together researchers who do not usually 
meet at specialized conferences. Quality papers 
presenting original research on theoretical 
aspects of computer science are solicited.



PRINCIPAL TOPICS

Principal topics of interest include (but are not limited to):
- algorithmic game theory,
- algorithmic learning theory,
- algorithms and data structures (incl. 
sequential, parallel, distributed, approximation, 
graph, network, on-line, parameterized, optimization),
- automata, grammars and formal languages,
- bioinformatics,
- complexity (structural and computational),
- computational geometry,
- computer-assisted reasoning,
- concurrency theory,
- cryptography and security,
- databases and knowledge-based systems,
- formal specifications and program development,
- foundations of computing,
- logic in computer science,
- mobile computing,
- models of computation,
- networks (incl. wireless, sensor, ad-hoc),
- parallel and distributed computing,
- quantum computing,
- semantics and verification of programs,
- theoretical issues in artificial intelligence



INVITED SPEAKERS

- Sam Buss (UC San Diego)
- Martin Grohe (Humboldt U. Berlin, RWTH Aachen U)
- Leah Epstein (U. Haifa)
- Elias Koutsoupias (U. Athens)
- Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
- Nir Piterman (U. Leicester)



PROGRAM CHAIRS

- Jiri Sgall (Charles U., Czech Republic)
- Krishnendu Chatterjee (IST Austria, Austria)



PROGRAM COMMITTEE

- Parosh Abdulla (Uppsala U., Sweden)
- Eli Ben-Sasson (Technion, Israel)
- Nathalie Bertrand (INRIA Rennes, France)
- Markus Blaser (U. des Saarlandes, Germany)
- Tomas Brazdil (Masaryk U., Czech Republic)
- Ioannis Caragiannis (U. Patras, Greece)
- Krishnendu Chatterjee (IST Austria, Austria - Chair)
- Thomas Colcombet (LIAFA-CNRS, France)
- Anuj Dawar (U. Cambridge, UK)
- Giorgio Delzanno (U. Genova, Italy)
- Martin Dietzfelbinger (TU Ilmenau, Germany)
- Krzysztof Diks (U. Warsaw, Poland)
- Zoltan Esik (U. Szeged, Hungary)
- Sandor Fekete (TU Braunschweig, Germany)
- Eldar Fischer (Technion, Israel)
- Dmitry Gavinsky (NEC Labs, Princeton, USA)
- Andrew Goldberg (Microsoft Research, USA)
- Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
- Tao Jiang (UC Riverside, USA)
- Barbara Konig (U. Duisburg-Essen (UDE), Germany)
- Pascal Koiran (Ecole Normale Supérieure de Lyon, France)
- Rastislav Kralovic (Comenius U., Slovakia)
- Erik Jan van Leeuwen (MPI, Saarbrücken, Germany)
- Stefano Leonardi (Sapienza U. Rome, Italy)
- Christof Loding (RWTH Aachen U., Germany)
- Zvi Lotker (Ben Gurion U., Israel)
- Jerzy Marcinkowski (U.Wroc?aw, Poland)
- Daniel Marx (Hungarian Academy of Sciences, Hungary)
- Peter Bro Miltersen (Aarhus U., Denmark)
- Madhavan Mukund (CMI, India)
- Rasmus Pagh (IT U. Copenhagen, Denmark)
- Madhusudan Parthasarathy (UI Urbana-Champaign, USA)
- Daniel Paulusma (Durham U., UK)
- Holger Petersen (msg systems ag, Germany)
- Alex Rabinovich (Tel Aviv U., Israel)
- Rahul Santhanam (U. Edinburgh, UK)
- Jiri Sgall (Charles U., Czech Republic - Chair)
- Martin J. Strauss (U. Michigan, USA)
- Ola Svensson (EPFL, Switzerland)
- Maxim Sviridenko (U. Warwick, UK)
- Pavel Valtr (Charles U., Czech Republic)
- Peter Widmayer (ETH, Switzerland)
- Gerhard Woeginger (Eindhoven U. Technology, Netherlands)
- James Worrell (U. Oxford, UK)



IMPORTANT DEADLINES

- Paper submission deadline: April 19, 2013 AOE
- Author notification: June 4, 2013 AOE
- Camera-ready deadline: June 16, 2013 AOE
- Conference: August 26-30, 2013



PAPER SUBMISSION

Submissions to MFCS must not exceed 12 pages (in 
Springer-Verlag's Lecture Notes style and 
including bibliography). If the authors believe 
that more details are essential to substantiate 
the main claims, they may include a clearly 
marked appendix that will be read at the 
discretion of the program committee. Simultaneous 
submissions of papers to any other conference 
with published proceedings or submitting 
previously published papers is not allowed. Only 
electronic submissions in the PDF format are 
accepted. Information about the submission 
procedure will be available on the conference web 
page in due time. The proceedings will be 
published in the new ARCoSS subline of Lecture 
Notes in Computer Science by Springer-Verlag.

Please submit via EasyChair 
(https://www.easychair.org/conferences/?conf=mfcs2013).



STEERING COMMITETEE

- Juraj Hromkovic (Zurich)
- Antonín Kucera (Brno), chair
- Jerzy Marcinkowski (Wroclaw)
- Damian Niwinski (Warsaw)
- Branislav Rovan (Bratislava)
- Jici Sgall (Prague)


The conference is organized by IST Austria in cooperation with EATCS.

___________________________________________________________________________

10) Call for papers - AQIS'13 - Asian Quantum Information Science, Chennai

                The 13th Asian Conference on
            Quantum Information Science (AQIS'13)
               http://www.imsc.res.in/~aqis13

                  Tutorials: 25 August 2013
                Conference: 26-30 August 2013
     Institute of Mathematical Sciences, Chennai, India

Apologies for cross-postings.
Please forward to interested colleagues and students.

We would like to draw your attention to the 13th Asian Conference on
Quantum Information Science.

AQIS'13 is a meeting focused on quantum information processing,
communication and cryptography, an interdisciplinary field bridging
quantum physics, computer science, mathematics, and information
technologies. This event, which is the thirteenth in a highly successful
series, building upon EQIS'01-05 and AQIS'06-12, is coming to India for
the first time, having been held previously in Japan, China and Korea.
This is the prime Asian conference in the field.

Organized by the Institute of Mathematical Sciences, AQIS'13 will take place
in Chennai, India, from 25 to 30 August 2013. Details about the conference
are available via the website, which we invite you to visit often as new
information will appear regularly.

                http://www.imsc.res.in/~aqis13

AQIS?13 will consist of invited talks, selected oral and poster
presentations, as well as other activities.

We are very pleased to announce a spectacular array of invited speakers
(to be completed):

- Girish S Agarwal (Oklahoma State University, USA)
- Alain Aspect* (Institut d'Optique, Palaiseau, France)
- Nicolas Gisin (Université de Genève, Switzerland)
- Lov K Grover* (Bell Laboratories, New Jersey, USA)
- Jian-Wei Pan (University of Science and Technology of China, Hefei, China)
- Masahide Sasaki (Nat. Inst. of Information and Communications, Tokyo, Japan)
- Umesh Vazirani (University of California, Berkeley, USA)
*To be confirmed

Contributions are solicited in (but not limited to) the following areas:

- Quantum computation, algorithms and complexity
- Quantum information theory
- Quantum decoherence fighting concepts, methods and tools
- Quantum cryptography
- Quantum communications experiments and theory
- Quantum technologies (optics-, NMR- and solid-state, etc.)
- Quantum processor and computer design
- Quantum programming languages and semantics

The submission deadline is 16 June 2013, 23:59 in US Pacific Daylight Time.
Please pay special attention to the fact (*new* for AQIS) that
all submissions MUST follow the guidelines specified at
http://www.imsc.res.in/~aqis13/submissions.html .
Submissions deviating significantly from these guidelines
*will*be*rejected* without consideration of their merits.

We are looking forward to seeing you in Chennai!

Committee Chairs
Steering Committee: Jozef Gruska (Masaryk University, Czech Republic).
Conference: Anil Kumar (IISc, Bengaluru) and Rajiah Simon (IMSc, Chennai).
Conference Co-Chairs: Guang-Can Guo (USTC, Hefei, China)
Hiroshi Imai (Tokyo University, Japan) and Jaewan Kim (KIAS, Seoul, Korea).
Organizing Committee: Sibasish Ghosh (IMSc, Chennai).
Program Committee: Gilles Brassard (Montréal) 
and Rajiah Simon (IMSc, Chennai).


Contact Information
Prabha Mandayam (IMSc, Chennai)   --  AQIS'13 Secretary
The Institute of Mathematical Sciences,
CIT Campus, Tharamani, Chennai, 600113, India
E-mail: aqis13 at imsc.res.in
Tel: +91-44-22543100
Fax: +91-44-22541586



___________________________________________________________________________

11) Call for Papers MeCBIC 2013 -- workshop ICALP, Riga, 7th July

----------------------------------------------------------------
                      Call for Papers
                        MeCBIC 2013
              7th Workshop on Membrane Computing
            and Biologically Inspired Process Calculi
              7th July 2013, Riga , Latvia

          http://profs.info.uaic.ro/~mecbic/mecbic2013/
================================================================

***  Paper Submission:  22nd April, 2013

The 7th Workshop on Membrane Computing and Biologically Inspired
Process Calculi (MeCBIC 2013) will take place in Riga on 7th July 2013
as a related event of ICALP 2013, the 40th International Colloquium on
Automata, Languages and Programming. (http://www.icalp2013.lu.lv/)

If your work is related to MeCBIC topics, it is now a good opportunity
to submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2013.

The modeling and the analysis of biological systems has attracted the
interest of several research communities. The main aim of the workshop
is to bring together researchers in concurrency theory, formal
methods, and related fields that are interested to present recent
results and to discuss new ideas concerning such formalisms, their
properties and relationships. We welcome contributions that address
both theoretical and applied contributions related to the relevance
and potential of formal methods in biology. Topics of interest include
(but not limited to):

- Biologically inspired models and calculi (rewrite systems, process
calculi, Petri nets, etc.);
- Theoretical links and comparison of different biological inspired
formal models;
- Qualitative biological modeling;
- Quantitative formal methods;
- Modelling, analysis and simulation tools for biologically inspired systems.

The workshop proceedings will be published in the Electronic
Proceedings in Theoretical Computer Science. After the event, papers
presented at the workshop will be invited to be furtherly extended and
submitted to a special issue of a visible journal (indexed by DBLP,
SCOPUS, Web of Science, etc)
More details at http://profs.info.uaic.ro/~mecbic/mecbic2013/

___________________________________________________________________________

12) CiE 2013: Call for Informal Presentations

----------------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2013: The Nature of Computation
                     Milan, Italy
                   July  1 - 5, 2013
               http://cie2013.disco.unimib.it

----------------------------------------------------------------------------

CALL FOR INFORMAL PRESENTATIONS

There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow for
informal presentations that are prepared very shortly before the conference
and inform the participants about current research and work in progress. The
format of computer science conferences with pre-conference proceedings is
not able to accommodate this form of scientific communication.

Continuing the tradition of past CiE conferences, this year's CiE conference
endeavours to get the best of both worlds. In addition to the formal
presentations based on our LNCS proceedings volume, we invite researchers to
present informal presentations. For this, please send us a brief description
of your talk (between one paragraph and one page) by the DEADLINE:

MAY 31, 2013

Please submit your abstract electronically, via EasyChair
, selecting the category
"Informal Presentation".

You will be notified whether your talk has been accepted for informal
presentation usually within a week after your submission.

If you intend to apply for the ASL Student Travel Award, you might need us
to confirm that your are going to give a presentation at CiE 2013
(applications of students who are presenting get higher priority).
Therefore, we would like to ask you to submit your informal presentations by
26 March so that we can send you the notification before the ASL deadline of
1 April 2013.


GRANTS:

Grants for students, members of the ASL:

The Association for Symbolic Logic  before the deadline of
April 1, 2013.


EACTS Students

The European Association for Theoretical Computer Science has decided to
sponsor all students that are EATCS members and willing to attend CiE2013.
The early registration fee for EATCS students is 30?Ǩ cheaper than the one
for non-members.


___________________________________________________________________________

13) SECOND CALL FOR PAPERS - AUTOMATA 2013

SECOND CALL FOR PAPERS - AUTOMATA 2013
19th International Workshop on
Cellular Automata and Discrete Complex Systems

September 17 - 19, 2013, Giessen, Germany
http://www.informatik.uni-giessen.de/automata2013/

IMPORTANT DATES

* Submission deadline (full papers): April 15, 2013
* Submission deadline (exploratory papers): July 15, 2013
* Notification to authors (full papers): June 10, 2013
* Final version: July 8, 2013
* Conference: September 17 - 19, 2013

TOPICS

Papers presenting original and unpublished research on all
fundamental aspects of cellular automata and related discrete
complex systems are sought. Topics of interest include (but are
not limited to): dynamics, topological, ergodic and algebraic
aspects, algorithmic and complexity issues, emergent properties,
formal language processing, symbolic dynamics, models of
parallelism and distributed systems, phenomenological
descriptions, scientific modeling and practical applications.
Papers authored or co-authored by PC members are welcome and
will follow a specific evaluation process.

PAPER CATEGORIES

There are two paper categories - full and exploratory
contributions. Full papers are meant to report more complete and
denser research, while the later submission deadline of
exploratory papers allows quick reporting of most recent
discoveries, work-in-progress and/or partial results. Papers in
the full paper category are refereed and selected by the program
committee. Papers in the exploratory category go through a less
rigorous evaluation for suitability. Full papers receive a longer
time slot for presentation in the workshop.

SUBMISSION GUIDELINES

Papers have a page limit of 14 pages (full paper category) or
8 pages (exploratory paper category), they must be formatted in
LaTeX using the LNCS format
(see http://www.springer.com/computer/lncs/lncs+authors),
and must be submitted in Portable Document Format (PDF). Authors
are invited to submit original papers using EasyChair.org, at

https://www.easychair.org/conferences/?conf=automata2013

The submission may contain an appendix that exceeds the page
limit if the author wants to provide the PC with more details
than allowed by the strict paper limit. The appendix will not
be published in the proceedings. The papers must not have been
submitted simultaneously to other conferences with published
proceedings. All accepted papers must be presented at the
conference.

PUBLICATION

Papers in the full paper category will be published in the
LNCS series of Springer and the proceedings will be available
at the conference venue. Exploratory papers will be published
in local proceedings and will be also available at the conference.

Authors of selected papers will be invited to submit an extended
and improved version of their contribution to a special issue of
the Journal of Cellular Automata and another international journal
depending on the number and the subject of the papers accepted.

The workshop will host the annual meeting of the IFIP Working
group 1.5 on  Cellular Automata and Discrete Complex Systems.

INVITED SPEAKERS

* Nazim Fates (Inria Nancy Grand-Est, France)
* Enrico Formenti (University of Nice Sophia Antipolis, Nice, France)
* Pedro de Oliveira (Mackenzie Presbyterian University, Sao Paulo,
Brazil)

PROGRAM COMMITTEE

* Bruno Durand (University of Montpellier 2, Montpellier, France)
* Paola Flocchini (University of Ottawa, Ottawa, Canada)
* Anahi Gajardo (University of Concepcion, Concepcion, Chile)
* Eric Goles (Adolfo Ibanez University, Chile)
* Pierre Guillon (University of Aix-Marseille, Marseille, France)
* Rolf Hoffmann (Technical University Darmstadt, Darmstadt, Germany)
* Jarkko Kari (University of Turku, Turku, Finland) co-chair
* Martin Kutrib (University of Giessen, Giessen, Germany) co-chair
* Danuta Makowiec (Gdansk University, Gdansk, Poland)
* Andreas Malcher (University of Giessen, Giessen, Germany) co-chair
* Bruno Martin (University of Nice Sophia Antipolis, Nice, France)
* Genaro Martinez (National Polytechnic Institute, Mexico city,
Mexico)
* Kenichi Morita (Hiroshima University, Hiroshima, Japan)
* Hidenosuke Nishio (Kyoto University, Kyoto, Japan)
* Ferdinand Peper (National Institute of Information and
Communications Technology, Japan)
* Victor Poupet (University of Marseille, Marseille, France)
* Kai Salomaa (Queen's University, Kingston, Canada)
* Klaus Sutner (Carnegie Mellon University, Pittsburgh, USA)
* Veronique Terrier (University of Caen, Caen, France)
* Hiroshi Umeo (Osaka Electro-Communication University, Osaka, Japan)
* Thomas Worsch (Karlsruhe University, Karlsruhe, Germany)

___________________________________________________________________________

14) Nordic Spring School in Logic May 27 - 31, 
Sophus Lie Conference Center, Nordfjordeid, Norway.

[From Dag Normann]

Nordic Spring School in Logic May 27 - 31, Sophus 
Lie Conference Center, Nordfjordeid, Norway.

The deadline for early registration of the Nordic 
Spring School in Logic is passed, and there is 
still room for more participants.

There are even some single rooms available. They 
will be allocated on a 'first ask-first served'-basis.

We suppose that there are several people, both 
students and more senior ones, that would benefit 
from the high quality program of the School.

The course program is

Alexandru Baltag and Sonja Smets (Univ. of 
Amsterdam): Dynamic logics for interactive belief revision

Dag Normann (Univ. of Oslo): The sematics of higher-order algorithms

Erich Grädel (RWTH Aachen Univ.): Logics for dependence and independence

Joan Bagaria (ICREA, Univ of Barcelona): Set 
theory: an introduction to the world of large cardinals

Katrin Tent (Univ. of Münster): Model theory:  simple and stable theories

Kim Larsen (Aalborg Univ.): Logic and formal verification

Michael Rathjen (Univ. of Leeds): Proof Theory: from arithmetic to set theory

Nina Gierasimczuk and Jacub Szymanik (Univ. of 
Amsterdam): Logic, computability and cognition

Thierry Coquand  (Univ. of Gothenburgh) Type theory and univalent foundations

Wolfgang Thomas (RWTH Aachen Univ.): Logic, automata and games

Øystein Linnebo (Univ. of Oslo and Birkbeck, 
Univ. of London): Philosophy of logic: the problem of absolute generality


The event is sponsored by the Norwegian Research 
Council via the program VERDIKT, the Faculty of 
Science and the Department of Mathematics at the University of Oslo.

The School site is the Sophus Lie Conference 
Center in Nordfjordeid, located at one of the 
scenic western fjords of Norway. An excursion to 
a local glacier is included in the programme.

There are three hotels in the center of 
Nordfjordeid, about 1 km. from the conference center.

Online registration will close on April 29, and 
online paying of fee will close at the end of May 1.

For further information, see

http://www.mn.uio.no/math/english/research/groups/logic/events/springschool-logic2013.html

and

http://www.mn.uio.no/math/english/about/collaboration/nordfjordeid

Dag Normann (Chair of organizing 
committee)   Valentin Goranko (Chair of program committee)

___________________________________________________________________________

15) First announcement: Heterotic computing, 7-8 Nov 2013

[From Viv Kendon, Angelika Sebald, Susan Stepney]

Dear Colleagues,

We would like to announce and invite you to 
participate in a Theo Murphy Discussion Meeting 
at the Royal Society's Chicheley Hall 7-8 November 2013.

** Heterotic computing: exploiting hybrid computational devices **

Current computational theory deals almost 
exclusively with single models: classical, 
neural, analogue, quantum, etc.  In practice, 
researchers use ad hoc combinations, realising 
only recently that they can be fundamentally more 
powerful than the individual parts.  This meeting 
brings together theorists and practitioners of 
various types of computing, to engage in 
combining the individual strengths to produce powerful new heterotic devices.

* Invited Speakers *
Samson Abramsky (Oxford) http://www.cs.ox.ac.uk/samson.abramsky/
Andy Adamatzky (U West of England) http://uncomp.uwe.ac.uk/adamatzky/
Janet Anders (UCL) 
https://sites.google.com/site/janetanders/people/janet 
or http://www.ucl.ac.uk/phys/amopp/people/janet_anders
Jacob Beal (BBN Technologies) http://web.mit.edu/jakebeal/www/
Matthias Bechmann (York)
Lee Cronin (Glasgow) http://www.chem.gla.ac.uk/cronin/
Jerzy Gorecki (Warsaw) http://ichf.edu.pl/person/gorecki.html
Natasha Jonoska (U South Florida) http://shell.cas.usf.edu/~jonoska/
Julian Miller (York) http://www.elec.york.ac.uk/staff/jfm7.html
Klaus Mølmer 
(Aarhus) 
http://pure.au.dk/portal/en/persons/klaus-moelmer%28860eabfe-1f03-496d-9a90-87b7f29c21bf%29.html
Alan Murray (Edinburgh) http://www.ee.ed.ac.uk/~afm/
Susan Stepney (York) http://www-users.cs.york.ac.uk/susan/
Damien Woods (Caltech) http://www.dna.caltech.edu/~woods/

* Discussion panel and sessions chairs *
Tony Hey (Microsoft) http://research.microsoft.com/en-us/people/tonyhey/
Tony Hoare (Microsoft) http://research.microsoft.com/en-us/people/thoare/
Malcolm Levitt (Southampton) 
http://www.southampton.ac.uk/chemistry/about/staff/mhl.page
Ottoline Leyser (Cambridge) 
http://www.slcu.cam.ac.uk/research/ottolineleyser.html

* Organisers *
Viv Kendon (Leeds) http://quince.leeds.ac.uk/~viv
Angelika Sebald (York) 
http://www.york.ac.uk/chemistry/staff/academic/o-s/asebald/
Susan Stepney (York) http://www-users.cs.york.ac.uk/susan/

Details, registration, submission (for posters**) at
http://royalsociety.org/events/2013/heterotic-computing/

(**) Poster session plus posters displayed in 
coffee break area throughout the meeting.

Spaces are limited, please register early to avoid disappointment!

___________________________________________________________________________

16) Call for papers: Quantum Physics and Logic,

The 10th workshop on Quantum Physics and Logic (QPL) will take place
at ICFO in Castelldefels, Barcelona between 17th and 19th JULY 2013.

WEBPAGE: http://qit.icfo.es/qpl/index.html

This workshop will bring together researchers working on mathematical
foundations of quantum physics, quantum computing and spatio-temporal
causal structures, and in particular those that use logical tools,
ordered algebraic and category-theoretic structures, formal languages,
semantical methods and other computer science methods for the study of
physical behaviour in general.

Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago
(2005), Oxford (2006),Reykjavik (2008), Oxford (2009), Oxford
(2010), Nijmegen (2011), and Brussels (2012).

The invited speakers confirmed so far are:

Antonio Acin (ICFO, Barcelona)
Yves Lafont (l'Universite d'Aix-Marseille, France)
Peter Selinger (Dalhousie University, Canada)

IMPORTANT DATES:

Submission Deadline: 17th May

Notification of Acceptance: 7th June

Papers Ready: 28th June

SUBMISSIONS

Prospective speakers are invited to submit a contribution to the
workshop. We are considering two kinds of contributions.

1. Short contributions consisting of a 3 page description of the work,
  and a link to a paper published elsewhere.
2. Longer original contributions consisting of a 5-12 page extended
  abstract which provides sufficient evidence of results of genuine
  interest and provides sufficient detail to allow the program
  committee to assess the merits of the work. Submissions of works in
  progress are encouraged but must be more substantial than a research
  proposal.
Submissions should be prepared using LaTeX, and must be submitted in PDF
format, and can be done via EasyChair:
https://www.easychair.org/account/signin.cgi?conf=qpl2013

PROGRAMME COMMITTEE

Dan Browne
Guilio Chiribella
Bob Coecke (chair)
Andreas Doering
Ross Duncan
Simon Gay
Matty Hoban (co-chair)
Bart Jacobs
Viv Kendon
Prakash Panangaden
Simon Perdrix
Mehrnoosh Sadrzadeh
Peter Selinger
Rob Spekkens
Bas Spitters

LOCAL ORGANISATION

Matty Hoban
Ana Belen Sainz
Destiny Chen

STEERING COMMITTEE

Bob Coecke
Prakash Panangaden
Peter Selinger




___________________________________________________________________________

17) Postdoctoral position in Quantum Information at Telecom ParisTech
The quantum information group at Telecom ParisTech is recruiting
a postdoc. The position is supported by ANR project "Quantum
non-locality, computation and cryptography" that focuses on the
foundations of quantum physics from the perspective of computation
and cryptography. The research in the quantum information group
is highly interdisciplinary, between computer science and physics,
and candidates from both communities are encouraged to apply.
More information on the group can be found at: http://iq.enst.fr and
about the project at: http://perso.telecom-paristech.fr/~kaplan/anrnlqcc/

The applicant should be familiar with quantum information and more
specifically, prior work in one these areas is desirable: Quantum
cryptography, quantum computation and complexity, foundations of
quantum physics, device independent cryptography, entanglement
theory. The position is starting fall 2013 for one year with a possibility
to renew for one more year. The salary is standard french postdoc, with
benefits such as health insurance.

Applications must include a research statement, a CV and the names
and contacts of references. All material has to be sent by email at:
kaplan at telecom-paristech.fr
Feel free to contact also for informal inquieries. The reviewing process
willcontinue until the position is filled.

___________________________________________________________________________



More information about the FOM mailing list