[FOM] CiE Newsletter No.46, April 19, 2011

Olivier Bournez bournez at lix.polytechnique.fr
Tue Apr 19 19:16:10 EDT 2011

CiE Newsletter No.46, April 19, 2011.

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


Computation in Context", Sofia, Bulgaria, 27 June - 2 July:

For the latest news on CiE 2011 in Sofia, go to:



1)  7th International Workshop on Developments in Computational Models
2) JAF 30: Journees sur les Arithmetiques 
Faibles, Paris (France), 20-22 Jun 2011
3) Book Announcement: COMPUTABILITY IN CONTEXT: 
Computation and Logic in the Real World
4) LMCS Special Issue for CCA 2011: First Call for Submissions
5) Preliminary Announcement - Turing Centenary Fellowship Competition
6) Turing MAMLS, Boca Raton FL (U.S.A.), 13-15 Jan 2012
7) CT&IT 2011 Call For Papers
8) CfP WORKSHOP 'Quantum Physics meets TARK 
(Theoretical Aspects of Rationality and Knowledge)', Groningen, NL (fwd)
10) Workshop Announcement: DOMAINS X
12) LICS 2011 Call for Short Presentations
13) Reverser Mathematics Workshop
14) 2nd CfP: History and Philosophy of Computing, Gent (Belgium),  Nov 2011
15) STACS 2012 - call for paper
16) Workshop on Computability Theory, Barcelona (Spain), 17 July 2011


1)  7th International Workshop on Developments in Computational Models

                          First Call for Papers

                                DCM 2011
                     7th International Workshop on
                  Developments in Computational Models

                              July 3, 2011
                          Zurich, Switzerland

        A satellite event of ICALP 2011 - http://icalp11.inf.ethz.ch/

                  Deadline for submissions: 02 May, 2011

DCM 2011 is the seventh in a series of international workshops
focusing on new computational models. It aims to bring together
researchers who are currently developing new computational models
or new features of a traditional one. The goal of DCM is to foster
interaction, to provide a forum for presenting new ideas and work
in progress, and to enable newcomers to learn about current
activities in this area.
DCM 2011 will be a one-day satellite event of ICALP 2011
in Zurich, Switzerland.

Topics of interest include all abstract models of computation
and their properties, and their applications to the development
of programming languages and systems:

- quantum computation, including implementations and
formal methods in quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including
spatial models, self-assembly, growth models;
- general concurrent models including the treatment of mobility,
trust, and security;
- comparisons of different models of computations;
- information-theoretic ideas in computing.

Paper Submission:      May 02, 2011
Notification:                May 25, 2011
Final Version:             June 03, 2011
Workshop                  July 03, 2011

Please submit a paper via the conference
EasyChair submission page:


Submissions should be at most 12 pages, in PDF format.
Please use the EPTCS macro package and follow the
instructions of EPTCS:


A submission may contain an appendix, but reading the
appendix should should not be necessary to assess the
merits of a submission.

Accepted contributions will appear in EPTCS
(Electronic Proceedings in Theoretical Computer Science).

After the workshop, quality permitting full versions of selected
papers will be invited for a special issue in an internationally
leading journal.


Erika Andersson, Heriot-Watt University, UK
Nachum Dershowitz, Tel Aviv University, Israel
Eleni Diamanti, CNRS & Telecom ParisTech, France
Lucas Dixon, Google, USA
Elham Kashefi, University of Edinburgh, UK (Co-chair)
Delia Kesner, CNRS & Universite Paris Diderot, France
Helene Kirchner, INRIA, France
Heinz Koeppl, ETH Zurich, Switzerland
Jean Krivine, CNRS & Universite Paris Diderot, France (Co-chair)
Michael Mislove, Tulane University, USA
Mio Murao, University of Tokyo, Japan
Vincent van Oostrom, Utrecht University, The Netherlands
Femke van Raamsdonk, VU University Amsterdam, The Netherlands (Co-chair)
Paul Ruet, CNRS & Institut de Mathematiques de Luminy, France
Aaron Stump, University of Iowa, USA

Further information:  Elham Kashefi <ekashefi at inf.ed.ac.uk>
                      Jean Krivine <jkrivine at pps.jussieu.fr>
                      Femke van Raamsdonk <femke at cs.vu.nl>


2) JAF 30: Journees sur les Arithmetiques Faibles, Paris (France),
20-22 Jun 2011

Call for Participation: Fourth Announcement

   Extended deadline for contributed talks : April 30, 2011

                    JAF 30
30 emes Journees sur les Arithmetiques Faibles
        (30 th Weak Arithmetics Days)

                Paris, France
               June 20-22, 2011


The third day of JAF 30 will be a common day with the French Journées
Complexité et
Modèles Finis organized by the GDR IM:



organized by

Équipe de Logique Mathématique
Université Paris Diderot Paris 7

JAF topics:

   provability in weak arithmetics,
   definability in weak arithmetics,
   weak arithmetics and model theory,
   undecidability/decidability/complexity of weak theories,
   modelling computations in logical theories
   et al.

Invited speakers:

Zofia Adamowicz (Warsaw)

Jacques Duparc (Lausanne)

Leszek Kolodziejczyk  (Warsaw)

Shahram Mohsenipour (Tehran)

Damian Niwinski  (Warsaw)

Pavel Pudlak (Pragues)

Konrad Zdanowski  (Warsaw)

Steering Committee:

   Patrick Cegielski (University Paris Est-Créteil)
   Andres Cordon-Franco (University of Seville)
   Constantine Dimitracopoulos (University of Athens)
   Alex Esbelin (University Clermont 1)
   Jean-Pierre Ressayre (CNRS - University of Paris 7)

Programme Committee:

   Sedki Boughattas  (University of Paris 7)
   Patrick Cegielski (University Paris Est-Créteil)
   Andres Cordon-Franco (University of Seville)
   Olivier Finkel  (CNRS - University of Paris 7)
   Constantine Dimitracopoulos (University of Athens)
   Alex Esbelin (University Clermont 1)
   Jean-Pierre Ressayre (CNRS - University of Paris 7)

Local Organizing Committee:

  Sedki Boughattas  : bougatas at logique.jussieu.fr
  Arnaud Durand : durand at logique.jussieu.fr
  Olivier Finkel : finkel at logique.jussieu.fr
  Marie hélene Mourgues : mhm at logique.jussieu.fr
  Catherine Muhlrad-Greif : greif at logique.jussieu.fr
  Jean-Pierre Ressayre : ressayre at logique.jussieu.fr

Registration and submission:

In order to register for the meeting, please send an e-mail
with your name, affiliation, address and e-mail to
Sedki Boughattas  (bougatas at logique.jussieu.fr) and to Olivier Finkel
(finkel at logique.jussieu.fr) before *May 10, 2011*.
There is no registration fee.

If you would like to  give a contributed talk, please
also send a short abstract before *April 30, 2011*.

For further information please contact the organizing committee.


3) Book Announcement: COMPUTABILITY IN CONTEXT: 
Computation and Logic in the Real World

Book Announcement:
COMPUTABILITY IN CONTEXT: Computation and Logic in the Real World
(ed. S Barry Cooper and  Andrea Sorbi)
World Scientific, Feb. 2011

Computability has played a crucial role in mathematics and computer
science, leading to the discovery, understanding and classification of
decidable/undecidable problems, paving the way for the modern computer
era, and affecting deeply our view of the world. Recent new paradigms of
computation, based on biological and physical models, address in a
radically new way questions of efficiency and challenge assumptions about
the so-called Turing barrier.

This volume addresses various aspects of the ways computability and
theoretical computer science enable scientists and philosophers to deal
with mathematical and real-world issues, covering problems related to
logic, mathematics, physical processes, real computation and learning
theory. At the same time it will focus on different ways in which
computability emerges from the real world, and how this affects our way of
thinking about everyday computational issues.

* Computation, Information, and the Arrow of Time (P Adriaans & P van Emde
* The Isomorphism Conjecture for NP (M Agrawal)
* The Ershov Hierarchy (M M Arslanov)
* Complexity and Approximation in Reoptimization (G Ausiello et al.)
* Definability in the Real Universe (S B Cooper)
* HF-Computability (Y L Ershov et al.)
* The Mathematics of Computing Between Logic and Physics (G Longo & T
* Liquid State Machines: Motivation, Theory, and Applications (W Maass)
* Experiments on an Internal Approach to Typed Algorithms in Analysis (D
* Recursive Functions: An Archeological Look (P Odifreddi)
* Reverse Mathematics and Well-Ordering Principles (M Rathjen & A
* Discrete Transfinite Computation Models (P D Welch)

ISBN:   978-1-84816-245-7, 1-84816-245-6

4) LMCS Special Issue for CCA 2011: First Call for Submissions


Call for Submissions for the Special issue of LMCS following

     Computability and Complexity in Analysis (CCA 2011)

Submission deadline: 16 May 2011

The Eighth International Conference on

    Computability and Complexity in Analysis (CCA 2011)

took place in Cape Town, South Africa, 31 Jan-4 Feb 2011, see


Following this conference there will be a special issue of
the journal

    Logical Methods in Computer Science (LMCS),

which is an ISI listed open access journal, see


We invite submissions of original research papers in all
CCA related areas to this special issue. Papers not presented
at CCA 2011 may also be considered for submission. All papers
will be refereed according to the usual scientific standards.
Submitted papers must not be previously published nor
submitted for publication elsewhere.

Further technical instructions for the submission of papers will
be distributed soon!

Authors should prepare their manuscripts using the style file
requested by the journal upon submission. Please see the LMCS
web page


It is planned that the publication of this special issue
follows the following schedule:

Deadline for submission: 16 May 2011
Notification:            12 September 2011
Final Version:           10 October 2011

Margaret Archibald
Vasco Brattka
Martín Escardó
Peter Hertling

(Guest Editors of the LMCS Special Issue)

5) Preliminary Announcement - Turing Centenary Fellowship Competition


Turing Centenary Research Fellowship and Scholar Competition

An important part of the Turing Centenary celebrations will be the Turing
Centenary Fellowship Competition, funded by the John Templeton Foundation.
The intention is to support the research of eight young researchers, over
3 years, commencing in July 2012. For more details see:


The competition is organised in conjunction with the major Turing
Centenary Conference to be held June 22-25, 2012, at the Manchester City
Hall and the University of Manchester, funded by the JTF as part of the
same project, and organised by Professors Andrei Voronkov and Matthias

The research fellowship prize programme will offer, over 3 years:

  . three 'young scholar' fellowships of £45,000
  . five post-doctoral fellowships of £75,000

The judging of the competion will be carried out by a Board of Jurors,
chaired by Professor S Barry Cooper of the University of Leeds. The jury
will be composed of twelve internationally renowned researchers, three for
each of the four Turing related research themes (as described at the

The provisional deadline for the submission of proposals is December 16,
2011. The award winners will be duly honoured on the June 23, 2012
centenary of Turing's birth, during the Manchester conference.

Further details, including the fellowships' provisional timeline, can be
found at: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408

The submission process will be via the competion EasyChair webpage, which
will be online later in April, 2011. The opening of the submission page
will be notified via a formal Call for proposals giving further details of
the application process.

S Barry Cooper
Chair, Board of Jurors

ALAN TURING YEAR                           http://www.turingcentenary.eu

6) Turing MAMLS, Boca Raton FL (U.S.A.), 13-15 Jan 2012


There will be a meeting of MAMLS hosted by Florida Atlantic University Jan.
13-15 of 2012. This will be in honor of Alan Turing on the occasion of the
centenary of his birth, and is the opening event of Alan Turing year (see
http://www.mathcomp.leeds.ac.uk/turing2012/). There will be a special
session on Turing's life and times, including a talk by his famed biographer
David Leavitt. The scientific program includes talks by Wesley Calvert,
Martin Davis, Joel Hamkins, Pietr Hofstra, Russell Miller, Gerald Sacks,
Andre Scedrov, Wilfried Sieg, Ted Slaman, and Robert Soare. For more
information go to http://math.fau.edu/richman/FAU2012.html or contact Bob
Lubarsky at Lubarsky.Robert at comcast.net.

7) CT&IT 2011 Call For Papers

International Workshop on Computation Theory
and Information Technology

CT&IT 2011 - Macau, China


2011 International Workshop on Computation Theory and Information
Technology (CT&IT2011) will be held in Macau, China during Dec 1-2,

In order to perform a rigorous study of computation, computer
scientists work with a mathematical abstraction of computers called a
model of computation. IT is the area of managing technology and spans
wide variety of areas that include but are not limited to things such
as processes, computer software, information systems, computer
hardware, programming languages, and data constructs. IT professionals
perform a variety of functions that range from installing applications
to designing complex computer networks and information
databases. CT&IT 2011 aims to provide a small-scale and high-level
international forum for researchers and engineers to present and
discuss recent advances and new techniques in Computation Theory and
Information Technology. Important Dates:

Paper Due:

Paper Submission: May 8, 2011
Accepted/Rejected Notification: June 15, 2011
Camera-ready papers due: June. 30, 2011
Conference Date: Dec 1-2, 2011

Only high quality papers can be accepted by PC of CT&IT2011. All
accepted papers will be published by SCIE, EI(JA) and inspec indexed

·         Information, An International 
Interdisciplinary Journal(SCI indexed) 40

·         Computers and Electrical Engineering (SCI indexed) 8

·         Journal of Computational Information System(EI indexed) 40

·         Journal of Convergence Information Technology (EI indexed) 40

·         International Journal of Digital 
Content Technology and its Applications (EI indexed) 40

·         International Journal of Advancements 
in Computing Technology (EI indexed) 40

·         Advances in Information Sciences and Service Sciences (EI indexed) 40

·         Journal of Computers (EI indexed, pending) 10

·         Journal of Software (EI indexed, pending) 10

·         Information technology journal (EI indexed) 50

We are pleased to invite authors to submit their papers to CT&IT2011,
addressing issues that serve present and future development of the

·         Computer Science Fundament

·         Computer Software

·         Computer Hardware

·         Computer Application Technology

·         Computer Architecture

·         NLP and Machine Translation

·         Communication and Network

·         Information Security

·         Control Theory and Method

·         Information Processing

·         System Science and Engineering

·         AI and Robot

·         Knowledge Management and Engineering

·         Management Science and Technology

·         Management System

·         Information System and Decision Support System

·         Web Intelligence & Computational Intelligence

·         Information Theory

·         Learning Theory

·         Bioinformatics and Biological Computation

·         Intelligent Control

·         Image Processing

·         Multimedia & Signal Processing

·         E-Commerce, E-Services and E-Learning

·         Semantic Web

Email: ctit2011 at yeah.net

8) CfP WORKSHOP 'Quantum Physics meets TARK 
(Theoretical Aspects of Rationality and Knowledge)', Groningen, NL (fwd)


WORKSHOP : Quantum Physics meets TARK
Groningen, the Netherlands, Friday 15 July 2011

Workshop Goal:

The aim of this workshop is to explore the connections between
traditional TARK topics and Quantum Physics. While TARK traditionally
focuses on the theoretical aspects of rationality and knowledge, quantum
mechanics and quantum computation focus on the fundamental link between
physical reality and informational (knowledge-acquiring)  actions, such
as observations and measurements. We think one can gain new insights from
combining methods and concepts coming from these two lines of research.
On the one hand, we are interested in how techniques from quantum physics
can help us reason about knowledge or rational decision making. On the
other hand, we are interested in how the logical and game-theoretical
techniques traditionally associated with TARK  (coming from epistemic
logic, belief revision, dynamic logic, temporal logic, probabilistic
learning, resource-sensitive logics, epistemic game theory,
decision-theoretic methods etc.) can be used to formalize physical
theories, reason about their concepts or their applications, and provide
some principled understanding of their foundations.

Topics of interest include but are not limited to:

classical correlations versus quantum correlations;
classical games versus quantum games;
classical information flow versus quantum information flow;
logical methods for quantum computation;
quantum logic and its relation to logics of knowledge and action;
the use of quantum methods and concepts in decision theory, game theory
and logic;
game-theoretical logical semantics and foundations of quantum mechanics.

Invited Speakers :

Samson Abramsky (Oxford University)
Adam Brandenburger (Stern School of Business, New York)

Deadline CfP:  Please send your submission in PDF format, not exceeding
10 double-spaced pages (4,000 words) by Wednesday May 4, 2011. The PDF -
files have to be uploaded online via the workshop's submission website:

Authors will be notified of acceptance by Friday, May 27.
Authors of accepted papers will be expected to upload their paper in an
online workshop proceedings collection that we are currently setting up.
Further details about the proceedings will be made available on the
conference website soon.

MAIN WEBSITE : http://www.ai.rug.nl/conf/quantumTARK/

Program Committee:
- Sonja Smets (University of Groningen, Chair)
- Samson Abramsky (Oxford University)
- Alexandru Baltag (Oxford University)
- Adam Brandenburger (Stern School of Business, New York)
- Jerome Busemeyer (Indiana University)
- Pierfrancesco La Mura (Leipzig Graduate School of Management )
- Daniel Lehmann (The Hebrew University of Jerusalem)
- Alessandra Palmigiano (University of Amsterdam)
- Prakash Panangaden (McGill University)
- Alex Wilce (Susquehanna University)

TARK Local Organizers at the University of Groningen:
Rineke Verbrugge and Sonja Smets (chairs),
Virginie Fiutek, Sujata Ghosh, Barteld Kooi, Ben Meijering,  Bryan Renne,
Ben Rodenhäuser, Olivier Roy, Allard Tamminga, Bart Verheij.

Sponsors: The Netherlands Organization for Scientific Research, The
VIDI Project: ‘Reasoning about quantum interaction: Logical modelling
and verification of multi-agent quantum protocols’

The workshop follows one day after TARK XIII,
The Thirteenth conference on Theoretical Aspects of Rationality and

Sonja Smets

9) (From Monika Seisenberger) SECOND CALL FOR CONTRIBUTIONS: CALCO-Jnr 2011


                          CALCO Young Researchers Workshop

                           August 29, 2011, Winchester, UK

                           part of
    4th Conference on Algebra and Coalgebra in Computer Science
                     August 29-September 2, 2011, Winchester, UK
                     Abstract submission:   May        8, 2011
                     Author notification:   May       30, 2011
                     Final abstract due:    June      30, 2011
                     Full paper submission: September 30, 2011
  Poster: (High quality version for printing)



10) (From Monika Seisenberger)  Workshop Announcement: DOMAINS X

             W o r k s h o p    A n n o u n c e m e n t

                         D O M A I N S   X


        Swansea University, Wales, UK, 5-7 September 2011


   The Workshop on Domains is aimed at computer scientists and
    mathematicians alike who share an interest in the mathematical
    foundations of computation. The workshop will focus on
    domains, their applications and related topics.  Previous meetings
    were held in Darmstadt (94,99,04), Braunschweig (96), Munich (97),
    Siegen (98), Birmingham (02), Novosibirsk (07) and Brighton (08).

    Besides its traditional topics Domains X will have the special
    themes 'Modelling Computational Effects' and 'Modelling
    Continuous Data.'


   The emphasis is on the exchange of ideas between participants similar
    in style to Dagstuhl seminars.  In particular, talks on subjects
    presented at other conferences and workshops are acceptable.


    Lars Birkedal        University of Copenhagen (Denmark)
    Nick Benton          Microsoft Research Cambridge (UK)
    Margarita Korovina   University of Manchester (UK)
    Dag Normann          University of Oslo (Norway)
    John Power           University of Bath (UK)
    Matija Pretnar       University of Ljubljana (Slovenia)
    Thomas Streicher     University of Darmstadt (Germany)
    Jeff Zucker          McMaster University (Canada)


    Domain theory has had applications to programming language
    semantics and logics (lambda-calculus, PCF, LCF), recursion theory
    (Kleene-Kreisel countable functionals), general topology
    (injective spaces, function spaces, locally compact spaces, Stone
    duality), topological algebra (compact Hausdorff semilattices) and
    analysis (measure, integration, dynamical systems). Moreover,
    these applications are related - for example, Stone duality gives
    rise to a logic of observable properties of computational

    As such, domain theory is highly interdisciplinary. Topics of
    interaction with domain theory for this workshop include, but are
    not limited to:

      program semantics
      program logics
      probabilistic computation
      exact computation over the real numbers
      lambda calculus
      models of sequential computation
      constructive mathematics
      recursion theory
      real analysis and computability
      topology, metric spaces and domains
      locale theory
      category theory
      topos theory
      type theory


    Please submit a one-page abstract via Easychair


    Shortly after an abstract is submitted (usually two or three weeks),
    the authors will be notified by the programme committee. The
    criterion for acceptance is relevance to the meeting. In
    particular, talks on subjects presented at other conferences and
    workshops are acceptable.


    Abstracts will be dealt with on a first-come/first-served basis.
    We ask potential speakers to express the intention to give
    a talk by the end of June.


    Further details about the local arrangements will be provided soon.


   The Domains X workshop will take place at Swansea University,
   Department of Computer Science, Robert Recorde Room (2nd floor,
   Faraday Building). Accommodation will be on Campus in House Oxwich.
   Further details will be given later.


    Ulrich Berger     Swansea University  (Co-Chair)
    Jens Blanck       Swansea University
    Martin Escardo    University of Birmingham  (Co-Chair)
    Achim Jung        University of Birmingham
    Klaus Keimel      TU Darmstadt
    Bernhard Reus     University of Sussex
    John Tucker       Swansea University


    Ulrich Berger        Swansea University
    Jens Blanck          Swansea University
    Monika Seisenberger  Swansea University


    We plan to publish proceedings of the workshop in a special volume
    of  a journal. There will be a call for papers after the workshop.
    The papers will be refereed according to normal publication



11) (From Monika Seisenberger) LCC'11 WORKSHOP ANNOUNCEMENT


The Twelfth International Workshop on Logic and Computational Complexity
will be held in Toronto on June 25, 2011, as an affiliated meeting
of LiCS'11 (http://www2.informatik.hu-berlin.de/lics/lics11/).

LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example,  in
implicit computational complexity (descriptive and type-theoretic methods);
deductive formalisms as they relate to complexity (e.g. ramification,
weak comprehension, bounded arithmetic, linear logic and resource logics);
complexity aspects of finite model theory and databases;
complexity-mindful program derivation and verification;
computational complexity at higher type; and proof complexity.

The LCC'11 program will consist of invited lectures as well as
contributed papers selected by the program committee.  This year there
will be no published proceedings, and we welcome informal
presentations about work in progress, survey papers, as well as work
submitted or published elsewhere, provided all pertinent information
is disclosed at submission time.  Submissions in the form of an
extended abstract of approx. 5 pages are welcome. If full papers
are submitted, they should not exceed 15 pages.  Proposed papers
should be uploaded to https://www.easychair.org/conferences/?conf=lcc2011
by 20 April 2011.


Paper submission deadline:       20 April
Authors' notification:           10 May
LCC'11 workshop:                 25 June

For additional information see http://www.cs.swansea.ac.uk/lcc2011/
or www.cs.indiana.edu/lcc, or email inquiries to u.berger at swansea.ac.uk
or denis at cs.mcgill.ca Further information about previous
LCC meetings can be found at http://www.cis.syr.edu/~royer/lcc.


    * Ulrich Berger (Swansea, Co-Chair)
    * Denis Therien (McGill Montreal, Co-Chair)
    * Klaus Aehlig (Southampton)
    * Arnold Beckmann (Swansea)
    * Guillaume Bonfante (LORIA Nancy)
    * Ugo Dal Lago (Bologna)
    * Phuong Nguyen (McGill Montreal)
    * Luca Roversi (Torino)
    * Thomas Schwentick (TU Dortmund)
    * Howard Straubing (Boston College)
    * Kazushige Terui (Kyoto)
    * Heribert Vollmer (Hanover)

STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair),
Daniel Leivant (Indiana U, Co-chair), Robert Constable (Cornell),
Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon),
Martin Hofmann (U Munich), Neil Immerman (U Mass. Amherst),
Neil Jones (Copenhagen), Bruce Kapron (U Victoria),
Stefan Kreutzer (Oxford), Jean-Yves Marion (LORIA Nancy),
Luke Ong (Oxford), Martin Otto (Darmstadt), James Royer (Syracuse),
Helmut Schwichtenberg (U Munich), and Pawel Urzyczyn (Warsaw)


12) LICS 2011 Call for Short Presentations

      Twenty-Sixth Annual IEEE Symposium on


                   21­24 June 2011,
              Toronto, Ontario, Canada


Following a now established tradition, there will be a short talk
session during LICS 2011, which is intended for descriptions of
work in progress, student projects, trailers for longer presentations
at one of the affiliated workshops, and relevant research being or
to be published elsewhere; other brief communications may be

Talks can be on any topic related to logic in computer science as
summarized in the LICS call for papers.

Proposals for short presentations must be submitted in the IEEE
latex style files for the two-column proceedings format and may
be no longer than 2 pages including references. The style files and
instructions for using them can be found at


(The file bare_conf.tex may be used as a template.)

    * Submission Deadline: 12 April 2011
    * Author Notification: 26 April 2011

The submission server opens on 5 April 2011.

The URL for submitting papers is
This link will bring you to the "Login Page for LICS 2011". Either
sign in using your existing
EasyChair account, or sign up for a new account. You'll reach the
"LICS 2011 (author)"
page. The page should be self-explanatory. To submit a paper, click
"New Submission"
and follow the instructions.

In case of problems please send email to the Programme Chair,
grohe at informatik.hu-berlin.de.


13) (From Antonio Montalban) Reverser Mathematics Workshop


A workshop on Reverse Mathematics will be held at the University of
Chicago on September 16-18, 2011, with support from the Packard
Foundation. While the workshop will be centered on the program of
reverse mathematics, we intend its scope to be broad, including
connections with the foundations of mathematics, computability theory,
and proof theory, and we encourage those interested in these areas to

Confirmed speakers so far include Jeremy Avigad, Peter Cholak, Harvey
Friedman, Carl Jockusch, Steffen Lempp, Alberto Marcone, Carl Mummert,
Michael Rathjen, Richard A. Shore, Stephen G. Simpson, and Theodore A.

For more updated information see http://www.math.uchicago.edu/~antonio/RM11/

We expect to have a significant amount of funding for participants. If
you are interested in attending, and want to apply for funding, send
an email to antonio at math.uchicago.edu with the subject line "funding -
RM Workshop", before June 15th. We will then reply to everyone by the
end of June.

The organizers:
Denis Hirschfeldt
Antonio Montalban


14) 2nd CfP: History and Philosophy of Computing, Gent (Belgium), 7-10 Nov 2011


International Conference on the History and Philosophy of Computing
7?10 November 2011
Ghent University, Ghent, Belgium

Celebrating the 75th anniversary of the famous 1936
Papers by A. Church, E.L. Post and A.M. Turing.

 From 7-10 November 2011 the Centre for Logic and Philosophy of Science,
Ghent University organizes an International Conference on the History
and Philosophy of computing.

The number of researchers working in fields related to computing is
growing rapidly in many different directions. As Mahoney once stated,
?the computer is not one thing but many different things, and the same
holds true of computing?. As a consequence, the computing sciences
collect the most diverse complex of experts: philosophers, logicians,
historians, mathematicians, computer scientists, programmers, engineers.
The number of involved subjects grows accordingly: from the foundational
issues to their applications; from the philosophical questions to
problems of realizability and design of specifications; from the
theoretical studies of computational barriers to the relevance of
machines for educational purposes. Given the significance of computing
for modern society, the relevance of its history and philosophy can
hardly be overestimated. The aim of this conference is to bring together
these two streams: we are strongly convinced that an interplay between
researchers with an interest in the history and philosophy of computing
can crucially add to the maturity of the field.

Topics of the conference include but are not restricted to:

? The history of computing
? Philosophical, foundational and practical issues of computability in
logic, mathematics and computer science
? Computation in the sciences

For a more detailed list of possible topics see


We cordially invite researchers working in a field relevant to the main
topics of the conference to submit a short abstract of approximately 200
words and an extended abstract of at most a 1000 words (references
included)  to


Abstracts must be written in English. Please note that the format of
uploaded files must be .pdf or .doc.  In order to access the submission
page, the creation of an EasyChair account will be required. Please
notice that what is called ?abstract? in the EasyChair ?Title, Abstract
and Other Information? section corresponds to the short abstract of this
call, and what is called ?paper? in the EasyChair ?Upload Paper? section
corresponds to the extended abstract of this call.


Submission deadline: May 15, 2011
Notification of acceptance: July 20, 2011
Deadline for Registration: 23 October, 2011

Bill Aspray (University of Texas)
Martin Davis (New York University, UC Berkeley)
Fairouz Kamareddine (Heriot-Watt University Edinburgh)
Sybille Krämer (Freie Universität Berlin)
Giovanni Sambin (Universita' di Padova)
Raymond Turner (University of Essex)
Stephen Wolfram (Wolfram Research)

Liesbeth De Mol and Giuseppe Primiero?

Liesbeth De Mol, Giuseppe Primiero, Dagmar Provijn, Jean-Paul van Bendegem

G. Alberts (Amsterdam); S. Artemov (New York); M. Campbell-Kelly
(Warwick); L. Corry (Tel Aviv) M. Denecker (Leuven); A. Eden (Essex); L.
Floridi (Oxford&  Hertfordshire); R. Kahle (Lisbon); B. Loewe
(Amsterdam); J. Meheus (Ghent); E. Myin (Antwerp); S. Negri (Helsinki)
V. de Paiva (Palo Alto); S. Smets (Groningen); G. Sundholm (Leiden); C.
Toffalori (Camerino); J.-.P. van Bendegem (Brussels); M. van Dyck
(Ghent); B. van Kerkhove (Brussels & Hasselt); E. Weber (Ghent)


The registration to the conference will soon be opened at the following


Note that it is required for all attendees to register. It has been our
policy to keep registration fees as low as possible. IACAP members also
have a 10% discount on the fee.

The following fees apply:

Regular fee: 150 EUR
IACAP members: 135 EUR
Graduate Students: 100 EUR

This includes coffee breaks, the conference dinner and the book of

Accompanying persons: 50 EUR (dinner only).

The International Association for Computing and Philosophy
http://ia-cap.org/  will fund a $500 travel grant for an IACAP graduate
student to attend. IACAP graduate students who would like to apply for
this grant need to send a copy of their submission to Tony Beavers
(executivedirector at ia-cap.org), executive
director of IACAP. The Association also offers a 10% discount on the
conference fee for IACAP members.??

Student members of the Association for Symbolic Logic
also may apply for ASL travel support. Applications have to be addressed
directly to the ASL. For more information and application details on ASL
student travel awards see
Note that the deadline for application is 7, 2011.


A selection of papers will be published as a special issue of the
journal Philosophy&  Technology (Springer)

We also intend to publish a selection of papers in a special issue of
History and Philosophy of Logic  (Taylor&  Francis)

More details will follow later.

For further information please contact us at:?

computing.conference at ugent.be

or have a look at our website:


15) STACS 2012 - call for paper

29th International Symposium on Theoretical Aspects of Computer Science


Feb 29th to March 3rd, 2012, Paris, France



Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer
science. Typical areas include (but are not limited to):

Algorithms and data structures, including: parallel and distributed
algorithms, computational geometry, cryptography, algorithmic learning
theory; Automata and formal languages; Computational and structural
complexity; Logic in computer science, including: semantics,
specification, and verification of programs, rewriting and deduction;
Current challenges, for example: biological computing, quantum
computing, mobile and net computing.  Program committee

Vikraman Arvind, Chennai
Manuel Bodirsky, Ecole Polytechnique
Hans Bodlaender, Utrecht
Felix Brandt, Munich
Véronique Bruyère, Mons
Didier Caucal, Marne-la-Vallée
Stéphane Demri, Cachan
Christoph Dürr, Paris (co-chair)
Robert Elsässer, Paderborn
Anupam Gupta, Pittsburgh
Lane A. Hemaspaandra, Rochester
Stephan Kreutzer, Berlin
Orna Kupferman, Jerusalem
Dietrich Kuske, Ilmenau
Seffi Naor, Technion
Monaldo Mastrolilli, Manno-Lugano
Michel de Rougemont, Paris
Michiel Smid, Ottawa
Iain Stewart, Durham
Heribert Vollmer, Hannover
Igor Walukiewicz, Bordeaux
Thomas Wilke, Kiel (co-chair)
Invited Speakers

Martin Dietzfelbinger, Ilmenau
Thomas Colcombet, Paris
Shafi Goldwasser, MIT

Authors are invited to submit a draft of a full paper with at most 12
pages (STACS style or similar, e.g., LaTeX article style with options
11pt and a4paper). The title page must contain a classification of the
topic covered, preferably using the list of topics above. The paper
should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of
their significance, accessible to non-specialist readers. Proofs
omitted due to space constraints must be put into an appendix to be
read by the program committee members at their discretion. Submissions
deviating from these guidelines risk rejection. Electronic submissions
should be formatted in PDF.

Simultaneous submission to other conferences with 
published proceedings is not allowed.


Accepted papers will be published in the proceedings of the
Symposium. As usual, these proceedings will appear in the Leibniz
International Proceedings in Informatics (LIPIcs) series, based at
Schloss Dagstuhl. This guarantees perennial, free and easy electronic
access, while the authors will retain the rights over their work. In
addition, the proceedings will also be available as archives in the
open access electronic repository HAL. With their submission, authors
consent to sign a license authorizing the program committee chairs to
organize the electronic publication of their paper if it is
accepted. Further details are available on www.stacs-conf.org and on
the conference website.

Instructions for the preparation of final 
manuscripts can be found at the LIPIcs website.

Participants of the conference will receive a USB-stick with an
electronic version of the proceedings. It is also planned to publish
in a journal a selection of papers.

Important dates

Submission deadline:   September 23rd, 2011
Notification to authors:  November 28th, 2011
Final version:  January 2nd, 2012
Symposium: Feb 29th to March 3rd, 2012


16) (From Joseph S. Miller) Workshop on 
Computability Theory, Barcelona (Spain), 17 July 2011

Workshop on Computability Theory, Barcelona (Spain), 17 July 2011

A Workshop on Computability Theory will be held in Barcelona on Sunday
17 July. The workshop will take place on the day between the 2011
Logic Colloquium (11-16 July) and the CRM Infinity Conference (18-22
July), both of which are in Barcelona. It will be held at the same
location as the Infinity Conference, the Centre de Recerca Matemàtica.
More information about the workshop can be found here:

This will be the fifth in the Workshops on Computability Theory (WCT)
Series. The WCT series was initiated by a two day meeting in Sofia,
Bulgaria in 2009, associated to the Logic Colloquium. In 2010, there
were workshops adjunct to the Computability in Europe meeting in Ponta
Delgada, Portugal and the Logic Colloquium in Paris. The fourth
workshop took place in San Francisco before the 2011 ASL Annual
Meeting. More information about these events can be found at:

For more information, you can contact any of the organizers:
      Ekaterina B. Fokina, Kurt Gödel Research Center
      Andrew E. M. Lewis, University of Leeds
      Joseph S. Miller, University of Wisconsin­Madison
      Antonio Montalbán, University of Chicago
      Mariya I. Soskova, Sofia University


17) (From Andreatta Moreno) MATHEMATICS AND 


Ircam (Paris), June 15-17

The 3rd International Conference on Mathematics and Computation in
Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the
Institute for Research and Coordination of Acoustics and Music in
Paris, France. MCM 2011 will be integrated into IRCAM’s most important
artistic event of the season, the Agora Music Festival, which is
running from June 8 to 18, 2011. As in the case of the first two
conferences (which took place in 2007 in Berlin and in 2009 at Yale
University), the third Mathematics and Computation in Music Conference
aims to provide a multi-disciplinary platform dedicated to the
communication and exchange of ideas amongst researchers involved in
mathematics, computer science, music theory, composition, musicology,
or other related disciplines. The Keynote speakers will be the
renowned composer and conductor Pierre Boulez, founder and honorary
director of IRCAM, Fields medalist Alain Connes, philosopher Alain
Badiou and computer-scientist Stephen Wolfram. The conference will be
accompanied by a series of conference-related artistic events
(concerts, exhibitions, workshops, 
) organized in collaboration with
some of the most important cultural and educational centers of France,
such as the Centre Pompidou and Universcience.

MCM2011 is organized under the auspices of the SMCM (Society for
Mathematics and Computation in Music), SMF (French Mathematical
Society), CiE (Computability in Europe), ESMA (European Society for
Mathematics and Arts) and with the financial support of CNRS (French
National Center for Scientific Research), AFIM (French Society of
Music Informatics) and SFAM (French Society of Music Analysis).

Program of MCM 2011 available at:

MCM 2011 Registration:

We look forward to seeing you in Paris,

MCM 2011 Organization Committee

Carlos Agon, IRCAM/CNRS
Moreno Andreatta, IRCAM/CNRS
Gérard Assayag, IRCAM/CNRS
Jean Bresson, IRCAM/CNRS

mcm2011-contact at ircam.fr


More information about the FOM mailing list