LMCS
2014-05-02 19:00:53 UTC
---- End SpamAssassin results
X-Validation-by: p.bruscoli-+***@public.gmane.org
X-Loop: prooftheory-***@public.gmane.org
X-Sequence: 624
Errors-to: prooftheory-owner-***@public.gmane.org
Precedence: list
X-no-archive: yes
List-Id: <prooftheory.lists.bath.ac.uk>
List-Help: <mailto:sympa-***@public.gmane.org?subject=help>
List-Owner: <mailto:prooftheory-request-***@public.gmane.org>
List-Post: <mailto:prooftheory-***@public.gmane.org>
X-Scanner: ab0753bd11f5cc61926e2e3332be929bcbaa9556
X-Gmane-Expiry: 2014-05-16
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.prooftheory/1237>
Dear All,
This year our journal Logical Methods in Computer Science
http://www.lmcs-online.org/index.php
celebrates its tenth anniversary, and we would like to use this opportunity to
remind everyone of this successful community effort.
We also have some news about the future of the journal.
The first papers were submitted to LMCS in 2004, with 16 papers being published
the following year. Since then, submission numbers have steadily increased, and
last year the number of published papers was 75! We are also proud that many
high quality conferences such as LICS, FOSSACS, RTA, CSL, and others regularly
publish their special issues in our journal. This success has only been
possible thanks to the support of the community: from you; from the authors;
from the reviewers; from the editors; and from our sponsors. But today our
special thanks go to Dana Scott who has been our editor-in-chief for the last
ten years, and whose ideas and contributions have been essential to us
throughout.
Turning from the past to the future, Jiri Adamek will retire in 2016, and with
his departure we will lose our current publishing arrangements. So we have
begun to put in place a structure which will ensure a well-established and
secure future for the journal. To this end we have formed an Executive Board.
The current members of the Board are Luca Aceto, Rajeev Alur, Lars Birkedal,
Prakash Panangaden, Wolfgang Thomas, and ourselves. The Board has appointed a
new editor-in-chief, Lars Birkedal, who has taken over from Dana. Lars will
oversee the transition to the new arrangements and take over Jiri's editorial
duties when he retires. We are enormously grateful to Lars for taking on this
role. Lars and the Executive Board will work to ensure the future success of
our journal and to provide the community with a high quality open-access
publication venue.
With best wishes,
Jiri Adamek, Stefan Milius, Benjamin Pierce, Gordon Plotkin, and Moshe Vardi
Managing Editors
X-Validation-by: p.bruscoli-+***@public.gmane.org
X-Loop: prooftheory-***@public.gmane.org
X-Sequence: 624
Errors-to: prooftheory-owner-***@public.gmane.org
Precedence: list
X-no-archive: yes
List-Id: <prooftheory.lists.bath.ac.uk>
List-Help: <mailto:sympa-***@public.gmane.org?subject=help>
List-Owner: <mailto:prooftheory-request-***@public.gmane.org>
List-Post: <mailto:prooftheory-***@public.gmane.org>
X-Scanner: ab0753bd11f5cc61926e2e3332be929bcbaa9556
X-Gmane-Expiry: 2014-05-16
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.prooftheory/1237>
Dear All,
This year our journal Logical Methods in Computer Science
http://www.lmcs-online.org/index.php
celebrates its tenth anniversary, and we would like to use this opportunity to
remind everyone of this successful community effort.
We also have some news about the future of the journal.
The first papers were submitted to LMCS in 2004, with 16 papers being published
the following year. Since then, submission numbers have steadily increased, and
last year the number of published papers was 75! We are also proud that many
high quality conferences such as LICS, FOSSACS, RTA, CSL, and others regularly
publish their special issues in our journal. This success has only been
possible thanks to the support of the community: from you; from the authors;
from the reviewers; from the editors; and from our sponsors. But today our
special thanks go to Dana Scott who has been our editor-in-chief for the last
ten years, and whose ideas and contributions have been essential to us
throughout.
Turning from the past to the future, Jiri Adamek will retire in 2016, and with
his departure we will lose our current publishing arrangements. So we have
begun to put in place a structure which will ensure a well-established and
secure future for the journal. To this end we have formed an Executive Board.
The current members of the Board are Luca Aceto, Rajeev Alur, Lars Birkedal,
Prakash Panangaden, Wolfgang Thomas, and ourselves. The Board has appointed a
new editor-in-chief, Lars Birkedal, who has taken over from Dana. Lars will
oversee the transition to the new arrangements and take over Jiri's editorial
duties when he retires. We are enormously grateful to Lars for taking on this
role. Lars and the Executive Board will work to ensure the future success of
our journal and to provide the community with a high quality open-access
publication venue.
With best wishes,
Jiri Adamek, Stefan Milius, Benjamin Pierce, Gordon Plotkin, and Moshe Vardi
Managing Editors