CiE Newsletter No.37, August 15, 2010: ___________________________________________________________________________ CONTENTS: 1. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2. CCR 2011: Computability, Complexity and Randomness - First Call for Papers 3. Logical Methods in Computer Science - invitation for submissions 4. 12th Asian Logic Conference, Victoria University, Wellington 15-20 December, 2011 5. Call for Participation - 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 23 August 2010, Jena, Germany 6. BLC 2010 meeting - registration reminder! 7. LPAR-17 call for short papers, workshop submissions 8. CCA 2011: Computability and Complexity in Analysis - First Call for Papers =========================================================================== =========================================================================== 1. (from Rob van Glabbeek) Electronic Proceedings in Theoretical Computer Science (EPTCS): ____________________________________________________________________ Electronic Proceedings in Theoretical Computer Science (EPTCS) was launched by Rob van Glabbeek in 2009, as an initiative to have proceedings of all worthy workshops in Theoretical Computer Science freely available on-line. The papers in the proceedings are simply entries in the CoRR repository. They are indexed in CrossRef and in the Directory of Open Access Journals. The idea caught like a fire and since EPTCS was launched 29 proceedings were published, and 23 proceedings have been accepted for publication, see http://forthcoming.eptcs.org/. Perhaps one of the reasons is that the procedure for submitting a proposal is very simple, see http://apply.eptcs.org/ and the response time to a proposal is very fast, usually well within 10 days. Additionally, thanks to an efficient workflow, proceedings usually appear within 10 days after all the constituents have been delivered. We find that it is very important to properly record workshop proceedings at one, easily searchable place. Also, we want to contribute in this way to the growing acceptance of the view that all scientific publications should be freely available on-line. We hope that the researchers working in Theoretical Computer Science will follow the example of many others who have agreed with the originators of this idea. Please see http://published.eptcs.org/ for the list of published workshops. =========================================================================== =========================================================================== 2. (from Vasco Brattka) CCR 2011: Computability, Complexity and Randomness - First Call for Papers: ______________________________________________________________ First Call for Papers and Announcement Sixth International Conference on Computability, Complexity and Randomness (CCR 2011) January 31-February 4, 2011, Cape Town, South Africa Submission deadline: October 1, 2010 (Abstracts only!) ______________________________________________________________ co-located with the Eighth International Conference on Computability and Complexity in Analysis (CCA 2011). The conference CCR, also known as conference on Logic, Computability and Randomness, will be in the tradition of the previous meetings in Cordoba (Argentina) 2004, Buenos Aires (Argentina) 2007, Nanjing (China) 2008, Luminy (France) 2009 and Notre Dame (USA) 2010. Cape Town is very beautiful at this time of year, and we expect another equally successful conference. Invited Speakers * Willem Fouche (Pretoria, South Africa) * Veronica Becher (Buenos Aires, Argentina) * Noam Greenberg (Wellington, New Zealand) * Wolfgang Merkle (Heidelberg, Germany) * Andre Nies (Auckland, New Zealand) * Theodore A. Slaman (Berkeley, USA) Scientific Program Committee * Eric Allender (Rutgers, USA) * Luis Antunes (Porto, Portugal) * Laurent Bienvenu (Paris, France) * Vasco Brattka, co-chair (Cape Town, South Africa) * Rod Downey, co-chair (Wellington, New Zealand) * Denis Hirschfeldt (Chicago, USA) * Bjoern Kjos-Hanssen (Hawaii, USA) * Antonin Kucera (Prague, Czech Republic) * Steffen Lempp (Madison, USA) * Jan Reimann (Pennsylvania, USA) Organizing Committee * Margaret Archibald (Cape Town, South Africa) * Vasco Brattka, chair (Cape Town, South Africa) * Holger Spakowski (Cape Town, South Africa) Venue The venue for CCA 2011 will be on the Upper Campus of the University of Cape Town, South Africa. Further information will be available on the conference web page soon. Submissions Authors are invited to submit a PDF abstract (typically 1-2 pages) via the following web page: http://www.easychair.org/conferences/?conf=ccr2011 No full papers will be required for this conference. Proceedings No proceedings will be published before the conference. A booklet with abstracts will be made available at the conference. It is planned to publish post-conference proceedings in a special issue of some journal afterwards. Funding Funding opportunities for student members of the Association for Symbolic Logic (ASL) are anticipated. Dates Submission deadline: October 1, 2010 Notification of authors: October 22, 2010 Final version of abstract: November 22, 2010 Conference Web Page http://cca-net.de/ccr2011/ =========================================================================== =========================================================================== 3. (from Jiri Adamek) Logical Methods in Computer Science - invitation for submissions: We have just completed the second three-year period of the Editorial Board of Logical Methods in Computer Science. During this period, the journal received more than 450 submissions, and published more than 180 articles. Also, a number of the best conferences in the our area continue to publish their special issues in the journal. The latest news is that LMCS has been included in the databases SCOPUS and in Thomson Reuters' Web of Science, where the impact factor for 2009 is 1.036. (This is the first time the impact factor has been measured.) For comparison, MSCS has impact factor 0.838, TOPLAS has .87, TCS has 0.943, ACM ToCL has 1.212, and Information and Computation has 1.225. Please encourage your colleagues and students to submit to LMCS! =========================================================================== =========================================================================== 4. (from Rod Downey) 12th Asian Logic Conference, Victoria University, Wellington 15-20 December, 2011: Conference announcement 12th Asian Logic Conference Victoria University Wellington 15-20 December, 2011 Home Page http://msor.victoria.ac.nz/Events/ALC2011/WebHome Registration is now open. The 12th Asian Logic Conference will be held in 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 featuring the conference Tutorial Speakers. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and i philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas. Tutorial Speakers * Zlil Sela (Hebrew University) * Martin Grohe (Humboldt Univ. Berlin) Plenary Speakers * 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 * 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) The Asian Logic Meeting 2011, Program Committee consists of * Arai Toshiyasu * Byunghan Kim * Qi Feng * Sergei S. Goncharov * Greg Restall * Rod Downey * T.Arai * Yang Yue The local organizing committee consists of Rod Downey, Noam Greenberg, Colin Bailey and Ginny Whatarau. =========================================================================== =========================================================================== 5. (from Maciej Koutny) Call for Participation - MeCBIC 2010: Call for Participation ================ MeCBIC 2010 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi 23 August 2010, Jena, Germany http://profs.info.uaic.ro/~mecbic/mecbic2010/ The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) will take place in Jena on 23 August 2010 as a related event of CMC11, the International Conference on Membrane Computing. 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 explicitely 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 Talk: Stochastic Simulation of Process Calculi Andrew Phillips (Microsoft Research, Cambridge, UK) Programme ========= MeCBIC 2010 will take place in Friedrich Schiller University Jena Campus Ernst-Abbe-Platz Lecture Building Carl-Zeiss Str. 3 Main entrance via Ernst-Abbe-Platz Lecture Theatre 9 (first floor) Tentative program: 23 August 2010 09:00 - 09:20 Registration 09:20 - 09:30 Opening 09:30-10:00 Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo Schettini and Simone Tini: Aspects of multiscale modelling in a process algebra for biological systems. 10:00-10:30 Giulio Caravagna and Jane Hillston: Modeling biological systems with delays in Bio-PEPA. 10:30 - 11:00 Coffee Break 11:00-11:30 Diletta Romana Cacciagrano, Flavio Corradini, Emanuela Merelli and Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems. 11:30-12:00 Yifei Bao, Adriana Compagnoni, Joseph Glavy, Tommy White: Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors. 12:00-12:30 Michael J. Dinneen, Yun-Bum Kim and Radu Nicolescu: Vertex Disjoint Paths in P Modules. 12:30 - 14:00 Lunch 14:00-15:00 Invited Talk Andrew Phillips: Stochastic Simulation of Process Calculi. 15:00-15:30 Jerome Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov: Lumpability Abstractions of Rule-based Systems. 15:30 - 16:00 Coffee Break 16:00-16:30 Giorgio Bacci and Marino Miculan: Measuring the Stochastics of Brane Calculus. 16:30-17:00 Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella and Angelo Troina: Hybrid Calculus of Wrapped Compartments. 17:00-17:30 Jason Steggles and Richard Banks: An Abstraction Theory for Qualitative Models of Biological Systems. 17:30-18:00 Jean-Louis Giavitto, Hanna Klaudel and Franck Pommereau: Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. 19:30 - ... Workshop Dinner =========================================================================== =========================================================================== 6. (from Natasha Alechina) BLC 2010 meeting - registration reminder! 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. 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. =========================================================================== =========================================================================== 7. (from Geoff Sutcliffe) LPAR-17 call for short papers, workshop submissions: ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Yogyakarta, Indonesia - October 10th-15th, 2010 ============================================================ http://www.computational-logic.org/lpar-17/Home.html CALL FOR SHORT PAPERS In keeping with the tradition of LPAR, researchers and practioners are encouraged to submit short papers reporting on interesting work in progress or providing system descriptions. They need not be original. Extended versions of the short papers may be submitted concurrently with or after LPAR-17 to another conference or a journal. The short paper proceedings will be available as an EasyChair collection volume. Short papers are limited in length to 5 pages in the EasyChair format. Short papers must be submitted through the EasyChair system using the web page ... http://www.easychair.org/conferences/?conf=lpar17short Submission deadline: 30 August 2010 Notification: 6 September 2010 =============================================================================== LPAR-17 WORKSHOPS October 10th, 2010 ========================================================================== IWIL 2010 - The 8th International Workshop on the Implementation of Logics ========================================================================== http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages), in EasyChair format. Submission is via EasyChair ... http://www.easychair.org/conferences/?conf=iwil2010 Submission deadline: 9 August 2010 Notification: 27 August 2010 ============================================================ APS 5 - 5th International Workshop on Analytic Proof Systems ============================================================ http://www.logic.at/staff/chrisf/ws/LPAR-AS-5.html Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop is primarily intended to enhance awareness for its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues. The submission deadline is 10th September. Submissions are 1-2 page abstracts. Submissions must be emailed to ... analytic@logic.at Submission deadline: 10 September 2010 Notification: 15 September 2010 =========================================================================== =========================================================================== 8. (from Vasco Brattka) CCA 2011: Computability and Complexity in Analysis - First Call for Papers: First Call for Papers and Announcement Eighth International Conference on Computability and Complexity in Analysis (CCA 2011) January 31-February 4, 2011, Cape Town, South Africa Submission deadline: October 1, 2010 (Abstracts only!) ______________________________________________________________ co-located with the Sixth International Conference on Computability, Complexity and Randomness (CCR 2011). Invited Speakers * Abbas Edalat (London, UK) * Mathieu Hoyrup (Nancy, France) * Matthias Schroeder (Munich, Germany) * Peter Schuster (Leeds, UK) * Stephen G. Simpson (Pennsylvania, USA) * Michael Yampolsky (Toronto, Canada) Scientific Program Committee * Mark Braverman (Toronto, Canada) * Stefano Galatolo (Pisa, Italy) * Peter Hertling, chair (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Vladik Kreinovich (El Paso, USA) * Robert Rettinger (Hagen, Germany) * Alex Simpson (Edinburgh, UK) * Frank Stephan (Singapore) Organizing Committee * Margaret Archibald (Cape Town, South Africa) * Vasco Brattka, chair (Cape Town, South Africa) * Holger Spakowski (Cape Town, South Africa) Venue The venue for CCA 2011 will be on the Upper Campus of the University of Cape Town, South Africa. Further information will be available on the conference web page soon. Submissions Authors are invited to submit a PDF abstract (typically 1-2 pages) via the following web page: http://www.easychair.org/conferences/?conf=cca2011 No full papers will be required for this conference. Proceedings No proceedings will be published before the conference. A booklet with abstracts will be made available at the conference. It is planned to publish post-conference proceedings in a special issue of some journal afterwards. Funding Funding opportunities for student members of the Association for Symbolic Logic (ASL) are anticipated. Dates Submission deadline: October 1, 2010 Notification of authors: October 22, 2010 Final version of abstract: November 22, 2010 Conference Web Page http://cca-net.de/cca2011/ =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text (avoiding accents) to s.b.cooper@leeds.ac.uk to arrive by August 28th, 2010 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2011 http://cie2011.fmi.uni-sofia.bg/?q=node/1 CiE 2012 http://www.cie2012.eu CiE Membership Application Form http://www.cs.swan.ac.uk/acie ALAN TURING YEAR http://www.turingcentenary.eu/ ___________________________________________________________________________