CiE Newsletter No.41, November 16, 2010: Please send any items you would like included in next letter to Olivier Bournez DEADLINE: December 10th 2010. ___________________________________________________________________________ ** CiE-CS Steering Committee: searching for a new member and secretary As already announced, the board of the Association Computability in Europe (ACiE) is searching for a Member and Secretary of the CiE conference series Steering Committeee. Maybe this was not clear: this is *one* position and not *two* positions: the new SC member will be at the same time the secretary of the SC. ___________________________________________________________________________ ** COMPUTABILITY IN EUROPE 2011 "Models of Computation in Context", Sofia, Bulgaria, 27 June - 2 July: For the latest news on CiE 2011 in Sofia, go to: http://cie2011.fmi.uni-sofia.bg/ The list of plenary speakers can be found at: http://cie2011.fmi.uni-sofia.bg/?q=node/19 And current details of the Special Sessions at: http://cie2011.fmi.uni-sofia.bg/?q=node/16 For information on how to submit papers see: http://cie2011.fmi.uni-sofia.bg/?q=node/20 The EasyChair submission page is at: http://www.easychair.org/conferences/?conf=cie2011 And the CiE 2011 submission deadline is January 14, 2011 ___________________________________________________________________________ CONTENTS: 1) Tenth International Conference on Unconventional Computation, UC 2011 2) 8th Annual Conference on Theory and Applications of Models of Computation TAMC 2011 3) Principia symposium 4) ERSHOV INFORMATICS CONFERENCE (PSI 2011) 5) LAST CALL FOR PAPERS, CCA 2010 Post Conference Special Issue 6) Logic Meeting at UCLA 7) Mathematics and Computation in Music Conference 2011 8) Petition to restore Boole's house in Cork 9) Message from Peter Cholak. Subject: Pre-publication and publication. ___________________________________________________________________________ 1) (from Jarkko Kari) Tenth International Conference on UNCONVENTIONAL COMPUTATION, UC 2011 ------------------------------------------------------------------------ Call for Papers or Posters Tenth International Conference on UNCONVENTIONAL COMPUTATION, UC 2011 University of Turku, Finland, June 6-10, 2011 http://www.math.utu.fi/uc2011/ ------------------------------------------------------------------------ Important dates - Paper submission deadline: January 31, 2011 - Notification to authors: March 4, 2011 - Final versions due: March 21, 2011 - Poster submission deadline: April 18, 2011 - UC 2011: June 6-10, 2011 ------------------------------------------------------------------------ UC 2011 is organized by the FUNDIM laboratory of the mathematics department at the University of Turku, Finland, under the auspices of EATCS. Original papers and posters are solicited in all all areas of unconventional computation. Papers/posters dealing with theory as well as with experiments and applications are welcome. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and membrane computing, as well as evolutionary paradigms; chaos and dynamical systems based computing; proposals for computations going beyond the Turing model. Submissions: Authors are invited to submit papers (at most 12 pages) or posters electronically, via EasyChair: http://www.easychair.org/conferences/?conf=uc2011 All submissions are expected to be in the pdf format. Paper submissions should be prepared following the LNCS format of Springer. Poster submissions should contain either a graphical poster or an abstract with sufficient details for the reviewers. Simultaneous submissions to other conferences with published proceedings are not permitted. Each accepted paper/poster must be presented at the conference. The author of the poster is responsible for printing it. The proceedings (only for papers) will be published by Springer LNCS series and will be available at the conference. ------------------------------------------------------------------------ Programme Committee: - Selim Akl (Kingston, CA) - Olivier Bournez (Paris, FR) - Thomas Bäck ( Leiden, NL) - Adan Cabello (Sevilla, ES) - Barry Cooper (Leeds, UK) - José Félix Costa (Lisbon, PT) - Nachum Dershowitz (Tel Aviv, IL) - Eric Goles (Santiago, CL) - Shan He (Birmingham, UK) - Mika Hirvensalo (Turku, FI) - Natasha Jonoska (Tampa FL, US) - Jarkko Kari (Turku, FI, co-chair) - Giancarlo Mauri (Milano, IT) - Kenichi Morita (Hiroshima, JP) - Ion Petre (Turku, FI, co-chair) - Kai Salomaa (Kingston, CA) - Hava Siegelmann (Amherst MA, US) - Susan Stepney (York, UK) - Fumiaki Tanaka (Tokyo, JP) - Jon Timmis (York, UK) ------------------------------------------------------------------------ Invited Speakers: - Samson Abramsky (Oxford, UK), - Bastien Chopard (Geneva, CH), - David Corne (Edinburgh, UK), - Juhani Karhumäki (Turku, FI), - Gheorghe Păun (Bucharest, RO), - Grzegorz Rozenberg (Leiden, NL). Tutorials: - Quantum Information (Mika Hirvensalo, Turku, FI), - Cellular Automata (Nicolas Ollinger, Marseille, FR), - Membrane Computing (Mario de J. Pérez Jiménez, Sevilla, SP). Satellite Workshops: - Physics and Computation (org. Mike Stannet), - Hypercomputation (org. Mike Stannet), - Language Theory in Biocomputing (org. Tero Harju). Conference location: The conference and the satellite workshops will take place in the Calonia and Arcanum buildings of the University of Turku. Conference History: The first venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand, in 1998; subsequent sites of the conference were Brussels, Belgium, in 2000; Kobe, Japan, in 2002; Seville, Spain, in 2005; York, UK, in 2006; Kingston, Canada, in 2007; Vienna, Austria, in 2008; Ponta Delgada, Portugal, in 2009; and Tokyo, Japan, in 2010. ------------------------------------------------------------------------ Organizing Committee: - Pierre Guillon - Tero Harju - Mika Hirvensalo - Timo Jolivet - Juhani Karhumäki - Jarkko Kari (chair) - Arto Lepistö - Ion Petre - Petri Salmela - Charalampos Zinoviadis Proceedings Committee: - Cristian S. Calude - Jarkko Kari - Arto Lepistö - Ion Petre - Grzegorz Rozenberg UC Steering Committee: - Thomas Bäck (Leiden, NL), - Cristian S. Calude (Auckland, NZ, co-chair), - Lov K. Grover (Murray Hill NJ, US), - Jarkko Kari (Turku, FI), - Lila Kari (London, CA), - Jan van Leeuwen (Utrecht, NL), - Seth Lloyd (Cambridge MA, US), - Gheorghe Păun (Bucharest, RO), - Tommaso Toffoli (Boston MA, US), - Carme Torras (Barcelona, SP), - Grzegorz Rozenberg (Leiden, NL, co-chair), - Arto Salomaa (Turku, FI). ___________________________________________________________________________ 2) (from Mitsunori Ogihara) 8th Annual Conference on Theory and Applications of Models of Computation TAMC 2011 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.tamc2011.com/ 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 ___________________________________________________________________________ 3) (from Nik Sultana) Principia symposium PRINCIPIA in Cambridge 2010 is the hundredth anniversary of Russell-and-Whitehead's Principia, and a symposium to comemmorate it is to be held at the University where the authors were working. The venue: Trinity College Cambridge The date: Last weekend of November 2010 Places are limited and registration costs £20 until 1st November. The speakers: Robert Constable, Michael Potter, Mohan Ganesingalam, John Harrison, Randall Holmes, Ivor Grattan-Guinness, Fairouz Kamareddine. As can probably be discerned from the list of speakers, this meeting is intended to address a broad range of interests: history, foundational mathematics, philosophy, type theory and mechanical theorem-proving. The symposium will be valuable to people interested in the intersection of these areas, or in relevant sub-branches of each area. Practitioners and students alike would benefit from attending this meeting. People who might wish to attend or merely want more information are encouraged to contact the organisers: Thomas Forster tf at dpmms.cam.ac.uk Peter Smith peter_smith at me.com Nik Sultana nik.sultana at cl.cam.ac.uk The URL is http://www.srcf.ucam.org/principia/ and there is a link through which to register. ___________________________________________________________________________ 4) ERSHOV INFORMATICS CONFERENCE (PSI 2011) ************************************************************************** Call for Papers ERSHOV INFORMATICS CONFERENCE (PSI 2011) 27 June - 1 July, 2011, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru ************************************************************************** [AIMS AND SCOPE] The Ershov Informatics Conference (the PSI Conference Series, the 8th edition) is the premier international forum in Russia for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent innovations, trends, experiences and concerns in the conference area. The Ershov Informatics Conference is dedicated to the 80th anniversary of a pioneer in theoretical and system programming research, academician Andrei Petrovich Ershov (1931-1988) and to the 100th anniversary of one of the founders of cybernetics, a member of the Soviet Academy of Sciences Alexei Andreevich Lyapunov (1911-1973). [ORGANIZERS] - A.P. Ershov Institute of Informatics Systems, Siberian Branch of RAS - Novosibirsk State University [CONFERENCE CHAIR] Alexander Marchuk A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia [STEERING COMMITTEE] Dines Bjorner Technical University of Denmark, Denmark Manfred Broy Institut fuer Informatik, Technische Universitaet Muenchen, Germany Victor Ivannikov Institute for System Programming RAS, Moscow, Russia Bertrand Meyer ETH Zurich, Switzerland, and Eiffel Software, USA Leonid Libkin University of Edinburgh, UK [HONORARY MEMBER] Tony Hoare Microsoft Research, Cambridge, UK [PROGRAMME COMMITTEE CHAIRS] Edmund Clarke Carnegie Mellon University, Pittsburgh, USA Irina Virbitskaite A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia Andrei Voronkov The University of Manchester, UK [CONFERENCE SECRETARY] Natalia Cheremnykh A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia 6, Acad. Lavrentiev av. 630090 Novosibirsk, Russia tel.: +7 383 3307352 fax: +7 383 3323494 e-mail: psi2011@iis.nsk.su, cher@iis.nsk.su [CONFERENCE TOPICS] 1. Foundations of Program and System Development and Analysis - specification, validation, and verification techniques, - program analysis, transformation and synthesis, - semantics, logic and formal models of programs, - partial evaluation, mixed computation, abstract interpretation, compiler construction, - theorem proving and model checking, - concurrency theory, - modeling and analysis of real-time and hybrid systems, - computer models and algorithms for bioinformatics. 2. Programming Methodology and Software Engineering - object-oriented, aspect-oriented, component-based and generic programming, - programming by contract, - program and system construction for parallel and distributed computing, - constraint programming, - multi-agent technology, - system re-engineering and reuse, - integrated programming environments, - software architectures, - software development and testing, - model-driven system/software development, - agile software development, - software engineering methods and tools, - program understanding and visualization. 3. Information Technologies - data models, - database and information systems, - knowledge-based systems and knowledge engineering, - bioinformatics engineering, - ontologies and semantic Web, - digital libraries, collections and archives, Web publishing, - peer-to-peer data management. In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers are welcome. Papers defining the general prospects in computer, software and information sciences are also encouraged. [CONFIRMED INVITED SPEAKERS] Eike Best Peter Buneman Rupak Majumdar Ugo Montanari Joseph Sifakis [SUBMISSIONS] There are three categories of submissions: - regular papers describing fully developed work and complete results (12 pages / 30 minute talks); - short papers reporting on interesting work in progress and/or preliminary results (7 pages / 15 minute talks); - system and experimental papers describing implementation or evaluation of experimental systems and containing a link to a working system (4 pages / 10 minute presentation). Submissions should: - contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference; - clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other works; - be in PS or PDF and formatted according to Springer LNCS Instructions for authors: http://www.springeronline.com; - be in English and in a form that can be immediately included in the proceedings without major revision; - be attached (if necessary) by an appendix that contains proofs etc. However, the paper must be self-contained without the appendix in that reviewers may not read the appendix; - be sent electronically (as a PostScript or PDF file) through the submissions link to the conference website: http://www.easychair.org/conferences/?conf=psi11 not later than January 26, 2011. Submitted regular papers that are judged to have limited merit may be accepted as short papers, with up to seven pages in the proceedings. At the time of submission, authors should indicate if they wish to have their submission considered as a short paper in the case it is not accepted as a regular one. At least one author of each accepted paper must register, attend the conference and present the paper. [CONFERENCE PROCEEDINGS] A preliminary book of tutorial, invited and accepted contributions will be handed out at the conference. The final versions of the invited, regular and short papers presented at the conference will be published by Springer-Verlag in the Lecture Notes in Computer Science series after the conference. One can find the proceedings of the previous six conferences in LNCS, Vol. 1181, 1755, 2244, 2890, 4378 and 5947, respectively. [LOCATION] The conference will be held in Akademgorodok which is located in a picturesque place near the Ob lake, 30 km South from Novosibirsk, the largest city of Siberia. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and creativity during the conference. [TRAVELLING] You can fly to Novosibirsk via Moscow by Aeroflot, Transaero or S7. Direct S7 flights will bring you from Frankfurt, Hannover, Seoul or Beijing to Novosibirsk and back. Now you can buy electronic tickets on Aeroflot, S7 and Transaero flights via the websites and pay by VISA and other popular cards. All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport. [WEATHER] The weather in Novosibirsk at the end of June is normally quite warm and sunny with the temperatures in the range of 25-30 C. [SATELLITE WORKSHOPS] N.B. Three satellite workshops will be held in conjunction with PSI'11: - Program Understanding, - Educational Informatics, - Science Intensive Applied Software. [IMPORTANT DATES] January 26, 2011: submission deadline April 2, 2011: notification of acceptance June 27 - July 1, 2011: the conference dates September 1, 2011: camera ready papers due See for more information http://psi.nsc.ru ___________________________________________________________________________ 5) LAST CALL FOR PAPERS, CCA 2010 Post Conference Special Issue LAST 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/ We invite submissions to this special issue of original research papers in all CCA related areas. Papers not presented at CCA 2010 may also be submitted. 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. 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) ___________________________________________________________________________ 6) (from Itay Neeman) Logic Meeting at UCLA The next Very Informal Gathering of Logicians at UCLA (VIG) will be held February 4 to 6, 2011. This is the sixteenth in a series of logic meetings at UCLA that began in 1976, and honors Yiannis Moschovakis on the occasion of his formal retirement from UCLA. Invited speakers include Uri Andrews, Lou van den Dries, Rachel Epstein, Ilijas Farah, Haim Gaifman, Itay Kaplan, Phokion Kolaitis, Stephan Kreutzer, Joan Moschovakis, Larry Moss, and Slawek Solecki. The organizers are A. Kechris, D. A. Martin, and I. Neeman. Funding is anticipated from the National Science Foundation and the UCLA Logic Center. Travel grants are available for graduate students and junior faculty without federal research grants. Mathematicians from underrepresented groups are especially encouraged to apply. Please encourage your advanced graduate students and junior faculty colleagues to come to the meeting and apply for travel grants. For further information visit the UCLA Logic Center's webpage, http://www.logic.ucla.edu. ___________________________________________________________________________ 7) Mathematics and Computation in Music Conference 2011 Call for Participation The 3rd International Conference on Mathematics and Computation in Music (MCM 2011) will take place on June 15-17, 2011 at IRCAM, the Institute for Research and Coordination of Acoustics and Music in Paris, France. MCM 2011 will be integrated into IRCAM’s most important artistic event of the season, the Agora Music Festival, which is running from June 6 to 18, 2011. As in the case of the first two conferences (which took place in 2007 in Berlin and in 2009 at Yale University), the third Mathematics and Computation in Music Conference aims to provide a multi-disciplinary platform dedicated to the communication and exchange of ideas amongst researchers involved in mathematics, computer science, music theory, composition, musicology, or other related disciplines. One of the Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM. It will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, …) organised in collaboration with some of the most important cultural and educational centres of France, such as the Centre Pompidou and Universcience. We welcome original and high quality contributions – including research papers, invited sessions or panels and tutorials – in all areas related to the mission of the Society of Mathematics and Computation in Music. The list of topics includes (but is not limited to): * Mathematical models of the pitch space * Mathematical models of rhythm * Mathematical theory of musical gestures * Logical aspects of music theory, analysis and composition * Computer-aided models of music theory, analysis, composition, performance and improvisation * Perceptional and cognitive approaches in mathematics and music * Philosophy of Mathematics and music. To promote objectivity and fairness in judging research paper contributions, the peer review process will be double-blind. The proceedings of the conference will be published by Springer in the Communications in Computer and Information Science series. Submission of papers, tutorials, panels will be accepted until January 21, 2011. Notification of acceptance on March 4, 2011. See the Submissions page for more details on submission formats and guidelines. ___________________________________________________________________________ 8) (From Barry O'Sullivan, via John Tucker and Arnold Beckmann): Petition to restore Boole's house in Cork Colleagues, First, I would like to apologise to those who receive this message more than once. Now to the point: As you know Boole's house on Grenville Place suffered severe damage recently. I've established a petition to seek support for any initiatives that can be undertaken to repair/restore the building urgently. The purpose of the petition is to help decision makers in this matter gauge the strength of support for repairing this building. This is particularly important in the context of a weak economy in which finance for projects like this can be difficult to find. It would be wonderful if it were possible to restore the house to the point where it could be the site of a museum to George Boole and his work. Signing the petition takes a matter of seconds. To sign, please visit: http://www.4c.ucc.ie/aiai/ Click the 'Boole Petition' tab and then click on the link "Click here to sign petition" which is after the statement, immediately above the list of signatories. If you prefer to use a short-cut: http://4c110.ucc.ie/aiai/boole-petition Please circulate this message to your colleagues and friends locally, nationally and internationally. The petition is hosted on the web-site of the Artificial Intelligence Association of Ireland which is, in turn, hosted at 4C in UCC. Finally, I'd like to thank David Devlin, PhD Student at 4C, for his excellent help with setting up the web-site. Kindest regards, Barry O'Sullivan ___________________________________________________________________________ 9) Message from Peter Cholak. Subject: Pre-publication and publication. To the Computability Theory Community: Subject: Pre-publication and publication. As we know there are an increasing number of meetings in computability theory where a conference proceedings is created. These meetings and proceedings have been created in the model of many CS meetings. The articles that appear in these proceedings are refereed but they may not be refereed to the standard of a good journal. Most of these proceeding papers appear in MathSciNet, most are available online, and most are in a series bought by our libraries. Hence papers in a conference proceeding count as a published article. In CS some of papers from a conference proceeding are extended and later published in a journal. Recently the JSL guidelines were revised with this in mind: "Full versions of important papers that have previously been published in conference proceedings are eligible for publication, provided that the submitted paper extends the pre-publication in a significant way. In such cases, when authors submit a paper for publication in the JSL they are requested to provide a precise reference to the pre-publication and to explain the extent to which the submission differs from the conference version." There is also the issue of how to cite the pre-publication and publication. Unless there is a good reason the pre-publication and publication count as one. I suggest they be listed as follows: Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, and Jan Van den Bussche. Theory of Computing Systems, 44:533-560, 2009. Conference version in Proceedings of the 11th International Conference on Database Theory (ICDT'07), Lecture Notes in Computer Science 4353, pp.284-298, 2007. Martin Grohe, Andre Hernich and Nicole Schweikardt, Lower bounds for processing data with few random accesses to external memory, Journal of the ACM, 56(3), 2009. Full version of PODS'05 and PODS'06 papers. Of course, sometimes there are reasons to list the conference article and final publication separately. But then the final publication should clearly explain why these count as two publications. I am writing this because as an editor I have been involved in far too many submissions where pre-publication is not cited or discussed. I consider this an ethical lapse. I am no longer a JSL editor, but contiune to follow the new ASL guidelines in case of potential violation of publication ethics. See http://www.aslonline.org/PublicationEthicsPolicy.html Best, -Peter Cholak ___________________________________________________________________________