Enrico Franconi | 2 Jul 01:15 2010
Picon

[] 3rd KRDB school on Trends in the Web of Data

                          3rd KRDB school on
                       Trends in the Web of Data
                             (KRDBs-2010)
             Brixen-Bressanone (near Bozen-Bolzano), Italy
                         17-18 September 2010
                                   
      http://www.inf.unibz.it/krdb/school/2010/

Call for Participation

The 2010 edition of the KRDB school will be focussed on methods, techno-
logies, and formalisms  to publish, share, access, and integrate hetero-
geneous and autonomous data on the Web.

The lecturers of the school are:

Danny Ayers: (Semantic) Web platforms
Jonathan Ellis: NoSQL and Cloud Computing
Tom Heath: Linked Data
Peter Mika: Semantic Search
Martin Hepp: The GoodRelations Ontology for E-Commerce
Marko Rodriguez: Graph Databases

Detailed information about the lectures can be found on the web page.

The participation to the school is free of charge. 
Students are required to apply  by sending an email including personal
details and a short curriculum vitae et studiorum to:
  <krdbs-2010-aRtBDOJ88yGUot5/UhEvDg@public.gmane.org>. 
Applications are continuosly evaluated as soon as the are submitted on
a first-come-first-served basis until there are available places.
The final deadline for the application is on the 27th of August. 

VENUE

The school will take place  in the charming town of Brixen-Bressanone,
near Bozen-Bolzano in South Tyrol at  the heart of the Dolomites - the
pink mountains of the  Alps. Like Bozen-Bolzano, Brixen-Bressanone has
always been a  crossroads of various cultures and  it is distinguished
by  its mediaeval Gothic  architecture. The  mediaeval alleys  and the
wealth  of  historical references  are  an  ideal  starting point  for
excursions into the countryside and  for practising a whole variety of
sports and  leisure activities. Leaving directly from  the town centre
delegates can  set off on their  bikes or on foot  for excursions into
the surrounding hills and  mountains. Brixen-Bressanone is on the main
arterial  road between  Austria/Germany  and Italy  and  it is  easily
accessible from everywhere by train, car, bus or plane.

Markus Roggenbach | 1 Jul 23:52 2010
Picon
Picon

AVOCS 2010: CFP

Call for Papers - AVoCS 2010

10th International Workshop on Automated Verification of Critical Systems
Düsseldorf, Germany, September 21-23, 2010

http://www.formal-methods.de/avocs2010


Invited Speakers
================
Jean-Raymond Abrial
Joseph R. Kiniry

Relevant Dates
==============
Submission of Full Papers: July 2, 2010 (extended)
Notification: July, 21 2010
Submission of Short Papers: August 27, 2010
Workshop : September, 21-23 2010

Scope
=====
The aim of AVoCS 2010 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT/constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion. Previous AVoCS workshops were held at the University of Oxford (2001 and 2007), the University of Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004), the University of Warwick (2005), LORIA, Nancy (2006), the University of Glasgow (2008), Swansea University (2009).

Venue
=====
AVoCS 2010 will be hosted by the University of Düsseldorf. Düsseldorf  is located in the west of Germany. Düsseldorf is quite convenient to reach as it has an international airport with direct connections to  numerous cities. The city centre and the university can be easily and quickly reached from the airport for 2.30 EUR. Alternatively the Köln-Bonn airport provides more destinations; many with budget airlines. Many cities in Germany can be reached directly with the fast ICE train. Paris can also be reached using the Thalys train service from Cologne. Hotels are reasonably priced starting at 40 Euros.

Topics include
==============
Model Checking,
Automatic and Interactive Theorem Proving,
SAT, SMT or constraint solving for Verification,
Abstract Interpretation,
Specification and Refinement,
Requirements Capture and Analysis,
Verification of Software and Hardware,
Verification of Security-Critical Systems,
Probabilistic and Real-Time Systems,
Verified System Development, and
Industrial Applications.

Submission and Publication
==========================

Full Papers: Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Papers must be written in English and not exceed 15 pages (excluding the title page) in the LaTeX EASST (http://eceasst.cs.tu-berlin.de/template/) format.
Submissions can also be sent in LNCS format (but are expected to be adapted to EASST if accepted).

Short Contributions: AVoCS 10 encourages the submissions of short contributions in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select short contributions on the basis of submitted abstracts according to significance and general interest. Short contributions must be written in English and not exceed 2 pages (excluding the title page) in the LaTeX EASST format.

Submission Site: http://www.easychair.org/conferences/?conf=avocs2010

At the workshop, a draft of the workshop proceedings will be available in the form of a Technical Report of Düsseldorf University; this report will also include the short contributions.

After the workshop, the authors of accepted papers will have about one month in order to revise their papers for publication in the workshop proceedings which will appear in the

Electronic Communications of the EASST
http://eceasst.cs.tu-berlin.de/index.php/eceasst.

The authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal

Science of Computer Programming
http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/description

Organization Committee
======================
Jens Bendisposto
Michael Leuschel
Markus Roggenbach

Program Committee
=================
Jens Bendisposto, Düsseldorf, Germany
Jan Friso Groote, T/U Eindhoven, The Netherlands
Thai Son Hoang, ETH Zürich, Switzerland
Daniel Kroening Oxford/ETH
Michael Leuschel, Düsseldorf, Germany
Gerald Luettgen, Bamberg, United Kingdom
Stephan Merz, INRIA, Nancy, France
Alice Miller, Glasgow, United Kingdom
Silvio Ranise, Verona, Italy
Markus Roggenbach, Swansea, United Kingdom
Aryldo G. Russo Jr., AeS Group, Sao Paolo, Brazil
Thomas Santen, European Microsoft Innovation Center, Germany
Helen Treharne, Surrey, United Kingdom
Sergio Yovine, Verimag, France

Rodin User and Developer Workshop
=================================
AVoCS 2010 will be co-located with the second Rodin User and Developer Workshop (20.-22. September). The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.

For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments.
For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort. The format will be presentations together with plenty of time for discussion.  On day 1 a Developer Tutorial will be held by Systerel
(http://www.systerel.fr/) while days 2 and 3 will be devoted to tool usage and tool developments.

If you are interested in giving a presentation at the workshop, send a short abstract (1 or 2 pages of A4) to rodin <at> ecs.soton.ac.uk  by 9 August 2010. Indicate whether it is a tool usage or tool development presentation. Plug-in presentations may be about existing developments or planned future developments.

Note that the Rodin User and Developer Workshop starts one day before AVoCS!
<div>Call for Papers - AVoCS 2010<br><br>10th International Workshop on Automated Verification of Critical Systems<br>D&uuml;sseldorf, Germany, September 21-23, 2010<br><br><a href="http://www.formal-methods.de/avocs2010">http://www.formal-methods.de/avocs2010</a><br><br><br>Invited Speakers<br>================<br>Jean-Raymond Abrial<br>Joseph R. Kiniry<br><br>Relevant Dates<br>==============<br>Submission of Full Papers: July 2, 2010 (extended)<br>Notification: July, 21 2010<br>Submission of Short Papers: August 27, 2010<br>Workshop : September, 21-23 2010<br><br>Scope<br>=====<br>The aim of AVoCS 2010 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT/constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems (safety-critical, security-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. The technical programme will consist of invited and contributed talks and also allow for short presentations of ongoing work. The workshop will be relatively informal, with an emphasis on discussion. Previous AVoCS workshops were held at the University of Oxford (2001 and 2007), the University of Birmingham (2002), the University of Southampton (2003), the Royal Society in London (2004), the University of Warwick (2005), LORIA, Nancy (2006), the University of Glasgow (2008), Swansea University (2009).<br><br>Venue<br>=====<br>AVoCS 2010 will be hosted by the University of D&uuml;sseldorf. D&uuml;sseldorf &nbsp;is located in the west of Germany. D&uuml;sseldorf is quite convenient to reach as it has an international airport with direct connections to &nbsp;numerous cities. The city centre and the university can be easily and quickly reached from the airport for 2.30 EUR. Alternatively the K&ouml;ln-Bonn airport provides more destinations; many with budget airlines. Many cities in Germany can be reached directly with the fast ICE train. Paris can also be reached using the Thalys train service from Cologne. Hotels are reasonably priced starting at 40 Euros.<br><br>Topics include<br>==============<br>Model Checking,<br>Automatic and Interactive Theorem Proving,<br>SAT, SMT or constraint solving for Verification,<br>Abstract Interpretation,<br>Specification and Refinement,<br>Requirements Capture and Analysis,<br>Verification of Software and Hardware,<br>Verification of Security-Critical Systems,<br>Probabilistic and Real-Time Systems,<br>Verified System Development, and<br>Industrial Applications.<br><br>Submission and Publication<br>==========================<br><br>Full Papers: Submissions of full papers to the workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Papers must be written in English and not exceed 15 pages (excluding the title page) in the LaTeX EASST (<a href="http://eceasst.cs.tu-berlin.de/template/">http://eceasst.cs.tu-berlin.de/template/</a>) format.<br>Submissions can also be sent in LNCS format (but are expected to be adapted to EASST if accepted).<br><br>Short Contributions: AVoCS 10 encourages the submissions of short contributions in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select short contributions on the basis of submitted abstracts according to significance and general interest. Short contributions must be written in English and not exceed 2 pages (excluding the title page) in the LaTeX EASST format.<br><br>Submission Site:&nbsp;<a href="http://www.easychair.org/conferences/?conf=avocs2010">http://www.easychair.org/conferences/?conf=avocs2010</a><br><br>At the workshop, a draft of the workshop proceedings will be available in the form of a Technical Report of D&uuml;sseldorf University; this report will also include the short contributions.<br><br>After the workshop, the authors of accepted papers will have about one month in order to revise their papers for publication in the workshop proceedings which will appear in the<br><br>Electronic Communications of the EASST<br><a href="http://eceasst.cs.tu-berlin.de/index.php/eceasst">http://eceasst.cs.tu-berlin.de/index.php/eceasst</a>.<br><br>The authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal<br><br>Science of Computer Programming<br><a href="http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/description">http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/description</a><br><br>Organization Committee<br>======================<br>Jens Bendisposto<br>Michael Leuschel<br>Markus Roggenbach<br><br>Program Committee<br>=================<br>Jens Bendisposto, D&uuml;sseldorf, Germany<br>Jan Friso Groote, T/U Eindhoven, The Netherlands<br>Thai Son Hoang, ETH Z&uuml;rich, Switzerland<br>Daniel Kroening Oxford/ETH<br>Michael Leuschel, D&uuml;sseldorf, Germany<br>Gerald Luettgen, Bamberg, United Kingdom<br>Stephan Merz, INRIA, Nancy, France<br>Alice Miller, Glasgow, United Kingdom<br>Silvio Ranise, Verona, Italy<br>Markus Roggenbach, Swansea, United Kingdom<br>Aryldo G. Russo Jr., AeS Group, Sao Paolo, Brazil<br>Thomas Santen, European Microsoft Innovation Center, Germany<br>Helen Treharne, Surrey, United Kingdom<br>Sergio Yovine, Verimag, France<br><br>Rodin User and Developer Workshop<br>=================================<br>AVoCS 2010 will be co-located with the second Rodin User and Developer Workshop (20.-22. September). The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.<br><br>For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments.<br>For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort. The format will be presentations together with plenty of time for discussion. &nbsp;On day 1 a Developer Tutorial will be held by Systerel<br>(<a href="http://www.systerel.fr/">http://www.systerel.fr/</a>) while days 2 and 3 will be devoted to tool usage and tool developments.<br><br>If you are interested in giving a presentation at the workshop, send a short abstract (1 or 2 pages of A4) to&nbsp;<a href="mailto:rodin <at> ecs.soton.ac.uk">rodin <at> ecs.soton.ac.uk</a>&nbsp;&nbsp;by 9 August 2010. Indicate whether it is a tool usage or tool development presentation. Plug-in presentations may be about existing developments or planned future developments.<br><br>Note that the Rodin User and Developer Workshop starts one day before AVoCS!</div>
Manuela Bujorianu | 2 Jul 13:36 2010
Picon

Multi-dimensional co-engineering of autonomous systems


---------------------------------------------------------------------
Please accept our apologies in case of cross-posting.
Please help us by distributing this call in your group/department.
---------------------------------------------------------------------

**************************************************************************
*                                                                        *
*               Call for Participation                                   *
*                                                                        *
*                    TUTORIAL on                                         *
*                                                                        *
*    Multi-Dimensional Co-Engineering of Autonomous Systems              *
*                                                                        *
*                  Pisa, 13th September 2010                             *
*                     From 14.30 to 18.30                                *
*                                                                        *
*                8th IEEE International Conference on                    *
*               Formal Methods and Software Engineering                  *
*                    (SEFM  2010)                                        *
*                                                                        *
* http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/SEFM.htm *
*                                                                        *
*                                                                        *
**************************************************************************

======================
Abstract
======================

The variety of autonomous systems is increasing both in industry and  
academia. Such systems must operate with limited human intervention in  
a changing environment and they must be able to compensate for  
significant system failure without external intervention.
In highly autonomous systems, the system behaviour is normally so  
complex that it is either impossible or inappropriate to describe it  
with conventional mathematical system models. The complexity of the  
system model needed in design depends on both the complexity of the  
physical system and on how demanding the design specifications are.  
The most appropriate models of autonomous systems can be find in the  
class are hybrid systems (which study continuous-state dynamic  
processes via discrete-state controllers) that interact with their  
environment.

======================
Topics
======================

- Overview of autonomous systems engineering
- Holistic modelling
- Hybrid systems
- Multi-dimensional co-engineering: CO --  
modelling/coordination/control/verification
- Unmanned Aerial Vehicles
- Cooperative control

=======================
Organisation / Speakers
=======================

The tutorial format is based on a multi-lectures format. The lectures  
will be presented by:
* Manuela Bujorianu                 (University of Manchester, UK),
* Antonios Tsourdos / Brian White   (Cranfield University, UK)

======================
Registration
======================

Online registration available at

http://www.sefm2010.isti.cnr.it/registration.php

On Site Registration is also available.

======================
Important dates
======================

* Early registration deadline:  July 30, 2010
* Tutorial:                     September 13, 2010
* SEFM:                         September 13-18, 2010
* Welcome reception             September 13, 2010
* Social event - trip to Luca   September 15, 2010
* Cancellation                  August 15, 2010
* SEFM School                   September 6-10, 2010

Jan Cederquist | 4 Jul 20:54 2010
Picon

2nd Cfp: Software Verification and Testing at ACM SAC 2011


                  Call for papers

   ==============================================
   26th Annual ACM Symposium on Applied Computing
      Software Verification and Testing Track
       March 21 - 25, 2011, TaiChung, Taiwan

    http://web.ist.utl.pt/~jan.cederquist/sacsvt11/Main.html
    http://www.acm.org/conferences/sac/sac2011/

Important dates

* Aug 24th 2010: Submission deadline
* Oct 12th 2010: Notification of acceptance/rejection
* Nov 2nd 2010: Camera-ready versions due

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists 
from different areas of computing over the past twenty-five years. The 
forum represents an opportunity to interact with different communities 
sharing an interest in applied computing.

SAC 2011 is sponsored by SIGAPP and will be hosted by Tunghai 
University, TaiChung, Taiwan.

Software Verification and Testing Track

We invite authors to submit new results in formal verification and 
testing, as well as development of technologies to improve the usability 
of formal methods in software engineering. Also welcome are detailed 
descriptions of applications of mechanical verification to large scale 
software. Possible topics include, but are not limited to:

- tools and techniques for verification of large scale software systems
- real world applications and case studies applying software verification
- static and run-time analysis
- abstract interpretation
- model checking
- theorem proving
- correct by construction development
- model-based testing
- verification-based testing
- symbolic execution
- analysis methods for dependable systems
- software certification and proof carrying code

Submissions guidelines

Paper submissions must be original, unpublished work. Submissions should 
be in electronic format, via the START site: 
https://www.softconf.com/b/sac11-tp/. Author(s) name(s) and address(es) 
must not appear in the body of the paper, and self-reference should be 
avoided and made in the third person. Submitted paper will undergo a 
blind review process. Authors of accepted papers should submit an 
editorial revision of their papers that fits within six two-column pages 
(an extra two pages, to a total of eight pages, may be available at a 
charge). Please comply to this page limitation already at submission 
time. Publication of accepted articles requires the commitment of one of 
the authors to register for the conference and present the paper. 
Accepted papers will be published in the ACM SAC 2011 proceedings.

Program committee

Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Yves Bertot, INRIA, Sophia Antipolis, France
Laura Brandan-Briones, Universidad Nacional de Córdoba, Argentina
Jan Cederquist (track chair), Instituto Superior Técnico, Portugal
Amy Felty, University of Ottawa, Canada
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Dilian Gurov, Royal Institute of Technology, Sweden
Joshua Guttman, Worcester Polytechnic Institute and The MITRE 
Corporation, USA
Chris Hankin, Imperial College, UK
Jay Ligatti, University of South Florida, USA
MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands
Catuscia Palamidessi, INRIA Saclay and LIX, France
Jun Pang, University of Luxembourg, Luxembourg
Antonio Ravara, New University of Lisbon, Portugal
Fausto Spoto, University of Verona, Italy

Jun PANG | 5 Jul 13:02 2010
Picon

Call for papers: FACS 2010

        Formal Aspects of Component Software (FACS 2010)

                                     Final Call for Papers
   7th International Workshop on Formal Aspects of Component Software

                                   October 14-16, 2010
                                Universidade do Minho
                                   Guimaraes, Portugal

      Extended deadlines: July, 28 (abstracts) - August, 2 (full paper)

                              www.di.uminho.pt/facs2010/

** Post-proceedings at Springer LNCS **
** Extended versions of selected papers at Science of Computer programming **


Invited speakers:
Sanjit Seshia, University of California, Berkeley
             (http://www.eecs.berkeley.edu/~sseshia/)
Luis Caires, New University of Lisbon
           (http://www-ctp.di.fct.unl.pt/~lcaires/)

Scope & Topics:

The component-based software development approach has emerged as a
promising paradigm to cope with an ever increasing complexity of
present-day software solutions by bringing sound production and
engineering principles into software engineering. However, many
conceptual and technological issues remain in component-based software
development theory and practice that pose challenging research
questions.

FACS 2010 is concerned with how formal methods can or should be used
to make component-based software development succeed. Formal methods
consist of mathematically-based techniques for the specification,
development, and verification of software and hardware systems. They
have shown their great utility for providing the formal foundations of
component-based software and working out challenging issues such as
mathematical models for components, composition and adaptation, or
rigorous approaches to verification, deployment, testing, and
certification.

The objective of FACS 2010 is to bring together researchers and
practitioners in the areas of component software and formal methods in
order to promote a deeper understanding of the component-based
software development paradigm and its applications. The workshop seeks
to address all common aspects of component software and formal
methods.  FACS aims at developing a community-based understanding of
relevant and emerging research problems through formal paper
presentations and lively discussions. Possible topics include, but are
not limited to:

- formal models for software components and component interaction
- design and verification methods for component software component
- composition and deployment: models, calculi, languages
- component testing, re-engineering and reuse
- specification of extra-functional properties in component software
- certification of components and software architectures
- component software vs. object orientation, multi-agent systems, and
aspect-oriented development
- components for real-time, safety-critical, secure and/or embedded systems
- standard models for software components (e.g. Fractal, GCM, etc.)
- industrial or experience reports, and case studies in component software
- partial behavior models for software components
- update and reconfiguration of component architectures
- component systems evolution and maintenance
- formal methods and modeling languages for components
- trust models for components
- cyber-physical component-based systems
- autonomic components and self-managed applications
- formal and rigorous approaches to software adaptation and
self-adaptive systems
- formal aspects of Web services and business processes
- component-based Web services and service-oriented architectures
- QoS issues in Web services, multi-agent systems and component-based
systems

Context:
FACS'10 is the 7th event in a series of workshops, founded by the
International Institute for Software Technology of the United Nations
University (UNU-IIST). The first FACS workshop was co-located with
FM'03 (Pisa, Italy, September 2003). The following FACS workshops were
organized as standalone events, respectively at UNU-IIST in Macau
(October 2005), at Charles University in Prague (September 2006), at
INRIA in Sophia-Antipolis (September 2007), and at University of
Malaga in Spain (September 2008).  FACS'09 was part of the Formal
Methods Week in Eindhoven (October 2009).

Publication:
The post-proceedings of the workshop will be published as a volume in
Springer's Lecture Notes in Computer Science.  Authors of accepted
papers should provide all the electronic files of the final version of
their paper according to the instructions provided at the LNCS home
page (www.springer.com/lncs).

Extended versions of selected papers will appear as a special issue of
Science of Computer Programming, Elsevier.

Submission:
We solicit two categories of high-quality submissions on research
results and/or experience: research papers (LNCS format, not exceeding
18 pages including bibliography and figures) describing a technical
contribution in depth and doctoral abstracts (2 pages, LNCS format)
concisely capturing PhD-work-in-progress, referring theme, context,
research questions, envisaged contributions, and partial results.
Submissions to the workshop should present original research which is
unpublished and not submitted for publication elsewhere. Papers will
be judged on the basis of originality, relevance, technical soundness
and presentation quality.

Submission of papers will be in electronic form via Easychair,
accessible through the workshop website. The final version of the
paper must be prepared in LaTeX, adhering to the LNCS format.

Important dates:

  Research Paper abstract submission: July 28, 2010
  Research Paper submission: August 2, 2010
  Research Paper acceptance notification: September 10, 2010

  Doctoral Track submission: September 12, 2010
  Doctoral Track acceptance notification: September 20, 2010

  Camera ready: October 1, 2010
  Workshop: October 14-16, 2010

Venue:
Hosted by Minho University, FACS 2010 will take place at
CCVF - Centro Cultural Vila Flor, Guimarães.
CCVF is a main cultural infra-structure, located right in the center of town,
in a  18th century building (http://www.ccvf.pt/index2.php).

Guimarães is a small, historic town in North Portugal, which hosted
the country's first royal capital  in the 12th century. Its historic center is
classified as  UNESCO World Heritage.

Program chairs: Markus Lumpe and Luis Barbosa

Program committee:
Farhad Arbab (CWI, The Netherlands)
Marco Autili (L'Aquila University, Italy)
Luis Barbosa (Universidade do Minho, Portugal)
Andreas Bauer (Australian National University, Australia)
Frank S. de Boer (CWI, The Netherlands)
Christiano Braga (Universidad Complutense de Madrid, Spain)
Carlos Canal (Universidad de Malaga, Spain)
Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
Einar Broch Johnsen (Universitetet i Oslo, Norway)
Zhiming Liu (IIST UNU, Macau, China)
Ying Liu (IBM China Research, China)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
Sun Meng (CWI, The Netherlands and Peking University, China)
Corina Pasareanu (NASA Ames, USA)
Patrizio Pelliccione (L'Aquila University, Italy)
Frantisek Plasil (Charles University, Czech Republic)
Anders Ravn (Aalborg University, Denmark)
Nuno Rodrigues (IPCA, Portugal)
Bernhard Schaetz (Technical University of Munich, Germany)
Marjan Sirjani (University of Tehran, Iran)
Volker Stolz (UNU-IIST, MACAU)
Carolyn Talcott (SRI International, USA)
Dang Van Hung (Vietnam National University, Vietnam)
Naijun Zhan (IOS, China)

Steering Committee:
Zhiming Liu (IIST UNU, Macau, China, coordinator)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Carlos Canal (University of Malaga, Spain)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Sophia-Antipolis, France)
Corina Pasareanu (NASA Ames Research Center, USA)
Sun Meng (CWI, the Netherlands and Peking University, China)
Bernhard Schaetz (Technical University of Munich, Germany)

Contact:
(web)   www.di.uminho.pt/facs2010/
(email) facs10chairs <at> di.uminho.pt
----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               petrinet <at> informatik.uni-hamburg.de ]]
Alessio Bechini | 5 Jul 13:33 2010
Picon
Picon

CfP - EMBS <at> ACM SAC 2011

[apologies for cross-postings]

   26th ACM Symposium on Applied Computing
   TaiChung, Taiwan, March 21-25 2011
   http://www.acm.org/conferences/sac/sac2011

    CALL FOR PAPERS FOR THE SPECIAL TRACK:

*------------------------------------------*
              EMBEDDED SYSTEMS
   Applications, Solutions, and Techniques

        http://www.ing.unipi.it/sac11
*------------------------------------------*

High performance embedded computing has recently become more and more
present in devices used in everyday life. A wide variety of
applications, from consumer electronics to biomedical systems, require
building up powerful yet cheap embedded devices. In this context,
embedded software has turned out to be more and more complex, posing new
challenging issues: the adoption of further flexible programming
paradigms/architectures is becoming almost mandatory. Nonetheless, even
nowadays the development of embedded systems must rely on a tight
coupling of hardware and software components. Moreover, the market
pressure calls for the employment of new methodologies for shortening
the development time and for driving the evolution of existing products.
New efficient solutions to problems emerging in this setting can be put
into action by means of a joint effort of academia and industry.

Design of embedded systems must take into account a wide variety of
constraints: performance, code size, power consumption, presence of
real-time tasks, maintainability, security and possibly scalability: the
more convenient trade-off has to be found, often operating on a large
number of different parameters. In this scenario, solutions can be
proposed at different levels of abstraction, making use of an assortment
of tools and methodologies: researchers and practitioners have a chance
to propose new ideas and to compare experimentations.

The focus of this conference track is on the application of both novel
and well-known techniques to the embedded systems development.
Particular attention is paid to solutions that require expertise in
different fields (e.g. computer architecture, OS, compilers, security,
software engineering, simulation). The track will benefit also from
direct experiences in the employment of embedded devices in
"unconventional" application areas, so to show up new challenges in the
system design/development process. In this setting, researchers and
practitioners from academia and industry will get a chance to keep in
touch with problems, open issues and future directions in the field of
development of dedicated applications for embedded systems.

*------------------------------------------*
             Topics of Interest
*------------------------------------------*

     * Methodologies and tools for design-space exploration
     * Simulation techniques for embedded systems
     * System-level design
     * Power-aware design techniques and computing
     * Testing, debugging, profiling and performance analysis of
embedded systems
     * Networked sensor devices and systems
     * SoC-based embedded systems and applications
     * Middleware solutions for embedded systems
     * Multithreading in embedded systems design and development
     * Java embedded computing
     * Software architectures and SOA for embedded systems
     * Embedded systems exploitation within Information Systems
     * Multimedia management in embedded systems
     * Security and dependability support within embedded systems
     * Embedded systems contribution in meeting security goals
     * OS & RTOS for embedded systems
     * Safety critical embedded systems
     * Hardware/Software support for real-time applications
     * Compilation strategies for performance enhancement vs. footprint
control
     * Code transformation and program parallelization for embedded systems
     * Special-purpose appliances and applications
     * Case studies

*------------------------------------------*
             Important dates
*------------------------------------------*

   * August 24th, 2010: Paper Submission
   * October 12th, 2010: Author Notification
   * November 2nd, 2010: Camera-Ready Copies

*------------------------------------------*
               Submissions
*------------------------------------------*

Only papers based on original, unpublished work and addressing the
listed topics of interest will be considered.
Each submitted paper will be fully refereed and undergo a blind review
process.
Please note that submission of the same paper to multiple tracks is not
allowed.

The accepted papers will be published in the ACM SAC 2011 proceedings.

Further details and conditions are available on the online CFP at the
track home page at http://www.ing.unipi.it/sac11 and at the conference
home page at http://www.acm.org/conferences/sac/sac2011/.
Questions can be directed to the Track Chairs (please check on the track
home page).

*------------------------------------------*
       Track Chairs & Program Committee
*------------------------------------------*

Chairs:
Alessio Bechini - Univ. of Pisa - Italy
Cosimo Antonio Prete - Univ. of Pisa - Italy
Li-Pin Chang - National Chiao-Tung Univ. - Taiwan

Peter Altenbernd - Univ. of Applied Sciences, Darmstadt - Germany
Erik Altman - IBM T.J. Watson Research Center - USA
Sandro Bartolini - University of Siena - Italy
Valerie Bertin - ST Microelectronics - France
João M. P. Cardoso - University of Porto - Portugal
Mingsong Chen - East China Normal University - China
Pai H. Chou - University of California, Irvine - USA
Alexander G. Dean - North Carolina State University - USA
Adam Donlin - Xilinx - USA
Lavinia Egidi - University of Northeastern Piedmont - Italy
Marc Engels - Flanders' Mechatronics Technology Centre, Leuven - Belgium
Pierfrancesco Foglia - University of Pisa - Italy
Björn Franke - University of Edinburgh - UK
Malay Ganai - NEC labs America - USA
Roberto Giorgi - University of Siena - Italy
Matthias Gries - Intel Labs - Germany
Rajiv Gupta - University of California Riverside - USA
Niraj K. Jha - Princeton University - USA
Andreas Krall - TU Wien - Austria
Tei-Wei Kuo - National Taiwan University - Taiwan
Ákos Lédeczi - Vanderbilt University - USA
Qun Li - The College of William and Mary - USA
Shih-Hsi Liu - California State Univ. at Fresno - USA
Jan Madsen - Technical University of Denmark - Denmark
Arindam Mallik - IMEC - Belgium
Claire Pagetti - ONERA - France
Andy D. Pimentel - University of Amsterdam - The Netherlands
Christine Rochange - IRIT - France
Bastian Schlich - ABB Corporate Research - Germany
Henk Sips - TU Delft - The Netherlands
Jean-Pierre Talpin - INRIA/IRISA - France
Hiroyuki Tomiyama - Ritsumeikan University - Japan
Miroslav Velev - Aries Design Automation - USA
Ning Weng - Southern Illinois University Carbondale - USA
Tilman Wolf - University of Massachusetts Amherst - USA
Sami Yehia - Thales - France
I-Ling Yen - University of Texas at Dallas - USA
Xiangrong Zhou - University of Hawaii - USA

*------------------------------------------*

Kurt Jensen | 5 Jul 16:18 2010
Picon
Picon

Sad news

Dear Petri Net colleagues

 

I am very sorry to inform you that the farther of our research area, Carl Adam Petri, has passed away a few days ago.

 

Carl Adam Petri has had a tremendous influence on the theory of concurrency and many other areas of science. We are all very grateful to him for laying the foundation for our flourishing research area.

 

Kurt Jensen

 

Chair of the Steering Committee

for the International Petri Net Community

<div>

<div class="WordSection1">

<p class="MsoNormal"><span lang="EN-GB">Dear Petri Net colleagues<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">I am very sorry to inform you that the farther of our
research area, Carl Adam Petri, has passed away a few days ago.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Carl Adam Petri has had a tremendous influence on the
theory of concurrency and many other areas of science. We are all very grateful
to him for laying the foundation for our flourishing research area.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Kurt Jensen<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-US">Chair of the Steering Committee<p></p></span></p>

<p class="MsoNormal"><span lang="EN-US">for the International Petri Net Community<p></p></span></p>

</div>

</div>
Srini | 5 Jul 17:02 2010
Picon

Re: Sad news

I am very sorry to note this news – on one who has directly / indirectly influenced so much of my career and life, as he had been, for numerous others.

 

--Srini

Dr. Srini Ramaswamy, Head Industrial Software Systems,  ABB Corporate Research, Bangalore, India

srini <at> acm.orgsrini <at> ieee.org / srinitn <at> gmail.com

USA:    +1-501-312-7191

India:  +91-9972893968

http://www.linkedin.com/in/sriniramaswamy

 

 

From: petrinet-bounces <at> informatik.uni-hamburg.de [mailto:petrinet-bounces <at> informatik.uni-hamburg.de] On Behalf Of Kurt Jensen
Sent: Monday, July 05, 2010 7:48 PM
To: pnmail
Subject: (PN) Sad news

 

Dear Petri Net colleagues

 

I am very sorry to inform you that the farther of our research area, Carl Adam Petri, has passed away a few days ago.

 

Carl Adam Petri has had a tremendous influence on the theory of concurrency and many other areas of science. We are all very grateful to him for laying the foundation for our flourishing research area.

 

Kurt Jensen

 

Chair of the Steering Committee

for the International Petri Net Community

<div>

<div class="WordSection1">

<p class="MsoNormal"><span>I am very sorry to note this
news &ndash; on one who has directly / indirectly influenced so much of my career and
life, as he had been, for numerous others. <p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<div>

<p class="MsoNormal"><span>--Srini<p></p></span></p>

</div>

<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" width="600"><tr>
<td width="45%" valign="top">
  <p class="MsoNormal"><span><a href="http://www.linkedin.com/in/sriniramaswamy">Dr. Srini Ramaswamy</a>,
  Head Industrial Software Systems,&nbsp; ABB Corporate Research, Bangalore, India</span><span><p></p></span></p>
  <p class="MsoNormal"><span><a href="mailto:srini <at> acm.org" title="blocked::mailto:srini <at> acm.org">srini <at> acm.org</a>
  /&nbsp; <a href="mailto:srini <at> ieee.org" title="blocked::mailto:srini <at> ieee.org">srini <at> ieee.org</a>
  / srinitn <at> gmail.com <p></p></span></p>
  </td>
  <td width="54%" valign="top">
  <p class="MsoNormal"><span>USA:&nbsp;&nbsp;&nbsp;
  +1-501-312-7191</span><span> <p></p></span></p>
  <p class="MsoNormal"><span>India:&nbsp;
  +91-9972893968<p></p></span></p>
  <p class="MsoNormal"><span><a href="http://www.linkedin.com/in/sriniramaswamy">http://www.linkedin.com/in/sriniramaswamy</a><p></p></span></p>
  </td>
 </tr></table>
<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<div>

<div>

<p class="MsoNormal"><span>From:</span><span>
petrinet-bounces <at> informatik.uni-hamburg.de
[mailto:petrinet-bounces <at> informatik.uni-hamburg.de] On Behalf Of Kurt
Jensen<br>Sent: Monday, July 05, 2010 7:48 PM<br>To: pnmail<br>Subject: (PN) Sad news<p></p></span></p>

</div>

</div>

<p class="MsoNormal"><p>&nbsp;</p></p>

<p class="MsoNormal"><span lang="EN-GB">Dear Petri Net colleagues<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>I
am very sorry to inform you that the farther of our research area, Carl Adam
Petri, has passed away a few days ago.<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>Carl
Adam Petri has had a tremendous influence on the theory of concurrency and many
other areas of science. We are all very grateful to him for laying the
foundation for our flourishing research area.<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>Kurt
Jensen<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>Chair
of the Steering Committee<p></p></span></p>

<p class="MsoNormal"><span>for
the International Petri Net Community<p></p></span></p>

</div>

</div>
Picon

Deadline Approaching: 6th International Conference on Information Systems Security (ICISS 2010)

6th International Conference on Information Systems Security (ICISS 2010)
December 15-19, 2010
(Tutorials December 15-16, 2010; Conference December 17-19, 2010) 
DA-IICT, Gandhinagar, India

-

CALL FOR PAPERS

The conference series ICISS (International Conference on Information
Systems Security), held annually, provides a forum for disseminating
the latest research results in information and systems security. The
acceptance ratio of the first five conferences has averaged less than
30%, and the proceedings have been published as part of the Springer
Verlag series of Lecture Notes in Computer Science. The ICISS 2010
encourages submissions addressing theoretical and practical problems
in information and systems security and related areas. We especially
like to encourage papers in domains that have not been represented
much in the past at the conference, such as database security/privacy,
usability aspects of security, operating systems security, and sensor
networks security. Papers that introduce and address unique security
challenges or present thought-provoking ideas are also welcome. For
details please refer to conference website at:
http://www.cs.wisc.edu/iciss10/

Important Dates

Full Paper submission: 
July 16, 2010. 11:59 PM, Eastern Daylight Time (U.S.). 

Notification of Acceptance: September 3, 2010

Pre-conference tutorial: December 15-16, 2010

Conference: December 17-19, 2010

Paper Submission

Submissions must be made to the submission web site. Papers should be
formatted as they would appear in the final LNCS proceedings. Papers
should be at most 15 pages in length, including the bibliography. One
of the authors of an accepted paper must attend the conference to
present the paper. Conference papers will be presented between
Dec. 17th and 19th, 2010. ICISS accepts only electronic submissions in
PDF format. Note that our publisher, Springer LNCS series, strongly
prefers camera-ready manusc-ripts to be submitted in LaTeX2e (or LaTeX)
format using the llncs.cls LaTeX template provided by Springer
Verlag. See detailed manusc-ript preparation instructions and options
at Information for LNCS Authors.

Dual Submission Policy: Submitted papers must not substantially
overlap with papers published or currently submitted to a journal or a
conference with proceedings.

Proceedings: Conference Proceedings will be published in the Springer
LNCS series.

Program Chairs

Somesh Jha (Univ. of Wisconsin Madison, United States)
Anish Mathuria (DA-IICT, India)

Program Committee

Claudio Agostino Ardagna (Univ. of Milan, Italy)
Bezawada Bruhadeshwar (IIIT-Hyderabad, India)
Mihai Christodorescu (IBM T.J. Watson Research Center, United States)
Cas Cremers (ETH Zurich, Switzerland)
Naranker Dulay (Imperial College London, United Kingdom) 
Debin Gao (SMU, Singapore)
Jon Giffin (Georgia Tech., United States)
Sushil Jajodia (George Mason University, United States)
Gunter Karjoth (IBM Zurich Research Laboratory, Switzerland)
Zhenkai Liang (NUS, Singapore)
Javier Lopez (Univ. of Malaga, Spain)
Keith Martin (Royal Holloway Univ. of London, United Kingdom) 
Debdeep Mukhopadhyay (IIT-Kharagpur, India)
Srijith Nair (British Telecom, United Kingdom)
Karthik Pattabiraman (Univ. of British Columbia, Canada)
Gunther Pernul (University of Regensburg, Germany)
Atul Prakash (Univ. of Michigan Ann Arbor, United States)
Kouichi Sakurai (Kyushu University, Japan)
Nitesh Saxena (Polytechnic Institute of New York University, United States)
R. Sekar (SUNY Stony Brook, United States)
Shamik Sural (IIT-Kharagpur, India)
P. Suresh (Chennai Mathematical Institute, India)
Vipin Swarup (MITRE, United States)
Patrick Traynor (Georgia Tech., United States)
V. Venkatakrishnan (Univ. of Illinois Chicago, United States)
Rakesh Verma (Univ. of Houston, United States)
Poorvi Vora (George Washington University, United States)
Guilin Wang (Univ. of Birmingham, United Kingdom)

Conference Website: http://www.cs.wisc.edu/iciss10/
Reinhard Diestel | 7 Jul 17:46 2010
Picon

eBook announcement: Graph Theory 4, discounts before 15 August

The 4th edition of my Springer GTM173, Graph Theory, is due to appear in mid-August:

                   http://diestel-graph-theory.com/

I negotiated the following deal with Springer, with some pros and cons for users of the (currently free but
unprintable) 3rd electronic edition, in case you think of updating:

- The full ("professional") electronic edition is now _printable_; it comes as personalised PDF

- There is an inexpensive "student" edition (unprintable, but searchable, in a nice eBook look)

- The basic text will continue to be available free online, but is neither printable nor searchable.

There is also a "course notes" licence, which will allow you to hand out printouts in class made from the
professional edition.

All electronic editions can be used on an ordinary computer, with free Adobe reader software.

Once the book is officially launched (at the ICM), the eBook prices will be tied to the print edition: same
price (€49.95) for the "professional" electronic edition (printable + internal links, TOC etc);
half-price (25.00) for the eBook "student" edition.

BEFORE 15 August (while Springer are trying to sell off their remaining copies of the 3rd edition in their
Yellow Sale), prices are not tied, and there are substantial discounts (available through http://diestel-graph-theory.com/):

 - professional edition for 29.95
 - student edition for 12.50

This special offer will lapse on 15 August - so use it now if you think it's worth it.

RD

Gmane