CiE Newsletter No.36, July 19, 2010: Many thanks to the organisers of CiE 2010 in Ponta Delgada, the Azores. It was a wonderful conference and unique location, and everyone who made it out into mid-Atlantic for the meeting will have come away with good memories. Please find attached a report of the past year of our association CiE, in the form of Arnold Beckmann's AGM minutes. Highlights include a report from Arnold that CiE membership has now reached 700; from Elvira Mayordomo that the first of the CiE book series, Downey and Hirschfeldt: "Algorithmic Randomness and Complexity" is about to appear; new steps resolved to make the CiE journal "Computability" a reality; and reports on the conference series, and on developing plans for the Turing Centenary. Already we are looking towards CiE 2011 in Sofia, Bulgaria. See (still under construction): http://cie2011.fmi.uni-sofia.bg/?q=node/1 ___________________________________________________________________________ CONTENTS: 1. Workshop in Computability Theory, University of Chicago Center, Paris, July 23-24 2. Chair in Mathematical Logic, Stockholm University 3. TAMC 2011 - 8th Annual Conference on Theory and Applications of Models of Computation, May 23-25, 2011, Tokyo, Japan 4. Special Issue of the Natural Computing journal on Engineering Emergence 5. Second announcement for British Logic Colloquium 2010, Birmingham, 2-4 September 6. Call for papers - CCA 2010 special issue in LMCS 7. eBook announcement: Graph Theory 4, discounts before 15 August 8. Digital Research in the Humanities and Arts Conference (DRHA 2010) =========================================================================== =========================================================================== 1. (from Antonio Montalban) Workshop in Computability Theory, University of Chicago Center, Paris, July 23-24: --------------- A Workshop in Computability Theory will be held at the University of Chicago Center in Paris (http://centerinparis.uchicago.edu/) on July 23-24. This is a satellite workshop of the 2010 European Logic Colloquium, and also the second session of the 2010 edition of the Workshop in Computability Theory series: see http://www.fmi.uni-sofia.bg/fmi/logic/msoskova/wct/index_files/Page417.htm. The Chicago Center is located just across the street from the venue of the Logic Colloquium (http://logic2010.org/), so the same hotels will be convenient. Speakers will include: Barbara Csima, University of Waterloo David Diamondstone, University of Chicago Ekaterina Fokina, University of Vienna Valentina Harizanov, George Washington University Alberto Marcone, University of Udine Wolfang Merkle, Heidelberg University Richard Shore, Cornell University Mariya Soskova, Sofia University Alexandra Soskova, Sofia University Alexey Stukachev, Novosibirsk University For more information, please contact the organizers: Denis Hirschfeldt (drh@math.uchicago.edu) Antonio Montalban (antonio@math.uchicago.edu) =========================================================================== =========================================================================== 2. (from Per Martin-Lof) Chair in Mathematical Logic, Stockholm University: Stockholm University announces a position as Professor in Mathematical Logic within the Department of Mathematics Ref nr SU 611-1310-10. Deadline for application: September 15, 2010. Subject: Mathematical logic Subject description: The subject comprises both the logical study of the deductive structure of mathematics, and the mathematical study of formal logical systems. In addition, it deals with the use of logic in computer science. Main tasks: Research, teaching, supervision, together with administrative tasks at the department and the faculty. Required qualifications: To qualify for employment as professor the applicant should have demonstrated both scientific and teaching proficiency. Required qualifications are: * Documented scientific proficiency at a high international level * Documented teaching proficiency. The applicant must have the ability to collaborate as well as the competence and qualities needed to carry out the employment tasks successfully. Assessment criteria: In the appointment process most weight will be given to scientific proficiency. Second most weight will be given to teaching proficiency. Weight will also be given to administrative proficiency, proficiency in developing and leading an organisation, as well as proficiency in interacting with the rest of society. Additional information: The position holder is expected to work at developing the relations between the Mathematics Department and theoretical computer science at NADA and other institutions in the Stockholm area. Since most professors at the Faculty of Science are men, applications from women are particularly welcome. Further information about the position can be obtained from professor Mikael Passare, telephone +46 (0)8 16 45 46, e-mail: passare@math.su.se or professor Tom Britton, telephone +46 (0)8 16 45 34, e-mail: tom.britton@math.su.se. Administrative coordinator Carina Nymark, telephone +46 (0)8 16 17 67, e-mail: carina.nymark@science.su.se will provide further information about the application and appointment procedure if required. Trade union representatives: Bo Ekengren (SACO), Lisbeth H??ggberg (Fackf??rbundet ST) telephone +46 (0)8 16 20 00 (switchboard) and Gunnar Stenberg (SEKO) telephone +46 (0)70-316 43 41. Guidelines for the application are given in the Template for application for employment and for promotion to the rank of professor or senior lecturer at Stockholm University. The template and other relevant documents including Rules of Employment for the hiring of Teachers can be downloaded from www.su.se/nyanstallning or be provided by the administrative coordinator. It is the responsibility of the applicant to ensure that the application follows the template and that it is submitted before application deadline. In order to apply for this position you are requested to use the Stockholm University webbased application form. You will find the form in the appropriate announcement at www.su.se/ledigaanstallningar and www.su.se/english/about/vacancies Further information Stockholm University: www.su.se/english Templates and rules regarding employment: www.su.se/nyanstallning Department of Mathematics: www.math.su.se You are welcome to submit your application, quoting ref no SU 611-1310-10 no later than September 15, 2010. Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence ------- The original announcement can be found here http://www.math.su.se/content/1/c6/08/19/02/logiken.pdf http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=81902 =========================================================================== =========================================================================== 3. (from Mitsunori Ogihara) TAMC 2011 - 8th Annual Conference on Theory and Applications of Models of Computation, May 23-25, 2011, Tokyo, Japan: CALL FOR PAPERS TAMC 2011 8th Annual Conference on Theory and Applications of Models of Computation May 23 -- 25, 2011, Tokyo, Japan EMAIL: tamc2011@easychair.org http://www.jtlab.ice.uec.ac.jp/tamc/ After six annual meetings in China ('04-'09) and one in Czech Republic ('10), TAMC2011 will be held in Japan, at the University of Electro-Communications, approximately 10 miles southwest of the Shinjuku district in Tokyo. AIM AND SCOPE TAMC aims at bringing together a wide range of researchers with interests in computational models and their applications. The main themes of the conference are computability, complexity, and algorithms. The topics of interest include (but are not limited to): - algebraic computation, - approximation algorithms, - automata theory, - biological computing, - circuit complexity, - computability, - computational biology, - computational complexity, - computational game theory, - computational logic, - computational geometry, - cryptography, - data structures, - distributed algorithms, - graph algorithms, - information and randomness, - learning theory, - natural computation, - network algorithms, - neural computational models, - online algorithms, - parallel algorithms, - proof complexity, - quantum computing, - randomized algorithms, - streaming algorithms. SUBMISSION GUIDELINE Submission is through EasyChair: https://www.easychair.org/account/signin.cgi?conf=tamc2011. A submission must be typeset with LaTeX using the Springer-Verlag Lecture Notes style. Its length must be no more than ten pages. A clearly marked appendix may be added, but it will be read at the discretion of PC. Submission of papers accepted for publication in journals is not permitted. Nor is simultaneous submission to other conferences with published proceedings. PROCEEDINGS The conference proceedings will be published as a volume in Lecture Notes in Computer Science. JOURNAL SPECIAL ISSUES A special issue of selected papers from TAMC2011 in Theoretical Computer Science is being planned. Another TAMC special issue may be published in Mathematical Structures in Computer Science. PLENARY SPEAKERS Tetsuo Asano (JAIST, Japan) Richard Lipton (Georgia Tech., USA) PROGRAM COMMITTEE Olaf Beyersdorff (Hannover, Germany) Cristian Calude (Auckland, New Zealand) Amit Chakrabarti (Hanover, USA) Danny Chen (Notre Dame, USA) Zhi-Zhong Chen (Tokyo, Japan) Marek Chrobak (Riverside, USA) Pierluigi Crescenzi (Firenze, Italy) William Gasarch (College Park, USA) Tero Harju (Turku, Finland) Miki Hermann (Palaisseau, France) Sanjay Jain (Singapore, Singapore) Ming-Yang Kao (Chicago, USA) S Rao Kosaraju (Baltimore, USA) Carlos Martin Vide (Tarragona, Spain) Peter Bro Miltersen (Aarhus, Denmark) Mitsunori Ogihara, chair (Miami, USA) Ruediger Reischuk (Luebeck, Germany) Christian Sohler (Dortmund, Germany) Jun Tarui, co-chair (Tokyo, Japan) Takeshi Tokuyama (Sendai, Japan) Chee-Keng Yap (New York, USA) STEERING COMMITTEE Manindra Agrawal (Kanpur, India) Jin-Yi Cai (Madison, USA) S. Barry Cooper (Leeds, UK) John Hopcroft (Ithaca, USA) Angsheng Li (Beijing, China) IMPORTANT DATES Submission Deadline Jan. 10, '11 Notification of Acceptance Feb. 18, '11 Final Version Due Mar. 7, '11 Early Registration Deadline Mar. 28, '11 =========================================================================== =========================================================================== 4. (from Paul Andrews) Special Issue of the Natural Computing journal on Engineering Emergence: *********************************************************************** Special Issue of the Natural Computing journal on Engineering Emergence Submission Deadline: 1st December 2010 Contact: naco-emergence@cs.york.ac.uk *********************************************************************** The emergence of complex behaviours in the natural world provides inspiration for engineering emergent (computational) systems. This special issue of the Natural Computing journal explores principled approaches to all aspects of engineering emergent properties into natural computational systems. Emergence in natural systems is characterised by non-trivial high level behaviours that result from low level components interacting with and within an environment. Broadly speaking, computational systems exploit nature inspired emergence in two ways: 1.) Simulations are developed in an attempt to understand emergent properties and their relationship to the natural system as a whole. Importantly, the aim is to engineer the emergence according to plausible underlying mechanisms of the natural system rather than high level mimicry. 2.) Problem solving techniques attempt to exploit emergent properties similar to those expressed by natural systems. An understanding of the emergent behaviour is required in order to engineer the required dynamics into the target computational system. Emergence is, by definition, a function of a system as a whole rather than any individual component. Traditional engineering techniques, therefore, may require modification when applied to developing emergent computational systems. Such techniques include: modelling tools and techniques, for example diagrams or mathematics; simulations and simulation infrastructures; concurrency and distribution techniques; the process of moving from models to emergent systems; arguing validity of emergent systems; the identification of reusable engineering techniques such as patterns; and working across scientific disciplines. Papers submitted to this special issue should focus on describing engineering issues and approaches used to examine or exploit emergence in natural computational systems. **** Selected topics of interest **** * Examples of engineering models and simulations of emergent natural computational systems * Examples of engineering techniques to exploit emergent properties of natural computational systems * Modelling tools and techniques for emergent systems * Simulation infrastructures for emergent systems * Reusable techniques for emergent engineering * Expressing validity of emergent engineering * Working across scientific disciplines * Any relevant survey, review, or tutorial addressing the above topics **** Paper Submission **** All manuscripts must be prepared according to the publication guidelines of the Natural Computing Journal that can be found at the journal website: http://www.springer.com/computer/foundations/journal/11047 Prospective authors are invited to submit their papers using journal submission system at http://www.editorialmanager.com/naco selecting ``SI: Engineering Emergence'' as the article type. Please notify the guest editors by 31st August 2010 if you intend to submit, providing a title and abstract for your paper. This does not constitute a commitment to submit, but will help facilitate the planning of the special issue. Manuscripts can be submitted at any time up to, and including, 1st December 2010. When submitting a paper, please email the guest editors with the paper title and author list. Please use naco-emergence@cs.york.ac.uk for all email contact with the guest editors. **** Guest Editors **** Susan Stepney, susan@cs.york.ac.uk Department of Computer Science, University of York, UK Paul Andrews, psa@cs.york.ac.uk Department of Computer Science, University of York, UK =========================================================================== =========================================================================== 5. (from Eike Ritter) Second announcement for BLC 2010: British Logic Colloquium 2010, Birmingham, 2-4 September Early registration deadline approaching The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. The following invited speakers have confirmed that they will give talks: Mirna Dzamonja (University of East Anglia), Jeffrey Ketland (University of Edinburgh), Alexander Kurz (University of Leicester), Luke Ong (University of Oxford), Ulrike Sattler (University of Manchester), Anton Setzer (University of Swansea), Colin Stirling (University of Edinburgh), Philip Welsh (University of Bristol) and Alex Wilkie (University of Manchester). Contributed talks of 30 min length are also solicited. A limited number of grants for UK-PhD-students is available. The deadline for proposing talks and early registration is 23 July. For further details see the webpage http://events.cs.bham.ac.uk/BLC2010. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium. Eike Ritter ------------------------------------ Dr Eike Ritter Tel.: (+44) 121 41 44772 School of Computer Science Sec.: (+44) 121 41 43711 The University of Birmingham Fax.: (+44) 121 41 44281 Edgbaston Email: E.Ritter@cs.bham.ac.uk BIRMINGHAM, B15 2TT Web: http://www.cs.bham.ac.uk England ------------------------------------ =========================================================================== =========================================================================== 6. (from Ning Zhong) Call for papers (CCA 2010 special issue in LMCS): FIRST CALL FOR PAPERS CCA 2010 Post Conference Special Issue The Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) took place from June 21 to June 25, 2010, in Zhenjiang, China. There will be a special issue dedicated to CCA 2010 in the open access journal Logical Methods in Computer Science http://www.lmcs-online.org/ All submitted papers will be subject to the usual refereeing process of the journal. Submitted papers must not be previously published nor submitted for publication elsewhere and must deviate significantly from the CCA 2010 conference proceedings in PETCS. Papers not presented at CCA 2010 may also be submitted. The authors should follow the instructions for the authors on the LMCS web page http://www.lmcs-online.org/ojs/information.php with the following special author instructions: 1. Register as an author on the web page lmcs-online.org and use the special issue code: -C-C-A-1-0- (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 webpage. In Step 0 choose the name of the meeting for which this special issue is being organized. The 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 for instructions on style for authors. Deadline for submission: November 29, 2010 Notification: March1, 2011 Final Version: April 1, 2011 Martin Escardo Klaus Weihrauch Xizhong Zheng Ning Zhong (Editors of Special Issue) =========================================================================== =========================================================================== 7. (from Reinhard Diestel) eBook announcement: Graph Theory 4, discounts before 15 August: The 4th edition of my Springer GTM173, Graph Theory, is due to appear in mid-August: http://diestel-graph-theory.com/ I negotiated the following deal with Springer, with some pros and cons for users of the (currently free but unprintable) 3rd electronic edition, in case you think of updating: - The full ("professional") electronic edition is now _printable_; it comes as personalised PDF - There is an inexpensive "student" edition (unprintable, but searchable, in a nice eBook look) - The basic text will continue to be available free online, but is neither printable nor searchable. There is also a "course notes" licence, which will allow you to hand out printouts in class made from the professional edition. All electronic editions can be used on an ordinary computer, with free Adobe reader software. Once the book is officially launched (at the ICM), the eBook prices will be tied to the print edition: same price (~@49.95) for the "professional" electronic edition (printable + internal links, TOC etc); half-price (25.00) for the eBook "student" edition. BEFORE 15 August (while Springer are trying to sell off their remaining copies of the 3rd edition in their Yellow Sale), prices are not tied, and there are substantial discounts (available through http://diestel-graph-theory.com/): - professional edition for 29.95 - student edition for 12.50 This special offer will lapse on 15 August - so use it now if you think it's worth it. =========================================================================== =========================================================================== 8. (from James Cronin) Digital Research in the Humanities and Arts Conference (DRHA 2010): Registration is now open for the 2010 Digital Research in the Humanities and Arts Conference (DRHA 2010: http://drha2010.org.uk/ ) Brunel University in London Sunday 5th to Wednesday 8th September 2010 This year's applications have created an excellent line-up of panels, papers, performances and installations - final delegates to be announced online in early August 2010. The DRHA committee recommends not missing this event at such a time of important shifts in the digital debate. Outstanding Keynote Speakers: * Richard Coyne: Professor of Architectural Computing at the University of Edinburgh. * Christopher Pressler: Director of Research and Learning Resources and Director of the Centre for Research Communications, University of Nottingham. * Thecla Schiphorst: Media Artist/Designer and Faculty Member in the School of Interactive Arts and Technology. Simon Fraser University, Vancouver, Canada. * STELARC, Chair in Performance Art at Brunel University and Senior Research, Fellow in the MARCS Labs at the University of Western Sydney. Performers to include Troika Ranch, Stelarc and the Avatar Orchestra Metaverse led by Pauline Oliveros. Specific focus on discussions in and around SecondLife. Twitter: http://twitter.com/DRHA2010 =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text (avoiding accents) to s.b.cooper@leeds.ac.uk to arrive by August 14th, 2010 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2011 http://cie2011.fmi.uni-sofia.bg/?q=node/1 CiE 2012 http://www.cie2012.eu CiE Membership Application Form http://www.cs.swan.ac.uk/acie ALAN TURING YEAR http://www.turingcentenary.eu/ ___________________________________________________________________________ [ Part 2, "" Text/PLAIN (Name: "agm.txt") ~6 KB. ] [ Unable to print this part. ]