[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:
http://www.cie2010.uac.pt/contents/call_for_informal_presentations.html
(2) Early registration for CiE 2010 ends on Friday 28th May, 2010. To
register, please go to:
http://www.cie2010.uac.pt/contents/registration.html
(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
___________________________________________________________________________
CONTENTS:
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
Registration
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
http://fos.ujs.edu.cn/cca/
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:
2010 FEDERATED LOGIC CONFERENCE (FLoC'10)
Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org
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
http://floc-conference.org/accommodation.html
* 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
http://www.floc-conference.org/floc-student-grants.html
* 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
2010.
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:
http://www.vub.ac.be/CLEA/IQSA/IQSABoston2010/IQSABoston2010.htm
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:
http://www.vub.ac.be/CLEA/IQSA/IQSABoston2010/listpart/listpart.shtml
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:
http://www.vub.ac.be/CLEA/IQSA/IQSABoston2010/accomregform.html
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:
http://www.vub.ac.be/CLEA/IQSA/IQSABoston2010/listpart/accombook.shtml
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,
2010.
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
http://www.logique.jussieu.fr/MALOA/
---------------------------------------------------------------------------
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.
Location:
The workshop is being held at the Hotel Aurachhof in Fischbachau, a
picturesque small village outside of Munich.
Costs:
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
http://www.mathematik.uni-muenchen.de/~jberger/fisch.html
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:
http://math.nd.edu/conferences/AlgoRandomness/
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:
http://math.nd.edu/conferences/AlgoRandomness/conferencedinner.shtml.
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 - FINAL CALL FOR EARLY REGISTRATION **
===================================================================
DCM 2010
6th International Workshop on Developments in Computational Models
** Causality, Computation, and Physics **
http://www.amsta.leeds.ac.uk/~pmt6sbc/DCM10/
Edinburgh, Scotland
9-10 July 2010
DEADLINE FOR EARLY REGISTRATION: MONDAY 17th MAY, 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:
http://www.floc-conference.org/registration.html
===================================================================
INVITED SPEAKERS:
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:
FOURTEENTH INTERNATIONAL CONFERENCE
ON COGNITIVE AND NEURAL SYSTEMS
May 19-22, 2010
Boston University
677 Beacon Street
Boston, Massachusetts 02215 USA
http://cns.bu.edu/meetings/
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.
CONFIRMED INVITED SPEAKERS
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
WORKSHOP ON "TO SLEEP, PERCHANCE TO DREAM"
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
sleep
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
WORKSHOP ON "NEUROMORPHIC COMPUTING: FROM BRAINS TO NANOCHIPS"
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
array
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