[FOM] [CiE] Newsletter No.37, August 15, 2010

CiE 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 
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

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)


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:

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 
     * 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


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)


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

                            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 
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 ...

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 mailing list