[FOM] [CiE] Newsletter No.37, August 15, 2010
cie at maths.leeds.ac.uk
Sun Aug 15 20:08:25 EDT 2010
CiE Newsletter No.37, August 15, 2010:
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
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
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
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.
* 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)
* Margaret Archibald (Cape Town, South Africa)
* Vasco Brattka, chair (Cape Town, South Africa)
* Holger Spakowski (Cape Town, South Africa)
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
Authors are invited to submit a PDF abstract (typically
1-2 pages) via the following web page:
No full papers will be required for this conference.
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 opportunities for student members of the
Association for Symbolic Logic (ASL) are anticipated.
Submission deadline: October 1, 2010
Notification of authors: October 22, 2010
Final version of abstract: November 22, 2010
Conference Web Page
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:
12th Asian Logic Conference
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.
* Zlil Sela (Hebrew University)
* Martin Grohe (Humboldt Univ. Berlin)
* 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)
* 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
* 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
* 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
4th Workshop on Membrane Computing and Biologically Inspired Process Calculi
23 August 2010, Jena, Germany
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
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)
MeCBIC 2010 will take place in
Friedrich Schiller University Jena
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
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
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 ...
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
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
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
Submission deadline: 9 August 2010
Notification: 27 August 2010
APS 5 - 5th International Workshop on Analytic Proof Systems
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 at logic.at
Submission deadline: 10 September 2010
Notification: 15 September 2010
Items for the next CiE Newsletter should be sent in plain text
(avoiding accents) to s.b.cooper at 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/
More information about the FOM