CiE Newsletter No.35, June 21, 2010: Please go to: http://www.cie2010.uac.pt/ for all the latest details of the CiE 2010 conference in Ponta Delgada. There is an outline timetable of scientific and other events at: http://www.cie2010.uac.pt/contents/timetable.html We have been asked to remind everyone to let the organisers know their choice of social trip - whale and dolphin watching in their natural habitat: http://www.futurismo.pt/futurismo/ or a walking tour/jeep safari at the beautiful Sete Cidades volcanic crater: http://en.wikipedia.org/wiki/Sete_Cidades http://www.trekearth.com/gallery/Europe/Portugal/Islands/Acores/Sete_Cidades / All trips end up at the Terra Nostra Garden Hotel: http://www.terranostragardenhotel.com/terra_nostra_garden_hotel_leisure.html where you can take a relaxing thermal bath or take a nature-flavoured walk in its beautiful garden before the conference dinner where you will taste the famous "Cozido das Furnas", a stew of meats and vegetables slowly baked in a volcanic crater or "caldeiras" (a vegetarian dish will also be made available). ___________________________________________________________________________ CONTENTS: 1. 3rd International Workshop on PHYSICS AND COMPUTATION (P&C 2010), On the Nile, Egypt - CALL FOR PARTICIPATION 2. Special issue of Notre Dame Journal of Formal Logic (NDJFL) associated with 5th Conference on Logic, Computability and Randomness (LCR) 3. British Logic Colloquium 2010, Birmingham, 2-4 September 4. 12th Asian Logic Conference, Victoria University, Wellington, New Zealand, 15-20 December 2011 5. ICALP 2010 - July 5-10, 2010 Bordeaux, France - THIRD CALL FOR PARTICIPATION 6. Final CfP, 4th Workshop on Membrane Computing (MeCBIC), 23-24 August, Jena (Germany) 7. Conferences on Intelligent Computer Mathematics (CICM 2010) - Call for Participation 8. Workshop on Mathematically Intelligent Proof Search (MIPS) - Call for Presentations 9. 5th Athens Colloquium on Algorithms and Complexity (ACAC 2010) - Call for contributions and participation =========================================================================== =========================================================================== 1. (from Walid Gomaa) 3rd International Workshop on PHYSICS AND COMPUTATION (P&C 2010), On the Nile, Egypt - CALL FOR PARTICIPATION: CALL FOR PARTICIPATION PHYSICS AND COMPUTATION 2010, P&C 2010 -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- P&C 2010 3rd International Workshop on PHYSICS AND COMPUTATION On the Nile, Egypt August 30 (embarkation) -- September 4 (desimbarkation on September 6) Registration: There is only one room available in the cruise (see below). the interested participant should contact as soon as possible Walid Gomaa (walid.gomaa@eng.alex.edu.eg) . -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- WEB www.pc2010.uac.pt -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- STRUCTURE OF THE EVENT: Our 6 days Workshop 'Physics and Computation 2010' comprises: 9 Invited speakers (50 minutes each, 10 minutes for discussion); 2 Tutorials (100 minutes each, 20 minutes for discussion); 16 Contributed papers (35 minutes each, 10 minutes for discussion); 1 Special Session: Homage to Arthur C. Clarke 's 2010 , HAL 9000 New Legacy. Social programme includes sightseeing (with visits to) the main Archeological Stations, light lectures after dinner on Egyptology and the reading of hieroglyphs. TUTORIALS: - Hajnal ANDREKA, Gergely SZEKELY, Judit X. MADARASZ, Istvan NEMETI, and Peter NEMETI (Physics and Computation) , Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences : Axiomatization of Physics in a logical framework. - Marco LANZAGORTA (Quantum Computation) , Technical Fellow and Director of the Quantum Information Group at ITT Corporation : Quantum computation: computability and complexity. INVITED SPEAKERS: - Samson ABRAMSKY (Quantum Computation and Protocols) , University of Oxford, Categorical foundations. - Arturo CARSETTI (Philosophy of Science) , University of Rome "Tor Vergata", The emergence of meaning at the co-evolutive level. An epistemological approach. - John CASE (Learning Theory) , University of Delaware : Algorithmic Scientific Inference. - Gilles DOWEK (CT Thesis) , Ecole Polytechnique : The physical Church thesis as an explanation of the Galileo thesis. - Thomas JENNEWEIN (Quantum Computation) , Institute for Quantum Computing , University of Waterloo : Teleportation Experiments. - Sonja SMETS (Quantum Logic) , University of Groningen : Quantum logics. - Salvador VENEGAS-ANDRACA (Quantum computation) , Tecnologico de Monterrey : Adiabatic quantum computation and NP-completeness: quantum algorithms and massive simulation in classical computer clouds. SPECIAL SESSION: The wakening of the computer ; 'Which technological realizations make us feel closer to the HAL 9000 Computer?' - Selmer BRINGSJORD , Rensselaer Polytechnic Institute (RPI) and Micah CLARK, NASA - David G. STORK , Chief Scientist of Ricoh Innovations VENUE: 3rd International Workshop on Physics and Computation, P&C 2010 Egypt, August 30 -- September 3, cruise downstream and upstream the Nile, from Luxor (through Aswan) to Luxor. Arrival and departure airports: Luxor or Cairo. (Full) Registration fee: $1500 USD , plus the (optional) sightseeing package of $ 145 USD . Includes one double room (7 nights) on board , the meals (but not drinks) and coffee breaks for the 8 days cruise on the Nile. PREVIOUS EVENTS: Second International Workshop on Physics and Computation http://www.lix.polytechnique.fr/~bournez/PC2009/i.php First International Workshop on Physics and Computation http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.h tml POST-CONFERENCE PUBLICATION: P&C 08: Two Issues of Applied Mathematics and Computation (Volume 215, Issue 4, October 15 , 2009 , Elsevier) and Natural Computing (Volume 8, Number 3 , September, 2009 , Springer) . P&C 09: Proceedings will appear as a Bentham eBook. P&C 10: Special Issue of Applied Mathematics and Computation , Special Issue of the International Journal of Unconventional Computing . We are applying for a Special Issue of Physica D . PROGRAMME COMMITTEE: - Andrew ADAMATZKI, University of West England - Selim AKL, Queen's University, Canada - Hajnal ANDREKA, Alfréd Rényi Institute of Mathematics, Budapest - Edwin BEGGS, University of Swansea - Olivier BOURNEZ, École Polytechnique - Dan BROWNE, University College London - Cristian CALUDE, University of Auckland, New Zealand - Arturo CARSETTI, University of Rome "Tor Vergata" - Barry COOPER, University of Leeds - Bob COECKE, University of Oxford - Jose Felix COSTA, Technical University of Lisbon - Gilles DOWEK, Ecole Polytechnique and INRIA - Walid GOMAA, University of Alexandria - Viv KENDON, University of Leeds - Carlos LOURENCO, University of Lisbon - Judit MADARASZ, Alfred Renyi Institute of Mathematics, Budapest - Yasser OMAR, Technical University of Lisbon - Sonja SMETS, University of Groningen , Netherlands - Mike STANNETT, University of Sheffield - Karl SVOZIL, Institut fur Theoretische Physik, Technische Universitat Wien - John V. TUCKER, University of Swansea - Jiri WIEDERMANN, Academy of Sciences of the Czech Republic , Institute of Computer Science - Karoline WIESNER, University of Bristol - Martin ZIEGLER, University of Paderborn, Germany STEERING COMMITTEE: - Caslav BRUKNER - Cristian CALUDE - Gregory CHAITIN - Jose Felix COSTA - Istvan NEMETI ORGANIZATION COMMITTEE: - Cristian CALUDE - Jose Felix COSTA - Walid GOMAA - Helia GUERRA - Karl SVOZIL =========================================================================== =========================================================================== 2. (from Peter Cholak) Special issue of Notre Dame Journal of Formal Logic (NDJFL) associated with 5th Conference on Logic, Computability and Randomness (LCR): Hopefully there will be a special issue of the Notre Dame Journal of Formal Logic (NDJFL) associated with 5th Conference on Logic, Computability and Randomness (LCR) held at Notre Dame May 24-28, 2010. The editors of the special issue will be Peter Cholak and Joe Miller. All submissions will be refereed according to the normal standards at the NDJFL. Please email Cholak at Peter.Cholak.1@nd.edu if you plan to submit something. All submissions must be submitted by Dec 31, 2010 at http://www.editorialmanager.com/ndjfl/ Please note in your submission that this submission for LCR special issue. Hopefully all refereeing will be complete by August 31, 2011 and the issue will appear in print by the end of 2011. =========================================================================== =========================================================================== 3. (from Eike Ritter) British Logic Colloquium 2010, Birmingham, 2-4 September: British Logic Colloquium 2010, Birmingham, 2-4 September The annual meeting of The British Logic Colloquium will take place from 2-4 September 2010 in Birmingham. The aim of this meeting is to present current topics in all areas of logic. The following invited speakers have confirmed that they will give talks: Mirna Dzamonja (University of East Anglia), Jeffrey Ketland (University of Edinburgh), Alexander Kurz (University of Leicester), Luke Ong (University of Oxford), Ulrike Sattler (University of Manchester), Anton Setzer (University of Swansea), Colin Stirling (University of Edinburgh), Philip Welsh (University of Bristol) and Alex Wilkie (University of Manchester). Contributed talks of 30 min length are also solicited. A limited number of grants for UK-PhD-students is available. The deadline for proposing talks and early registration is 20 July. For further details see the webpage http://events.cs.bham.ac.uk/BLC2010. BLC 2010 is supported financially by the London Mathematical Society and by the British Logic Colloquium. Eike Ritter =========================================================================== =========================================================================== 4. (from Rod Downey) 12th Asian Logic Conference, Victoria University, Wellington, New Zealand, 15-20 December 2011: The Twelfth Asian Logic Conference will be held in Victoria University, Wellington, New Zealand from 15-20 December 2011. This meeting will be held jointly with a meeting of the Australasian Association for Logic (AAL). There will be an additional workshop for students on the 14th. Tutorial Speakers will be Martin Grohe (Humboldt University) and Zlil Sela (Hebrew University). Plenary Speakers will be Hiroakira Ono (JAIST) (joint AAL) Mic Detlefsen (Notre Dame) (joint AAL) Akito Tsuboi (University of Tsukuba) Noam Greenberg (Victoria University Wellington) Greg Hjorth (Melbourne University) Isaac Goldbring(UCLA) Grigor Sargsyan (UCLA) Wu Guohua (NTU, Singapore). Special Sessions include Feng Qi and Hugh Woodin (set theory) Geoff Whittle and Daniel Marx (logical aspects of graphs and matroids) Andre Nies (algorithmic randomness) Antonio Montalban and Rod Downey (logical aspects of algebraic structures) Edwin Mares and Rob Goldblatt (modal logic). There will be a (free) student only day on the 14th given by the Tutorial Speakers. The program committee consists of Arai Toshiyasu, Byunghan Kim, Qi Feng, Sergei S. Goncharov, Greg Restall, Rod Downey, T.Arai, and Yang Yue. This is an ASL Sponsored meeting. Details can be found on the web site http://msor.victoria.ac.nz/Events/ALC2011/WebHome. =========================================================================== =========================================================================== 5. (from Nicolas Bonichon) ICALP 2010 - July 5-10, 2010 Bordeaux, France - THIRD CALL FOR PARTICIPATION: ______________________________________________________________________ CALL FOR PARTICIPATION ______________________________________________________________________ ICALP 2010 37th International Colloquium on Automata, Languages and Programming July 5-10, 2010 Bordeaux, France http://icalp10.inria.fr/ Registration url:http://icalp2010.dakini.fr Supported by the European Association for Theoretical Computer Science (EATCS) and organized by the INRIA research center in Bordeaux (http://www.inria.fr/bordeaux) with the participation of LaBRI (http://www.labri.fr/). ______________________________________________________________________ The 37th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place from the 5th to the 10th of July 2010 in Bordeaux, France. The main conference will be preceded by a series of five workshops. *106 contributed papers will be presented in three tracks * 6 invited plenary talks will be given by Pierre Fraigniaud, Jean Goubault-Larrecq, Burkhard Monien, Joel Ouaknine, Roger Wattenhofer, Emo Welzl. * Three prestigious awards will be presented: the Goedel prize, the EATCS award and the Presburger award to young scientists. * Three best contributed papers will be awarded as well. The program is available here:http://icalp10.inria.fr/index.php?n=Main.Program-AllTracks _____________________________________________________________________ The city of Bordeaux is known worldwide for its architecture (listed on the UNESCO World Heritage), quality of life and of course its wines. All informations can be found here:http://www.bordeaux-tourisme.com The conference will be held at the Cite Mondiale (http://www.citemondiale.com/) at the hearth of the city, next to the river. The social program will include an excursion in the old Bordeaux city as well as the diner conference given in the remarkable Chateau Cazeneuve. If you plan to stay arround before or after the conference, you will enjoy an exceptional environment and variety of activities (http://www.francekeys.com/english/regions/aquitaine.shtml). Bordeaux is one hour from Paris by plane, two hours of Toulouse by train. There are direct connections to cities like Paris, London, Amsterdam and Bruxelles but also for FLOC'2010 attendees to Edinburgh (http://www.bordeaux.aeroport.fr/en) ______________________________________________________________________ Accomodations, look athttp://icalp10.inria.fr/index.php?n=Main.Venue and find the hotel that best fits your needs. ______________________________________________________________________ Cancellation Policy: If a participant is unable to attend ICALP because of force majeure (e.g., volcanic ash causing flight cancellation) or because of visa denial, their registration fee and accommodation payments will be refunded in full, except for a Euro 50 administrative charge. =========================================================================== =========================================================================== 6. (from Maciej Koutny) Final CfP, 4th Workshop on Membrane Computing (MeCBIC), 23-24 August, Jena (Germany): --------------------------------------------------------------- 2nd Call for Papers MeCBIC 2010 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi http://www.info.uaic.ro/~mecbic/mecbic2010/ Jena, Germany, 23-24 August 2010 Affiliated to CMC11, Conference on Membrane Computing http://cmc11.uni-jena.de/index.html *** IMPORTANT DATES *** Title and Abstract: 18 June, 2010 Paper Submission: 25 June, 2010 (firm deadline) Notification: 31 July, 2010 EPTCS version: 12 Aug., 2010 ================================================================ Biological membranes play a fundamental role in the complex reactions which take place in cells of living organisms. The importance of this role has been considered in two different types of formalisms recently introduced. Membrane systems were introduced as a class of distributed parallel computing devices inspired by the observation that any biological system is a complex hierarchical structure, with a flow of materials and information that underlies their functioning. The modeling and the analysis of biological systems has also attracted the interest of the process algebra research community. Thus the notions of membranes and compartments have been explicitly represented in a family of calculi, such as Ambients and Brane Calculi. A cross fertilization of the two research areas has recently started. A deeper investigation of the relations between these related formalisms is interesting, as it is important to understand the similarities and the differences. The main aim of the workshop is to bring together researchers working in membrane computing, in biologically inspired process calculi (ambients, brane calculi, etc.) and in other related fields to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. Original research papers (including significant work-in-progress) on the membrane systems or biologically inspired process calculi are sought. Papers on the relationship between membrane systems and biologically inspired process calculi are particularly welcome. Related formal approaches in which cell compartments play an important role are also within the scope of the workshop. Topics of interest include (but are not limited to): * Biologically inspired models and calculi; * Biologically inspired systems and their applications; * Analysis of properties of biologically inspired models and languages; * Theoretical links and comparison between different models/systems. *** Invited Speaker: Andrew Phillips (Microsoft Research, Cambridge, UK) Stochastic Simulation of Process Calculi *** SUBMISSION GUIDELINES *** Authors are invited to submit a PDF version of their papers (of about 15 pages) using the EPTCS style (http://www.eptcs.org/). Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Authors should submit their papers via EasyChair (http://www.easychair.org/conferences/?conf=mecbic2010). We also encourage the submission of short papers, limited to 8 pages, presenting new tools or platforms related to the topics of MeCBIC 2010. *** DISSEMINATION *** The workshop proceedings will be available electronically, and then published in the Electronic Proceedings in Theoretical Computer Science. After the workshop, extended and additionally refereed papers will be published in a special issue of Theoretical Computer Science including selected papers of both MeCBIC 2009 and MeCBIC 2010. *** PROGRAM COMMITTEE *** * Joern Behre, Friedrich Schiller University, Jena, DE * Luca Cardelli, Microsoft Research, Cambridge, UK * Matteo Cavaliere, CSIC-CNB, Madrid, Spain * Gabriel Ciobanu, ICS, Romanian Academy, Iasi, RO (co-chair) * Federica Ciocchetta, CoSBi, Trento, Italy * Flavio Corradini, University of Camerino, Italy * Erzsebet Csuhaj-Varju, CARI, Hungarian Academy, Budapest, HU * Erik de Vink, Technische Universiteit Eindhoven, NL * Marian Gheorghe, University of Sheffield, UK * Jean-Louis Giavitto, University of Evry, France * Thomas Hinze, Friedrich Schiller University, Jena, DE * Maciej Koutny, Newcastle University, UK (co-chair) * Paolo Milazzo, University of Pisa, Italy * Angelo Troina, University of Torino, Italy * Claudio Zandron, University of Milano-Bicocca, Italy * Gianluigi Zavattaro, University of Bologna, Italy =========================================================================== =========================================================================== 7. (from David Delahaye) Conferences on Intelligent Computer Mathematics (CICM 2010) - Call for Participation: We are pleased to announce CICM 2010 which will take place at Conservatoire National des Arts et Metiers in Paris, France from July 5 to July 10, 2010. This continues the CICM series begun with the successful CICM 2008 in in Birmingham, England and CICM 2009 in Grand Bend, Ontario, Canada. Please visit: http://cicm2010.cnam.fr/ Conferences on Intelligent Computer Mathematics gather several conferences: - 10th International Conference on Articficial Intelligence and Symbolic Computation (AISC 2010) - 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus 2010) - 9th International Conference on Mathematical Knowledge Management (MKM 2010) Associated Workshops are: - 3rd Workshop on Compact Computer Algebra (CCA 2010) - 3rd Workshop, Towards a Digital Mathematics Library (DML 2010) - 4th Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2010) - 23rd Workshop on OpenMath (OpenMath) - Mathematically Intelligent Proof Search (MIPS 2010) - 6th Workshop on Mathematical User-Interfaces (MathUI 2010) - Content Math Training Camp with Doctoral Programme (CMTC+DP) Further events include: - A ScienCe Eu project meeting - The EuDML European project kickoff meeting - A program for doctoral students - A special training camp on Content Markup for Mathematics - A day program in honour of Therese Hardin Social Events - Conference reception with Wine & Cheese buffet at the "Cafe des Techniques" at the CNAM Museum. - Conference Banquet at restaurant le Grand Bleu, Port de l'Arsenal. The full list of events is at: http://cicm2010.cnam.fr/programme.html Looking forward to see you in Paris. Laurence Rideau, Renaud Rioboo =========================================================================== =========================================================================== 8. (from Serge Autexier) Workshop on Mathematically Intelligent Proof Search (MIPS) - Call for Presentations: CALL FOR PRESENTATIONS MIPS 2010 -International Workshop on Mathematically Intelligent Proof Search http://www.dfki.de/~serge/mips2010 CNAM, Paris, France, July 10th, 2010 MIPS explores the relationship between mathematical theory development and proof construction, both in formal and informal contexts. In either context, they are deeply connected as the choice of a language and a corresponding inference mechanism correlates with how effectively proofs can be obtained and how well mathematical arguments can be communicated. Thus languages can range from mathematical vernaculars that are close to natural languages to purely formal ones; inference mechanisms can structure arguments conceptually but may also be based on automated proof procedures that are mathematically intelligent. MIPS will bring together researchers from Computer Science, Linguistics, Mathematics and Philosophy who are interested in the whole subject or parts of it, in order to get an overview of the state of the art, present original results and discuss directions for future research. More information on MIPS can be found at http://www.dfki.de/~serge/mips2010. You are invited to submit a title and a short abstract proposing a presentation on state of the art, work in progress, original results or future directions of the workshop themes. Please submit title and abstract (up to 2-5 pages) in PDF format to http://www.easychair.org/conferences/?conf=mips2010 Deadlines ========= Submission of title and abstracts: 18 June 2010 Notification of acceptance: 24 June 2010 Organizing Committee: ===================== Serge Autexier (DFKI Bremen, Germany, Co-Organiser) Christoph Benzmueller (Articulate Software, USA) Fairouz Kamareddine (Heriot-Watt University, Scotland) Manfred Kerber (University of Birmingham, UK) Peter Koepke (University of Bonn, Germany, Co-Organiser) Michael Kohlhase (Jacobs University, Germany) Andrei Paskevich (University Paris-Sud, France) Dominique Pastre (University Paris Descartes, France) Larry Paulson (University of Cambridge, UK) Aarne Ranta (Chalmers University of Technology, Sweden) Claudio Sacerdoti-Coen (University of Bologna, Italy) Bernhard Schroeder (University of Duisburg-Essen, Germany, Co-Organiser) Wilfried Sieg (CMU, USA, Co-Organiser) Josef Urban (Radboud University, The Netherlands) Wolfgang Windsteiger (RISC, Austria) Claus Zinn (University of Konstanz, Germany) =========================================================================== =========================================================================== 9. (from Dimitris Fotakis) 5th Athens Colloquium on Algorithms and Complexity (ACAC 2010): Call for contributions and participation: 5th Athens Colloquium on Algorithms and Complexity (ACAC 2010) 27 - 28 August 2010, NTUA, Athens, Greece http://www.corelab.ece.ntua.gr/acac10 CALL FOR CONTRIBUTIONS AND PARTICIPATION SCOPE: ACAC is an annual meeting in Athens aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It serves as a lively forum for presenting research results that are in a preliminary stage or have been recently accepted / presented in some major conference. Contributions may appear, fully or partially, in informal electronic proceedings available only to the participants (subject to authors' approval). The language of the workshop is English. VENUE: National Technical University of Athens, Greece, Zografou Campus, Multimedia room (under the Central Library Building). For directions on how to reach the conference site see http://www.ntua.gr/en_ntua/campus.htm. REGISTRATION: There will be no registration fees. However, participants should register for administrative purposes no later than August 10, by filling the registration form at http://www.corelab.ece.ntua.gr/acac10/registration. CONTRIBUTIONS: Participants interested in giving a presentation should provide a tentative title and a short abstract no later than July 20, by sending an e-mail to acac10[AT]corelab[DOT]ntua[DOT]gr. The organizers will make every possible effort so that all interested participants present their work (subject to schedule constraints). ORGANIZING COMMITTEE: Dimitris Fotakis, Elias Koutsoupias, Evangelos Markakis, Ioannis Milis, Aris Pagourtzis, Stathis Zachos (chair), Vassilis Zissimopoulos. LOCAL ARRANGEMENTS: Andreas Goebel, Paris Koutris, Thanasis Lianeas, Eleni Mpakali. CONTACT: For registration and further details please contact the organizers by email to acac10[AT]corelab[DOT]ntua[DOT]gr. =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text (avoiding accents) to s.b.cooper@leeds.ac.uk to arrive by July 11th, 2010 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2010 http://www.cie2010.uac.pt/ CiE Membership Application Form http://www.cs.swan.ac.uk/acie ALAN TURING YEAR http://www.turingcentenary.eu/ ___________________________________________________________________________