[FOM] CiE Newsletter No.64, December 12, 2012.
Olivier Bournez
martin at eipye.com
Sat Dec 22 21:20:41 EST 2012
CiE Newsletter No.64, December 12, 2012.
Please send any items you would like included in
next letter to Olivier Bournez (bournez at lix.polytechnique.fr)
DEADLINE: January 10th 2013.
___________________________________________________________________________
** 2012 - THE ALAN TURING YEAR
For the latest news on the ALAN TURING YEAR,
please go to http://www.mathcomp.leeds.ac.uk/turing2012/
** 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. See also 1) and 6)
___________________________________________________________________________
CONTENTS
• 1) CIE 2013: CALL FOR PAPERS AND SPECIAL AWARDS
• 2) Eleventh Brainstorming Week on
Membrane Computing. Sevilla, Spain February 4-8, 2013 (BWMC 2013)
• 3) Call for Papers -- DLT 2013
• 4) CfP special issue of LMCS on
"Computability and Complexity in Analysis", Deadline: 11 Feb 2013
• 5) 2013 IACAP Conference - July 15-17 - First CFP
• 6) CfP: CiE 2013 (Computability in Europe), Milan (Italy), 1-5 July 2013
• 7) 10th Annual Conference on Theory
and Applications of Models of Computation (TAMC13)
• 8) Joint research Fellowships Simons Institute, USA / MPI, Germany
• 9) CSR 2013 deadline extended
• 10) CFP Non-Classical Models of Automata
and Applications (5th International Workshop)
• 11) CCA 2013 announcement
• 12) THE LEGACY OF REUBEN GOODSTEIN
___________________________________________________________________________
1) CIE 2013: CALL FOR PAPERS AND SPECIAL AWARDS
************************************************************************
CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in Europe),
a European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in new developments in
computability and their underlying significance for the real world. Previous
meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007),
Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and
Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have brought in
several areas of mathematics, physics, and computer science. Starting from
Alan Turing, research on Nature with a computational perspective has
produced novel contributions, giving rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper
This prize will be awarded for the best student paper presented at CiE 2013,
as judged by the Program Committee. A prize of 500 Euros will be given to
the author(s) of the best student-authored paper (or split between more than
one paper if there is a tie). In order to be considered, a paper has to be
submitted in the category 'Regular paper (eligible for best student paper
award)' on EasyChair.
Papers are eligible if all of its authors are full-time students at the time
of submission.
Best paper on Natural Computing
The prize consists of the four volumes of the Handbook of Natural Computing
(see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing presented
at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Fédérale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemerédi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Université de Montréal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * LuÃÂs Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape Town,
co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsébet Csuhaj-Varjú (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jérôme Durand-Lose (Orléans)
* Viv Kendon (Leeds) * Bjørn Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John¹s NF) * Benedikt Löwe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
___________________________________________________________________________
2) Eleventh Brainstorming Week on Membrane
Computing. Sevilla, Spain February 4-8, 2013 (BWMC 2013)
(From AgustÃÂn Riscos Núñez)
Eleventh Brainstorming Week on Membrane Computing. Sevilla, Spain
February 4-8, 2013
(BWMC 2013)
CALL FOR PARTICIPATION
Goal:
Similarly to the previous editions, the goal
is to gather together researchers interested in
Membrane Computing (theory and applications), for
exchanging ideas, problems, solutions, for
working together, in a friendly framework.
Only invited talks and short and provocative
presentations will be scheduled in the first
days, then the time will be mainly devoted to
joint work. Those interested in having such
presentations should inform the organizers
({ariscosn, fran} @us.es) some days before the meeting.
The participants are strongly encouraged to
circulate open problems and research proposals by
posting them to our new mail list
{openproblems-bwmc at listas.us.es}.
Instructions on how to subscribe/unsubscribe to
this mail list and how to access the messages can
be found in the Brainstorming web page
http://www.gcn.us.es/11bwmc
Dates:
February 04, 2013 (Monday) - February 08, 2013 (Friday)
Organizing institution:
Research Group on Natural Computing (RGNC)
Department of Computer Science and Artificial Intelligence
Sevilla University, Spain
Venue:
E.T.S. Ingenieria Informatica, module H, first floor
Avda. Reina Mercedes s/n. (41012) Sevilla
Organizing committee: Mario J. Perez-Jimenez -- Co-Chair
Gheorghe Paun -- Co-Chair
... and all members of the group (http://www.gcn.us.es)
Web page:
News will be communicated through the RGNC web page, http://www.gcn.us.es/
and also through the P systems web page, http://ppage.psystems.eu/
Proceedings:
As usual, at about two months after the
meeting a proceedings volume will be published as
a research report of RGNC. Then, a selection of
final papers will be published in a special issue
of a journal as it was the case with the previous editions.
Registration:
In order to register the participants should
email Ana Maria Ruiz (anarumez _at_ us.es). A
registration fee of 75 euros will be requested on
arrival at the registration desk. This will cover
workshop materials, coffee breaks, lunch, social
dinner and proceedings. Several accommodation
options are listed on the webpage of the BWMC'13
that need to be booked by the participants.
Important advice:
Bookings should be arranged the sooner the
better, in order to avoid availability
restrictions. In particular, reservations for
Hernando Colon residence should be made not later
than January 21st (by email to anarumez at us.es).
Looking forward to meet you in February,
The organizing committee
!DSPAM:29,50c219fa248265576314670!
___________________________________________________________________________
3) Call for Papers -- DLT 2013
Call for Papers -- DLT 2013
================================================================
17th International Conference on Developments in Language Theory
Université Paris-Est, Marne-la-Vallée, France
June 18 - 21, 2013
http://dlt2013.sciencesconf.org/
================================================================
The 17th International Conference on Developments in Language Theory
(DLT 2013) will take place in Marne-la-Vallée (East of Paris), France,
on June 18 - 21, 2013. The conference will be hosted by the
Laboratoire d'informatique Gaspard-Monge, Université Paris-Est. The
conference is also under the auspices of the European Association for
Theoretical Computer Science. The purpose of this conference is to
bring together members of the academic, research, and industrial
community who have an interest in formal languages, automata theory,
and related areas.
TOPICS
Typical topics include, but are not limited to, grammars, acceptors
and transducers for words, trees and graphs, algebraic theories of
automata; algorithmic, combinatorial and algebraic properties of words
and languages; variable length codes; symbolic dynamics; cellular
automata; polyominoes and multidimensional patterns; decidability
questions; image manipulation and compression; efficient text
algorithms; relationships to cryptography, concurrency, complexity
theory and logic; bio-inspired computing; quantum computing.
IMPORTANT DATES
Paper submission: January 15, 2013
Notification: March 4, 2013
Final version: March 15, 2013
Conference: June 18-21, 2013
SUBMISSIONS
Authors are invited to submit papers presenting original and
unpublished research.
Conference proceedings will be published in the Springer Lecture Notes
in Computer
Science (LNCS). Selected papers will appear in a special issue of the
International
Journal of Foundations of Computer Science. Simultaneous submissions
to journals or
other conferences is not allowed.
Submitted papers should not exceed 12 pages and should follow the
LNCS-style LaTeX2e (available
athttp://www.springer.de/comp/lncs/authors.html).
Papers should be submitted electronically in PDF through the EasyChair system:
http://www.easychair.org/conferences/?conf=dlt2013
INVITED SPEAKERS
To be announced
PROGRAM COMMITTEE
Marie-Pierre Béal (Chair), Université Paris-Est, France
Olivier Carton (Co-Chair), Université Paris Diderot, France
Arnaud Carayol, CNRS, Université Paris-Est, France
Volker Diekert, Universität Stuttgart, Germany
Alessandro De Luca, Universita di Napoli, Italy
Zoltán Ésik, University of Szeged, Hungary
Anna Frid, Sobolev Institute in Mathematics, Russia
Nata?a Jonoska, University of South Florida, USA,
Jarkko Kari, University of Turku, Finland,
Michal Kunc, Masaryk University Brno, Czech republic
Martin Kutrib, Universität Giessen, Germany
S?awomir Lasota, Warsaw University, Poland
Pierre McKenzie, Université de Montréal, Canada
Giovanni Pighizzini, Università degli Studi di Milano
Benjamin Steinberg, Carleton University, Canada
Klaus Sutner, Carnege Mellon University, USA
Mikhail V. Volkov, Ural State University, Russia
Hsu-Chun Yen, National Taiwan University, Taiwan
FURTHER INFORMATION AND CONTACTS
Web: http://dlt2013.sciencesconf.org/
Email: dlt2013 at univ-mlv.fr
___________________________________________________________________________
4) CfP special issue of LMCS on "Computability
and Complexity in Analysis", Deadline: 11 Feb 2013
______________________________________________________________
Call for Submissions for the Special issue of LMCS following
Computability and Complexity in Analysis (CCA 2012)
Submission deadline: 11 February 2013
______________________________________________________________
The Ninth International Conference on
Computability and Complexity in Analysis (CCA 2012)
took place in Cambridge, UK, 24-27 June 2012, see
http://cca-net.de/cca2012/
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 2012 may also be considered for submission. All papers
will be refereed according to the usual standards of a
high-quality journal. Submitted papers must not be previously
published nor submitted for publication elsewhere.
Further technical instructions for the submission of papers
are included below!
It is planned that the publication of this special issue
follows the following schedule:
Deadline for submission: 11 February 2013
Notification: 8 May 2013
MartÃÂn Escardó
Arno Pauly
Matthias Schröder
Klaus Weihrauch
(Guest Editors of the LMCS Special Issue)
Technical Instructions for Authors
1. Register as an author on the web page
http://www.lmcs-online.org/
and enter the special issue code: 2-1,A:cC
(In case you are already registered, go to "profile" and
enter the above special code under "register for special
issue".)
2. Go through the submission routine on the web page.
In Step 0 choose the name of the meeting for which this
special issue is being organized.
3. 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
___________________________________________________________________________
5) 2013 IACAP Conference - July 15-17 - First CFP
Please distribute as appropriate:
*The Annual Meeting of the International Association for Computing and
Philosophy*
*University of Maryland at College Park*
*July 15-17 2013*
*?Minds, Machines and Morals?*
This generation has borne witness to a veritable explosion in the use of
computing technologies in almost every aspect of life. Philosophers,
scientists, and technologists/engineers have an important role to play in
addressing the foundational questions that arise on the inexorable march
toward intelligent machines. This year?s theme is ?Minds, Machines and
Morals.? Questions regarding the status of machines as moral agents and
patients press on us as we envision a future filled with self-driving cars,
robotic surgeons, health-care providers, and online computational
surrogates. According to what principles should they behave, if any? How
much autonomy should they be granted, and how might they interact with
human partners before, during, and after engaging in action accompanied by
moral deliberation? What is the nature of the folk concepts that drive our
ordinary ascriptions of blame and praise? Is it necessary for machines to
be sensitive to the vicissitudes of human moral cognition in context, and
if so, how might these be computationally instantiated in systems built to
work side-by-side with people? Finally, how can traditional moral
philosophy contribute to this emerging picture of human-machine
interaction? We encourage the submission of novel work on these and
related issues. We remain especially interested in the kind of
interdisciplinary investigations that have been typical of our meetings as
we seek to reach out to cognitive scientists, neuroscientists, social
psychologists and experimental philosophers in further developing our
understanding of moral minds and moral machines. Work in other areas
traditionally of interest to the computing and philosophy community is
invited as well.
*Conference Organization and Important Dates*
This year?s meeting will be organized somewhat differently than past
meetings. Rather than having a general call for symposia and an associated
program committee, we have decided to structure the meeting around three
distinct yet related tracks. Each track will be organized and supervised
by a dedicated chairperson who will be responsible for managing the
collection, review and dissemination of referee reports. Track chairs will
assemble their own program committees to assist in the adjudication of
submissions. In a change from previous meetings, all submissions are to be
full papers of approximately 3000 words and may not exceed 4000 words.
Improperly formatted submissions or papers that do not meet submission
guidelines will be subject to exclusion from the review process.
Information regarding formatting and submission, including templates and
other formatting aides can be found in their respective sections on the
conference website. Track descriptions and chairs are listed below:
*Track I: Information and Computing Ethics*
*Chair: Mariarosaria Taddeo, Oxford University*
In contemporary information societies, information technologies have grown
to the point of being indispensable for many of our activities, from
working to entertaining and interacting with others and with the
environment, from learning and education to waging war. The ubiquitous
deployment of such technologies raises important ethical problems
concerning their design and use. The track aims at gathering both papers
discussing conceptual frameworks to address such problems and papers
focusing on the specific ethical issues affecting contemporary information
societies. Main areas of interest are:
- Security and warfare;
- Individual rights;
- Privacy and anonymity;
- Personal identity;
- Social interactions;
- Education;
- Economy;
- Healthcare;
- Technological design.
Link to the track?s individual website to be provided at a later date.
* *
* *
*Track II: Minds and Machines*
* *
*Chair: Marcello Guarini, University of Windsor*
The Society for Machines and Mentality, an IACAP special interest group, is
devoted to advancing the philosophical understanding of issues involving
artificial intelligence, philosophy, and cognitive science. The Machines
and Mentality track chairs welcome philosophical papers in one or more of
the following areas:
- Machine Ethics
- Moral Cognition
- Models of mental state ascription
- Nature of concepts
- Philosophy of (or in) AI
- Philosophy of (or in) the Cognitive Sciences or Cognitive Modeling
- Other work at the intersection of (i) philosophy and (ii) AI or the
various cognitive or psychological sciences
Link to the track?s individual website will be provided at a later date.
* *
* *
*Track III: Computing in Philosophy*
*Chair: Cameron Buckner, University of Houston*
This track is devoted to the ways that computers can extend our ability to
acquire, represent, understand, and distribute philosophical knowledge.
These include the application of new methods of proof, representation, and
visualization to traditional philosophical questions, the use of new
formal, online, and distributed forms of research and publication, and the
possibilities digital representations of the discipline afford as a guide
to metaphilosophy. We welcome papers on the way that these new approaches
are transforming philosophy in the following areas:
- Computational metaphysics
- Computational epistemology
- Digital archives and reference works
- Cognition and visualization
- Computing and art
- Computing in the philosophy of information
- Digital pedagogy and computer-enhanced instruction
- Formal argument analysis and theories of reasons
- Social computing and distributed philosophy
- Computational metaphilosophy
Link to the track?s individual website will be provided at a later date.
*Keynote Speakers*
* *
*Shaun Nichols, University of Arizona*
* *
*John Mikhail, Georgetown University*
****
* *
*Winner: Covey Award*
* *
*Winner: Herbert A. Simon Award*
* *
* *
*Important Dates*
- Call for papers distributed: December 10th 2012
- Final submissions entered into Easychair website: March 15th 2013
- Reviews due to track chairs: April 15th 2013
- Notifications sent to authors: May 1 2013
- Standard registration period (TBD)
- Late registration period (TBD)
- Conference: July 15-17 2013
* *
*Submission Website*
Submissions will be handled through the EasyChair submission website.
Details on the use of EasyChair will be provided as this website continues
to be updated.
*Resources for Authors*
IACAP 2013 will rely on electronic submission of papers for review
purposes. Papers must not exceed 4000 words, including all figures, tables,
and references. We will return to the authors any submissions that exceed
this limit or that diverge significantly from the format as specified. The
text of the paper should be formatted in one column, with an overall width
of 6.0 inches (15.24 cm) and length of 8.0 inches (20.32 cm). The left
margin should be 1.25 inches (3.175 cm) and the top margin 1.5 inches (3.81
cm). The right and bottom margins will depend on whether one prints on US
letter or A4 paper.
The paper body should be set in 11 point type with a vertical spacing of 12
points. Please use Times Roman typeface throughout the text. We assume
that authors will have access to LaTeX or Word to format their documents
and can use a Web browser to download style files and upload their papers.
Electronic templates for producing the camera-ready copy are available for
LaTeX and Microsoft Word.
Templates are accessible on the Web at:
http://www.iacap.org/conferences/2013/author-resources/index.html
Authors who have questions about these templates or other formatting
issues should send them to pbellopgd at gmail.com by e-mail.
To ensure the ability to preview and print submissions, authors must
provide their manuscripts in pdf format. Papers prepared in Word should be
saved as pdf files and submitted in this format. To support the review
process, each submission must be accompanied by information about the
paper?s title and abstract, as well as the authors? names and physical
addresses. Authors must enter this information into the submission
website. Submissions may be accompanied by online appendices that contain
data, demonstrations, instructions for obtaining source code, or the source
code itself. We encourage authors to include such appendices when they
submit papers. This material will not count in the submission?s page length.
*Presentation Information and Guidelines*
Each presenter will have 20 minutes for presentation, followed by 10
minutes of discussion. Data projectors will be available ? we ask
presenters to bring any electronic materials (e.g., Powerpoint or the like)
on a USB memory stick, rather than planning on using their own computers.
Presenters are encouraged to use their time to highlight what they believe
to be the most significant / interesting / provocative (etc.) insights /
findings / arguments (etc.) in their papers, with a view towards inspiring
discussion among an interdisciplinary audience ? i.e., one including those
outside the presenters? own primary specializations and disciplines. More
formal reading of papers is certainly in order if that is the presenter?s
preference ? and especially if difficult or complex arguments are to be
presented for careful critique and discussion. But again, we ask presenters
to recognize and seek to foster the strong interdisciplinarity that has
defined the CAP conferences since their inception.
*Venue: University of Maryland, Marriott Inn and Conference Center*
The 2013 meeting will be held starting July 15th and ending July17th at the
Marriott Inn and Conference Center. Room rates are roughly expected to be
$130 USD per night. The hotel website can be found
here,
complete with links to information about local airports and transportation
options. We will be regularly updating the website with information for
travelers, maps, area guides and information about local attractions.
*Registration*
Rates are TBD (expected to be roughly $200 USD), but will include
continental breakfast, lunch selection, afternoon snack and hot/cold
beverages throughout the day.
___________________________________________________________________________
6) CfP: CiE 2013 (Computability in Europe), Milan (Italy), 1-5 July 2013
************************************************************************
CALL FOR PAPERS:
CiE 2013: The Nature of Computation
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of
CIE13 on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, physics, and computer science.
Starting from Alan Turing, research on Nature with a computational
perspective has produced novel contributions, giving rise even to new
disciplines.
Two complementary research perspectives pervade the Nature of
Computation theme. One is focused on the understanding of new
computational paradigms inspired by the processes occurring in the
biological world, while focusing on a deeper and modern understanding of
the theory of computation. The other perspective is on our understanding
of how computations really occur in Nature, on how we can interact with
those computations, and on their applications.
CiE 2013 conference topics include, but not exclusively:
* Admissible sets
* Algorithms
* Analog computation
* Artificial intelligence
* Automata theory
* Bioinformatics
* Classical computability and degree structures
* Cognitive science and modelling
* Complexity classes
* Computability theoretic aspects of programs
* Computable analysis and real computation
* Computable structures and models
* Computational and proof complexity
* Computational biology
* Computational creativity
* Computational learning and complexity
* Computational linguistics
* Concurrency and distributed computation
* Constructive mathematics
* Cryptographic complexity
* Decidability of theories
* Derandomization
* DNA computing
* Domain theory and computability
* Dynamical systems and computational models
* Effective descriptive set theory
* Emerging and Non-standard Models of Computation
* Finite model theory
* Formal aspects of program analysis
* Formal methods
* Foundations of computer science
* Games
* Generalized recursion theory
* History of computation
* Hybrid systems
* Higher type computability
* Hypercomputational models
* Infinite time Turing machines
* Kolmogorov complexity
* Lambda and combinatory calculi
* L-systems and membrane computation
* Machine learning
* Mathematical models of emergence
* Molecular computation
* Morphogenesis and developmental biology
* Multi-agent systems
* Natural Computation
* Neural nets and connectionist models
* Philosophy of science and computation
* Physics and computability
* Probabilistic systems
* Process algebras and concurrent systems
* Programming language semantics
* Proof mining and applications
* Proof theory and computability
* Proof complexity
* Quantum computing and complexity
* Randomness
* Reducibilities and relative computation
* Relativistic computation
* Reverse mathematics
* Semantics and logic of computation
* Swarm intelligence and self-organisation
* Type systems and type theory
* Uncertain Reasoning
* Weak systems of arithmetic and applications
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic
connection with computability.
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013.
The submission site
https://www.easychair.org/conferences/?conf=cie2013 is open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
___________________________________________________________________________
7) 10th Annual Conference on Theory and
Applications of Models of Computation (TAMC13)
FIRST CALL FOR PAPERS: TAMC 2013
The 10th annual conference on Theory and Applications of
Models of Computation
University of Hong Kong, Pokfulam, Hong Kong
Important Dates
Submission deadline : 11:59 pm EST January 11, 2013
Notification of authors : late February or early March, 2013
Final versions deadline : to be announced soon
The TAMC proceedings will be published in the Lecture Notes in
Computer Science Series by Springer (http://www.springer.com/lncs).
Authors of accepted papers are expected to present their work
at the conference.
Post Conference Publications
Special issues of the journals Theoretical Computer Science and
Mathematical Structures in Computer Science devoted to a
selected set of accepted papers of the conference are planned.
Aims and Scope
TAMC aims at bringing together a wide range of researchers with
interests in computational theory and applications. The main themes of
the conference are computability, complexity, and algorithms. Typical
but not exclusive topics of interest include:
* algebraic computation
* algorithmic coding theory
* algorithmic number theory
* approximation algorithms
* automata theory
* circuit complexity
* computability
* computational biology, and biological computing
* computational complexity
* computational game theory
* computational logic
* computational geometry
* continuous and real computation
* cryptography
* data structures
* design and analysis of algorithms
* distributed algorithms
* fixed parameter tractability
* graph algorithms
* information and communication complexity
* learning theory
* natural computation
* network algorithms, networks in nature and society
* online algorithms
* optimization
* parallel algorithms
* privacy and security
* property testing
* proof complexity
* quantum computing
* randomness, pseudo-randomness
* randomized algorithms
* streaming algorithms
http://www.cs.hku.hk/tamc2013/call.htm
___________________________________________________________________________
8) Joint research Fellowships Simons Institute, USA / MPI, Germany
Joint Research Fellowships with the Simons Institute for the Theory of
Computing, Berkeley
Max Planck Institute offers joint research fellowships with the Simons
Institute for the Theory of Computing, Berkeley, CA, USA. These
fellowships are a major component of a collaboration between the two
institutes directed at Theory of Computing and its applications in
various fields. The fellowship holder will spend one semester (not
necessarily the first) at the Simons Institute for the Theory of
Computing and the remainder of the fellowship at the Max Planck
Institute. For the residence at the Simons Institute there is a
preference for the research topic to be related to a respective
half-year research program run at the Simons Institute. The research
programs for Fall 2013 are "Real Analysis in Computer Science" and
"Theoretical Foundations of Big Data Analysis," and the topics for
Spring 2014 are "Algorithms and Models in Evolutionary Biology" and
"Quantum Hamiltonian Complexity." Descriptions of these programs and
other information about the Simons Institute can be found at
http://simons.berkeley.edu.
Research Fellowships are intended for exceptional young scientists at
most six years after the award of their PhD.
Candidates should submit their application (curriculum vitae,
photograph, list of publications, short research plan, argued interest
in one or more of the Simons research programs, copies of degree
certificates, copies of the five most important publications, list of
three references) as a single PDF file to simons-apps at mpi-inf.mpg.de .
The Max Planck Institute particularly encourages applications from
outstanding women and minority candidates. The deadline for receipt of
the application is January 15, 2013.
___________________________________________________________________________
9) CSR 2013 deadline extended
Dear Colleagues,
The CSR 2013 deadline is extended to December 20, 2012, 23:59 GMT.
We apologize for possible multiple postings.
UNSUBSCRIPTION: If you do not wish to receive any news
regarding CSR conferences, please reply to this mail
and I will remove you from the mailing list.
*******************************************************************************
8th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2013)
June 25-29, 2013, Ekaterinburg, Russia
http://csr2013.urfu.ru/
*******************************************************************************
CSR 2013 intends to reflect the broad scope of international cooperation
in
computer science. It is the eighth conference in a series of regular
events
previously held in St.Petersburg (2006), Ekaterinburg (2007), Moscow
(2008),
Novosibirsk (2009), Kazan (2010), St.Petersburg (2011), and Nizhny
Novgorod (2012). The proceedings are published in Springer LNCS.
IMPORTANT DATES
Deadline for submissions: December 20, 2012, 23:59 GMT
Notification of acceptance: February 13, 2013
Conference dates: June 25-29, 2013
As it has become a tradition, there will be YANDEX AWARDs
for the best paper and for the best student paper!
VENUE
Ekaterinburg is a large city in the heart of Russia, 1600 km (a 2 hour
flight) east from Moscow. It is the capital city as well as the main
financial, cultural, and scientific centre of the Ural region.
Ekaterinburg is accessible by direct regular flights of a number of
international airlines including Lufthansa, Aeroflot, Finnair,
Czech Airlines, Turkish Airlines, and FlyDubai. Ural Federal
University is the largest Russian university outside Moscow.
TOPICS include, but are not limited to:
* algorithms and data structures
* automata and formal languages
* combinatorial optimization
* constraint solving
* computational complexity
* cryptography
* combinatorics in computer science
* computational models and concepts
* algorithms for concurrent and distributed systems, networks
* proof theory and applications of logic to computer science
* model checking
* automated reasoning
* deductive methods
INVITED SPEAKERS
* Mario Szegedy (Rutgers) will give an opening lecture
* Thomas Colcombet (CNRS)
* Gilles Dowek (INRIA)
* Alexandr Kostochka (University of Illinois at Urbana-Champaign /
Novosibirsk State University)
* Nicole Schweikardt (Goethe University)
* Jeffrey Shallit (University of Waterloo)
* Paul Spirakis (University of Patras)
* Ryan Williams (Stanford University)
PROGRAM COMMITTEE
* Max Alekseyev (University of South Carolina)
* Andris Ambainis (University of Latvia)
* Maxim Babenko (Higher School of Economics, Moscow)
* Patrick Baillot (ENS Lyon)
* Glencora Borradaile (Oregon State University)
* Andrei Bulatov (Simon Fraser University) Chair
* Yijia Chen (Shanghai Jiao Tong University)
* Victor Dalmau (University Pompeu Fabra)
* Yevgeniy Dodis (Courant Institute of Mathematical Sciences)
* Manfred Droste (University Leipzig)
* Anna Frid (Sobolev Institute of Mathematics)
* Hamed Hatami (McGill University)
* Tero Harju (University of Turku)
* Michal Koucky (Mathematical Institute of Czech Academy of Sciences)
* Stephan Kreutzer (Tecnical University of Berlin)
* Alexander Kulikov (Steklov Institute of Mathematics at St. Petersburg)
* Konstantin Makarychev (Microsoft Research at Redmond)
* Simone Martini (University of Bologna)
* Jaroslav Nesetril (Charles University)
* Jean-Eric Pin (University Paris 7)
* Harald Raecke (University of Munich)
* Alexander Razborov (University of Chicago and Steklov Mathematical
Institute)
* Mikhail Volkov (Ural Federal University)
ORGANIZERS
B.N.Yeltsin Ural Federal University, Ekaterinburg, Russia
CONFERENCE CHAIR
Arseny Shur (Ural Federal University)
SUBMISSIONS
Authors are invited to submit an extended abstract or a full paper of
at most 12 pages in the LNCS format (LaTeX, as pdf; final version with
source), in English; instructions can be found at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.
Proofs and other material omitted due to space constraints are to be put
into a clearly marked appendix to be read at discretion of the referees.
Papers must present original (and not previously published) research.
Simultaneous submission to journals or to other conferences with
published
proceedings is not allowed. The proceedings of the symposium will be
published in Springer's LNCS series. Accepted papers MUST be presented at
the symposium.
Submissions should be uploaded to the EasyChair Conference system:
http://www.easychair.org/conferences/?conf=csr2013
SATELLITE EVENTS
The 2nd Workshop on Current Trends in Cryptography (June 23-24, 2013)
https://www.tc26.ru/en/CTCryptEN/CTCrypt2013
The 6th School for students and young researchers "Computer Science
Ekaterinburg Days" (June 29 - July 1, 2013).
http://www.csedays.ru/
Workshop proposals are welcome.
FURTHER INFORMATION AND CONTACTS
Web: http://csr2013.urfu.ru/
Email: csr2013 at urfu.ru
___________________________________________________________________________
10) CFP Non-Classical Models of Automata and
Applications (5th International Workshop)
Call for paper -- please distribute -- Call for paper
5th International Workshop on
``Non-Classical Models of Automata and Applications''
(NCMA 2013)
August 13 - 14, 2013, in Umea (Sweden)
- Call for Papers -
Research papers are invited that contain original contributions on
non-classical models of automata and applications and related subjects.
Many non-classical models of automata and grammar-like structures are
the natural objects of theoretical computer science. They are studied
from different points of view in various areas, both as theoretical
concepts and as formal models for applications. The aim of the workshops on
``Non-Classical Models of Automata and Applications''
is to provide an opportunity for researchers that work on different
aspects of non-classical models of automata and grammars to exchange and
develop novel ideas. Topics for NCMA 2013 include the following:
- formal models inspired by Linguistics, Bio-Computing, Text Processing,
Document
Engineering, Self-Assemblance, etc.,
- bio-inspired models of automata and generative devices,
- cellular automata,
- forgetting automata and restarting automata,
- automata with additional resources,
- regulated rewriting/automata,
- networks of automata or generative devices,
- models of cooperation and communication,
- quantum automata,
but other related topics are also welcome. In particular, it should be
stressed that also contributions dealing with questions on classical
automata and generative devices are welcome.
The first workshop on Non-Classical Models of Automata and Applications,
NCMA 2009, was held in Wroclaw, Poland, in 2009 as a satellite event of
FCT 2009, sponsored by the AutoMathA project of the European Science
Foundation (ESF). The second workshop, NCMA 2010, was held in Jena,
Germany, as an associated workshop of the Conference on
Membrane Computing (CMC 2010), the third workshop, NCMA 2011, was
organized at the Universita degli Studi di Milano, Milano, Italy, and
the fourth workshop, NCMA 2012, was held in Fribourg, Switzerland. The
proceedings of these workshops have appeared as volumes 256, 263, 282,
and 290 in the series books at ocg.at of the Austrian Computer Society. In
addition, special issues of Fundamenta Informaticae were dedicated to
NCMA 2009 (Vol. 104 (1-2), 2010) and to NCMA 2010 (Vol. 112 (2-3),
2011), a special issue of RAIRO Theoretical Informatics and Applications
was dedicated to NCMA 2011 (Vol. 46 (4), 2012), and a special issue of
RAIRO Theoretical Informatics and Applications for NCMA 2012 is in
preparation. The proceedings of NCMA 2013 will again appear as a volume
in the series books at ocg.at, and extended and carefully revised versions
of selected contributions will be published in a special issue of
Fundamenta Informaticae.
Important Dates:
Deadline for submissions: May 26, 2013
Notification of acceptance: June 23, 2013
Deadline for final papers: July 14, 2013
Workshop: August 13-14, 2013.
Submissions:
Authors are invited to submit papers of up to 16 pages in OCG-style
(please see the web-page ``ncma2013.cs.umu.se'' for detailed
information) in electronic form (Postscript or PDF). All submissions
will be reviewed by at least three referees. Proofs omitted due to space
constraints may be put into an appendix that will be read by the
reviewers at their discretion. Simultaneous submissions to other
conferences or workshops with published proceedings is not allowed. To
submit your paper, please visit
https://www.easychair.org/conferences/?conf=ncma2013
Program Committee:
- Suna Bensch (Umea, Co-Chair)
- Henning Bordihn (Potsdam, Germany)
- Frank Drewes (Umea, Co-Chair)
- Jerome Durand-Lose (Orleans, France)
- Mika Hirvensalo (Turku, Finland)
- Mario de Jesus Perez Jimenez (Sevilla, Spain)
- Martin Kutrib (Giessen, Germany)
- Florin Manea (Kiel, Germany)
- Peter Leupold (Leipzig, Germany)
- Andreas Maletti (Stuttgart, Germany)
- Frantisek Mraz (Prag, Czech Republic)
- Friedrich Otto (Kassel, Germany, Co-Chair)
- Beatrice Palano (Mailand, Italy)
- Daniel Reidenbach (Loughborough, Great Britain)
- Rogerio Reis (Porto, Portugal)
- Bianca Truthe (Magdeburg, Germany)
- Gyorgy Vaszil (Debrecen, Hungary)
- Mikhail Volkov (Ekaterinburg, Russia)
Local Organizers:
- Suna Bensch
- Martin Berglund
- Henrik Bjorklund
- Johanna Bjorklund
- Frank Drewes
- Niklas Zechner
Local Information:
Umea is easily reached by plane, as there are numerous daily flights to
and from Stockholm. In addition, there are daily ferries to and from
Vaasa (Finland).
More information can be found at the web-page of NCMA 2013:
http://ncma2013.cs.umu.se
___________________________________________________________________________
11) CCA 2013 announcement
(From Ning Zhong)
First Call for Papers
Tenth International Conference on Computability
and Complexity in Analysis (CCA 2013) will take
place in Nancy, France, July 8 ? 11, 2013 (http://cca-net.de/cca2013).
The CCA 2013 Program Committee cordially invites
researchers in the area of computability and
complexity theory to submit papers for presentation at the conference.
Topics:
• Computable analysis
• Complexity on real numbers
• Constructive analysis
• Domain theory and analysis
• Theory of representations
• Computable numbers, subsets and functions
• Randomness and computable measure theory
• Models of computability on real numbers
• Realizability theory and analysis
• Reverse analysis
• Real number algorithms
• Implementation of exact real number arithmetic
Submissions:
Authors are invited to submit a PDF version of an
extended abstract (typically 10 pages) on the following web page:
https://www.easychair.org/conferences/?conf=cca2013
Dates:
Submission deadline: April 1, 2013
Notification
of authors: May 6, 2013
Registration deadline:
May 20, 2013
Final version: May 27, 2013
Invited Speakers:
· Ulrich Berger (Swansea, UK)
· Takayuki Kihara (JAIST, Japan)
· Cristobal Rojas (Toronto, Canada)
· Daniel Roy (Cambridge, UK)
· Martin Ziegler (Darmstadt, Germany)
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 (Stony Brook, USA)
• Matthias Schröder (Vienna, Austria)
• Robert Rettinger (Hagen, Germany)
• Ning Zhong, chair (Cincinnati, USA)
Local Organizers
· Anne-Lise Charbonnier
· Hugo Férée
· Emmanuel Hainry
· Mathieu Hoyrup (chair)
· Emmanuel Jeandel
· Romain Péchoux
___________________________________________________________________________
12) THE LEGACY OF REUBEN GOODSTEIN
_______________________________________________________________________
THE LEGACY OF REUBEN GOODSTEIN
His Centennial and the Wittgenstein Connection
Friday 14th December 2012, University of Leicester
2012 is the Centenary of the birth of Reuben Louis Goodstein, the first
holder of a UK university chair in Mathematical Logic.
In honour of Goodstein and his legacy, we are organizing a day recognizing
his impact on the development of Mathematical Logic, worldwide, in the UK
and at Leicester.
The list of distinguished speakers includes:
Harvey Rose (Bristol), Jan von Plato (Helsinki), Stanley Wainer (Leeds),
Mathieu Marion/Mitsuhiro Okada (Montreal/Keio, Japan), Mike Price
(Leicester), Mary Walmsley (Leicester).
Topics will include:
* Goodstein's theorem in the light of the Bernays-Goodstein correspondence
* Goodstein sequences and independence of Peano arithmetic
* Goodstein and Wittgenstein
* Goodstein and the Mathematical Association
* We are also hoping to have a panel discussion entitled 'Goodstein
* 'Remembered', where any delegate can share memories and thoughts of
Goodstein.
We anticipate there will be a number of ex-colleagues and students of
Goodstein, and members of the Goodstein family in attendance, and a small
evening dinner for speakers and organisers, and guests.
The meeting is supported by the London Mathematical Society, and there are
a number of bursaries available to UK research students to enable them to
attend the meeting. Registration is free.
To register, and for details of the programme, please go to the meeting
webpage:
http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein
Download a copy of the conference poster:
http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein/Goodstein.pdf
__________________________
Organisers: S. Barry Cooper (Leeds), Jeremy Levesley (Leicester), Rick
Thomas (Leicester), Paul Williams (LSE)
___________________________________________________________________________
More information about the FOM
mailing list