[TYPES/announce] DCM 2015 (Cali, Colombia): Deadline Extension.
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == FINAL CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models A satellite event of ICTAC 2015 - http://www.ictac2015.co October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 17, 2015 == Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. DCM 2015 is the eleventh in a series of international workshops focusing on new computational models. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth International Colloquium on Theoretical Aspects of Computing. == TOPICS OF INTEREST Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting; - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - models of concurrency, including the treatment of mobility, trust, and security; - infinitary models of computation; - information-theoretic ideas in computing; - relative and higher type computation. == IMPORTANT DATES - Submission Deadline for Extended Abstracts: August 17 (extended) - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December == INVITED SPEAKERS Mauricio Ayala Rincón, Universidade de Brasilia (Brazil). Gilles Dowek, INRIA (France). == SUBMISSIONS Submit your paper in PDF format via the conference EasyChair submission page: https://www.easychair.org/conferences/?conf=dcm2015 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS, following the EPTCS style: http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of EPTCS. == PROGRAM COMMITTEE: Mario Benevides (Brazil) Luís Caires (Portugal) Ugo Dal Lago (Italy) Nachum Dershowitz (Israel) Jérôme Feret (France) Marcelo Frias (Argentina) Russ Harmer (France) Ivan Lanese (Italy) Radu Mardare (Denmark) Elvira Mayordomo (Spain) César A. Muñoz (USA) - chair Jorge A. Pérez (The Netherlands) - chair Andrés Sicard-Ramírez (Colombia) Alexandra Silva (The Netherlands) Daniele Varacca (France) -- Jorge A. Pérez Assistant Professor Johann Bernoulli Institute for Mathematics and Computer Science University of Groningen Groningen, The Netherlands URL: http://www.jorgeaperez.net
[TYPES/announce] Computability workshops at CiE 2015 in Bucharest
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] WORKSHOP ON COMPUTABILITY THEORY (WCT 2015) and 3rd WORKSHOP ON MIND, MECHANISM AND MATHEMATICS (MMM 2015) BUCHAREST, JUNE 27-28, 2015 This multi-disciplinary Workshop brings together the workshop on Mind, Mechanism and Mathematics (as part of the Templeton Foundation supported Turing Centenary Research Project) and the 2015 Workshop on Computability Theory (WCT 2015), held in Bucharest on June 27-28, 2015. The workshop will be co-located with the conference Computability in Europe 2015: Evolving Computability (CiE 2015) in Bucharest, June29-July 3, 2015: http://fmi.unibuc.ro/CiE2015/ More information about the joint workshop and programme can be found at the WCT 2015/MMM 2015 webpages: http://wct.math.uconn.edu/wctbucharest/ http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?711 Invited speakers include: Marat Arslanov, Kazan State University Eric Astor, University of Chicago Nikolay Bazhenov, Sobolev Institute of Mathematics Mark Braverman, Princeton University Stephanie Dick, Harvard University David Gamez, University of Sussex Paul Grant, University of Cambridge Noam Greenberg, Victoria University of Wellington Margarita Korovina, Novosibirsk State University Rutger Kuyper, Radboud University Nijmegen Steffen Lempp, University of Wisconsin, Alberto Marcone, Università di Udine Andrew Marks, Caltech Simon Martiel, University of Nice-Sophia Antipolis Joe Miller, University of Wisconsin Andre Nies, University of Auckland Andrey Sariev, Sofia University Rebecca Schulman, Johns Hopkins University Registration is free, and can be added free to registration for CiE 2015 with which the Workshop is co-located, at: http://fmi.unibuc.ro/CiE2015/ http://fmi.unibuc.ro/CiE2015/registration.html For more information, you can contact any of the organizers - for WCT 2015: Damir Dzhfarov, Connecticut Ekaterina Fokina, Vienna Alexandra Soskova, Sofia Stefan Vatev, Sofia and for MMM 2015: S. Barry Cooper, Leeds
[TYPES/announce] CiE 2015, Bucharest, Romania - EXTENDED SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ EXTENDED SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS: MAY 3, 2015 CALL FOR INFORMAL PRESENTATIONS There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. The length of these presentations has previously been 25 minutes and we intend to follow this tradition. For this, please send us a brief description of your talk (between one paragraph and one page) by: MAY 3, 2015 Please submit your abstract electronically, via EasyChair https://easychair.org/conferences/?conf=cie2015, selecting the category Informal Presentation. You will be notified whether your talk has been accepted for informal presentation usually within a week or two after your submission.
[TYPES/announce] Legacy of Reuben Goodstein, Friday 14th December, 2012
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ___ THE LEGACY OF REUBEN GOODSTEIN His Centennial and the Wittgenstein Connection Friday 14th December 2012, University of Leicester 2012 is the Centenary of the birth of Reuben Louis Goodstein, the first holder of a UK university chair in Mathematical Logic. In honour of Goodstein and his legacy, we are organizing a day recognizing his impact on the development of Mathematical Logic, worldwide, in the UK and at Leicester. The list of distinguished speakers includes: Harvey Rose (Bristol), Jan von Plato (Helsinki), Stanley Wainer (Leeds), Mathieu Marion/Mitsuhiro Okada (Montreal/Keio, Japan), Mike Price (Leicester), Mary Walmsley (Leicester). Topics will include: * Goodstein's theorem in the light of the Bernays-Goodstein correspondence * Goodstein sequences and independence of Peano arithmetic * Goodstein and Wittgenstein * Goodstein and the Mathematical Association * We are also hoping to have a panel discussion entitled 'Goodstein * 'Remembered', where any delegate can share memories and thoughts of Goodstein. We anticipate there will be a number of ex-colleagues and students of Goodstein, and members of the Goodstein family in attendance, and a small evening dinner for speakers and organisers, and guests. The meeting is supported by the London Mathematical Society, and there are a number of bursaries available to UK research students to enable them to attend the meeting. Registration is free. To register, and for details of the programme, please go to the meeting webpage: http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein Download a copy of the conference poster: http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein/Goodstein.pdf __ Organisers: S. Barry Cooper (Leeds), Jeremy Levesley (Leicester), Rick Thomas (Leicester), Paul Williams (LSE)
[TYPES/announce] Turing Centenary Research Project Mind, Mechanism and Mathematics
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are very happy to announce that the 8 Turing Fellows and Scholars have been chosen to work on the 3-year Turing Centenary Research Project Mind, Mechanism and Mathematics. The details of the lucky winners can be found at: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?704 There were no less than 92 proposals for these grants (provided by the John Templeton Foundation), generally of very high quality, which gave the Judging Panel a great deal of work to do. We would like to congratulate the 8 worthy winners, and to encourage the other 91% of applicants to not be discouraged, but to keep looking for funding opportunities, with the expectation of eventual success. We will be looking for a continuation of the Mind, Mechanism and Mathematics programme in 2015. Best, Barry __ Prof S Barry Cooper Tel: UK: (0113) 343 5165, Int: +44 113 343 5165 School of MathematicsFax: UK: (0113) 343 5090, Int: +44 113 3435090 University of Leeds Email: pmt6...@leeds.ac.uk, Mobile: 07590602104 Leeds LS2 9JTHome tel: (0113) 278 2586, Int: +44 113 2782586 U.K. WWW: http://www.amsta.leeds.ac.uk/~pmt6sbc _ The ALAN TURING YEAR http://www.turingcentenary.eu and its new journal COMPUTABILITYhttp://www.computability.de/journal ** Apologies, the ATY email overload is increasingly severe - if my reply is delayed, I can only apologise, and hope you understand the unusual circumstances arising from this remarkable year. Only essential replies, please. **
[TYPES/announce] Turing Centenary Workshop on The Incomputable, June 12-15, 2012
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Registration - final deadline March 16: June 12-15, 2012 - Turing Centenary Workshop on THE INCOMPUTABLE at the Kavli Royal Society International Centre, Chicheley Hall, UK www.mathcomp.leeds.ac.uk/turing2012/inc/ THE INCOMPUTABLE is a major workshop of the 6-month Isaac Newton Institute programme - Semantics and Syntax: A Legacy of Alan Turing (SAS). THE INCOMPUTABLE is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. It is held in association with the Turing Centenary Conference (CiE 2012) in Cambridge the following week, which will run up to the June 23rd centenary of Turing's birth, and will culminate with a birthday celebration at Turing's old college, King's College, Cambridge. The programme includes invited talks from over 50 leaders in their fields, with a unique multidisciplinary coverage of areas including mathematics, computer science, physics, biology and philosophy. For details, see the webpage: http://www.mathcomp.leeds.ac.uk/turing2012/inc/ Chicheley Hall is a truly extraordinary venue for the meeting, beautifully maintained by the Royal Society, and offering superb facilities for the talks, accommodation, and informal discussions. Set in 80 acres of country landscape, it offers comfort, free wifi throughout, a bar open to 12 or later each night, and many other comforts and opportunities for exciting and novel interactions. THE INCOMPUTABLE, generously supported by the John Templeton Foundation, promises to be a historic event, bringing the mathematical theory of incomputability centre-stage once again. Attendance is limited to 115 participants, and there are already nearly this number registered. If you would like to register, or be placed on the waiting list for a place at the workshop, please go to the registration page at: http://www.mathcomp.leeds.ac.uk/turing2012/inc/give-page.php?26 and fill in the form there. Suggested arrival and departure dates are June 11, and June 16, respectively. Note: Participants of the Isaac Newton Institute for Mathematical Sciences programme Semantics and Syntax: A Legacy of Alan Turing, including Junior Members, may request that their local expenses for the workshop be supported by the INI. Organisers: S Barry Cooper and Mariya Soskova ** ALAN TURING YEAR http://www.turingcentenary.eu
[TYPES/announce] Computability: Contribute to the Inaugural Issue!
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues We plan to launch the inaugural issue of Computability in June 2012, as part of the celebrations of the Alan Turing Centenary! See the announcement of our new journal below! The online submission system should be fully functional by now and we have already received a number of promising submissions that are currently in the reviewing process. However, there is still the opportunity to contribute to the inaugural issue and papers which are submitted by 1 October 2011 have a chance to be considered for the first issue! We are looking forward to all submissions of high quality! Further instructions regarding the electronic submission process are available on our web page: http://www.computability.de/journal/ Regards Vasco Brattka COMPUTABILITY The Journal of the Association CiE Now Accepting Submissions! First volume to be published in 2012 as part of the celebrations of the Alan Turing Year http://www.computability.de/journal/ _ Aims and Scope Computability is the journal of the Association Computability in Europe and it is published by IOS Press in Amsterdam. The journal Computability is a peer reviewed international journal that is devoted to publishing original research of highest quality, which is centered around the topic of computability. The subject is understood from a multidisciplinary perspective, recapturing the spirit of Alan Turing (1912-1954) by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, computational neuroscience, history and the philosophy of computing. Editor-in-Chief Vasco Brattka (Cape Town, South Africa) Managing Editors Paola Bonizzoni (Milan, Italy) S. Barry Cooper (Leeds, UK) Benedikt Löwe (Amsterdam, The Netherlands) Elvira Mayordomo (Zaragoza, Spain) Editorial Board Samson Abramsky (Oxford, UK) Manindra Agrawal (Kanpur, India) Eric Allender (Piscataway, USA) Jeremy Avigad (Pittsburgh, USA) Arnold Beckmann (Swansea, UK) Olivier Bournez (Palaiseau, France) Alessandra Carbone (Paris, France) Karine Chemla (Paris, France) Bruno Codenotti (Pisa, Italy) Stephen A. Cook (Toronto, Canada) Anuj Dawar (Cambridge, UK) Rodney G. Downey (Wellington, New Zealand) Natasha Jonoska (Tampa, USA) Ulrich Kohlenbach (Darmstadt, Germany) Russell Miller (New York, USA) Andrei Morozov (Novosibirsk, Russia) Prakash Panangaden (Montreal, Canada) Frank Stephan (Singapore) Vlatko Vedral (Oxford, UK) Rineke Verbrugge (Groningen, The Netherlands) Ning Zhong (Cincinnati, USA) Submission Guidelines The journal Computability invites submission of full papers of highest quality on all research topics related to computability. Computability accepts only submissions of original research papers that have not been published previously and that are not currently submitted elsewhere. Full versions of papers that have already been published in conference proceedings are eligible only if the conference version is clearly cited and the full version enhances the conference version significantly. Authors are requested to submit PDF manuscripts electronically via the online submission system. Authors can indicate non-binding wishes regarding Editorial Board Members who should handle their submission. Final versions of accepted papers have to be prepared using the journal style file and they need to be submitted together with all source files. Authors submitting a manuscript do so on the understanding that they have read and agreed to the terms of the IOS Press Author Copyright Agreement and that all persons listed as authors have given their approval for the submission of the paper. _ Members of the Association CiE will have free access to the journal Association CiE:http://www.computability.org.uk/ CiE Membership Application: http://www.cs.swan.ac.uk/acie/ Journal:http://www.computability.de/journal/ _
[TYPES/announce] COMPUTABILITY - The Journal of the Association CiE
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ___ COMPUTABILITY The Journal of the Association CiE Now Accepting Submissions! First volume to be published in 2012 as part of the celebrations of the Alan Turing Year http://www.computability.de/journal/ ___ Aims and Scope Computability is the journal of the Association Computability in Europe and it is published by IOS Press in Amsterdam. The journal Computability is a peer reviewed international journal that is devoted to publishing original research of highest quality, which is centered around the topic of computability. The subject is understood from a multidisciplinary perspective, recapturing the spirit of Alan Turing (1912-1954) by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, computational neuroscience, history and the philosophy of computing. Editor-in-Chief Vasco Brattka (Cape Town, South Africa) Managing Editors Paola Bonizzoni (Milan, Italy) S. Barry Cooper (Leeds, UK) Benedikt Loewe (Amsterdam, The Netherlands) Elvira Mayordomo (Zaragoza, Spain) Editorial Board Samson Abramsky (Oxford, UK) Manindra Agrawal (Kanpur, India) Eric Allender (Piscataway, USA) Jeremy Avigad (Pittsburgh, USA) Arnold Beckmann (Swansea, UK) Olivier Bournez (Palaiseau, France) Alessandra Carbone (Paris, France) Karine Chemla (Paris, France) Bruno Codenotti (Pisa, Italy) Stephen A. Cook (Toronto, Canada) Anuj Dawar (Cambridge, UK) Rodney G. Downey (Wellington, New Zealand) Natasha Jonoska (Tampa, USA) Ulrich Kohlenbach (Darmstadt, Germany) Russell Miller (New York, USA) Andrei Morozov (Novosibirsk, Russia) Prakash Panangaden (Montreal, Canada) Frank Stephan (Singapore) Vlatko Vedral (Oxford, UK) Rineke Verbrugge (Groningen, The Netherlands) Ning Zhong (Cincinnati, USA) Submission Guidelines The journal Computability invites submission of full papers of highest quality on all research topics related to computability. Computability accepts only submissions of original research papers that have not been published previously and that are not currently submitted elsewhere. Full versions of papers that have already been published in conference proceedings are eligible only if the conference version is clearly cited and the full version enhances the conference version significantly. Authors are requested to submit PDF manuscripts electronically via the online submission system. Authors can indicate non-binding wishes regarding Editorial Board Members who should handle their submission. Final versions of accepted papers have to be prepared using the journal style file and they need to be submitted together with all source files. Authors submitting a manuscript do so on the understanding that they have read and agreed to the terms of the IOS Press Author Copyright Agreement and that all persons listed as authors have given their approval for the submission of the paper. http://www.computability.de/journal/ ___
[TYPES/announce] Turing Centenary Research Competition - Call for Proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] THE TURING CENTENARY RESEARCH PROJECT: MIND, MECHANISM AND MATHEMATICS Research Fellowship and Scholar Competition http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408 Submission deadline - December 16, 2011 More than any other figure, Turing has left a coherent scientific agenda related to many of the 'Big Questions' concerning the relationship between the human mind, mechanism in nature, and the mathematics required to clarify and answer these questions. The very breadth and fundamental nature of Turing's impact makes the centenary celebration a hugely opportune period in which to reassert the role of basic thinking in relation to deep and intractable problems facing science. 'The Turing Centenary Research Project - Mind, Mechanism and Mathematics', supported by a major grant from the John Templeton Foundation, arises from the above-mentioned scientific agenda, and is aimed at researchers still within ten years of receiving their Ph.D. The participants in the research project will be the winners of the 'Mind, Mechanism and Mathematics' competition, designed to provide significant funding support for eight young researchers. Five of the winners will become JTF 'Turing Research Fellows' with an award of £75,000 each; and awards of £45,000 will be for JTF 'Turing Research Scholars' in the 16 to 25 age-group. The competition is organised in conjunction with the Turing Centenary Celebration, to be held June 22-25, 2012, at the Manchester City Hall and the University of Manchester. The award winners will be duly honoured on the June 23, 2012 centenary of Turing's birth. Further details: __ Honorary Chairs: Rodney Brooks and Sir Roger Penrose Submission deadline - December 16, 2011 Award Notification - March 31, 2012 Award Ceremony - Turing Centenary Day, June 23, 2012 Commencement of the research project - July 1, 2012 Proposals will be judged relative to four research themes: Chair of the Judges: S Barry Cooper (Leeds) The Judges for Research Theme 1 (The Mathematics of Emergence: The Mysteries of Morphogenesis): Luca Cardelli (Microsoft Research, Cambridge) Stuart Kauffman (Vermont/Santa Fe) Cris Moore (New Mexico/Santa Fe) The Judges for Research Theme 2 (Possibility of Building a Brain: Intelligent Machines, Practice and Theory): Luciano Floridi (Oxford/Hertfordshire) Barbara Grosz (Harvard) Aaron Sloman (Birmingham) The Judges for Research Theme 3 (Nature of Information: Complexity, Randomness, Hiddenness of Information): Eric Allender (Rutgers) Rodney Downey (Wellington) Manindra Agrawal (Kanpur) The Judges for Research Theme 4 (How should we compute? New Models of Logic and Computation): Samson Abramsky (Oxford) Gordon Plotkin (Edinburgh) Robert I. Soare (Chicago) Proposals should be made via the EasyChair submission page at: http://www.easychair.org/conferences/?conf=turingresearch2012 For further details, see: http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408 __ ALAN TURING YEAR http://www.turingcentenary.eu _ Prof S Barry Cooper Tel: UK: (0113) 343 5165, Int: +44 113 343 5165 School of MathematicsFax: UK: (0113) 343 5090, Int: +44 113 3435090 University of Leeds Email: pmt6...@leeds.ac.uk, Mobile: 07590602104 Leeds LS2 9JTHome tel: (0113) 278 2586, Int: +44 113 2782586 U.K. WWW: http://www.amsta.leeds.ac.uk/~pmt6sbc __
[TYPES/announce] Final Call for Papers - Developments in Computational Models 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Papers DCM 2011 7th International Workshop on Developments in Computational Models July 3, 2011 Zurich, Switzerland http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM_2011.html A satellite event of ICALP 2011 - http://icalp11.inf.ethz.ch/ Extended Deadline for submissions: 30 May, 2011 DCM 2011 is the seventh in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. The goal of DCM is to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2011 will be a one-day satellite event of ICALP 2011 in Zurich, Switzerland. TOPICS OF INTEREST: --- Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility, trust, and security; - comparisons of different models of computations; - information-theoretic ideas in computing. IMPORTANT DATES: Paper Submission: May 30, 2011 Notification: June 15, 2011 Workshop July 03, 2011 SUBMISSIONS: Please submit a paper via the conference EasyChair submission page: http://www.easychair.org/conferences/?conf=dcm2011 Submissions should be at most 12 pages, in PDF format. Please use the EPTCS macro package and follow the instructions of EPTCS: http://eptcs.org/ http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should should not be necessary to assess the merits of a submission. PUBLICATION: Accepted contributions will appear in EPTCS (Electronic Proceedings in Theoretical Computer Science). After the workshop, quality permitting full versions of selected papers will be invited for a special issue in an internationally leading journal. INVITED SPEAKER: Matthias Christandl, Swiss Federal Institute of Technology, Switzerland - PROGRAMME COMMITTEE: Erika Andersson, Heriot-Watt University, UK Nachum Dershowitz, Tel Aviv University, Israel Eleni Diamanti, CNRS Telecom ParisTech, France Lucas Dixon, Google, USA Elham Kashefi, University of Edinburgh, UK (Co-chair) Delia Kesner, CNRS Universite Paris Diderot, France Helene Kirchner, INRIA, France Heinz Koeppl, ETH Zurich, Switzerland Jean Krivine, CNRS Universite Paris Diderot, France (Co-chair) Michael Mislove, Tulane University, USA Mio Murao, University of Tokyo, Japan Vincent van Oostrom, Utrecht University, The Netherlands Femke van Raamsdonk, VU University Amsterdam, The Netherlands (Co-chair) Paul Ruet, CNRS Institut de Mathematiques de Luminy, France Aaron Stump, University of Iowa, USA Further information: Elham Kashefi ekash...@inf.ed.ac.uk Jean Krivine jkriv...@pps.jussieu.fr Femke van Raamsdonk fe...@cs.vu.nl
[TYPES/announce] Book Announcement: Computability In Context
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Book Announcement: __ COMPUTABILITY IN CONTEXT: Computation and Logic in the Real World (ed. S Barry Cooper and Andrea Sorbi) World Scientific, Feb. 2011 http://www.worldscibooks.com/mathematics/p577.html Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume, arising from the conference Computability in Europe 2007: Computation and Logic in the Real World, addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues. Contents: * Computation, Information, and the Arrow of Time (P Adriaans P van Emde Boas) * The Isomorphism Conjecture for NP (M Agrawal) * The Ershov Hierarchy (M M Arslanov) * Complexity and Approximation in Reoptimization (G Ausiello et al.) * Definability in the Real Universe (S B Cooper) * HF-Computability (Y L Ershov et al.) * The Mathematics of Computing Between Logic and Physics (G Longo T Paul) * Liquid State Machines: Motivation, Theory, and Applications (W Maass) * Experiments on an Internal Approach to Typed Algorithms in Analysis (D Normann) * Recursive Functions: An Archeological Look (P Odifreddi) * Reverse Mathematics and Well-Ordering Principles (M Rathjen A Weiermann) * Discrete Transfinite Computation Models (P D Welch) ISBN: 978-1-84816-245-7, 1-84816-245-6 __
[TYPES/announce] CiE 2011 - Call for Informal Presentations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] _ Call for Informal Presentations CiE 2011: Computability in Europe Models of Computation in Context Sofia, Bulgaria 27 June 2011 - 2 July 2011 http://cie2011.fmi.uni-sofia.bg/ _ There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. Continuing the tradition of past CiE conferences, this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and one page) by the DEADLINE: MAY 15, 2011 Please submit your abstract electronically, via EasyChair, selecting the category Informal Presentation. You will be notified whether your talk has been accepted for informal presentation usually within a week after your submission, so if you intend to apply for ASL Student Travel Awards you should submit your abstract before March 27, 2011. Let us remind you that we are planning several post-conference publications, which will contain full articles of selected CiE 2011 presentations, including informal presentations. GRANTS: Grants for students, members of the ASL: Students who are members of the ASL may apply for ASL travel support. Applications have to be addressed directly to the ASL, see their web-site on student travel awards for more information. The deadline for applying for an ASL grant is March 27, 2011, applying earlier is encouraged. NSF Grants for young U.S. participants: The National Science Foundation of the United States is providing travel support targeted at junior researchers and students from the U.S. Request for support should be sent to cen...@ufl.edu by March 30, 2011. Preference will be given to those who are presenting papers at the conference. Students should provide a letter of support from their advisors. EMS grants for young East European Reserchers: Thanks to the generous support from EMS, CiE 2011 is glad to be able to offer partial or total fee waivers for a small number of Eastern European researchers (including from former Soviet Union), whose work has been accepted for presentation at CiE2011. Preference will be given to young researchers and researchers with papers accepted for LNCS. To apply, please send an application to cie2...@fmi.uni-sofia.bg. The application should include name, affiliation and the title of the submission for CiE 2011. The deadline for application is April 30, 2011. 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. The grant will be paid as a reimbursement of up to 200 EUR of travel and accommodation expenses. More information about deadlines and the application process will become available in March 2011. All questions about the conference could be send at cie2...@fmi.uni-sofia.bg ___ 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 CiE Membership Application Form http://www.cs.swan.ac.uk/acie ___
[TYPES/announce] TAMC 2011, Tokyo, Japan - SECOND CALL FOR PAPERS
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS TAMC 2011 8th Annual Conference on Theory and Applications of Models of Computation May 23 -- 25, 2011, Tokyo, Japan EMAIL: tamc2...@easychair.org http://www.tamc2011.com/ After six annual meetings in China ('04-'09) and one in Czech Republic ('10), TAMC2011 will be held in Japan, at the University of Electro-Communications, approximately 10 miles southwest of the Shinjuku district in Tokyo. AIM AND SCOPE TAMC aims at bringing together a wide range of researchers with interests in computational models and their applications. The main themes of the conference are computability, complexity, and algorithms. The topics of interest include (but are not limited to): - algebraic computation, - approximation algorithms, - automata theory, - biological computing, - circuit complexity, - computability, - computational biology, - computational complexity, - computational game theory, - computational logic, - computational geometry, - cryptography, - data structures, - distributed algorithms, - graph algorithms, - information and randomness, - learning theory, - natural computation, - network algorithms, - neural computational models, - online algorithms, - parallel algorithms, - proof complexity, - quantum computing, - randomized algorithms, - streaming algorithms. SUBMISSION GUIDELINE Submission is through EasyChair: https://www.easychair.org/account/signin.cgi?conf=tamc2011. A submission must be typeset with LaTeX using the Springer-Verlag Lecture Notes style. Its length must be no more than ten pages. A clearly marked appendix may be added, but it will be read at the discretion of PC. Submission of papers accepted for publication in journals is not permitted. Nor is simultaneous submission to other conferences with published proceedings. PROCEEDINGS The conference proceedings will be published as a volume in Lecture Notes in Computer Science. JOURNAL SPECIAL ISSUES A special issue of selected papers from TAMC2011 in Theoretical Computer Science is being planned. Another TAMC special issue may be published in Mathematical Structures in Computer Science. PLENARY SPEAKERS Tetsuo Asano (JAIST, Japan) Richard Lipton (Georgia Tech., USA) PROGRAM COMMITTEE Olaf Beyersdorff (Hannover, Germany) Cristian Calude (Auckland, New Zealand) Amit Chakrabarti (Hanover, USA) Danny Chen (Notre Dame, USA) Zhi-Zhong Chen (Tokyo, Japan) Marek Chrobak (Riverside, USA) Pierluigi Crescenzi (Firenze, Italy) William Gasarch (College Park, USA) Tero Harju (Turku, Finland) Miki Hermann (Palaisseau, France) Sanjay Jain (Singapore, Singapore) Ming-Yang Kao (Chicago, USA) S Rao Kosaraju (Baltimore, USA) Carlos Martin Vide (Tarragona, Spain) Peter Bro Miltersen (Aarhus, Denmark) Mitsunori Ogihara, chair (Miami, USA) Ruediger Reischuk (Luebeck, Germany) Christian Sohler (Dortmund, Germany) Jun Tarui, co-chair (Tokyo, Japan) Takeshi Tokuyama (Sendai, Japan) Chee-Keng Yap (New York, USA) STEERING COMMITTEE Manindra Agrawal (Kanpur, India) Jin-Yi Cai (Madison, USA) S. Barry Cooper (Leeds, UK) John Hopcroft (Ithaca, USA) Angsheng Li (Beijing, China) IMPORTANT DATES Submission Deadline Jan. 10, '11 Notification of AcceptanceFeb. 18, '11 Final Version Due Mar. 7, '11 Early Registration Deadline Mar. 28, '11
[TYPES/announce] CiE 2011 - 2nd call for papers: Deadline 14 January 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] _ 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
[TYPES/announce] 2012 - THE ALAN TURING YEAR
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2012 - THE ALAN TURING YEAR: June 23, 2012, is the Centenary of Alan Turing's birth. During his relatively brief life, Turing made a unique impact on the history of computing, computer science, artificial intelligence, developmental biology, and the mathematical theory of computability. 2012 will be a year-long celebration of Turing's life and scientific impact, with a number of major events taking place throughout the year. Most of these will be linked to places with special significance in Turings life, such as Cambridge, Manchester and Bletchley Park. If you would like to be included in the Turing Centenary email list, please go to: http://www.turingcentenary.eu/ and enter your email address in the panel provided. __ ALAN TURING YEAR http://www.turingcentenary.eu _ Prof S Barry Cooper Tel: UK: (0113) 343 5165, Int: +44 113 343 5165 School of MathematicsFax: UK: (0113) 343 5090, Int: +44 113 3435090 University of Leeds Email: pmt6...@leeds.ac.uk, Mobile: 07590602104 Leeds LS2 9JTHome tel: (0113) 278 2586, Int: +44 113 2782586 U.K. WWW: http://www.amsta.leeds.ac.uk/~pmt6sbc __
[TYPES/announce] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Papers DCM 2009 5th International Workshop on Developments in Computational Models - Computational Models From Nature http://www.pps.jussieu.fr/~danos/dcm09 Rhodes, Greece Saturday, 11 July 2009 ** EXTENDED DEADLINE: 7 MAY, 2009 ** A satellite event of ICALP 2009 - http://icalp09.cti.gr/ DCM 2009 is the fifth in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. And to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2009 will be a one-day satellite event of ICALP 2009, with a special focus on the theme 'Computational Models From Nature'. Plenary speakers: Prakash Panangaden (McGill University) Computing with Anyons Amin Coja-Oghlan (Edinburgh) Random Constraint Satisfaction Problems Damien Woods (Seville) Two Notions of Uniformity in Natural Computing Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modelling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility, trust, and security; - information-theoretic ideas in computing. PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF format to the conference EasyChair submission page: https://www.easychair.org/login.cgi?conf=dcm2009 by the EXTENDED DEADLINE: 7 MAY, 2009. Accepted contributions will appear in a special issue of the EPTCS (Electronic Proceedings in Theoretical Computer Science). After the workshop, full versions of selected papers will be considered for a special issue of the IJSI (International Journal of Software and Informatics). IMPORTANT DATES: Submission deadline: 7 May, 2009 Notification: 25 May Workshop: 11 July, 2009 PROGRAMME COMMITTEE: S. Barry Cooper (Leeds, Co-chair) Vincent Danos (Edinburgh, Co-chair) Paola Bonizzoni (Milan) Alessandra Carbone (Paris) Luca Cardelli (Microsoft Research) Robert Coecke (Oxford) Mariangiola Dezani (Turin) Ellie D'Hondt (Brussels) Lionel Dupuy (SCRI, Dundee) Jerome Feret (INRIA, ENS Paris) Maribel Fernandez (King's College, London) Mark Hogarth (Cambridge) Jean-Pierre Jouannaud (Tsinghua, CNRS) Zoran Konkoli (Chalmers) Angsheng Li (CAS, Beijing) Ian Mackie (Ecole Polytechnique) Gheorghe Paun (Bucharest) Simon Perdrix (Paris) Grzegorz Rozenberg (Leiden) Peter Selinger (Dalhousie) Jiri Wiedermann (Prague) Damien Woods (Seville) = Further information: Barry Cooper, pmt6...@leeds.ac.uk Vincent Danos, vincent.da...@gmail.com =