CiE Newsletter No.43, January 12, 2011 Please send any items you would like included in next letter to Olivier Bournez DEADLINE: February 10th 2011. ___________________________________________________________________________ ** 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 CiE 2011 submission deadline is ***January 14, 2011*** ___________________________________________________________________________ CONTENTS: 0) CiE 2011 - 2nd call for papers: Deadline 14 January 2011 1) 6th Conference on Theory of Quantum Computation, Communication, and Cryptography (TQC 2011) 2) HYPERNET (Hypercomputation Workshop) 2011. 2nd Call for Papers/Posters 3) PHYSICS & COMPUTATION 2011. 2nd Call for Papers/Posters 4) FCT 2011 18th International Symposium on Fundamentals of Computer Theory 4') CALL FOR WORKSHOP PROPOSALS collocated with FCT 2011 5) Fifth International Symposium on Quantum Interaction QI'2010 6) WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation 7) 2nd CFP: Unconventional Computation UC 2011 8) Typed Lambda Calculi and Applications TLCA 2011 9) Third CFP: Mathematics and Computation in Music Conference 10) CALL for PAPERS (Special Issue) INTERNATIONAL JOURNAL of QUANTUM INFORMATION Quantum Correlations: entanglement and beyond 11) Trends in Logic IX: Church's Thesis, Logic, Mind and Nature, Krakow (Poland) 12) CSL 2011 20th Annual Conference of the European Association for Computer Science Logic 13) TAMC2011, Deadline Extended: FEBRUARY 5, 2011 14) Second Announcement: International Conference on History and Philosophy of Computing ___________________________________________________________________________ 0) CiE 2011 - 2nd call for papers: Deadline 14 January 2011 CiE 2011: Computability in Europe Models of Computation in Context Sofia, Bulgaria 27 June 2011 - 2 July 2011 Second Call for Papers Submission Deadline: 14 January 2011 http://cie2011.fmi.uni-sofia.bg/ _____________________________________________________________________ TUTORIALS: Jack Lutz (Ames IA, U.S.A.), Geoffrey Pullum (Edinburgh, U.K.) PLENARY TALKS: Scott Aaronson (Cambridge MA, U.S.A.), Christel Baier (Dresden, Germany), Michiel van Lambalgen (Amsterdam, The Netherlands), Antonio Montalban (Chicago IL, U.S.A.), Alexandra Shlapentokh (Greenville NC, U.S.A.), Theodore Slaman (Berkeley CA, U.S.A.), Janet Thornton (Cambridge, U.K.), Alasdair Urquhart (Toronto ON, Canada). SPECIAL SESSIONS: * Computability in Analysis, Algebra, and Geometry (Organizers: Alexandra Shlapentokh, Dieter Spreen) : Ulrich Berger (Swansea), Vasco Brattka (Cape Town): Valentina Harizanov (Washington, DC), Russel Miller (New York, NY). * Classical Computability Theory (Organizers: Doug Cenzer, Bjørn Kjos-Hanssen): Mingzhong Cai (Cornell), Rachel Epstein (Harvard), Charles Harris (Leeds), Guohua Wu (NTU, Singapore) * Natural Computing (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre): Natalio Krasnogor (University of Nottingham), Martin Kutrib (University of Giessen), Victor Mitrana (University of Bucharest), Agustín Riscos-Núnez (University of Seville) * Relations between the physical world and formal models of computability (Organizers: Viv Kendon, Sonja Smets): Pablo Arrighi (University of Grenoble), Časlav Brukner (University of Vienna), Elham Kashefi (University of Edinburgh),Prakash Panangaden (McGill University) * Theory of transfinite computations (Organizers: Peter Koepke, C.T. Chong): Noam Greenberg (Victoria University of Wellington), Sy D. Friedman (University of Vienna), Wei Wang (Sun Yat-sen University), Merlin Carl (Rheinische Friedrich-Wilhelms-Universität Bonn) * Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko Tinchev): Klaus U. Schulz (Ludwig-Maximilians-Universität München)& Stoyan Mihov (Bulgarian Academy of Sciences), Ian Pratt-Hartmann (University of Manchester). CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. The Programme Committee (Dag Normann and Ivan Soskov co-chairs) cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2011 to http://www.easychair.org/conferences/?conf=cie2011. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Other accepted contributed papers together with abstracts of informal presentations will appear in our local pre-conference proceedings volume. We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors (see below for the 'Women in Computability' grants). IMPORTANT DATES: Submission Deadline: January 14, 2011 Notification of Authors: March 12, 2011 Final Version: April 2, 2011 Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. All papers need to be prepared in LNCS-style LaTeX. Papers should not exceed 10 pages; full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Submissions authored or co-authored by a Programme Committee member are not allowed. GRANTS: Women in Computability: In 2011, we continue the programme "Women in Computability" (funded from 2008 to 2010 by the Elsevier Foundation) now supported by the journal "Annals of Pure and Applied Logic" (Elsevier). As part of this programme, we can offer four modest "Elsevier Women in Computability grants" for female graduate students or junior researchers. These grants will be paid as a reimbursement of up to 200 EUR of travel and accommodation expenses. More information about deadlines and the application procedure will become available from the CiE 2011 website in March 2011. ASL Student Travel Grants: CiE 2011 is sponsored by the Association for Symbolic Logic. All student members of the ASL can apply for travel funding. To be considered for a Travel Award, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (preferably one page) and should include: (1) your name; (2) your home institution; (3) your thesis supervisor's name; (4) a one-paragraph description of your studies and work in logic, and a paragraph explaining why it is important to attend the meeting; (5) your estimate of the travel expenses you will incur; (6) (for citizens or residents of the USA) citizenship or visa status; and (7) (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply. Applications should be sent to asl@vassar.edu before March 27 2011. EMS grants for Young East European Researches: Thanks to the generous support from European Mathematical Society, CiE 2011 is glad to be able to offer partial or total fee waivers for a small number of Eastern European researchers and researchers from the former Soviet Union member states, whose work has been accepted for presentation at CiE2011. Preference will be given to young researchers and researchers with papers accepted for publication in the LNCS proceedings. To apply, please send an application to cie2011@fmi.uni-sofia.bg before March 27 2011. The application should include the applicant's name, affiliation and the title of the submission for CiE 2011. Best student paper award: Papers that have only student authors are eligible for the "CiE 2011 Best Student Paper Award”. The Programme Committee will select the best submission among these after acceptance. Springer will sponsor the Best student paper award - a Springer book voucher for the winner. All questions about the conference could be send at cie2011@fmi.uni-sofia.bg. ___________________________________________________________________________ 1) 6th Conference on Theory of Quantum Computation, Communication, and Cryptography (TQC 2011) ======================================================================= CALL FOR PAPERS The 6th Conference on Theory of Quantum Computation, Communication, and Cryptography ---- TQC 2011 ---- Universidad Complutense de Madrid Madrid, Spain 24 - 26 May 2011 http://gcc.ls.fi.upm.es/tqc2011/ ======================================================================= Quantum computation, quantum communication, and quantum cryptography are topics of a new and interdisciplinary field in the intersection of computer science, information theory, and quantum mechanics. The aim of the TQC'11 conference is to allow deep coverage of new and original research on these topics and to raise important problems that can benefit from theoretical investigation and analysis. The conference will be held at the Universidad Complutense de Madrid from May 24th until May 26th, 2011 and will consist of invited talks, contributed talks, and poster presentations. The scope of the conference includes, but is not limited to: * quantum algorithms * models of quantum computation * quantum complexity theory * simulation of quantum systems * quantum cryptography * quantum communication * quantum estimation and measurement * quantum noise * quantum coding theory * fault-tolerant quantum computing * entanglement theory <> Invited Speakers: * Hector Bombin (Perimeter Institute) * Hans Briegel (Innsbruck) * Nicolas Gisin (Geneva) * Mio Murao (Tokyo) * Tobias Osborne (Hannover) * Umesh Vazirani (Berkeley; to be confirmed) <> Post Proceedings: As for previous TQC conferences, we intend to publish a post-conference proceedings volume in Springer's Lecture Notes in Computer Science to which selected speakers will be invited to contribute. <> Program Committee: * Mohammed Amin (D-Wave) * Dave Bacon (Washington; Co-chair) * Dagmar Bruss (Duesseldorf) * Andrew Childs (IQC) * Richard Cleve (IQC) * Markus Grassl (CQT Singapore) * Peter Hoyer (Calgary) * Kazuo Iwama (Kyoto) * Elham Kashefi (Edinburgh) * Debbie Leung (IQC) * Hoi-Kwong Lo (Toronto) * Chiara Macchiavello (Pavia) * Vicente Martin-Ayuso (UPM) * Miguel Martin-Delgado (UCM; Local Chair) * Dmitri Maslov (IQC/NSF) * Michele Mosca (IQC) * Kae Nemoto (NII Tokyo) * Martin Roetteler (NEC Princeton; Chair) * Miklos Santha (Paris/CQT) * Pranab Sen (Tata Institute) * Simone Severini (London) * Jean-Pierre Tillich (INRIA) * Andreas Winter (Bristol/CQT Singapore) <> Local (Universidad Complutense de Madrid) organising committee: * Juan Jose Garcia-Ripoll (CSIC Madrid) * Alberto Ibort (Universidad Carlos III Madrid; Co-chair) * Juan Leon (CSIC Madrid) * Vicente Martin-Ayuso (Universidad Politecnica de Madrid) * Miguel Martin-Delgado (Universidad Complutense de Madrid; Chair) * David Perez-Garcia (Universidad Complutense de Madrid) * Diego Porras (Universidad Complutense de Madrid) <> Conference series steering committee: * Wim van Dam (University of California, Santa Barbara) * Yasuhito Kawano (NTT, Tokyo, Japan) * Michele Mosca (IQC, University of Waterloo and Perimeter Insitute, Canada) * Vlakto Vedral (CQC, University of Oxford and CQT, National University of Singapore) <> Important Dates: * Submission deadline: January 24, 2011 (23:59 CET local time) * Notification of acceptance/rejection: March 14, 2011 * Final version of extended abstracts: March 31, 2011 * Registration deadline: May 10, 2011 * Conference: May 24-26, 2011 * Post-proceedings submission deadline: End of June 2011 * Publication date: October 2011 For further information see http://gcc.ls.fi.upm.es/tqc2011/ _______________________________________________ 2) (From Mike Stannett) HYPERNET (Hypercomputation Workshop) 2011. 2nd Call for Papers/Posters Second Call for Papers / Posters HYPERNET (Hypercomputation Workshop) 2011 Co-located Workshop with Unconventional Computation 2011 June 6-10, Turku, Finland UC2011 Main Site: http://www.math.utu.fi/projects/uc2011/ Papers and posters are solicited on all aspects of Hypercomputation. KEY DATES Paper submission deadline: 28 Feb 2011 Paper authors notified: 1 Apr 2011 Final versions due: 18 Apr 2011 Poster submission deadline: 18 Apr 2011 Poster authors notified: 25 Apr 2011 Early registration ends: 2 May 2011 PUBLICATION Accepted papers will be published in the first instance in electronic form as a Workshop pre-proceedings. As in previous years, authors will be invited, following the Workshop, to submit finalised versions of their work for journal publication. Submissions should be submitted electronically via EasyChair, in PDF format: http://www.easychair.org/conferences/?conf=hypernet11 Papers should initially be no more than 12 sides in length (excluding bibliography), and should be formatted for A4 paper. TOPICS INCLUDE (but are not restricted to) * analogue systems * arithmetic hierarchy * axiomatizations of physics * Church-Turing thesis * complexity of nonstandard systems * computing beyond the Turing barrier * digital physics * economics and uncomputability * nonstandard computation * philosophical aspects * quantum computation * relativistic computation * transfinite systems * unconventional computation and its properties * wormhole computation PROGRAMME COMMITTEE Selim Akl (Queen's) Hajnal AndrÈka (Budapest) Olivier Bournez (Ecole Polytechnique) Cristian Calude (Auckland) Barry Cooper (Leeds) Francisco AntÙnio DÛria (Rio de Janeiro) Marian Gheorghe (Sheffield) Viv Kendon (Leeds) Peter Kugel (Boston) Kenichi Morita (Hiroshima) Istvan NÈmeti (Budapest) Ion Petre (Turku) Mike Stannett (Sheffield) Susan Stepney (York) Gergely SzÈkely (Budapest) Christof Teuscher (Portland) John Tucker (Swansea) Benjamin Wells (San Francisco) ORGANISING COMMITTEE Hajnal AndrÈka (Budapest) Cristian Calude (Auckland) Ion Petre (Turku) Mike Stannett (Sheffield) Susan Stepney (York) COORDINATOR / QUERIES Mike Stannett (m.stannett@dcs.shef.ac.uk) ___________________________________________________________________________ 3) (From Mike Stannett) PHYSICS & COMPUTATION 2011. 2nd Call for Papers/Posters Second Call for Papers / Posters PHYSICS & COMPUTATION 2011 Co-located Workshop with Unconventional Computation 2011 June 6-10, Turku, Finland UC2011 Main Site: http://www.math.utu.fi/projects/uc2011/ Papers and posters are solicited on the relationships between Physics and Computation. KEY DATES Paper submission deadline: 28 Feb 2011 Paper authors notified: 1 Apr 2011 Final versions due: 18 Apr 2011 Poster submission deadline: 18 Apr 2011 Poster authors notified: 25 Apr 2011 Early registration ends: 2 May 2011 PUBLICATION Accepted papers will be published in the first instance in electronic form as a Workshop pre-proceedings. As in previous years, authors will be invited, following the Workshop, to submit finalised versions of their work for journal publication. Submissions should be submitted electronically via EasyChair, in PDF format: http://www.easychair.org/conferences/?conf=pc2011 Papers should initially be no more than 12 sides in length (excluding bibliography), and should be formatted for A4 paper. TOPICS INCLUDE (but are not restricted to) * analogue computation * axiomatization of physics: completeness, decidability, reduction * digital physics * optical computation * philosophy of physics and computation * quantum computation (digital, analogue) and its applications (biology, mathematics, etc.) * quantum logics * quantum randomness * reaction-diffusion models of computation: including brain dynamics, BZ computers * relativity: spacetimes, computation, time travel, speedup * theory of measurement: axiomatization, complexity * wormhole computation PROGRAMME COMMITTEE Andy Adamatzky (Bristol) Alastair Abbott (Auckland) Hajnal AndrÈka (Budapest) Olivier Bournez (Ecole Polytechnique) Ad·n Cabello (Seville) Cristian Calude (Auckland) Shlomi Dolev (Ben Gurion) Elham Kashefi (Edinburgh) Viv Kendon (Leeds) Giuseppe Longo (Paris) Kenichi Morita (Hiroshima) Ferdinand Peper (NiCT) Ion Petre (Turku) Mike Stannett (Sheffield) Susan Stepney (York) Damien Woods (CalTech) Paolo Zuliani (Carnegie Mellon) ORGANISING COMMITTEE Hajnal AndrÈka (Budapest) Cristian Calude (Auckland) Ion Petre (Turku) Mike Stannett (Sheffield) Susan Stepney (York) COORDINATOR / QUERIES Mike Stannett (m.stannett@dcs.shef.ac.uk) ___________________________________________________________________________ 4) FCT 2011 18th International Symposium on Fundamentals of Computer Theory Call for Papers FCT 2011 18th International Symposium on Fundamentals of Computer Theory August 22-25, 2011, Oslo, Norway The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science, as well as new emerging fields such as bio-inspired computing. It is a biennial series of conferences previously held in Poznan (Poland, 1977), Wendisch-Rietz (Germany, 1979), Szeged (Hungary, 1981), Borgholm (Sweden, 1983), Cottbus (Germany, 1985), Kazan (Russia, 1987), Szeged (Hungary, 1989), Gosen-Berlin (Germany, 1991), Szeged (Hungary, 1993), Dresden (Germany, 1995), Krakow (Poland, 1997), Iasi (Romania, 1999), Riga (Latvia, 2001), Malmo (Sweden, 2003), Lubeck (Germany, 2005), Budapest (Hungary, 2007), and Wroclaw (Poland, 2009). PROCEEDINGS The conference proceedings will be published (as usual) in the Lecture Notes in Computer Science series of Springer-Verlag (to be confirmed). SUBMISSIONS (topics) Authors are invited to submit papers presenting original unpublished research in all areas of theoretical computer science. Topics of interest include (but not limited to): * Algorithms: o algorithm design and optimization o combinatorics and analysis of algorithms o computational complexity o approximation, randomized, and heuristic methods o parallel and distributed computing o circuits and boolean functions o online algorithms o machine learning and artificial intelligence o computational geometry o computational algebra * Formal methods: o algebraic and categorical methods o automata and formal languages o computability and nonstandard computing models o database theory o foundations of concurrency and distributed systems o logics and model checking o models of reactive, hybrid and stochastic systems o principles of programming languages o program analysis and transformation o specification, refinement and verification o security o type systems * Emerging fields: o ad hoc, dynamic, and evolving systems o algorithmic game theory o computational biology o foundations of cloud computing and ubiquitous systems o quantum computation Authors are invited to submit a paper with at most 12 pages in the LNCS style. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance. If necessary, detailed proofs can be attached as an appendix. Simultaneous submission to other conferences with published proceedings or journals is not allowed. IMPORTANT DATES Submission Deadline: Tuesday, 5. April 2011 Author Notification: Monday, 6. June 2011 Camera ready manuscript: Friday 17. June 2011 For further information on the conference, please visit the URL at http://fct11.ifi.uio.no/ PROGRAM CHAIRS - Olaf Owe (U. of Oslo) - Martin Steffen (U. of Oslo) - Jan Arne Telle (U. of Bergen) PROGRAM COMMITTEE Erika Abraham (RWTH Aachen, Germany) Wolfgang Ahrendt (Chalmers, Sweden) David Coudert (INRIA Sophia-Antipolis, France) Camil Demetrescu (La Sapienza University of Rome, Italy) Jiri Fiala (Charles University, Prague, Czech Republic) Martin Hofmann (LMU, Munich) Thore Husfeldt (IT University of Copenhagen, Denmark) Alexander Kurz (U. of Leicester, UK) Andrzej Lingas (Lund University, Sweden) Peter Csaba Oelveczky (U. of Oslo, Norway) Olaf Owe (U. of Oslo, Norway) Miguel Palomino (U. Complutense, Madrid, Spain) Yuri Rabinovich (U. of Haifa, Israel) Saket Saurabh (Inst. of Mathematical Sciences, Chennai, India) Martin Steffen (U. of Oslo, Norway) Jan Arne Telle (U. of Bergen, Norway) Tarmo Uustalu (Inst. of Cybernetics, Tallinn, Estland) Ryan Williams (IBM Almaden Research Center, San Jose, USA) Gerhard Woeginger (U. of Eindhoven, The Netherlands) David Wood (U. of Melbourne, Australia) STEERING COMMITTEE Bogdan Chlebus (Warszawa/Denver, Poland/USA) Zoltan Esik (Szeged, Hungary) Marek Karpinski - chair (Bonn, Germany) Andrzej Lingas (Lund, Sweden) Miklos Santha (Paris, France) Eli Upfal (Providence, USA) ___________________________________________________________________________ 4') CALL FOR WORKSHOP PROPOSALS collocated with FCT 2011 *********************************************************************** CALL FOR WORKSHOP PROPOSALS collocated with the 18th International Symposium on Fundamentals of Computation Theory FCT 2011 http://fct11.ifi.uio.no/index.php?n=Conference.CallForWorkshops University of Oslo Oslo, NORWAY August 22-25, 2011 *********************************************************************** The biannual International Symposium on Fundamentals of Computation Theory will be held at the University of Oslo in late summer 2011. We are soliciting workshops from related fields of Computer Science that would be interested in collocating with this event. Your workshop would benefit from the audience of FCT and the brand new facilities at the Institutt for informatikk (IFI), Norway's most modern IT facility. Also, the hospitality of the world's best place to live according to the UN create this unique opportunity for researchers to get together. Please submit your workshop proposal consisting of • an outline / short description, • proposed submission deadline, • an estimated number of participants, and • if possible, the previous Call for Papers until 31st of January 2011 by email to Volker Stolz . The FCT symposium covers algorithms, formal methods, and emerging fields such as computational biology and quantum computation. In 2009, the workshops on Non-Classical Models of Automata and Applications (NCMA), and DYnamic Networks: Algorithms and Security (DYNAS) were held together with the symposium. For general enquiries about FCT itself, please see our webpages, or contact Olaf Owe or Martin Steffen directly. http://fct11.ifi.uio.no/index.php?n=Conference.CallForWorkshops ___________________________________________________________________________ 5) Fifth International Symposium on Quantum Interaction QI'2010 -------------------------- CALL FOR PAPERS -------------------------- The Fifth International Symposium on Quantum Interaction (QI'2010, http://www.rgu.ac.uk/qi2011), 27-29 June 2010, Aberdeen, United Kingdom. Quantum Interaction (QI) is an emerging field which is applying quantum theory (QT) to domains such as artificial intelligence, human language, cognition, information retrieval, biology, political science, economics, organisations and social interaction. After highly successful previous meetings (QI'2007 at Stanford, QI'2008 at Oxford, QI'2009 at Saarbruecken, QI'2010 at Washington DC), the Fifth International Quantum Interaction Symposium will take place in Aberdeen, UK from 27 to 29 June 2011. This symposium will bring together researchers interested in how QT addresses problems in non-quantum domains. QI'2011 will also include a half day tutorial session on 26 June 2011, with a number of leading researchers delivering tutorial on the foundations of QT, the application of QT to human cognition and decision making, and QT inspired semantic information processing. ***Call for Papers*** We are seeking submission of high-quality and original research papers that have not been previously published and are not under review for another conference or journal. Papers should address one or more of the following broad content areas, but not limited to: - Artificial Intelligence (Logic, planning, agents and multi-agent systems); - Biological or Complex Systems; - Cognition and Brain (memory, cognitive processes, neural networks, consciousness); - Decision Theory (political, psychological, cultural, organisational, social sciences); - Finance and Economics (decision-making, mergers, corporate cultures); - Information Processing and Retrieval; - Language and Linguistics; The post-conference proceedings of QI'2011 will be published by Springer in its Lecture Notes in Computer Science (LNCS) series. Authors will be required to submit a final version 14 days after the conference to reflect the comments made at the conference. We will also consider organizing a special issue for a suitable journal to publish selected best papers. ***Important Dates*** 28th March 2011: Abstract submission deadline; 1st April 2011: Paper submission deadline; 1st May 2011: Notification of acceptance; 1st June 2011: Camera-Ready Copy; 26th June 2011: Tutorial Session; 27th - 29th June 2011: Conference; ***Submission*** Authors are invited to submit research papers up to 12 pages. All submissions should be prepared in English using the LNCS template, which can be downloaded from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Please submit online at: http://www.easychair.org/conferences/?conf=qi2011 ***Organization*** Steering Committee: Peter Bruza (Queensland University of Technology, Australia) William Lawless (Paine College, USA) Keith van Rijsbergen (University of Glasgow, UK) Donald Sofge (Naval Research Laboratory, USA) Dominic Widdows (Google, USA) General Chair: Dawei Song (Robert Gordon University, UK) Programme Committee Chair: Massimo Melucci (University of Padua, Italy) Publicity Chair: Sachi Arafat (University of Glasgow, UK) Proceedings Chair: Ingo Frommholz (University of Glasgow, UK) Local Organization co-Chairs: Jun Wang and Peng Zhang (Robert Gordon University, UK) ___________________________________________________________________________ 6) WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation May 18th to 21st, 2011 University of Pennsylvania Philadelphia, USA Scientific Sponsorship Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) Organisation Department of Mathematics, University of Pennsylvania, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil ---------- There will be a Special Session honoring Max Kanovich on the occasion of his 65-th birthday Speakers include John Mitchell, Mitsuhiro Okada, Paul Rowe, and others (tba) Call for Papers WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information(FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). Paper submission Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2011 EasyChair website. (Please go to http://wollic.org/wollic2011/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by January 1, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date). Proceedings The proceedings of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of the Annals of Pure and Applied Logic (to be confirmed). Invited Speakers Rajeev Alur (Philadelphia) Rosalie Iemhoff (Utrecht) John Mitchell (Stanford) Vladimir Voevodsky (Princeton) Yoad Winter (Utrecht) Michael Zakharyaschev (London) Student Grants ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant (deadline: February 18, 2011). Seehttp://www.aslonline.org/studenttravelawards.html for details. Important Dates January 1, 2011: Paper title and abstract deadline January 8, 2011: Full paper deadline (firm) February 21, 2011: Author notification March 1, 2011: Final version deadline (firm) Programme Committee Sergei Artemov (New York) Jeremy Avigad (Pittsburgh) Arnold Beckman (Swansea) Lev Beklemishev (Moscow) (CHAIR) Alessandro Berarducci (Pisa) Andreas Blass (Ann Arbor) (tbc) Sam Buss (San Diego) Achim Jung (Birmingham) Benedikt Löwe (Amsterdam) Janos Makowsky (Haifa) Michael Moortgat (Utrecht) Vincent van Oostrom (Utrecht) Prakash Panangaden (Montréal) Rohit Parikh (New York) Ruy de Queiroz (Recife) Alexander Shen (Marseilles and Moscow) Bas Spitters (Nijmegen) Helmut Veith (Wien) Yde Venema (Amsterdam) Scott Weinstein (Philadelphia) Frank Wolter (Liverpool) Steering Committee Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. Organising Committee Vivek Nigam (U Penn) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (U Penn) (co-chair) Further information Contact one of the Co-Chairs of the Organising Committee. Web page http://wollic.org/wollic2011/ ___________________________________________________________________________ 7) 2nd CFP: Unconventional Computation 2011 ------------------------------------------------------------------------ 2nd 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 Pa(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), - Discrete Models of Complex Systems (org. Anna Lawniczak) 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 Pa(un (Bucharest, RO), - Tommaso Toffoli (Boston MA, US), - Carme Torras (Barcelona, SP), - Grzegorz Rozenberg (Leiden, NL, co-chair), - Arto Salomaa (Turku, FI). ___________________________________________________________________________ 8) Typed Lambda Calculi and Applications TLCA 2011 ===================================== ***** Final CALL FOR PAPER ***** Typed Lambda Calculi and Applications TLCA 2011, 1-3 June 2011, Novi Sad ===================================== http://www.rdp2011.uns.ac.rs/tlca/index.html ------------------------------------------------ ** Title and abstract due 26 January 2011 ** ** Deadline for submission 2 February 2011 ** ------------------------------------------------ The conference proceedings will be published by Springer in the ARCoSS subline of LNCS series: http://www.springer.com/computer/lncs?SGWID=0-164-6-737109-0 Invited Speakers * Alexandre Miquel (Universite Paris VII) * Stephanie Weirich (University of Pennsylvania, United States) * Vladimir Voevodsky, to be confirmed (Princeton, United States) The 10th Conference on Typed Lambda Calculi and Applications (TLCA 2011) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are: * Proof-theory: formal reasoning based on type theory, linear logic and proof nets, type-theoretic aspects of computational complexity * Semantics: game semantics, realisability, categorical and other models * Types: dependent types, polymorphism, intersection types and related approaches (union types, refinement / liquid types, behavioural types), type inference, types in program analysis and verification * Programming: foundational aspects of functional and object-oriented programming, flow analysis of higher-type computation, program equivalence (step-indexed, bisimulation and related methods) Programme Committee Chair * Luke Ong (Oxford, GB) Programme Committee * Thorsten Altenkirch (University of Nottingham) * Stefano Berardi (University of Torino) * Adriana Compagnoni (Stevens Institute of Technology, New Jersey) * Giles Dowek (Ecole Polytechnique, Paris) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA, Paris) * Atsushi Igarashi (Kyoto University) * Ranjit Jhala (UC San Diego) * Ralph Matthes (CNRS, IRIT) * Ugo dal Lago (University of Bologna) * Luke Ong (University of Oxford) (PC Chair) * Rick Statman (Carnegie Mellon University) * Tachio Terauchi (Tohoku University) * Nobuko Yoshida (Imperial College, London) TLCA Publicity Chair * Luca Paolini (Turin) ___________________________________________________________________________ 9) (From Andreatta Moreno) Third CFP: Mathematics and Computation in Music Conference ===================== MATHEMATICS AND COMPUTATION IN MUSIC CONFERENCE (MCM 2011) http://mcm2011.ircam.fr *** Important Dates *** - February 1, 2011 Extended deadline for submission of papers, tutorials and panels - March 14, 2011 Notification of acceptance - March 29, 2011 Camera-ready submissions - June 15-17, 2011 MCM 2011 *** Third Call for Participation *** The Third International Conference on Mathematics and Computation in Music (MCM 2011) will take place 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 8 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. The two Keynote speakers will be the renowned composer and conductor Pierre Boulez, founder and honorary director of IRCAM, and Fields medalist Alain Connes. The conference will be accompanied by a series of conference-related artistic events (concerts, exhibitions, workshops, …) organized in collaboration with some of the most important cultural and educational centers of France, such as the Centre Pompidou and Universcience. MCM2011 is organized under the auspices of the SMF (French Mathematical Society), CiE (Computability in Europe), ESMA (European Society for Mathematics and Arts) and with the financial support of CNRS (French National Center for Scientific Research). 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 (see http://www.smcm-net.info/). 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 - Perceptive 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 the Springer Series on Communications in Computer and Information Science. Registration fees for the conference will be fixed soon (about 70-100 euros, including a copy of the Proceedings by Springer). The list of members belonging to the Scientific Committee is available at the MCM Conference webpage. *** Submission Guidelines *** Please read the paper submission guidelines carefully, as these instructions combine practices in the humanities and science/engineering traditions. 1. Papers Submissions are to come in the form of complete papers, rather than proposals for work to be completed later. All papers will be judged according to their novelty, content, presentation, and contribution to the field. Paper submissions should satisfy the following conditions: - submission must consist of original contributions not previously published, and not currently being considered for publication elsewhere - formatting must comply with guidelines and templates available on the submission section of the conference webpage (http://mcm2011.ircam.fr/drupal/?q=node/5) - maximum length of the paper is 3,000 words, i.e. 15 pages). Take the requirement to mean that the paper should not exceed 3000 words (excluding the abstract), and also should not exceed 15 pages (including the figures). - graphics, if any, should preferably be embedded in the text; they may also be appended at the end on supplementary pages - papers should be prefaced by a 150 to 200-word abstract; this is not included in the word count for the submission Papers should be submitted through the MCM 2011 OpenConf system (see “submissions” section in the conference webpage). All submissions will be subject to double-blind peer review. Submitters may be asked to respond to initial reviews during the last week of February. Authors of accepted papers will be notified no later than March 4, and must submit final revisions, camera ready, by March 19. At least one author must register for the conference before submitting the camera-ready version. In order to have an idea of the number of submitted papers, we kindly invite the potential authors to put ASAP some general information (title of the paper, name of the author(s), organization, etc.) in the OpenConf system. All these information can be changed once you decide to submit updated versions of your paper. 2. Panels Panels should offer lively and provocative discussions on topics of particular interest to the community. Rather than offering a series of paper presentations, panel sessions should be structured so as to engage the audience in thoughtful and constructive dialogue with the panelists. Submissions should be emailed to mcm2011-panels@ircam.fr as pdf files containing a 1-2 page abstract providing the following details: - the topic and issues to be discussed, - short biographies of the moderator and panelists, and - any special requirements. 3. Tutorials Tutorials should concentrate on a single topic, and last approximately 3 hours, including a break. Submissions should be emailed to mcm2011-tutorials@ircam.fr as pdf files containing a 1-2 page abstract with the following details: - an outline of the tutorial topic, - the intended and expected audience, - short biography of the presenter(s), and - any special requirements. We look forward to seeing you in Paris! MCM 2011 Organization Committee Carlos Agon, IRCAM/CNRS Emmanuel Amiot, CPGE, Perpignan Moreno Andreatta, IRCAM/CNRS Gérard Assayag, IRCAM/CNRS Jean Bresson, IRCAM/CNRS http://mcm2011.ircam.fr mcm2011-contact@ircam.fr ___________________________________________________________________________ 10) CALL for PAPERS (Special Issue) INTERNATIONAL JOURNAL of QUANTUM INFORMATION Quantum Correlations: entanglement and beyond CALL for PAPERS (Special Issue) INTERNATIONAL JOURNAL of QUANTUM INFORMATION Quantum Correlations: entanglement and beyond GUEST EDITORS Shunlong Luo (Chinese Academy of Sciences, CN) Sabrina Maniscalco (Heriot-Watt University, Edinburgh, UK) Kavan Modi (National University of Singapore, SG) G. Massimo Palma (University of Palermo, IT) Matteo G. A. Paris (University of Milano, IT) Quantum correlations have been the subject of intensive studies in the last two decades, mainly due to the general belief that they are fundamental resources for quantum information processing and other tasks in quantum technology. The first rigorous attempt to address the classification of quantum correlations was put forward by Werner, who formalized the elusive concept of quantum entanglement. More recently, other quantities, as such quantum discord, have been proposed to capture different aspects of the quantumness of correlations. In parallel, several applications where quantum, classical, hybrid correlations play a role have been suggested and implemented. Among them we mention quantum imaging, interferometry, state engineering, computing and entanglement-assisted quantum measurements. This special issue is aimed to collect papers addressing both fundamental problems and applications, thus offering to readers comprehensive and up-to-date overview on the characterization and use of quantum correlations. We welcome papers that address fundamental aspects of quantum and classical correlations in discrete and continuous variable systems, propose implementations to make quantitative measurements of quantum correlations, or describe experiments that exploit quantum correlations as a resource for quantum technology. Possible topics include, but are in no way limited to: characterization and measurement of entanglement and quantum discord, discrimination of classical and quantum correlations in quantum systems, applications of quantum correlations to quantum technology, dynamics of quantum correlations in open systems, decoherence, metrology, error correction. Manuscripts should be submitted to matteo.paris@fisica.unimi.it with subject "[QCSPE] and must meet the normal refereeing standards of IJQI. LaTeX is the exceedingly preferred format, IJQI macros are available at http://www.worldscinet.com/style_files/ijqi/187-readme_2e.shtml Deadline for submission is May 15th 2011. Publication is expected within 2011. ___________________________________________________________________________ 11) Trends in Logic IX: Church's Thesis, Logic, Mind and Nature, Krakow (Poland) Studia Logica International Conference Church's Thesis: Logic, Mind and Nature Krakow, Poland, June 3-5, 2010 http://StudiaLogica.org/TrendsIX contact: trendsIX@upjp2.edu.pl FIRST ANNOUNCEMENT Conference goals: In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church??s Thesis (CT). The acceptance of the CT led to a negative answer to Hilbert??s Entscheindungsproblem. Since then, many important logicians and philosophers have ventured to solve the numerous problems connected to the CT. The problems include attempts at a proof of the CT, analysis of its status and its logical value, etc. These various lines of research have shown that the CT has many incarnations and constitutes an interdisciplinary problem. The research concerning the CT, as well as an analogical thesis developed by Alan Turing, has resulted in important insights regarding the concept of computability. Georg Kreisel formulated three versions of the CT, pertaining to machine, human, and physical computability. With respect to this, the conference??s focus will be on three areas connected to the CT: logic, mind and nature. The main goals of the conference include the discussion over the major results concerning the CT, as well as the presentation of contemporary approaches to problems connected with the CT. Call for papers: We invite contributions pertaining to issues which lie in the fields for which the CT is an important problem. Especially, but not exclusively, we invite contributions related to: (A)Perspectives on Church??s Thesis: history of the Church??s Thesis; Church??s Thesis and Turing??s Thesis; pro and contra: arguments in the discussions concerning the CT; (B)Church??s thesis and logic: definitions of the concept of algorithm, attempts at formalizing the CT, CT in constructivism, CT in epistemic mathematics, modal logics and the CT, functional programming and the CT, logical theory of concepts; (C)Church??s Thesis and the mind: cognitivist approaches to the mind; theories of concepts; mind and computability; (D) Church??s Thesis and nature: analog computations, computations by physical systems. Invited speakers: Jack Copeland (University of Canterbury), Marie Duzi (VSB-Technical University of Ostrava), Yuri Gurevich (University of Michigan), Petr Hajek (Academy of Sciences of the Czech Republic), Pavel Materna (Academy of Sciences of the Czech Republic), David McCarty (Indiana University), Wilfried Sieg (Carnegie Mellon University), Oron Shagrir (Hebrew University of Jerusalem), Stewart Shapiro (Ohio State University), Jan Wolenski (Jagiellonian University), Ryszard Wojcicki (Institute of Philosophy and Sociology, Polish Academy of Sciences), Konrad Zdanowski (Paris Diderot University). Some of the invited speakers have not confirmed their participation yet. Organizing Committee: Adam Olszewski (Chairman), Bartosz Brozek, Jacek Malinowski, Piotr Urbanczyk, Malgorzata Drozdz. Program Committee: Jacek Malinowski (Chairman), Heinrich Wansing, Hannes Leitgeb, Leon Horsten, Adam Olszewski. Organizers: Studia Logica, Copernicus Center for Interdyscyplinary Studies, Pontifical University of John Paul II in Cracow. Deadline: Please send an abstract not exceeding 2 pages to atolszad@cyf-kr.edu.pl not later than March 15. The authors will be notified about the acceptance of their papers within 4 weeks after submission. More details will be provided in the second announcement, which is to be distributed in the middle of February, 2011. On behalf of the Organizing Committee Adam Olszewski ___________________________________________________________________________ 12) (From Marc Bezem) CSL 2011 20th Annual Conference of the European Association for Computer Science Logic ---------------------------------------------------------------- CSL 2011 - COMPUTER SCIENCE LOGIC Call for papers and workshop proposals September 12-15, 2011, Bergen, Norway http://www.eacsl.org/csl11 * Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Original research papers are called for, for more information, see http://www.eacsl.org/csl11/csl-fst-cfp-2011.pdf * Topics of interest include (but are not limited to): automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, logic and quantum computing, verification and program analysis, linear logic, higher-order logic, nonmonotonic reasoning. * Proposals for satellite workshops on more specialized topics are welcome and can be sent to csl11@eacsl.org * Important dates: Submission of title and abstract: March 27, 2011 Submission of full paper: April 3, 2011 Notification: May 30, 2011 Final paper due: June 17, 2011 Conference: September 12-15, 2011 * Program Committee: Samson Abramsky (Oxford) Andrea Asperti (Bologna) Franz Baader (Dresden) Matthias Baaz (Vienna) Johan van Benthem (Amsterdam/Stanford) Marc Bezem (Bergen, chair) Patrick Blackburn (Nancy) Andreas Blass (Michigan) Jan van den Bussche (Hasselt) Thierry Coquand (Gothenburg) Nachum Dershowitz (Tel Aviv) Valentin Goranko (Copenhagen) Erich Graedel (Aachen) Wiebe van der Hoek (Liverpool) Bart Jacobs (Nijmegen) Reinhard Kahle (Lisbon) Stephan Kreutzer (Oxford) Viktor Kuncak (Lausanne) Daniel Leivant (Indiana) Benedikt Loewe (Amsterdam) Jean-Yves Marion (Nancy) Eugenio Moggi (Genova) Albert Rubio (Barcelona) Anton Setzer (Swansea) Alex Simpson (Edinburgh) John Tucker (Swansea) Pawel Urzyczyn (Warsaw) Helmut Veith (Vienna) Andrei Voronkov (Manchester) ___________________________________________________________________________ 13) TAMC2011, Deadline Extended: FEBRUARY 5, 2011 ===================EXTENDED DEADLINE ___FEBRUARY 5___==================== 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. 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 Feb. 5, '11, 23:59PM, EST (GMT -5:00) Notification of Acceptance Mar. 4, '11 Final Version Due Mar. 9, '11 Early Registration Deadline Mar. 28, '11 PLENARY SPEAKERS Tetsuo Asano (JAIST, Japan) Richard Lipton (Georgia Tech., USA) ___________________________________________________________________________ 14) Second Announcement: International Conference on History and Philosophy of Computing ---- Second announcement International Conference History and Philosophy of Computing Celebrating the 75th anniversary of the famous 1936 Papers by A. Church, E.L. Post and A.M. Turing November 7 - 10, 2011 Gent University, Belgium http://www.computing-conference.ugent.be 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 INVITED SPEAKERS: Bill Aspray (University of Texas) Martin Davis (New York University) Fairouz Kamareddine (Heriot-Watt University Edinburgh) Sybille Krämer (Freie Universität Berlin) Giovanni Sambin (Universita' di Padova) Raymond Turner (University of Essex) Stephen Wolfram (Wolfram Research) SUBMISSIONS We plan to have up to 30 contributed papers to be presented at the conference. We welcome contributions from logicians and philosophers or historians of science as well as from philosophically aware computer scientists and mathematicians. Authors should submit an electronic version of an extended abstract (approximately 1000 words) through EasyChair. Submission will be open on when the Call for Papers is launched on 15th March 2011. CONFERENCE CHAIRS: Liesbeth De Mol and Giuseppe Primiero PROGRAMME COMMITTEE: G. Alberts (Amsterdam) S. Artemov (New York) M. Campbell-Kelly (Warwick) L. Corry (Tel Aviv) M. Denecker (Leuven) 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 The International Association for Computing and Philosophy will fund a $500 travel grant for an IACAP graduate student to attend. IACAP graduate students who would like to apply for this grant need to send a copy of their submission to Tony Beavers (executivedirector@ia-cap.org), executive director of IACAP. More details for applications will be added later. The Association also offers a 10% discount on the conference fee for IACAP members. Student members of the Association for Symbolic Logic also may apply for travel grants. To be considered for a Travel Award, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (preferably one page) and should include: (1) your name; (2) your home institution; (3) your thesis supervisor's name; (4) a one-paragraph description of your studies and work in logic, and a paragraph indicating why it is important to attend the meeting; (5) your estimate of the travel expenses you will incur; (6) (for citizens or residents of the USA) citizenship or visa status; and (7) (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply. In addition to funds provided by the ASL, the program of travel grants is supported by a grant from the US National Science Foundation; NSF funds may be awarded only to students at USA universities and to citizens and permanent residents of the USA. Air travel paid for using NSF funds must be on a US flag carrier. Application by email is encouraged; put "ASL travel application'' in the subject line of your message. Applications should be received at least three months prior to the meeting at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu. Decisions will be communicated at least two months prior to the meeting. PROCEEDINGS A selection of papers will be published as a Special Issue of the Journal Philosophy & Technology (Springer) More details on deadlines and submissions can be found at: http://www.computing-conference.ugent.be For requests and infos computing.conference@ugent.be