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@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@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@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@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@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@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@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/ ___________________________________________________________________________