CiE Newsletter No.40, October 18, 2010: *** IMPORTANT INFORMATION: Olivier Bournez will be taking over production of the CiE Newsletter from the next issue - please send any items you would like included to: Olivier Bournez DEADLINE: November 5th, 2010 *** 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. International Conference, History and Philosophy of Computing, Gent University, Belgium - first announcement 2. Annals of Pure and Applied Logic - Special Issue on Classical Logic and Computation 3. Kurt Goedel Research Prize Fellowships Program 4. Ackermann Award 2011 - Call for Nominations 5. 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) 6. Federated Conference on Rewriting, Deduction, and Programming (RDP 2011), Novi Sad, Serbia 7. 5th International Conference on Language and Automata Theory and Applications (LATA 2011), Tarragona, Spain 8. TABLEAUX 2011 - Automated Reasoning with Analytic Tableaux and Related Methods, Bern, Switzerland, 4 July - 8 July 2011 9. In memoriam 'Fractal' mathematician Benoit Mandelbrot =========================================================================== =========================================================================== 1. (from Liesbeth de Mol and Giuseppe Primero) International Conference, History and Philosophy of Computing, Gent University, Belgium - first announcement: International Conference, History and Philosophy of Computing November 7 - 10, 2011 Gent University, Belgium http://www.computing-conference.ugent.be First announcement From 7-10 November 2011 the Centre for Logic and Philosophy of Science organizes an International Conference on the History and Philosophy of Computing. Topics of the conference include: * The birth, evolution and future of computation * Philosophical, foundational and practical issues of computability in logic, mathematics and computer science * Computation in the sciences More details on deadlines and submissions can be found at: http://www.computing-conference.ugent.be INVITED SPEAKERS: Bill Aspray (University of Texas) Martin Davis (New York University) Fairouz Kamareddine (Heriot-Watt University Edinburgh) Sybille Kraemer (Freie Universitaet Berlin) Giovanni Sambin (Universita' di Padova) Raymond Turner (University of Essex) CONFERENCE CHAIRS: Liesbeth De Mol and Giuseppe Primiero PROGRAMME COMMITTEE: G. Alberts (Amsterdam) S. Artemov (New York) M. Campbell-Kelly (Warwick) A. Eden (Essex) L. Floridi (Oxford & Hertfordshire) R. Kahle (Lisbon) B. Loewe (Amsterdam) J. Meheus (Ghent) E. Myin (Antwerp) S. Negri (Helsinki) V. de Paiva (Palo Alto) S. Smets (Groningen) G. Sundholm (Leiden) C. Toffalori (Camerino) J.P. van Bendegem (Brussels) M. van Dyck (Ghent) B. van Kerkhove (Brussels & Hasselt) E. Weber (Ghent) SUPPORT A number of Students Grants will be available through our Sponsor and Supporting Associations. More details to come on the webpage of the conference. =========================================================================== =========================================================================== 2. (from Ulrich Berger) Annals of Pure and Applied Logic - Special Issue on Classical Logic and Computation: ************************************************************ ANNALS OF PURE AND APPLIED LOGIC THIRD SPECIAL ISSUE ON CLASSICAL LOGIC AND COMPUTATION CL&C 2010 ************************************************************ CALL FOR PAPERS =============== Contributions on the topic of Classical Logic and Computation are invited for a special issue of Annals of Pure and Applied Logic. On August 22, 2010, the third workshop on "Classical Logic and Computation" took place in Brno - Czech Republic, as a satellite meeting of MFCS/CSL 2010. The workshop covered a broad range of work aiming to explore computational aspects of classical logic and mathematics. The special issue is first of all set up for extended versions of papers presented at the workshop, but the call is open to all researchers. TOPICS Topics of interest for contributions to the journal issue include, but are not limited to: - logic and type theory, - programming language design, - verification, - witness extraction from classical proofs, - game semantic of classical logic, SUBMISSIONS Submissions must be original work which has not been previously published in a journal and is not being considered for publication elsewhere. If related material has appeared in a refereed conference proceedings, the manuscript submitted should be substantially more complete or otherwise different. The title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, e-mail address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five key words for indexing. IMPORTANT All source files of the final versions of the accepted papers must respect the format of APAL. In order to make a submission, please follow the instructions at http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstructions Please upload a .pdf file to the following easy chair link >>> TO BE INSERTED <<< Deadline for the submission of a title page indicating the intent to submit: December 15, 2010 Deadline for paper submission: January 15, 2011 Notification of acceptance: April 15, 2011 Final version due: June 15, 2011 Guest editors: Steffen van Bakel, Imperial College, London, UK Stefano Berardi, Universita` di Torino, Italy Ulrich Berger, Swansea University, UK Contact: u.berger@swansea.ac.uk =========================================================================== =========================================================================== 3. (from Matthias Baaz) Kurt Goedel Research Prize Fellowships Program: KURT GOEDEL RESEARCH PRIZE FELLOWSHIPS The Kurt Goedel Society is proud to announce the commencement of the second round of the Kurt Goedel Research Prize Fellowships Program. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer: * two Ph.D. (pre-doctoral) fellowships of EUR 100,000 * two post-doctoral fellowships of EUR 100,000 and * one unrestricted fellowship of EUR 100,000 One International Board of Jurors will be in charge of evaluating the applications and determining up to twenty finalists whose papers will be published in a special issue of the Annals of Pure and Applied Logic, and another international Board of Jurors will be in charge of determining the winners. Both Boards will be chaired by Prof. Harvey Friedman, Ohio State University (USA). Board of Jurors for Determining the Finalists * Jeremy AVIGAD, Carnegie Mellon University, (USA) * Lenore BLUM, Carnegie Mellon University, (USA) * Harvey FRIEDMAN, Ohio State University (USA) CHAIR * John HARRISON, Intel Corporation, (USA) * Kenneth KUNEN, University of Wisconsin, (USA) * Angus MACINTYRE, Queen Mary, University of London and Royal Society, (UK) * Hiroakira ONO, JAIST Research Center for Integrated Science, (JAPAN) * Pavel PUDLAK, Czech Academy of Sciences, (Czech Republic) * Michael RATHJEN, University of Leeds, (UK) * Frank STEPHAN, National University of Singapore, (SINGAPORE) * William TAIT, University of Chicago, (USA) * Simon THOMAS, Rutgers University, (USA) * Albert VISSER, University of Utrecht (NL) * Andreas WEIERMANN, Ghent University, (BELGIUM) * Boris ZILBER, University of Oxford, (UK) Board of Jurors for Determining the Winners * Lev BEKLEMISHEV, Russian Academy of Sciences (RUS) * Harvey FRIEDMAN, Ohio State University (USA) CHAIR * Dov M. GABBAY, King's College London (UK) * Warren D. GOLDFARB, Harvard University (USA) * Howard Jerome KEISLER, University of Wisconsin (USA) Goal and Criteria of Merit The purpose of these fellowships is to support original research in, and areas surrounding, the foundations of mathematics. (See Scope below for more details.) These fellowships are intended to carry forward the legacy of Kurt Goedel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic, with profound impact on the philosophy and foundations of mathematics. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications: 1. Intellectual merit, scientific rigor and originality of the submitted paper and work plan. The paper and research plans should combine visionary thinking with academic and scientific excellence. 2. Potential for significant contribution to basic fundamental issues of wide interest, and the likelihood for opening new, seminal lines of inquiry that bear on such issues. 3. Impact of the Fellowship on the project and likelihood that the Fellowship will make the proposed new lines of research possible. 4. The expectation that the proposed research will be successful. 5. Qualifications of the applicants will be evaluated on the basis of all available information including CV, research paper, research plans, research accomplishments, and letters of recommendation (recommendation letters are not required for senior applications). Winners' Model Projects: http://fellowship.logic.at/2010/files/Bovykin_Project.pdf http://fellowship.logic.at/2010/files/Koellner_Project.pdf Model Questions http://fellowship.logic.at/index.php?questions Scope Original fellowship proposals in the areas of * set theory * recursion theory * proof theory/intuitionism * model theory * computer assisted reasoning * philosophy of mathematics All fellowship proposals, regardless of subject area, will be judged according to * the relevance and resemblance of the research (finished and proposed) to the great insights and originality of Kurt Goedel * its general interest and clarity of motivation * its rigorous scientific quality and depth. Submission Instructions The three categories of fellowships are specified as follows: *Ph.D.(pre-doctoral): being in the stage before finishing the thesis (or equivalent achievements) *Post-doctoral: being in the stage within 10 years after finishing the thesis (or equivalent achievements) *Unrestricted: also open to senior applicants The submission must consist of: - one document A in PDF format containing . the CV . the project description . the recommendation letters - one document B in PDF format containing the article - one text abstract relating to B Maximum allowed length of the abstract is 500 words. Document A containing the CV, the project description, and the recommendation letters must be prepared in the following way: - minimum font size: 10pt - paper size: A4 - maximum length of the CV: 3 pages The CV must contain the list of all/most important publications. The CV must clearly state to which category the application belongs. - maximum length of project description: 4 pages Project description should clearly state where and at which institution the applicant intends to carry out the project. - minimum 2(two)/maximum 3 (three) 1-page recommendation letters,in case of applications belonging to the categories Ph.D.(pre-doctoral) and post-doctoral fellowships. (The recommendation letters should be scanned and included into the PDF document) The submission must be in English. The Board and the Program Chair reserve the right: .to consider only submissions with reasonable format .to reassign a submission to another category as applied for. The applicant will be informed about the reasons for such a decision. Submission Page The EasyChair system is used for managing the submissions. For submitting a proposal please go to http://www.easychair.org/conferences/?conf=kgrpf10 Timeline November 15, 2010. Submissions deadline February 28, 2011. Jury decision on the papers for publication (at most 20) March 1, 2011. Final versions due March 6, 2011. Jury decision on winners due April 28-30, 2011. Conference and the Award Ceremony June-October, 2011. Commencement of the Fellowships Web:http://fellowship.logic.at E-mail contact: goedel-fellowship@logic.at =========================================================================== =========================================================================== 4. (from Johann Makowsky) Ackermann Award 2011 - Call for Nominations: ACKERMANN AWARD 2011 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS * Eligible for the 2011 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2009 and 31.12. 2010. * Submission details are available at http://www.eacsl.org/submissionsAck.html * The deadline for submission is March 15, 2011 Nominations can be submitted from January 1, 2011 on, and should be sent to the secretary of the Jury by e-mail: janos@cs.technion.ac.il * The award consists of - a diploma, - an invitation to present the thesis at the CSL conference, - the publication of the abstract of the thesis and the laudation in the CSL proceedings, - travel support to attend the conference. * The 2011 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'11) in Bergen (Norway) to be held 12-15 September 2011, www.eacsl.org/csl11/ * The jury consists of at least 7 members (additions still likely): - The president of EACSL, D. Niwinski (Warsaw) - The vice-president of EACSL, A. Dawar (Cambridge) - One member of the LICS Steering Committee, NN - A. Atserias (Barcelona) - T. Coquand (Goeteborg) - P.-L. Curien (Paris) - A. Durand (Paris) J. Makowsky (Haifa), member of the board of EACSL, will act as the secretary of the Jury. * The jury is entitled to give more (and less) than one award per year. * The previous Ackermann Award recipients were: 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind; 2006: Stefan Milius and Balder ten Cate; 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang; 2008: Krishnendu Chatterjee; 2009: Jakob Nordstrom; 2010: ---- (The Jury decided that no Award is given). * For the four years 2010-2013, the Ackermann Award is sponsored by the Kurt Goedel Society =========================================================================== =========================================================================== 5. (from Stephan Kreutzer) 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011): 26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011) Fields Institute and the University of Toronto June 21-24, 2011 Call for Workshop Proposals * The twenty-sith IEEE Symposium on Logic In Computer Science (LICS 2011) will be held in Toronto, Canada, 21-24 June 2011. Possible dates for workshops are Monday 20th June and Saturday 25th June, 2011 (i.e., one day before and one day after LICS). * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related elds. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. * Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefitts of the topic to the LICS community. - A discussion of the proposed format and agenda. - The proposed duration, which is typically one day (two-day workshops can be accommodated too). - Your preferred dates. This is important! - Procedures for selecting participants and papers. - Expected number of participants. This is important! - Potential invited speakers. - Plans for dissemination (for example, special issues of journals). - Proposals are due on the 16th November 2010, and should be submitted electronically to the Workshops Chairs: o Adriana Compagnoni: abc@cs.stevens.edu o Maribel Fernandez: Maribel.Fernandez@kcl.ac.uk * Notifications will be sent by the 15th December 2010. The Workshops Selection Committee consists of - the LICS General Chair, - LICS Workshops Chairs, - LICS 2011 PC Chair and - LICS 2011 Conference Co-Chairs. =========================================================================== =========================================================================== 6. (from Luca Paolini) Federated Conference on Rewriting, Deduction, and Programming (RDP 2011), Novi Sad, Serbia: Federated Conference on Rewriting, Deduction, and Programming RDP 2011 29/5/2011 - 3/6/2011, Novi Sad, Serbia Call For Workshop Proposals RDP 2011 is a federated event comprising two major conferences: - The 22nd International Conference on Rewriting Techniques and Applications (RTA'09) - The 10th International Conference on Typed Lambda Calculi and Applications (TLCA'09). Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen (Germany), 2005 in Nara (Japan), 2007 in Paris (France) and 2009 in Brasilia (Brasil). RDP has a tradition of federating every two years RTA and TLCA, and of hosting related workshops. We solicit proposals for satellite workshops of RDP 2011 that are related in topics to one or both of the RDP conferences. Workshops should have a length of 1 or 2 days (possibilities for longer workshops should be discussed with the organizers). It is tradition at RDP that attendance to workshops is open to participants of parallel events, similar to the way FLoC workshops are run. There will be one day (Sunday, May 29, 2011) reserved for workshops, however, it will also be possible to run workshops on the other days in parallel to one of the main conferences. RDP will provide the possibility to print workshop proceedings, details of the procedure will be posted later by the local organizing committee. RDP will not be able to reimburse invited workshop speakers for travel or living expenses, though it may be possible to waive part of the registration fees for invited speakers. The priority of RDP will be to keep registration fees for the conferences and workshops low. Please submit your workshop proposal by email to rdp2011-workshop@uns.ac.rs Proposals should be written in plain text. The proposal should cover the following topics: 1. Name of workshop 2. A statement of the topics and goals of the workshop 3. Names and addresses of the organizers 4. Pointers to descriptions of previous editions of the workshop, if any 5. A description of the submission selection process 6. Plans for the publication of proceedings (informal proceedings distributed to participants, electronic journal, proceedings with separate selection process, ...) 7. Plans for invited speakers or special sessions (round-table discussion, tutorials, ...) 8. Expected length of the workshop 9. Expected number of attendees 10. Any special needs (for system demonstrations ...) The Workshop Selection Committee consists of Luke Ong (TLCA 2011 program chair) Manfred Schmidt-Schauss (RTA 2011 program chair) Silvia Ghilezan (RDP 2011 general chair). ------------------------------------------------------- |November 19, 2010 | deadline for proposals | ------------------------------------------------------- |November 30, 2010 | notification of acceptance| -------------------------------------------------------- Prospective workshop organizers are welcome to contact the workshop selection committee in advance before sending in a formal submission and to discuss any questions. RDP'09 http://rdp09.cic.unb.br/ RDP'07 http://www.lsv.ens-cachan.fr/rdp07/index.html RDP'05 http://www.kurims.kyoto-u.ac.jp/rdp05/ RDP'03 http://www.dsic.upv.es/~rdp03/ RTA http://rewriting.loria.fr/rta/ TLCA http://www.mimuw.edu.pl/tlca/ =========================================================================== =========================================================================== 7. (from Carlos Martin) 5th International Conference on Language and Automata Theory and Applications (LATA 2011): ********************************************************************* 1st Call for Papers 5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2011) Tarragona, Spain, May 30 - June 3, 2011 http://grammars.grlmc.com/LATA2011/ ********************************************************************* AIMS: LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). SCOPE: Topics of either theoretical or applied interest include, but are not limited to: - algebraic language theory - algorithms for semi-structured data mining - algorithms on automata and words - automata and logic - automata for system analysis and programme verification - automata, concurrency and Petri nets - cellular automata - combinatorics on words - computability - computational complexity - computational linguistics - data and image compression - decidability questions on words and languages - descriptional complexity - DNA and other models of bio-inspired computing - document engineering - foundations of finite state technology - fuzzy and rough languages - grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.) - grammars and automata architectures - grammatical inference and algorithmic learning - graphs and graph transformation - language varieties and semigroups - language-based cryptography - language-theoretic foundations of artificial intelligence and artificial life - neural networks - parallel and regulated rewriting - parsing - pattern recognition - patterns and codes - power series - quantum, chemical and optical computing - semantics - string and combinatorial issues in computational biology and bioinformatics - string processing algorithms - symbolic dynamics - term rewriting - transducers - trees, tree languages and tree machines - weighted machines STRUCTURE: LATA 2011 will consist of: - 3 invited talks - 2 invited tutorials - refereed contributions - open sessions for discussion in specific subfields, on open problems, or on professional issues (if requested by the participants) INVITED SPEAKERS: To be announced PROGRAMME COMMITTEE: Andrew Adamatzky (Bristol) Cyril Allauzen (Mountain View) Amihood Amir (Ramat-Gan) Franz Baader (Dresden) Marie-Pierre B?al (Marne-la-Vall?e) Philip Bille (Lyngby) Miklos Bona (Gainesville) Symeon Bozapalidis (Thessaloniki) Vasco Brattka (Cape Town) Maxime Crochemore (London) James Currie (Winnipeg) Jurgen Dassow (Magdeburg) Cunsheng Ding (Hong Kong) Rodney Downey (Wellington) Manfred Droste (Leipzig) Enrico Formenti (Nice) Amy Glen (Perth) Serge Haddad (Cachan) Shunsuke Inenaga (Fukuoka, co-chair) Jesper Jansson (Tokyo) Jarkko Kari (Turku) Marek Karpinski (Bonn) Maciej Koutny (Newcastle) Gregory Kucherov (Lille) Markus Lohrey (Leipzig) Benedikt Loewe (Amsterdam) Salvador Lucas (Valencia) Sebastian Maneth (Sydney) Carlos Martin-Vide (Brussels, co-chair) Giancarlo Mauri (Milano) Alexander Meduna (Brno) Kenichi Morita (Hiroshima) Sven Naumann (Trier) Gonzalo Navarro (Santiago, CL) Mark-Jan Nederhof (St Andrews) Joachim Niehren (Lille) Joakim Nivre (Uppsala) Kemal Oflazer (Doha) Alexander Okhotin (Turku) Witold Pedrycz (Edmonton) Dominique Perrin (Marne-la-Vall?e) Giovanni Pighizzini (Milano) Alberto Policriti (Udine) Lech Polkowski (Warsaw) Helmut Prodinger (Stellenbosch) Mathieu Raffinot (Paris) Philippe Schnoebelen (Cachan) Ayumi Shinohara (Sendai) Jamie Simpson (Perth) Magnus Steinby (Turku) James Storer (Boston) Jens Stoye (Bielefeld) Andrzej Tarlecki (Warsaw) Richard Thomas (Leicester) Gyorgy Vaszil (Budapest) Heiko Vogler (Dresden) Pascal Weil (Bordeaux) Damien Woods (Pasadena) Thomas Zeugmann (Sapporo) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Shunsuke Inenaga (Fukuoka, co-chair) Carlos Martin-Vide (Brussels, co-chair) Bianca Truthe (Magdeburg) SUBMISSIONS: Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at: http://www.easychair.org/conferences/?conf=lata2011 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing refereed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration will be open since October 13, 2010 until May 30, 2011. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2011/ Early registration fees: 500 Euro Early registration fees (PhD students): 400 Euro Late registration fees: 540 Euro Late registration fees (PhD students): 440 Euro On-site registration fees: 580 Euro On-site registration fees (PhD students): 480 Euro At least one author per paper should register. Papers that do not have a registered author who paid the fees by February 28, 2011 will be excluded from the proceedings. Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches. PhD students will need to prove their status on site. PAYMENT: Early (resp. late) registration fees must be paid by bank transfer before February 28, 2011 (resp. May 16, 2011) to the conference series account at Uno-e Bank (Juli?n Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide LATA 2011). Please write the participant's name in the subject of the bank form. Transfers should not involve any expense for the conference. Please notice that the date that counts is the day when the transfer reached the conference~Rs account. On-site registration fees can be paid only in cash. A receipt for payments will be provided on site. Besides paying the registration fees, it is required to fill in the registration form at the website of the conference. IMPORTANT DATES: Paper submission: January 3, 2011 Notification of paper acceptance or rejection: February 14, 2011 Early registration: February 28, 2011 Final version of the paper for the LNCS proceedings: February 28, 2011 Late registration: May 16, 2011 Starting of the conference: May 30, 2011 Submission to the post-conference special issue: August 30, 2011 FURTHER INFORMATION: florentinalilica.voicu@urv.cat POSTAL ADDRESS: LATA 2011 Research Group on Mathematical Linguistics Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 =========================================================================== =========================================================================== 8. (from George Metcalfe) TABLEAUX 2011 - Automated Reasoning with Analytic Tableaux and Related Methods: First Call for Papers, Call for Tutorials, and Call for Workshop Proposals TABLEAUX 2011 International Conference TABLEAUX 2011 Automated Reasoning with Analytic Tableaux and Related Methods Bern, Switzerland 4 July - 8 July 2011 http://www.tableaux11.unibe.ch/ IMPORTANT DATES Workshop & Tutorial submission: Monday, 10 Jan 2011 Workshop & Tutorial notification: Monday, 24 Jan 2011 Abstract and Title submission: Monday, 24 Jan 2011 Paper Submission: Monday, 31 Jan 2011 Notification: Monday, 28 Mar 2011 Final Versions: Monday, 25 Apr 2011 Workshops: Monday, 4 July 2011 Conference: Tuesday, 5 July - Friday, 8 July 2011 GENERAL INFORMATION This conference is the 20th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2011, the conference will be held in Bern, Switzerland. The conference proceedings will be published in the Springer LNAI series as in the previous editions of the conference. See http://www.tableaux11.unibe.ch/ for more information on TABLEAUX 2011, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. As in previous years, TABLEAUX 2011 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as hardware and software verification, semantic technologies, knowledge engineering, etc. are particularly invited. One or more tutorials will be part of the conference program. SUBMISSIONS The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Short papers reporting work in progress (up to 5 pages) D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages) Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. For category B submissions a working implementation must exist and be available to the referees. Accepted papers in these categories will be published in the conference proceedings. Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the University of Bern. Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee. Note that the deadline for tutorial proposals is Monday, 10. Jan 2011. Authors of accepted papers are expected to present their work at the conference. CALL FOR WORKSHOP PROPOSALS TABLEAUX 2011 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to three proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of a workshop is left to the the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. To submit a workshop proposal, please send a description of one or two pages to the PC chairs by Monday, 10. Jan 2011. INVITED SPEAKERS We are pleased to announce that the following speakers have agreed to give invited talks at TABLEAUX 2011: * Maria Paola Bonacina, University of Verona, Italy * Ulrich Furbach, University of Koblenz-Landau, Germany * Kazushige Terui, Kyoto University, Japan PROGRAM COMMITTEE PC Chairs * Kai Br??nnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland PC Members * Arnon Avron, Tel Aviv University, Israel * Peter Baumgartner, NICTA, Canberra, Australia * Bernhard Beckert, Karlsruhe Institute of Technology, Germany * Torben Bra??ner, Roskilde University, Denmark * Agata Ciabattoni, TU Wien, Austria * Marta Cialdea, University of Rome 3, Italy * Roy Dyckhoff, University of St Andrews, Scotland * Martin Giese, University of Oslo, Norway * Valentin Goranko, Technical University of Denmark * Rajeev Gor??, The Australian National University, Canberra, Australia * Reiner H??hnle, Chalmers University, G?~C??teborg, Sweden * Ullrich Hustadt, University of Liverpool, UK * Martin Lange, University of Kassel, Germany * Dale Miller, INRIA, Saclay, France * Neil V. Murray, University at Albany - SUNY, USA * Nicola Olivetti, Paul C?~C??zanne University, Marseille, France * Jens Otten, University of Potsdam, Germany * Dirk Pattinson, Imperial College London, UK * Andr?? Platzer, Carnegie Mellon University, USA * Renate Schmidt, University of Manchester, UK * Viorica Sofronie-Stokkermans, MPI, Saarbr?~C?~Rcken, Germany * Ulrich Ultes-Nitsche, Fribourg University, Switzerland * Luca Vigan??, University of Verona, Italy * Arild Waaler, University of Oslo, Norway ORGANIZING COMMITTEE Conference Chairs: * Kai Br??nnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland Local Organizers: * Samuel Bucheli * Lukas Gerber * Roman Kuznets * Richard McKinley * Nia Stephens =========================================================================== =========================================================================== 9. (from Vladik Kreinovich) In memoriam 'Fractal' mathematician Benoit Mandelbrot: 'Fractal' mathematician Benoit Mandelbrot dies aged 85 http://www.bbc.co.uk/news/world-europe-11560101 Benoit Mandelbrot, who discovered mathematical shapes known as fractals, has died of cancer at the age of 85. Mandelbrot, who had joint French and US nationality, developed fractals as a mathematical way of understanding the infinite complexity of nature. The concept has been used to measure coastlines, clouds and other natural phenomena and had far-reaching effects in physics, biology and astronomy. Mandelbrot's family said he had died in a hospice in Cambridge, Massachusetts. The visionary mathematician was born into a Jewish family in Poland but moved to Paris at the age of 11 to escape the Nazis. He spent most of his life in the US, working for IBM computers and eventually became a professor of mathematical science at Yale University. His seminal works, Fractals: Form, Chance and Dimension and The Fractal Geometry of Nature, were published in 1977 and 1982. In these, he argued that seemingly random mathematical shapes in fact followed a pattern if broken down into a single repeating shape. The concept enabled scientists to measure previously immeasurable objects, including the coastline of the British Isles, the geometry of a lung or a cauliflower. "If you cut one of the florets of a cauliflower, you see the whole cauliflower but smaller," he explained at the influential Technology Entertainment and Design (TED) conference earlier this year. "Then you cut again, again, again, and you still get small cauliflowers. So there are some shapes which have this peculiar property, where each part is like the whole, but smaller." 'Powerful mind' Fractal mathematics also led to technological developments in the fields of digital music and image compression. It has also been influential in pop culture, with the patterns being used to create beautiful and intricate pieces of art. One such design is named in his honour. Mandelbrot was also highly critical of the world banking system, arguing the economic model it used was unable to cope with its own complexity. In a statement, French President Nicolas Sarkozy praised Mandelbrot for his "powerful, original mind that never shied away from innovation and battering preconceived ideas". "His work, which was entirely developed outside the main research channels, led to a modern information theory," he said. BBC (c) MMX =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text (avoiding accents) to Olivier Bournez to arrive by November 5th, 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/ ___________________________________________________________________________