CiE Newsletter No.9, April 3, 2009 ___________________________________________________________________________ CONTENTS: 1. Logic Colloquium 2009 Sofia 31 July-5 August - Second Announcement 2. Theory and Applications of Models of Computation (TAMC 2009) 3. UC 2009 - 8th International Conference on UNCONVENTIONAL COMPUTATION 4. Computability and Complexity in Analysis 2009 (CCA 2009) - Second CfP 5. CALCO-jnr: CALCO Young Researchers Workshop, September 6, 2009, Udine, Italy 6. GENTZEN SYSTEMS AND BEYOND TABLEAUX 2009 WORKSHOP 7. Panhellenic Logic Conference: Submission Deadline Extension 8. PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics 9. Conference on Philosophy and Foundations of Mathematics, May 5-8, 2009 (2nd announcement) 10. CFP: Special Issue of Studia Logica on Logic and the Foundations of Physics 11. Postdoctoral positions in algorithmic bioinformatics 12. Effective Mathematics of the Uncountable (EMU 2009) 13. LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009 ========================================================================= 1. (from Mariya Soskova) Logic Colloquium 2009 Sofia 31 July - 5 August - Second Announcement: ********************************************************************* Second Announcement Logic Colloquium 2009 Sofia 31 July - 5 August http://lc2009.fmi.uni-sofia.bg Extended deadline for submissions: 30 April, 2009 Extended deadline for grant applications: 15 April, 2009 ********************************************************************* IMPORTANT NEWS SATELLITE MEETING: Workshop on Computability Theory, Sofia, August 6-7. The logic group at Sofia University is organizing an informal workshop on computability theory immediately after the end of the Logic Colloquium 2009. The workshop is planned as a series of lectures given by invited speakers. Everyone interested in computability theory is invited to extend their stay in Sofia by a couple of days and attend the workshop. There will be no additional registration fee. People intending to attend the workshop should notify the organizers per email: Mariya Soskova at msoskova@gmail.com or Alexandra Soskova at lc2009@fmi.uni-sofia.bg Extended deadlines for grant applications and abstract submissions. The ASL will make available modest travel awards to graduate students in logic and to recent PhD~Qs to attend the 2009 ASL European Summer Meeting in Sofia, Bulgaria. The European Summer Meeting is also 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. Applications and recommendations must be received before the deadline of April 15, 2009, by e-mail at lc2009@fmi.uni-sofia.bg or by regular mail at LC2009 Alexandra Soskova Dept. of Math Logic Faculty of Mathematics and Informatics Sofia University boul. James Bourchier 5 1164, Sofia Bulgaria The Programme Committee cordially invites all researchers to submit contributed papers that have logic research content that lies within the scope of the interests of the ASL. Submission Deadline: 30 April 2009 Notification of Authors: 15 May 2009 The abstracts of the contributed talks will be published in The Bulletin of Symbolic Logic if at least one of the authors is a member of ASL. The rules for abstract submission can be found at the conference webpage http://lc2009.fmi.uni-sofia.bg. Confirmed special session speakers. The following special session speakers have confirmed: Logic and Category Theory: Steve Awodey, Andrej Bauer, Richard Blute. Computability Theory: Serikzhan Badaev, George Barmpalias, Denis Hirschfeldt, Andrei Morozov. Model Theory, New Directions in Classification Theory: Hans Adler, Yevgeniy Vasilyev, Antongiulio Fornasiero, Alf Onshuus. Philosophical Logic: Philippe Balbiani, Roman Kontchakov, Istvan Nemeti, Frank Wolter. Set Theory: Grigor Sargysan, Dima Sinapova, Martin Zeman. General information on the Logic Colloquium The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). The main events in this year's conference are as follows: Goedel lecture: * Richard A. Shore (Cornell University) Tutorials: * Ulrich Kohlenbach (Technische Universitat Darmstadt) * Andre Nies (University of Auckland) * Ralf Schindler (Universitat Munster) Plenary talks: * Elisabeth Bouscaren (Universite Paris-Sud 11) * S. Barry Cooper (University of Leeds), * Thierry Coquand (University of Gothenburg), * Ilijas Farah (York University) * Valentina S. Harizanov (George Washington University) * Stephan Kreutzer (Oxford University) * David W. Kueker (University of Maryland) * Benjamin Miller * Itay Neeman (University of California Los Angeles) * Dana S. Scott (Carnegie Mellon University) * Katrin Tent (University of Munster) * Jouko Vaananen (University of Amsterdam) Special sessions: Logic and Category Theory (Co-chairs: S. Abramsky, S. Shapiro) Computability Theory (Co-chairs: K. Ambos-Spies, I. Soskov) Model Theory, New Directions in Classification Theory (Co-chairs: E. Hrushovski, M. Otero) Philosophical Logic (Co-chairs: D. Vakarelov, M. Zakharyashev) Set Theory (Co-chairs: M. Goldstern, H. Woodin) The poster of the event can be downloaded from http://lc2009.fmi.uni-sofia.bg/static/lc2009poster_web.pdf PROGRAMME COMMITTEE: Samson Abramsky, Klaus Ambos-Spies, Joan Bagaria (Chair), Fernando Ferreira, Martin Goldstern, Erich Graedel, Ehud Hrushovski, Tapani Hyttinen, Yiannis Moschovakis, Margarita Otero, Stewart Shapiro, Ivan Soskov and W. Hugh Woodin ORGANIZING COMMITTEE: Alexandra Soskova (Chair), Dimitar Dobrev, Dimitar Guelev, Lyubomir Ivanov, Stela Nikolova, Solomon Passy, Dimitar Shiyachki, Mariya Soskova, Mitko Yanchev, Anton Zinoviev ========================================================================= 2. (from Jianer Chen) Theory and Applications of Models of Computation (TAMC): TAMC 2009: Call for Participation Theory and Applications of Models of Computation (TAMC) is an international conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic) and the physical sciences. This cross-disciplinary character, together with its focus on algorithms, complexity and computability theory, gives the conference a special favor and distinction. The 6th conference in the series, TAMC 2009, will take place May 18-22, 2009 at Central South University, Changsha, China. The scientific program of the conference will include three plenary lectures, two invited special sessions, and 39 contributed presentations. Plenary Lectures ================ Neural Computations that Support Long Mixed Sequences of Knowledge Acquisition Tasks - L. Valiant (Harvard University, USA) Constraints, Graphs, Algebra, Logic, and Complexity - M. Vardi (Rice University, USA) Distributed Systems and their Environments - M. Hennessy (Trinity College Bublin, Ireland) Invited Special Session on Models of Computation ================================================ D. Browne (Imperial College, London, UK) A. Carbone (University Pierre et Marie Curie, France) S. B. Cooper (University of Leeds, UK) A. Sorbi (University of Siena, Italy) Invited Special Session on Algorithms and Complexity ==================================================== J. Guo (Friedrich-Schiller-Universitat Jena, Germany) I. Kanj (DePaul University, USA) H. Fernau (University of Trier, Germany) B. Zhu (Montana State University, USA) For more detailed information about the conference program, please visit the conference website at http://netlab.csu.edu.cn/TAMC09/. A post-conference 3-day tour to Zhangjiajie National Park has also been arranged. Zhangjiajie is a rising tourist city famous for its unique natural scenery and abundant tourism resources. It was listed in the World Natural Heritage Catalogue by the UNESCO in 1992, and was awarded the title of World Geological Park in 2004. We cordially invite your participation in TAMC 2009, and look forward to meeting in Changsha, one of the oldest cities with rich historical heritages in China. Important Dates Early Registration Deadline: April 30, 2009 Conference Dates: May 18-22, 2009 Tour to Zhangjiajie: May 22-24, 2009. ========================================================================= 3. (from Felix Costa) UC 2009 - 8th International Conference on UNCONVENTIONAL COMPUTATION: LAST CALL FOR PAPERS / POSTERS UNCONVENTIONAL COMPUTATION UC' 09 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ UC 2009 8th International Conference on UNCONVENTIONAL COMPUTATION Ponta Delgada, PORTUGAL September 7-11, 2009 Deadline for submissions: April 10th, 2009 Conference Poster and Call for Papers/Posters can be downloaded from the Conference Homepage: http://www.uc09.uac.pt . TAKE A LOOK TO OUR WEBSITE -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Original papers or posters are solicited in all areas of unconventional computation. Papers dealing with theory as well as with experiments and applications are welcome. Typical, but not exclusive, topics are: - Amoeba-based computing - Analogue computation - Ant networks - Algorithmic cooling - Cellular automata - Church-Turing thesis - Cornerstones of the halting problem - Diophantine equations - Dynamic system computing - Ergodic system computing - Evolutionary computation - Genetic networks - Immune networks - Molecular computing - Nanocomputing - Natural Computing - Neural Computing - Non-standard lambda-calculus and logics - Optical computing - P systems - Reaction-diffusion computing - Self-assembly - Tiles - Quantum computation - Quantum protocols - Unconventional Turing machines (infinite-time, relativistic, bio, etc.) - Undecidability in Physical Theories All researchers in the area of the conference are kindly invited to submit their papers (at most 12 pages) electronically, via EASYCHAIR: http://www.easychair.org/conferences/?conf=uc09 . The submissions of papers are expected to be in PDF format using the suitable class files of Springer LNCS. Joint submissions to other conferences are not permitted. Each accepted paper must be presented at the conference. The proceedings will be published by Springer LNCS series and will be available at the conference. Selected papers will be invited for Special Issues of well known Journals. We also encourage physicists, chemists, and biologists (students or senior researchers) to submit a poster (standard size A1 or 1 or 2 x A2). Posters should be focused on experimental laboratory prototypes of non-standard computing devices. The submissions of posters are also expected to be in PDF format. The author is responsible for printing out the poster. To submit a poster you should go to EASYCHAIR and choose the special topic "POSTERS" instead of a thematic topic. Submissions Due: April 10th, 2009 Notification: May 8th, 2009 Final Versions Due: June 5th, 2009 Contributed papers/posters will be selected from submissions received by the PROGRAMME COMMITTEE consisting of - Andrew ADAMATZY, UWE Bristol, UK - Selim AKL, Queen's University, Canada - Masashi AONO, RIKEN Advanced Science Institute, Japan - Edwin BEGGS, Swansea University, UK - Olivier BOURNEZ, Ecole Polytechnique, France - Mark BURGIN, University of California, Los Angeles, USA - Cristian S. CALUDE, University of Auckland, New Zealand - Luca CARDELLI, Microsoft Research Cambridge, UK - S. Barry COOPER, University of Leeds, UK - Jose Felix COSTA (co-chair), Tech. Univ. of Lisbon and Swansea Univ., Portugal and UK - James CRUTCHFIELD, Complexity Sciences Center, Univ. of California at Davis, USA - Martin DAVIS, Prof. Emeritus, New York University and Visiting Scholar, Berkeley, USA - Nachum DERSHOWITZ (co-chair), Tel Aviv University, Israel - Michael DINNEEN, University of Auckland, New Zealand - Gilles DOWEK, Ecole Polytechnique and INRIA, France - Rudolf FREUND, Vienna University of Technology, Austria - Dina Q. GOLDIN, Brown University, USA - Masami HAGIYA, University of Tokyo, Japan - Mark HOGARTH, University of Cambridge, UK - Natasha JONOSKA, University of South Florida in Tampa, USA - Lila KARI, University of Western Ontario, Canada - Julia KEMPE, Tel Aviv University, Israel - Yasser OMAR, ISEG, Technical University of Lisbon, Portugal - Ferdinand PEPER, National Inst. of Information and Communications Tech., Kobe, Japan - Mario J. PEREZ-JIMENEZ, University of Seville, Spain - Petrus H. POTGIETER, University of South Africa, South Africa - Kai SALOMAA, Queen's University, Canada - Hava SIEGELMANN, University of Massachusetts Amherst and Harvard University, USA - Darko STEFANOVIC, University of New Mexico, USA - Susan STEPNEY, University of York, UK - Christof TEUSCHER, Portland State University, USA - Jon TIMMIS, University of York, UK CONFERENCE: 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, Sevilla, Spain, in 2005, York, United Kingdom, in 2006, Kingston Ontario, Canada, in 2007, Vienna, Austria, in 2008, and Ponta Delgada (Azores), Portugal, in 2009. INVITED SPEAKERS: - Edwin BEGGS (Swansea University): Experimental Computation - Jarkko KARI (University of Turku): Cellular Automata - Carlos LOURENCO (University of Lisbon): Brain Dynamics - Przemyslaw PRUSINKIEWICZ (University of Calgary): Developmental Computing - Lukas SEKANINA (Brno University of Technology): Evolvable Hardware: From successful applications to implications for the theory of computation TUTORIALS: - Manuel Lameiras CAMPAGNOLO (Technical University of Lisbon): Analogue Computation - James CRUTCHFIELD (University of California at Davis): Computational Mechanics: Natural Computation and Self-Organization - Martin DAVIS (Professor Emeritus, New York University and Visiting Scholar, Berkeley): Diophantine Equations WORKSHOPS: - Hyper-computation, Organized by Mike STANNETT (University of Sheffield) - Novel Computing Substrates, Organized by Andrew ADAMATZKI (University of West England, Bristol) - Physics and Computation, Organized by Olivier BOURNEZ (Ecole Polytechnique), and Gilles DOWEK (Ecole Polytechnique and INRIA) ORGANIZING COMMMITTEE - Jose Felix COSTA (chair), Tech. Univ. of Lisbon and Swansea Univ., Portugal and UK - Elisabete FREIRE, University of Azores, Portugal - Matthias FUNK, University of Azores, Portugal - Luis Mendes GOMES, University of Azores, Portugal - Helia GUERRA, University of Azores, Portugal CONTACT ADDRESS: Elisabete FREIRE Department of Mathematics University of Azores 9501-855 Ponta Delgada Portugal Phone: (+351) 296 650 506 /  (+351) 296 650 000 e-mail: freire@uac.pt ========================================================================= 4. (from Peter Hertling) Computability and Complexity in Analysis 2009 (CCA 2009) - Second CfP: ______________________________________________________________ Second Call for Papers and Announcement Sixth International Conference on Computability and Complexity in Analysis 2009 (CCA 2009) August 18-22, 2009, Ljubljana, Slovenia Submission deadline: May 11, 2009 ______________________________________________________________ Invited Speakers * Mark Braverman (Cambridge, USA) * Vladik Kreinovich (El Paso, USA) * Dana Scott (Pittsburgh, USA) * Ning Zhong (Cincinnati, USA) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Vasco Brattka (Cape Town, South Africa) * Mark Braverman (Cambridge, USA) * Pieter Collins (Amsterdam, The Netherlands) * Peter Hertling, co-chair (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Ker-I Ko, co-chair (Stony Brook, USA) * Robert Rettinger (Hagen, Germany) * Victor Selivanov (Novosibirsk, Russia) * Alex Simpson (Edinburgh, Great Britain) * Dieter Spreen (Siegen, Germany) * Frank Stephan (Singapore) * Xizhong Zheng (Glenside, USA) Organizing Committee * Andrej Bauer, chair (Ljubljana, Slovenia) * Iztok Kavkler (Ljubljana, Slovenia) * Davorin Le¨nik (Ljubljana, Slovenia) * Matija Pretnar (Ljubljana, Slovenia) Venue Faculty of Mathematics and Physics, University of Ljubljana, and Institute of Mathematics, Physics, and Mechanics, Slovenia Tutorials * Martin Escardo (Birmingham, UK) * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands) Submissions Authors are invited to submit a PDF version of an extended abstract (typically 10-12 pages) on the following web page: http://www.easychair.org/conferences/?conf=cca2009 These extended abstracts should be prepared using the LNCS stylefile of Springer Verlag; see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 Proceedings Accepted papers will be published in an electronic proceedings volume in the DROPS series of Schloss Dagstuhl. In addition, a technical report containing the accepted papers will be available at the conference. It is planned to publish a special issue of some journal dedicated to CCA 2009 after the conference. Dates Submission deadline: May 11, 2009 Notification of authors: June 15, 2009 Final Version: July 13, 2009 Conference Web Page http://cca-net.de/cca2009/ ========================================================================= 5. (from Monika Seisenberger) CALCO-jnr: CALCO Young Researchers Workshop September 6, 2009, Udine, Italy: !!! PLEASE FORWARD TO PHD STUDENTS AND YOUNG RESEARCHERS !!! *------------------------------------------------------------------* * Call for contributions * * * * CALCO-jnr 2009 * * * * CALCO-jnr: CALCO Young Researchers Workshop * * September 6, 2009, Udine, Italy * * * * part of * * 3rd Conference on Algebra and Coalgebra in Computer Science * * September 6-12, 2009, Udine, Italy * * * *------------------------------------------------------------------* * Abstract submission: May 8, 2009 * * Author notification: May 22, 2009 * * Final abstract due: June 15, 2009 * * Full paper submission: October 15, 2009 * *------------------------------------------------------------------* * http://calco09.dimi.uniud.it/ * *------------------------------------------------------------------* ========================================================================= 6. (from George Metcalfe) Gentzen Systems and Beyond: ================================================================ GENTZEN SYSTEMS AND BEYOND TABLEAUX 2009 WORKSHOP ================================================================ 6 July 2009 University of Oslo, Norway http://www.iam.unibe.ch/~kai/Events/GSB2009/ Scope --------- This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the Sequent Calculus and Natural Deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics, including Hypersequents, Display Calculi, Labelled Deductive Systems, Tableaux, Deep Inference, and Proof Nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches. Potential topics for talks include: * Cut-elimination and its applications, e.g. decidability, interpolation, amalgamation, completeness proofs, computational interpretations, etc. * Scope, limitations, interrelationships, and philosophical aspects of various formalisms. A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the Tableaux community, particularly in cases where the methods, such as constructing analytic systems, are shared. Invited speakers ---------------------- Nikolaos Galatos, University of Denver Alessio Guglielmi, INRIA Grand-Est & University of Bath Organizers --------------- Kai Brunnler, University of Bern George Metcalfe, Vanderbilt University Submissions ------------------ There will be no fee for attendance at the workshop. If you would like to give a talk, please send a one-page abstract to the organizers at george.metcalfe@vanderbilt.edu by May 15th. ========================================================================= 7. (from Pavlos Peppas) Panhellenic Logic Conference: Submission Deadline Extension: Due to numerous requests, the PLS7 submission deadline has been extended by two weeks. The new submission deadline is therefore set to April 10, 2009. Below is the updated CFP (with the new deadline). =============================================== CALL FOR PAPERS =============================================== for the SEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS7) July 15-19, 2009 University of Patras, Patras, Greece http://www.bma.upatras.gr/pls7/ ================================================ PAPER SUBMISSION DEADLINE: April 10, 2009 (NEW) ================================================ The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers. FEATURED AREAS The featured areas include, but are not limited to, the following (in alphabetical order): - Algebraic logic - Foundational interactions between Logic, Computer Science and Mathematics - Logic in AI - Logic in Computer Science - Modal Logics - Model Theory - Non-classical Logics - Philosophy of Logic - Residuated Structures - Recursion Theory - Set Theory - Substructural Logics The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research. PAPER SUBMISSION Submitted papers should report on original research work that falls within the scope of the symposium. Authors are invited to submit a paper not exceeding five pages by 10 April 2009. Papers must be written in English and must be formatted according to the PLS7 guidelines. The first page should include title; names of authors; the affiliation, address, email of the corresponding author; abstract (up to 200 words); and at least three keywords describing the topic of the paper. All papers should be submitted electronically at EasyChair (https://www.easychair.org/login.cgi?conf=pls7). Submitted papers will be reviewed by the PLS7 scientific committee. Accepted papers will be presented at the Symposium by one of their authors, and they will be included in the Symposium proceedings. IMPORTANT DATES - Abstract Submission Deadline: April 10, 2009 (NEW) - Acceptance Notification: May 15, 2009 - Camera Ready Papers Deadline: June 12, 2009 - Conference Dates: July 15-19, 2009 INVITED SPEAKERS - Pantelis Eleftheriou, University of Lisbon - Nick Galatos, University of Denver - Mai Gehrke, Radboud University Nijmegen - Chrysafis Hartonas, Technological Educational Institute of Larissa - David Makinson, London School of Economics - Alberto Marcone, University of Udine - Yuri I. Manin, Max Planck Institute for Mathematics and Northwestern University - Tinko Tinchev, Sofia University - Yde Venema, University of Amsterdam - George Voutsadakis, Lake Superior State College SCIENTIFIC COMMITTEE - Jim Delgrande, Simon Fraser University - Costas Dimitracopoulos, University of Athens - Josep Maria Font, University of Barcelona - Kostas Hatzikyriakou, University of Thessaly - Antonis Kakas, University of Cyprus - Panagis Karazeris, University of Patras - Giorgos Koletsos, National Technical University of Athens - George Metakides, University of Patras - Joan Moschovakis, Occidental College - Hiroakira Ono, Japan Advanced Institute of Science and Technology - Thanases Pheidas, University of Crete - Alexandra Soskova, Sofia University - Constantine Tsinakis (Chair), Vanderbilt University - Athanassios Tzouvaras, University of Thessaloniki - Mary-Anne Williams, University of Technology, Sydney - Stathis Zachos, National Technical University of Athens ORGANIZING COMMITTEE - Costas Drossos (co-chair), University of Patras - Anastasios - Michael Fotinopoulos, University of Patras - Panagis Karazeris, University of Patras - Lefteris Kirousis, University of Patras - Eftichis Papadopetrakis, University of Patras - Pavlos Peppas (co-chair), University of Patras HOTEL RESERVATIONS Hotel accommodations are offered by several hotels of various categories in Patras, Rio and the surrounding area. Participants will need to communicate directly with the selected hotels to secure their reservations. The conference web site contains detailed information for contacting the hotel of your choice. FURTHER INFORMATION Information about PLS7 can be found at the conference web site at http://www.bma.upatras.gr/pls7/ E-mail inquiries about PLS7 should be directed to the co-chairs of local organizing committee: Costas Drossos (cdrossos@upatras.gr) or Pavlos Peppas (pavlos@upatras.gr) ========================================================================= 8. (from Roy Dyckhoff) PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics: PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics (affiliated with Tableaux 2009) Call for Papers July 6, 2009, Oslo, Norway http://www.loria.fr/~galmiche/PRNCL09.html * There are various ways to design a refutation-based deduction system. Deduction systems where refutations completely replace proofs as first-class citizens, with a set of rules inductively defining refutation trees; systems combining proof-rules and refutation mechanisms (or criteria) which can occur at various levels of the proof-search process; systems where provability and refutability play dual roles, i.e., proofs and refutations are both first-class citizens; systems where refutations are understood as mechanisms that build counter-models: for example, semantic information is collected and may converge to a counter-model as the search process evolves. Such approaches are applicable to a wide range of logics like sub-structural logics, intermediate logics and their extensions, modal or temporal logics, even to type theory. The deduction systems can be based on various structures/methods: sequents, tableaux, natural deduction, connections, proof-nets, games, etc. The aim of the workshop is to provide a forum of discussion between researchers interested in non-classical logics in the perspective of proof and refutation systems. * Detailed information about topics and submission can be found on the web page. * Program Committee : R. Dyckhoff (Univ. St Andrews, Scotland); C. Fermueller (T.U. Wien, Austria); D. Galmiche (LORIA - UHP, France); D. Larchey-Wendling (LORIA - CNRS, France); F. Pfenning (CMU Pittsburgh, USA); A. Waaler (Univ. Oslo, Norway) * Important dates: extended abstract submission: May 15, 2009; Notification: June 2, 2009. ========================================================================= 9. (from Erik Palmgren) Conference on Philosophy and Foundations of Mathematics, May 5-8, 2009 (2nd announcement): Philosophy and Foundations of Mathematics : Epistemological and Ontological Aspects, at the Swedish Collegium for Advanced Study, Uppsala, May 5-8, 2009 - a conference dedicated to Per Martin-Lof on the occasion of his retirement. Speakers Peter Aczel: TBA Mark van Atten: Different times: Kant and Brouwer on real numbers Steve Awodey: Type theory and homotopy theory Thierry Coquand: Forcing and type theory Peter Dybjer: Program testing and constructive validity Juliet Floyd: Wittgenstein, Gödel and Turing Jean-Yves Girard: Towards non-commutative foundations Sten Lindstr0m: The Curry-Fitch's knowability paradox revisited Per Martin-L0f: Logic: epistemological or ontological? Colin McLarty: Identity and existence in categorical foundations Peter Pagin: Assertion, truth and judgment Erik Palmgren: Formal topology and foundational problems Christine Paulin-Mohring: Reasoning on randomized programs in Coq Jan von Plato: Aristotles deductive logic: a proof-theoretical study Dag Prawitz: TBA Aarne Ranta: Levels of abstraction in language and logic Michael Rathjen: The boundaries of intuitionistic type theory Giovanni Sambin: A minimalist foundation of mathematics Anton Setzer: Coalgebras as types determined by their elimination rules Stewart Shapiro: An "i" for an i: singular terms, uniqueness and reference Wilfried Sieg: Reductive structuralism Jan Smith: Can Hume's analysis of causality tell us something about the rules of logic? Soren Stenlund: On the notion finite numbers Goran Sundholm: Three key-features of Martin-Lof's philosophy of logic William Tait: The myth of intuition Jouko Vaananen: Second order logic, set theory and foundations of mathematics Scope and aim The aim of the conference is to bring together philosophers, mathematicians, and logicians to penetrate current and historically important problems in the philosophy and foundations of mathematics. Swedish logicians and philosophers have made important contributions to the foundations and philosophy of mathematics, at least since the end of the 1960s. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. A central philosophical question concerns the nature of the abstract entities of mathematics: do they exist independently of our epistemic acts (realism, or Platonism) or are they somehow constituted by these acts (idealism)? Significant contributions have been made to the foundations of mathematics, for example in proof theory, proof-theoretic semantics and constructive type theory. These contributions have had a strong impact on areas of computer science, e.g. through Martin-Lof's type theory. Two important alternative foundational programmes that are actively pursued today are predicativistic constructivism and category-theoretic foundations. Predicativistic constructivism can be based on Martin-Lof constructive type theory, Aczel's constructive set theory, or similar systems. The practice of the Bishop school of constructive mathematics fits well into this framework. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Lof. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Lof and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analysis tell us about the scope and limits of constructive and (generalized) predicative mathematics? To what extent is it possible to reduce classical mathematical frameworks to constructive ones? Such reductions often reveal computational content of classical existence proofs. Is computational content enough to solve the epistemological questions? A central concern for the conference will be to compare the different foundational frameworks - classical set theory, constructive type theory, and category theory - both from a philosophical and a logical point of view. The general theme of the conference, however, will be broader and encompass different areas of philosophy and foundations of mathematics, in particular the interplay between ontological and epistemological considerations. Venue The workshop will take place at the Swedish Collegium for Advanced Study (SCAS), Linneanum, Thunbergsvagen 2, Uppsala, Sweden. Organization and programme committee Peter Dybjer, Sten Lindstrom, Erik Palmgren (Chair), Dag Prawitz, Soren Stenlund, Viggo Stoltenberg-Hansen. Programme The scientific programme starts at 10.00 on Tuesday, May 5 and ends at 16.00 on Friday, May 8. A conference dinner is planned for Friday evening. More details about the programme will appear in a few weeks. Attendance Attendance is open, and there is no registration fee. However, anyone planning to attend should preregister by emailing PFM@math.uu.se no later than April 15, 2009. (For reasons of space the number of participants will be limited to 90.) Sponsors Swedish Research Council (Vetenskapsrådet) - Department of Mathematics, Stockholm University - Department of Philosophy, Stockholm University - Department of Mathematics, Uppsala University - Centre for Interdisciplinary Mathematics, Uppsala University - Department of Philosophy, Uppsala University - Department of Computer Science and Engineering, Chalmers University of Technology and Gothenburg University - The Swedish Collegium for Advanced Study, Uppsala - Swedish National Committee for Logic, Methodology and Philosophy of Science. Webpage http://www.math.uu.se/PFM/ ========================================================================= 10. (from Sonja Smets) CFP: Special Issue of Studia Logica on Logic and the Foundations of Physics: Special Issue of Studia Logica: The Contributions of Logic to the Foundations of Physics TRENDS in LOGIC VI ** CALL FOR PAPERS ** Further to the Studia Logica International Conference Trends in Logic VI, held in Brussels on December 11 - 12, 2008, we cordially invite you to submit a paper for a special issue of Studia Logica devoted to Logic and the Foundations of Physics. We specifically, though not exclusively, invite contributions on the following topics: - The use of techniques originating from classical logic, modal logic and multi-dimensional modal logics, spatial logic, dynamic logic, temporal logic, epistemic logic, linear logic and other resource-sensitive logics, intuitionistic logic, game logics, process algebras, co-algebraic logics, categorical logics, many-valued logics, quantum logics etc. to formalize physical theories or to reason about their concepts, phenomena and/or applications. - Logical techniques used in quantum information theory, including quantum computation, quantum communication, quantum cryptography and quantum programming. - Philosophical contributions on the meaning of concepts such as truth, consequence, completeness, implication and (quantum) information viewed at the interface of Logic and Physics. - Open problems in modern physics, soliciting new techniques from logic, computation or information theory. - Explorations on how to use new formal methods in combination with insights and interpretations in the philosophy of physics to yield new perspectives on the main foundational issues and open problems in modern physics. - Answers to the questions: "What can physics learn from logic?" and/or "What can logic learn from physics?" SUBMISSION OF PAPERS: Submitted papers should not exceed 20 pages (including bibliography), and should be formatted according to the Studia Logica LaTeX style (see Information for Authors at the Studia Logica website http://www.studialogica.org/). Only electronic submissions prepared with this style file will be considered. The authors should send an e-mail with subject "Studia Logica Submission" to Sonja Smets (sonsmets@gmail.com) with the file of the paper in attachment (attach both the "tex" and "pdf" files), and give the following information in the body of the mail in plain text: paper title, author names, surface mail, e-mail address and phone number of the contact author and a short abstract. DEADLINE FOR SUBMISSION OF MANUSCRIPTS: May 31, 2009 All papers will be refereed according to the standards of the journal. On Behalf of The Guest editors: Diederik Aerts, Sonja Smets and Jean Paul Van Bendegem PDF version of this CfP is available at http://www.StudiaLogica.org/cfp-SonjaSmets.pdf ========================================================================= 11. (from Ron Shamir) Postdoctoral positions in algorithmic bioinformatics: Two postdoctoral fellowships are available at the group of Prof. Ron Shamir, School of Computer Science, Tel Aviv University. The group specializes in design, analysis and implementation of algorithms for biology and medicine using graph algorithms and statistical techniques. We are seeking inventive, independent, and highly motivated researchers. Postdoc candidates must have a strong quantitative background, a PhD in Computer Science, Mathematics, Physics or Engineering. A strong background in bioinformatics and algorithms is an advantage. For more details about the research group see http://acgt.cs.tau.ac.il Please email a CV and a one-page summary of current and past research to Mrs. Gilit Zohar-Oren, School of Computer Science, Tel Aviv University, Tel Aviv, 69978 Israel. Telephone +972 3 6405370 Email: gilit@post.tau.ac.il ========================================================================= 12. (from Noam Greenberg) Effective Mathematics of the Uncountable (EMU 2009): Effective Mathematics of the Uncountable (EMU 2009) August 17-21, 2009 The CUNY Graduate Center 365 Fifth Avenue, New York City Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well. Organizers: Noam Greenberg, Noam.Greenberg@mcs.vuw.ac.nz Joel Hamkins, jdh@hamkins.org Denis Hirschfeldt, drh@math.uchicago.edu Russell Miller, Russell.Miller@qc.cuny.edu This EMU workshop is funded by a generous grant from the Templeton Foundation, a part of their program Exploring the Infinite, Phase I: Mathematics and Mathematical Logic. All interested participants are welcome to attend the workshop. There is no registration fee. Limited funds are available to support graduate student and junior faculty participants. Please contact Denis Hirschfeldt or the other organizers about travel funding. ========================================================================= 13. (from Igor Potapov) LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009: ++++++++++ Submissions: April 23, 2009 +++++++++++++ LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009 (September 23-25, 2009, Ecole Polytechnique, France) --------------------------------------------------- ==== Deadline for submissions: April 23, 2009 ==== ==== Proceedings will be published in the ==== ==== Springer LNCS series ==== --------------------------------------------------- http://www.lix.polytechnique.fr/rp09 The annual fall colloquium organized by the Computer Science Laboratory of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009. Reachability Problems RP'2009 will take place at Ecole Polytechnique (on-site at Palaiseau, a suburb district of Paris). Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. The Reachability Problems Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Verification Invited Speakers: ================ - Ahmed Bouajjani ( University of Paris 7 ) - Thomas A. Henzinger ( EPFL in Lausanne ) - Oded Maler ( VERIMAG ) - Alexander Shen ( CNRS Marseille ) - Moshe Y. Vardi ( Rice University ) Submissions: ============ Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. Topics of interest include (but are not limited to): Reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of algebraic structures (semigroups, groups and rings); frontiers between decidable and undecidable problems; predictability in iterative maps and new computational paradigms. Authors are invited to submit a draft of a full paper with at most 12 pages formatted according to LNCS guidelines. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Proceedings ============= The proceedings will be published in the Springer Verlag LNCS series and distributed during the conference. Selected papers will be invited to the special issue of a high quality journal devoted to RP 2009. Important dates: ================ - Submission: April 23, 2009 - Notification: May 30, 2009 - Final version: June 15, 2009 - Workshop: Sept. 23-25, 2009 Program Committee: ================ - Parosh Aziz Abdulla, Uppsala - Luca de Alfaro, Santa Cruz - Eugene Asarin, Paris - Vincent Blondel, Louvain - Bernard Boigelot, Liege - Ahmed Bouajjani , Paris - Olivier Bournez, Palaiseau - Cristian S. Calude, Auckland - Javier Esparza, Munchen - Laurent Fribourg, Cachan - Vesa Halava, Turku - Franjo Ivancic, Princeton - Oscar Ibarra, Santa Barbara - Alexei Lisitsa, Liverpool - Maurice Margenstern, Metz - Igor Potapov, Liverpool - Colin Stirling, Edinburgh - Wolfgang Thomas, Aachen - Hsu-Chun Yen, Taipei Workshop Organizers: ==================== - Olivier Bournez (Ecole Polytechnique) - Igor Potapov (University of Liverpool) with the help of the local organizers of the 2009 edition of the LIX colloquium. Contact: ================ 3rd Workshop on Reachability Problems 2009 - RP'09 Olivier Bournez: bournez@lix.polytechnique.fr Igor Potapov: potapov@liverpool.ac.uk http://www.lix.polytechnique.fr/rp09 ========================================================================= Items for the next CiE Newsletter should be sent to pmt6sbc@leeds.ac.uk to arrive by April 12, 2009 -------------------------------------------------------------------------