[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.
___________________________________________________________________________
** COMPUTABILITY IN EUROPE 2011 "Models of
Computation in Context", Sofia, Bulgaria, 27 June - 2 July:
For the latest news on CiE 2011 in Sofia, go to:
http://cie2011.fmi.uni-sofia.bg/
___________________________________________________________________________
CONTENTS:
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)
9) SECOND CALL FOR CONTRIBUTIONS: CALCO-Jnr 2011
10) Workshop Announcement: DOMAINS X
11) LCC'11 WORKSHOP ANNOUNCEMENT
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
17) MATHEMATICS AND COMPUTATION IN MUSIC CONFERENCE (MCM 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
http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM_2011.html
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:
-------------------
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.
IMPORTANT DATES:
----------------
Paper Submission: May 02, 2011
Notification: May 25, 2011
Final Version: June 03, 2011
Workshop July 03, 2011
SUBMISSIONS:
------------
Please submit a paper via the conference
EasyChair submission page:
http://www.easychair.org/conferences/?conf=dcm2011
Submissions should be at most 12 pages, in PDF format.
Please use the EPTCS macro package and follow the
instructions of EPTCS:
http://eptcs.org/
http://style.eptcs.org/
A submission may contain an appendix, but reading the
appendix should should not be necessary to assess the
merits of a submission.
PUBLICATION:
------------
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.
INVITED SPEAKERS: TBA
-----------------
PROGRAMME COMMITTEE:
--------------------
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
http://jaf30.logique.jussieu.fr/
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:
http://www.liafa.jussieu.fr/~sperifel/cmf2011/main.php
*****************************************************
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.
Contents:
* Computation, Information, and the Arrow of Time (P Adriaans & P van Emde
Boas)
* 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
Paul)
* Liquid State Machines: Motivation, Theory, and Applications (W Maass)
* Experiments on an Internal Approach to Typed Algorithms in Analysis (D
Normann)
* Recursive Functions: An Archeological Look (P Odifreddi)
* Reverse Mathematics and Well-Ordering Principles (M Rathjen & A
Weiermann)
* 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
http://cca-net.de/cca2011/
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
http://www.lmcs-online.org/
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
http://www.lmcs-online.org/Information/style.php
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
THE TURING CENTENARY RESEARCH PROJECT:
MIND, MECHANISM AND MATHEMATICS
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:
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408
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
Baaz.
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
webpage).
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
FIRST ANNOUNCEMENT
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
http://www.iis2011.net/ctit2011
2011 International Workshop on Computation Theory and Information
Technology (CT&IT2011) will be held in Macau, China during Dec 1-2,
2011.
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
Publication
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
journals.
· 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
field.
· 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)
CALL FOR PAPERS:
WORKSHOP : Quantum Physics meets TARK
Groningen, the Netherlands, Friday 15 July 2011
http://www.ai.rug.nl/conf/quantumTARK/
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:
https://www.easychair.org/account/signin.cgi?conf=quantumtark2011
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
Knowledge
http://www.philos.rug.nl/TARK2011/
--
Sonja Smets
___________________________________________________________________________
9) (From Monika Seisenberger) SECOND CALL FOR CONTRIBUTIONS: CALCO-Jnr 2011
===============================================================
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
===============================================================
http://calco2011.ecs.soton.ac.uk/workshops/calco-jnr.htm
===============================================================
Poster: (High quality version for printing)
http://calco2011.ecs.soton.ac.uk/workshops/calcojnr.pdf
===================================================
___________________________________________________________________________
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
http://www.cs.swan.ac.uk/domains2011/
Swansea University, Wales, UK, 5-7 September 2011
INTRODUCTION
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.'
FORMAT
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.
INVITED SPEAKERS (confirmed)
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)
SCOPE
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
processes.
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
games
models of sequential computation
constructive mathematics
recursion theory
realizability
real analysis and computability
topology, metric spaces and domains
locale theory
category theory
topos theory
type theory
SUBMISSION OF ABSTRACTS
Please submit a one-page abstract via Easychair
https://www.easychair.org/conferences/?conf=domainsx2011
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.
DEADLINE
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.
REGISTRATION
Further details about the local arrangements will be provided soon.
VENUE AND ACCOMMODATION
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.
PROGRAMME COMMITTEE
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
ORGANIZING COMMITTEE
Ulrich Berger Swansea University
Jens Blanck Swansea University
Monika Seisenberger Swansea University
PUBLICATION
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
standards.
URL
http://www.cs.swan.ac.uk/domains2011/
___________________________________________________________________________
11) (From Monika Seisenberger) LCC'11 WORKSHOP ANNOUNCEMENT
LCC'11 WORKSHOP ANNOUNCEMENT
The Twelfth International Workshop on Logic and Computational Complexity
(LCC'11,http://www.cs.swansea.ac.uk/lcc2011/)
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.
IMPORTANT DATES
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.
PROGRAM COMMITTEE
* 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
LOGIC IN COMPUTER SCIENCE (LICS 2011)
2124 June 2011,
Toronto, Ontario, Canada
CALL FOR SHORT PRESENTATIONS
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
acceptable.
Talks can be on any topic related to logic in computer science as
summarized in the LICS call for papers.
SUBMISSION INSTRUCTIONS:
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
http://www.ctan.org/tex-archive/macros/latex/contrib/IEEEtran/
(The file bare_conf.tex may be used as a template.)
IMPORTANT DATES:
* Submission Deadline: 12 April 2011
* Author Notification: 26 April 2011
The submission server opens on 5 April 2011.
SUBMISSION SITE:
The URL for submitting papers is
http://www.easychair.org/conferences/?conf=lics2011.
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.
TECHNICAL SUPPORT:
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
participate.
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.
Slaman.
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
SECOND CALL FOR PAPERS
International Conference on the History and Philosophy of Computing
7?10 November 2011
Ghent University, Ghent, Belgium
http://www.computing-conference.ugent.be
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
http://www.computing-conference.ugent.be/cfp
SUBMISSION DETAILS:
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
https://www.easychair.org/account/signin.cgi?conf=hapoc11
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.
IMPORTANT DATES:
Submission deadline: May 15, 2011
Notification of acceptance: July 20, 2011
Deadline for Registration: 23 October, 2011
INVITED SPEAKERS:
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)
CONFERENCE CHAIRS:
Liesbeth De Mol and Giuseppe Primiero?
ORGANIZING COMMITTEE:
Liesbeth De Mol, Giuseppe Primiero, Dagmar Provijn, Jean-Paul van Bendegem
PROGRAMME COMMITTEE:?
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)
REGISTRATION
The registration to the conference will soon be opened at the following
webpage:
http://www.computing-conference.ugent.be/registration
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
abstracts.
Accompanying persons: 50 EUR (dinner only).
GRANTS
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
http://www.aslonline.org/index.htm
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
http://www.aslonline.org/studenttravelawards.html
Note that the deadline for application is 7, 2011.
?SPECIAL ISSUES
A selection of papers will be published as a special issue of the
journal Philosophy& Technology (Springer)
http://www.springer.com/philosophy/epistemology+and+philosophy+of
+science/journal/13347
We also intend to publish a selection of papers in a special issue of
History and Philosophy of Logic (Taylor& Francis)
http://www.tandf.co.uk/journals/authors/thplauth.asp
More details will follow later.
CONTACT AND INFORMATION:
For further information please contact us at:?
computing.conference at ugent.be
or have a look at our website:
http://www.computing-conference.ugent.be
___________________________________________________________________________
15) STACS 2012 - call for paper
29th International Symposium on Theoretical Aspects of Computer Science
STACS 2012 - CALL FOR PAPERS
Feb 29th to March 3rd, 2012, Paris, France
http://stacs2012.lip6.fr/
Scope
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
Submissions
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.
Proceedings
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:
http://www.math.uchicago.edu/~damir/wctbarcelona/
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:
http://www.fmi.uni-sofia.bg/fmi/logic/msoskova/wct/index.htm
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 WisconsinMadison
Antonio Montalbán, University of Chicago
Mariya I. Soskova, Sofia University
___________________________________________________________________________
17) (From Andreatta Moreno) MATHEMATICS AND
COMPUTATION IN MUSIC CONFERENCE (MCM 2011)
=====================
MATHEMATICS AND COMPUTATION IN MUSIC CONFERENCE (MCM 2011)
Ircam (Paris), June 15-17
http://mcm2011.ircam.fr
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:
http://mcm2011.ircam.fr/drupal/?q=node/7
MCM 2011 Registration:
http://mcm2011.ircam.fr/drupal/?q=node/6
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
http://mcm2011.ircam.fr
mcm2011-contact at ircam.fr
___________________________________________________________________________
More information about the FOM
mailing list