[FOM] [CiE] Newsletter No.33, May 10, 2010

CiE cie at maths.leeds.ac.uk
Mon May 10 15:36:34 EDT 2010

CiE Newsletter No.33, May 10, 2010:

A final reminder for participants of CiE 2010 in the Azores -

(1) The deadline for submission of Informal Presentations at CiE 2010 
is Saturday 15th May, 2010. See:


(2) Early registration for CiE 2010 ends on Friday 28th May, 2010. To 
register, please go to:


(3) The deadline for nominations to the Association CiE Board is 
Wednesday 2nd June, 2010.

Any member of CiE can be nominated for election to the Board. A valid 
nomination from the membership requires a nomination by 10 CiE 
members, sent to: s.b.cooper at leeds.ac.uk


1. Seventh International Conference on Computability and Complexity 
in Analysis (CCA 2010) - Call for Participation

2. FLoC 2010: 2nd Call for Participation

3. Second Call for Papers IQSA Quantum Structures Boston 2010

4. Initial MALOA Training Workshop September 2010, Fischbachau

5. Journal of Logic and Analysis

6. 5th Conference in Logic, Computability and Randomness

7. Developments in Computational Models 2010 - Final Call for Early 

8. 14th International Conference on Cognitive and Neural Systems

1. (from Ning Zhong) Seventh International Conference on 
Computability and Complexity in Analysis (CCA 2010) - Call for Participation:

                     CCA2010 Call for Participation

We are happy to invite you to participate in the Seventh 
International Conference on Computability and Complexity in Analysis 
(CCA 2010) that will take place in Zhenjiang, China, June 21 ~V 25, 
2010. (http://cca-net.de/cca2010)

This conference is the seventeenth event in the series of CCA annual 
meetings.The CCA conferences are aimed at promoting the study and 
advancement of the theory of computability and complexity over 
real-valued data and its application. Scientists working in this area 
come from different fields, such as theoretical computer science, 
domain theory, logic, constructive mathematics, computer arithmetic, 
numerical mathematics and all branches of analysis. The conference 
provides a unique opportunity for people from such diverse areas to 
meet, present work in progress and exchange ideas and knowledge.

There will be seven invited lectures and fifteen contributed talks at CCA 2010.

Invited Speakers:

Klaus Ambos-Spies (Heidelberg, Germany)
Ding-Zhu Du (Dallas, USA)
Stefano Galatolo (Pisa, Italy)
Hajime Ishihara (Ishikawa, Japan)
Ker-I Ko (Beijing, China and Stony Brook, USA)
Robert Rettinger (Hagen, Germany)
Klaus Weihrauch (Hagen, Germany)

Information on local arrangements and registration can be found at


CCA2010 organizing committee

Kejin Bao (Zhenjiang, China)
Decheng Ding, co-chair (Nanjing, China)
Hongxing Yao (Zhenjiang, China)
Dianchen Lu, co-chair (Zhenjiang, China)
Daoyun Xu (Guiyang, China)
Xishun Zhao (Guangzhou, China)
Xizhong Zheng, co-chair (Zhenjiang, China and Glenside, USA)

2. (from Nicole Schweikardt) FLoC 2010: 2nd Call for Participation:


   Edinburgh, Scotland, U.K.
   July 9-21, 2010

   DEADLINES (All deadlines are firm!):
    * deadline for student travel grant application: 3 MAY 2010.
    * early registration deadline: 17 MAY 2010.

   NEW CANCELLATION POLICY: details are given below.

* The fifth Federated Logic Conference (FLoC'10)
   will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org),
   in July 2010, at the School of Informatics at the University
   of Edinburgh (www.inf.ed.ac.uk).

* FLoC'10 promises to be the premier scientific meeting in
   computational logic in 2010.
   The following conferences will participate in FLoC:

   - CAV 2010:   Int'l Conference on Computer-Aided Verification
   - CSF 2010:   IEEE Computer Security Foundations Symposium
   - ICLP 2010:  Int'l Conference on Logic Programming
   - IJCAR 2010: Int'l Joint Conference on Automated Reasoning
   - ITP 2010:   Int'l Conference on Interactive Theorem Proving
   - LICS 2010:  IEEE Symposium on Logic in Computer Science
   - RTA 2010:   Int'l Conference on Rewriting Techniques and Applications
   - SAT 2010:   Int'l Conference on Theory and Applications of
Satisfiability Testing

   The eight major conferences will be accompanied by more than
   fifty workshops and a number of other affiliated events.

* Program:
   The FLoC'10 program includes plenary talks by David Basin,
   Georg Gottlob, David Harel, and Gordon Plotkin, as well as
   keynote talks by Deepak Kapur and J Strother Moore.
   Please consult the FLoC website for further information on
   invited speakers and contributed talks of all the
   participating conferences.

* The city of Edinburgh:
   Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the
   most vibrant, cosmopolitan cities in Europe, has been regularly voted
   one of the most desirable places to live in the world - and the
   University is at the heart of it all.
   Located throughout the centre of the city, the campus plays an integral
   part in the activities of Scotland's lively capital.
   Set against a beautiful backdrop of stunning architecture, Edinburgh is
   a welcoming, cosmopolitan city with a large and diverse student population.
   The city offers an exciting array of entertainment, history, culture and
   sport, with the lush Scottish countryside and coastline just a few miles
   away. It is a safe and prosperous city, with an abundance of parks and
   green spaces for recreation and reflection.
   FLoC receptions will be held at the Edinburgh Castle (11 July) and
   the National Galleries of Scotland (16 July).

* Registration:
   For online registration for FLoC, please follow the link on the
   FLoC website at http://floc-conference.org/registration.html
   Registration is now open. The deadline for early registration is
   17 May. Standard rates will apply for those who register between 18 May
   and 30 June. For those who register after 30 June, late rates will apply.
   Note that it is possible to register early, and then add components
   (e.g., additional workshops, additional registration days, etc.) later on.

* Accomodation:
   Very affordable accommodation has been booked at the University's
   Pollock Halls campus, about 15-minute walk from the conference site.
   Room types include single/double rooms with shared facilities/ensuite,
   and standard hotel rooms in a 3-star Victorian mansion.
   Alternatively, blocks of rooms have been booked at several hotels in
   the cite centre. For details, see

* Cancellation Policy:
   If a participant is unable to attend FLoC because of force
   majeure (e.g., volcanic ash causing flight cancellation) or because
   of visa denial, their registration fee and accommodation payments
   will be refunded in full, except for a GBP 50 administrative charge.

* Student Travel Grants:
   FLoC has raised funds to help students with participating in the
   2010 meeting. See details on

* FLoC'10 Steering Committee:
    - General Chair: Moshe Y. Vardi
    - Conference Co-chairs: Leonid Libkin, Gordon Plotkin
    - CAV Representative: Edmund Clarke
    - ICLP Representative: Manuel Hermenegildo
    - IJCAR Representative: Alan Bundy
    - ITP Representative: Tobias Nipkow
    - LICS Representative: Martin Abadi
    - RTA Representative: Juergen Giesl
    - SAT Representative: Enrico Giunchiglia
    - EasyChair Representative: Andrei Voronkov

3. (from Bart D'Hooghe) Second Call for Papers IQSA Quantum 
Structures Boston 2010:

Quantum Structures 2010, the next biennial conference of the International
Quantum Structures Association, will take place in Boston, USA, 21-26 June
The proposed arrival date is Sunday, the 20th of June, and date of departure
is Sunday, the 27th of June.

The conference website can be found at:
and contains all info for registration (fees can be paid in USD or in Euro)
and accommodation booking.
To check the status of your registration for the conference, you can check
the updated list of participants at:
If you are interested to give a talk or present a poster, you are invited to
submit an abstract, of one page length, which must be prepared in LaTeX and
submitted by e-mail to Bart D'Hooghe: bdhooghe at vub.ac.be
All details can be found at the conference website, but we would like to
remind you that the acceptance of an abstract does not guarantee the
acceptance of the paper in the Proceedings volume.

We have booked rooms for 85 participants in a student's dormitory that is
located close to the conference site.
The dormitories have single rooms arranged in "apartments" of four rooms
with two bathrooms. You can book rooms by e-mail to Lev Levitin with Cc: to
Bart D'Hooghe or by the accommodation booking webform:
Payment will be executed, in US Dollars, during the conference.
Booking will be on the "first come, first served" basis until there are no
rooms left.
You can check the details of your booking (including arrival/departure date)
on the accommodation booking webpage:
which contains the last updated list of IQSA dormitory bookings.

Important dates and deadlines:
Deadline for early registration and application for reduced price: May 20,
Deadline for early reservation of IQSA accommodation in student dormitories:
May 20, 2010.
Deadline for sending abstracts: May 31, 2010.

Looking forward to meet you in Boston,
Bart D'Hooghe, Secretary of IQSA,
and the (non-)local organisers:
Lev Levitin (Boston, USA), Jaroslaw Pykacz, Mirko Navara, Richard Greechie,
Frank Schroeck, Tim Cook.

4. (from Peter Schuster) Initial MALOA Training Workshop September 
2010, Fischbachau:

   MALOA -  From MAthematical LOgic to Applications
   Marie Curie Initial Training Network, PITN-GA-2009-238381

   Initial MALOA Training Workshop September 2010, Fischbachau, Germany

Dates: Arrival Sunday, 5 September 2010.
        Departure Saturday, 11 September 2010 after noon.

Scope of the Workshop:
    The workshop consists of main lecture courses and contributed talks
across a range of logic as well as informal discussion groups in the
evenings.  It is intended particularly for PhD students and postdoctoral
researchers working in or around mathematical logic and applications.  It is
primarily aimed at members of the involved research centres of the MALOA
network, but participants from external sites are welcome as well.

    The workshop is being held at the Hotel Aurachhof in Fischbachau, a
picturesque small village outside of Munich.

    Full board accommodation is available from EUR 50 to EUR 80 per person
and day, depending on the room type and includes the workshop costs.

Further information: For more information, including a full timetable of
lecture courses and talks, please see the website


If interested in participating, please email Emma Jones

   e.j.jones at leeds.ac.uk

as soon as possible, and by Monday May 3 at absolute latest, as we need
to make the accommodation booking in Fischbachau.

5. (from Nigel Cutland) Journal of Logic and Analysis:

JLA becomes the first ASL sponsored journal

The Association for Symbolic Logic (ASL: www.aslonline.org/) has
agreed to sponsor the Journal of Logic and Analysis, the first in
this category recently created by the ASL Council.

The Journal of Logic and Analysis (JLA) is an electronic open access
peer-reviewed journal ( ISSN 1759-9008) that that examines the
interaction between ideas or techniques from mathematical logic and
other areas of mathematics, especially, but not limited to, pure and
applied analysis. The journal publishes papers in nonstandard
analysis and related areas of applied model theory; papers involving
interplay between mathematics and logic (including foundational
aspects of such interplay); and mathematical papers using or
developing analytical methods having connections to any area of
mathematical logic.

JLA is intended to be a natural home for papers with an essential
interaction between mathematical logic and other areas of
mathematics, rather than for papers purely in logic or analysis.

Volume 1 (2009) is complete, and papers are currently being published
in Volume 2 (2010).  Papers are reviewed in MathSciNet and
Zentralblatt MATH

For further information about JLA (Editorial Board, how to submit
papers etc) visit the website (http://logicandanalysis.org/) or
contact the Editor-in-Chief, Prof Nigel Cutland, University of York,
UK (nc507 at york.ac.uk).

6. (from Peter Cholak) 5th Conference in Logic, Computability and Randomness:

The 5th Conference in Logic, Computability and Randomness will be 
held May 24-28 at the University of Notre Dame. The conference web page is:


This page includes a conference program which we will update as 
necessary. Those interested in attending should register by emailing 
Lisa Tranberg at tranberg.1 at nd.edu (if you have already been in touch 
with Lisa or are speaking at the conference, then you don't need to do this).

We will also have a conference dinner at one of the best restaurants 
in South Bend. The dinner will cost $50 and space is limited. More 
information, including a menu, is on the web page: 
Those interested in signing up should email Logan Axon at laxon at nd.edu.

This meeting is supported by the National Science Foundation via 
NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness.

7. (from Barry Cooper) DCM 2010 - Final Call for Early Registration:


                                 DCM 2010
     6th International Workshop on Developments in Computational Models
                ** Causality, Computation, and Physics **

                            Edinburgh, Scotland
                              9-10 July 2010


         A satellite event of FLoC - http://www.floc-conference.org/

Early registration to FLoC and its workshops is open until 17th May. 
All participants, including speakers, should register for DCM 2010 
via the FLoC 2010 Registration webpage:



Cristian Calude (Auckland, New Zealand)
Lucien Hardy (Perimeter Institute, Canada)
Russ Harmer (Paris/Harvard)
Gordon Plotkin (Edinburgh)
Vlatko Vedral (Oxford)


DCM 2010 is the sixth 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. And 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 2010 will be a two-day satellite event of FLoC 2010, with a 
special focus on the theme 'Causality, Computation, and Physics'. Day 
2 of the Workshop will have an emphasis on quantum computation and 
physics, held as Quantum Information Science Scotland (QUISCO), and 
is co-sponsored by Scottish Universities Physics Alliance (SUPA) and 
Scottish Informatics and Computer Science Alliance (SICSA).

Further information:  Barry Cooper, pmt6sbc @ leeds.ac.uk,
                       Prakash Panangaden prakash @ cs.mcgill.ca
                       Elham Kashefi ekashefi @ inf.ed.ac.uk

8. (from Brian Bowlby) 14th International Conference on Cognitive and 
Neural Systems:


May 19-22, 2010

Boston University
677 Beacon Street
Boston, Massachusetts 02215 USA

Sponsored by the Boston University
Center for Adaptive Systems,
Department of Cognitive and Neural Systems (http://cns.bu.edu), and
Center of Excellence for Learning in Education, Science, and
Technology (http://celest.bu.edu)
with financial support from the National Science Foundation

This interdisciplinary conference is aimed at researchers and
students of computational neuroscience, cognitive science, neural
networks, neuromorphic engineering, and artificial intelligence. It
includes invited lectures and contributed lectures and posters by
experts on how the brain and other intelligent systems adapt to a
changing world. Single-track oral and poster sessions enable all
presented work to be highly visible.

Moshe Bar (Massachusetts General Hospital and Harvard Medical School)
The proactive brain: Predictions in visual cognition
Leon Chua (University of California, Berkeley) [Plenary Speaker]
Memristor minds
Carol Colby (University of Pittsburgh)
Active vision
Heiner Deubel (University of Munich)
Attention before goal-directed actions
Stephen Grossberg (Boston University)
Linking What and Where in visual attention, recognition, navigation,
and planning
Earl Miller (Massachusetts Institute of Technology) [Plenary Speaker]
The prefrontal cortex: Brain rhythms and cognition
Anthony Movshon (New York University)
Reading visual information from neuronal populations
Steven Petersen (Washington University)
Using network analysis tools to study the brain's control systems
Russell Poldrack (UCLA)
Stopping ourselves: The neural basis of response inhibition
Josef Rauschecker (Georgetown University Medical Center)
A functional and computational role for the dorsal stream in space
and speech
Barry Richmond (National Institutes of
Health) Studies into the neurobiological basis of stimulus-outcome learning
in monkeys
Xiao-Jing Wang (Yale University)
Computational neurobiology of decision making

Steffen Gais (Ludwig Maximilians University)
Cholinergic and other neurotransmitter influences on memory
processing during sleep
Michael Hasselmo (Boston University)
Modulation of grid cells and head direction cells during waking and
Bruce McNaughton (University of Lethbridge)
Dynamics of memory and non-memory reactivation during slow-wave and
REM sleep
Cliff Saper (Harvard Medical School)
Sleep switches
Robert Stickgold (Harvard Medical School)
Sleep, memory, and dreams:  Beyond consolidation
Erin Wamsley (Harvard Medical School)
Memories in the sleeping brain: A function for our dreams?
Matt Wilson (Massachusetts Institute of Technology)
Hippocampal memory reactivation during sleep

Gail A. Carpenter (Boston University)
The ART of neuromorphic computing
Ralph Etienne-Cummings (Johns Hopkins University)
Implementing a spike-based HMAX vision system with a silicon neural
Karlheinz Meier (University of Heidelberg)
Neuromorphic computing - Are we ready for a big step?
Ennio Mingolla (Boston University)
Neural designs for nanochip applications

Items for the next CiE Newsletter should be sent in plain text to 
s.b.cooper at leeds.ac.uk to arrive by May 29th, 2010

   ASSOCIATION COMPUTABILITY IN EUROPE       http://www.computability.org.uk
   CiE Conference Series                          http://www.illc.uva.nl/CiE
   CiE 2010                                       http://www.cie2010.uac.pt/
   CiE Membership Application Form             http://www.cs.swan.ac.uk/acie
   ALAN TURING YEAR                           http://www.turingcentenary.eu/

More information about the FOM mailing list