OSSG Article

2nd Call for Papers: OpenCert 2010

 in External Events / OSSG Article / OSSG Events / Uncategorized  tagged article by (updated 1733 days ago)

4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION

Location and date
Pisa, Italy – 17-18 September 2010
Satellite Event to SEFM 2010
Website
http://opencert.iist.unu.edu/
Submission deadline
28 June, 2010

News


A special issue of Science of Computer Programming with selected papers is planned.
A final decision on this issue depends on the number and quality of the submissions.

CONTEXT & OBJECTIVES

Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on
the way software systems and and software-based services are developed, distributed and deployed.
Widely acknowledged benefits of OSS include reliability, low development and maintenance costs,
as well as rapid code turnover. Linux distributions, Apache and MySQL serve, among many other examples,
as a testimony to its success and resilience.

However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed
development model, make software quality assessment, let alone full certification, particularly
hard to achieve and raises important challenges both from the technical/methodological and
the managerial points of view.

This makes the use of OSS, and, in particular, its integration within complex industrial-strength
applications, with stringent security requirements, a risk. And, simultaneously an opportunity and
a challenge for rigourous, mathematically based, methods in software analysis and engineering.

In such a context, the aim of this workshop is to bring together researchers from academia and industry
who are broadly interested in the quality assessment of open source software projects, ultimately leading
to the establishment of coherent certification processes, at different levels.

Following the success of the three previous editions (colocated to ETAPS’07, in Braga, and OSS’08,
at IFIP WCC, in Milan, and ETAPS’09, in York), the workshop will focus on formal methods and
model-based techniques that appear promising to facilitate OSS certification.
Both foundational, methodological and pragmatic issues will be addressed, through both standard
technical communications and reports on concrete case-studies and experimental data.

CONTRIBUTIONS

Contributions are expected to foster a broad debate on OSS assessment and certification, integrating
techniques and elements from areas as different as

  • product and process certification
  • certification standards
  • formal modelling and verification (model checking and theorem proving)
  • software quality and reverse engineering
  • static analysis, testing and inspection
  • safety, security and usability certification
  • language design and evolving systems
  • automated source code analyses
  • empirical studies

SUBMISSION

The two-day workshop will feature invited talks, a pannel discussion and contributed
paper presentations. All contributions, in the form of either full technical papers,
between 10 and 16 pages, or short position papers, will undergo a peer-review process.
All papers should be written in English and in ECEASST format.

Detailed information on the submission procedure are available at http://opencert.iist.unu.edu

PUBLICATION

Accepted papers will be published in Electronic Communications of the EASST (ECEASST)
A special issue of Science of Computer Programming with selected papers is planned.
A final decision on this issue depends on the number and quality of the submissions.

IMPORTANT DATES

  • Abstract submission: 21 June, 2010
  • Paper submission deadline: 28 June, 2010
  • Acceptance notification: 27 July, 2010
  • Final version due: 14 August, 2010

PROGRAM COMMITTEE

  • B. Aichernig, Graz, Austria
  • A. Abdurahmanovic, PrimeKey, Sweden
  • L. Barbosa, Minho, Portugal (co-chair)
  • A. Capiluppi, East London, UK
  • A. Cerone, UNU-IIST, Macau, SAR China (co-chair)
  • G. Ciobanu, A.I. Cuza, Romania
  • E. Damiani, Milano, Italy
  • J. Davies, Oxford, UK
  • R. di Cosmo, Paris Diderot, France
  • F. Fabbrini, ISTI-CNR, Italy
  • M. J. Frade, Minho, Portugal
  • J. Fisteus, Madrid Carlos III, Spain
  • D. Ghica, Birmingham, UK
  • T. Janowski, UNU-IIST, Macau, SAR China
  • P. Krishnan, Bond, Australia
  • P. Milazzo, Pisa, Italy
  • J. Miranda, Multicert, Portugal
  • J. Noll, LERO, Ireland
  • A. Petrenko, ISP-RAS, Russia
  • S. Pickin, Madrid Carlos III, Spain
  • S. Shaikh, Coventry, UK (co-chair)
  • S. K. Sowe, UNU-MERIT, The Netherlands
  • R. Treinen, Paris Diderot, France
  • J. Visser, SIG, The Netherlands
  • D. von Oheimb, Siemens, Germany
  • T. Vos, UP Valencia, Spain
  • A. Wasserman, CMU, USA

CONTACTS

opencert-2010@iist.unu.edu

Call for papers: OpenCert 2010

 in Call for papers / OSSG Article  tagged article by (updated 1733 days ago)

4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION

Location and date
Pisa, Italy – 17-18 September 2010
Satellite Event to SEFM 2010
Website
http://opencert.iist.unu.edu/
Submission deadline
28 June, 2010

CONTEXT & OBJECTIVES

Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on
the way software systems and and software-based services are developed, distributed and deployed.
Widely acknowledged benefits of OSS include reliability, low development and maintenance costs,
as well as rapid code turnover. Linux distributions, Apache and MySQL serve, among many other examples,
as a testimony to its success and resilience.

However, state-of-the-art OSS, by the very nature of its open, unconventional, distributed
development model, make software quality assessment, let alone full certification, particularly
hard to achieve and raises important challenges both from the technical/methodological and
the managerial points of view.

This makes the use of OSS, and, in particular, its integration within complex industrial-strength
applications, with stringent security requirements, a risk. And, simultaneously an opportunity and
a challenge for rigourous, mathematically based, methods in software analysis and engineering.

In such a context, the aim of this workshop is to bring together researchers from academia and industry
who are broadly interested in the quality assessment of open source software projects, ultimately leading
to the establishment of coherent certification processes, at different levels.

Following the success of the three previous editions (colocated to ETAPS’07, in Braga, and OSS’08,
at IFIP WCC, in Milan, and ETAPS’09, in York), the workshop will focus on formal methods and
model-based techniques that appear promising to facilitate OSS certification.
Both foundational, methodological and pragmatic issues will be addressed, through both standard
technical communications and reports on concrete case-studies and experimental data.

CONTRIBUTIONS

Contributions are expected to foster a broad debate on OSS assessment and certification, integrating
techniques and elements from areas as different as

  • product and process certification
  • certification standards
  • formal modelling and verification (model checking and theorem proving)
  • software quality and reverse engineering
  • static analysis, testing and inspection
  • safety, security and usability certification
  • language design and evolving systems
  • automated source code analyses
  • empirical studies

SUBMISSION

The two-day workshop will feature invited talks, a pannel discussion and contributed
paper presentations. All contributions, in the form of either full technical papers,
between 10 and 16 pages, or short position papers, will undergo a peer-review process.
All papers should be written in English and in ECEASST format.

Detailed information on the submission procedure are available at http://opencert.iist.unu.edu/

PUBLICATION

Accepted papers will be published in Electronic Communications of the EASST (ECEASST)
Publication of selected papers in a journal is currently under negotiation.

IMPORTANT DATES

  • Abstract submission: 21 June, 2010
  • Paper submission deadline: 28 June, 2010
  • Acceptance notification: 30 July, 2010
  • Final version due: 14 August, 2010

PROGRAM COMMITTEE

  • B. Aichernig, Graz, Austria
  • A. Abdurahmanovic, PrimeKey, Sweden
  • L. Barbosa, Minho, Portugal (co-chair)
  • A. Capiluppi, East London, UK
  • A. Cerone, UNU-IIST, Macau, SAR China (co-chair)
  • G. Ciobanu, A.I. Cuza, Romania
  • E. Damiani, Milano, Italy
  • J. Davies, Oxford, UK
  • R. di Cosmo, Paris Diderot, France
  • F. Fabbrini, ISTI-CNR, Italy
  • M. J. Frade, Minho, Portugal
  • J. Fisteus, Madrid Carlos III, Spain
  • D. Ghica, Birmingham, UK
  • T. Janowski, UNU-IIST, Macau, SAR China
  • P. Krishnan, Bond, Australia
  • P. Milazzo, Pisa, Italy
  • J. Miranda, Multicert, Portugal
  • J. Noll, LERO, Ireland
  • A. Petrenko, ISP-RAS, Russia
  • S. Pickin, Madrid Carlos III, Spain
  • S. Shaikh, Coventry, UK (co-chair)
  • S. K. Sowe, UNU-MERIT, The Netherlands
  • R. Treinen, Paris Diderot, France
  • J. Visser, SIG, The Netherlands
  • D. von Oheimb, Siemens, Germany
  • T. Vos, UP Valencia, Spain
  • A. Wasserman, CMU, USA

CONTACTS

opencert-2010@iist.unu.edu

Alfresco Meetup: London

 in External Events / OSSG Article / OSSG Events  tagged article by (updated 1733 days ago)

We’ve recently received word that the creators of the Alfresco Open Source content management system are holding a “Meetup” event at the Park Plaza, Victoria, London. The organisers provided the following description:

The Meetups cover a range of open source topics, and are designed to inform and educate the community on all the latest company news. Some Alfresco Customer speakers from last year included the CIO’s from Islington and the North London Waste Authority, and Alfresco is planning more customer speakers for the events this year.

For further details please see http://www.alfresco.com/about/events/2010/04/ukmeetup/

OATS Meeting Aftermath 1

 in Accessibility / OSSG Article / OSSG News  tagged article by (updated 1733 days ago)

On the 8th of August 2006 the BCS Open Source Specialist Group and the BCS Disability Specialist Group welcomed Simon Judge to present the work of the Open Source Assistive Technology Software project (OATSOFT).

Simon discussed the aims of assistive technology in general and demonstrated the state of the art using illustrative videos demonstrating some of the assistive technology devices that he helps to deploy in his work. The OATS project was then introduced and the various facilities offered by the project including the Forge, the academic resources, discussion forums and most importantly the list of Open Source assistive technology systems.

Much of the floor discussion during the presentation revolved around the input problems experienced by users of assistive technology systems. Though innovative systems are available, they are often not widely adopted due to issues such as the initial learning curve, the availablity of support and the cost of any specialist hardware required.

The floor were also interested in the possibilities offered by using commodity hardware such as old mice and commodity computing devices in place of expensive dedicated devices. Coupled with the Open Source assistive technology components offered by OATS, this could provide a new route to better assistive technology.

Resources