AsmCenter Blog| New CoreASM Engine (version 1.0.0-alpha) | 8/2/2007 | Message From: Roozbeh Farahbod <rfarahbo@cs.sfu.ca >
Date: Jul 30, 2007 6:23 PM
Subject: CoreASM Engine version 1.0.0-alpha (Lipari Edition)
To: coreasm-news@lists.sourceforge.net
Dear CoreASM user,
Testing release of the new CoreASM Eclipse plugin (version 0.4.0-alpha) which includes the new CoreASM Engine (version 1.0.0-alpha) is now available for download from https://sourceforge.net/projects/coreasm/ .
The CoreASM language is extended with new rule forms and pre-defined functions. Make sure you check out the user manual which is included in the zip file.
Currently, we are planning for a more stable release by September 2007.
Thank you for using CoreASM!
Cheers,
Roozbeh Farahbod
--
--------------------------------------------------------------------------
Roozbeh Farahbod (Ph.D. Candidate)
Software Technology Lab, Simon Fraser University
Email: rfarahbo@cs.sfu.ca
Home: www.cs.sfu.ca/~rfarahbo
 | | ABZ Conference London 2008 (incorporating 15th International ASM Workshop) | 6/26/2007 | ABZ 2008 Conference
September 16-18, 2008
BCS London Offices, Covent Garden, London, UK
First Call for Papers
Abstract State Machines (ASM), B and Z stand for three rigorous
methods that share a common conceptual foundation and are widely
used in both academia and industry for the design and analysis
of hardware and software systems. This conference is dedicated
to the cross-fertilization of these three related state-based
and machine-based formal methods. The program spans from
theoretical and methodological foundations to practical
applications, emphasizing system engineering methods and tools
that are distinguished by mathematical rigor and have proved to
be industrially viable. A main goal of the conference is to
contribute to the integration of accurate state- and
machine-based system development methods, clarifying their
commonalities and differences to better understand how to
combine related approaches for accomplishing the various tasks
in modelling, experimental validation, and mathematical
verification of reliable high-quality hardware/software systems.
The conference will be articulated into a one-day common program
of invited lectures and two days of contributed papers.
Although organized logistically as an integral event, editorial
control of the joint conference remains vested in three separate
programme committees, which will respectively determine its ASM,
B and Z content, to be presented in parallel conference tracks
with a schedule to allow the participants to switch between the
sessions. The conference simultaneously incorporates the 15th
International ASM Workshop, the 17th International Conference of
Z Users and the 8th International Conference on the B Method.
It will be preceded by a tutorial day and Verified Software
Repository Network (VSR-net) workshop on Monday, September 15.
A case study for design and verification of a flash-based file
system is suggested to the participants. Leo Freitas and Jim
Woodcock will organize a series of intermediate workshops where
those who decide to work on the problem can meet to enhance the
collaborative aspect of the work. For details see:
http://www.abz2008.org/ or www.cs.york.ac.uk/circus/mc/abz
The papers are planned to be published in a volume of Springer's
LNCS series. Contributions are solicited on all aspects of the
theory and applications of ASMs, B, Z and related approaches in
software/hardware engineering, including the development of
tools and industrial applications.
Two kinds of contributions are invited:
1. Research papers: full papers (not extended abstracts) of not
more than 12 pages (in LNCS format), which have to be original,
unpublished and not submitted elsewhere. Papers dealing with
the case study are particularly welcome.
2. Short presentations of work in progress, industrial
experience reports and tool demonstrations. An extended
abstract of not more than 3 pages is expected and will be
reviewed. The volume of accepted extended abstracts will be
made available at the time of the conference on the website of
the conference, a 1-page abstract of each presentation will be
published in the Proceedings.
Conference Chair:
Egon Boerger, University of Pisa, Italy
Program Chairs:
Egon Boerger, University of Pisa, Italy (ASM)
Michael Butler, University of Southampton, UK (B)
Jonathan Bowen, London South Bank University, UK (Z)
Local Chair and Financial Chair:
Paul Boca, London South Bank University, UK
Chair of the VSR day:
Jim Woodcock, The University of York, UK
Programme Committees:
For ASMs:
Egon Boerger, University of Pisa, Italy (Chair)
Alessandra Cavarra, Oxford University, UK
Andreas Friesen, SAP Research, Germany
Uwe Glaesser, Somon Fraser University, Canada
Susanne Graf, Verimag, France
Kristina Lundqvist, MIT, USA
Andreas Prinz, Agder University College, Norway
Elvinia Riccobene, University of Milan, Italy
Klaus-Dieter Schewe, Massey Univesity, New Zealand
Anatol Slissenko, University of Paris 12, France
Jan Van den Bussche, University of Hasselt, Belgim
Margus Veanes, Microsoft Research, USA
Chuck Wallace, Michigan Technological University, USA
For B:
Christian Attiogbé, LINA Université de Nantes, France
Richard Banach, University of Manchester, UK
Juan Bicarregui, STFC-Rutherford Appleton Laboratory, UK
Michael Butler, University of Southampton, UK (Chair)
Dominique Cansell, LORIA University of Metz, France
Daniel Dolle, Siemens Transportation Systems, France
Marc Frappier, Université de Sherbrooke, Canada
Jacques Julliand, LIFC Université de Besançon, France
Regine Laleau, LACL IUT Fontainebleau, France
Michael Leuschel, Heinrich-Heine-Universität Düsseldorf, Germany
Dominique Mery, Université Henri Poincaré Nancy, France
Annabelle McIver, Macquarie University, Australia
Louis Mussat, ClearSy, France
Marie-Laure Potet, LSR-IMAG Grenoble, France
Ken Robinson, University of New South Wales, Australia
Emil Sekerinski, McMaster University, Canada
Steve Schneider, University of Surrey, UK
Bill Stoddart, University of Teesside, UK
Elena Troubitsyna, Åbo Akademi University, Finland
Mark Utting, University of Waïkato, New Zealand
For Z:
Jonathan Bowen, London South Bank University, UK (Chair)
John Derrick, University of Sheffield, UK
Leo Freitas, The University of York, UK
Martin Henson, University of Essex, UK
Mike Hinchey, Loyola College in Maryland, USA
Randolph Johnson, National Security Agency, USA
Yves Ledru, LSR-IMAG, France
Steve Reeves, University of Waikato, New Zealand
Mark Utting, University of Waikato, New Zealand
Sergiy Vilkomir, University of Limerick, Ireland
Jim Woodcock, The University of York, UK
Venue: The conference will take place at the BCS London Offices,
Davidson Building, 5 Southampton Street, Covent Garden, London,
UK. The support of the British Computer Society, through the
BCS Formal Aspects of Computing Science Specialist Group, in
providing the venue and refreshments, is gratefully
acknowledged.
Important dates:
March 3, 2008:
Submission of full papers.
March 31,2008:
Submission of extended abstracts for short presentations.
April 14,2008:
Communication about acceptance/rejection of submitted papers
and extended abstracts.
May 5, 2008:
Camera-ready version of the accepted full papers and 1-page
abstract for the short presentations.
September 15, 2008:
Tutorials and VSR-net workshop.
September 16-18, 2008:
Main ABZ 2008 conference.
Information on the procedure how to submit papers, to register,
to reach London, weather conditions, etc., will be available in
due time at the conference website under http://www.abz2008.org/
Supported by:
ASM User Group
Association de Pilotage des Conférences B
British Computer Society
BCS-FACS Specialist Group
EPSRC VSR-net Network
London South Bank University
Z User Group
For questions concerning ABZ 2008, contact:
Prof. Egon Boerger boerger@di.unipi.it
For up-to-date information, see the conference website:
http://www.abz2008.org/
 | | 15th International Workshop on Abstract State Machines ASM'08 | 2/7/2007 | The 15th International Workshop on Abstract State Machines ASM'08 will be held as part of the ABZ conference, joining a B and a Z conference and to be held in the premises of the British Computer Society in
London 15.-18.9.2008
ABZ will feature a common part of invited lectures and parallel sections for submitted papers. There will be a separate program committee for each of ASM, B and Z. Proceedings are planned to be issued as Springer LNCS. Also a tutorial day and a VSR meeting are planned for the first day of the conference. Also a case study for design and verification of a flash-based file system is suggested, see www.cs.york.ac.uk/circus/mc/abz . Details can be found at the ABZ conference website http://www.abz2008.org/
For inquiries you may contact boerger@di.unipi.it
 | | Presentations from Pisa Workshop available on the ASM Center Web site | 2/2/2007 | The Pisa Workshop on Open Source ASM Tool Developments is documented here by some of the presentations made at the workshop.  | | Tribute to Dean Rosenzweig | 1/22/2007 | Dean Rosenzweig passed away at the beginning of January 2007.
His important contributions to the development of the ASM Method, in particular in its early phase at the beginning of the 1990'ies, is acknowledged in a Tribute to Dean Rosenzweig that is available as AsmCenter TR 2007.2 at http://rotor.di.unipi.it/AsmCenter/Asm%20Research%20Center%20Reports/Forms/AllItems.aspx.  | | ASM'05 Special Issue of Fundamenta Informaticae | 12/7/2006 | The ASM'05 Special Issue of Fundamenta Informaticae vol. 77 (1-2), 2007, is in print. By courtesy of FI the presentation of its contents (Preface by the editors E. Boerger and A. Slissenko) and abstracts of the contributed papers are available among the SelectedPapers of the Asm Research Center Website http://rotor.di.unipi.it/AsmCenter/SelectedPapers/Forms/AllItems.aspx  | | Pisa Workshop on ASM Open Source Tools | 11/3/2006 | The workshop took place from Friday 26.1. to Saturday 27.1., 2007, at the Dept of CS of the University of Pisa. The program consisted of the presentation and discussion of the ASM tools that are currently under development - at Vancouver/Pisa, Milan/Bergamo, MIT, Paris12, Oxford . Some of the slides of the presentations have been made available, see the above announcement or click here.
For questions or suggestions contact boerger@di.unipi.it
 | | ASM'07 | 11/3/2006 |  |
|
|