FORMAL METHODS 2006: Early Reg. Deadline

           FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

                            21 - 27 August 2006
              McMaster University, Hamilton, Ontario, Canada
                         http://fm06.mcmaster.ca/

               REMINDER:  EARLY REGISTRATION ENDS ON JULY 7

The FM Symposia continue to be the premier international forum for
practitioners and researchers applying mathematical methods to the design
of highly trusted computer systems.  It enables them to meet and exchange
experiences and ideas.  This is the 14th event in this series, and for
the first time will take place in North America.  Among the highlights:

* Technical Symposium with 36 papers (out of 158 submissions) and
  Best Paper Award
* Doctoral Symposium, aimed at young researchers
* Industry Day with 8 speakers reporting on industrial usage
* 5 Invited Speakers
* 10 Tutorials
* 4 Workshops
* Commercial Tool Exhibition
* Research Poster and Tool Exhibition
* Book Exhibition

Help on Fuzzy Coloured Petri Net

<div>
<div><span class="950024409-03072006">Dear All, 
</span></div>
<div>
<span class="950024409-03072006"></span>&nbsp;</div>
<div><span class="950024409-03072006">Currently I am 
trying to develop a model by using fuzzy coloured petri net using Coloured Petri 
Net tools (CPN tools) developed by The university of Aarhus. However I have been 
having some problems with it and I would like to know if&nbsp;anybody can give 
me some references on fuzzy coloured petri net. Also, if I could consult with 
anyone who&nbsp;understand about fuzzy coloured petri net.</span></div>
<div>
<span class="950024409-03072006"></span>&nbsp;</div>
<div><span class="950024409-03072006">Any feedbacks are 
greatly appreciated.</span></div>
<div>
<span class="950024409-03072006"></span>&nbsp;</div>
<div><span class="950024409-03072006">Regards,</span></div>
<div><span class="950024409-03072006">Jessica 
Hanafi</span></div>
</div>

CFP - ACM CLAT07 - Call For Papers

*************our apologies for multiple copies****************

===============================================

                      PRELIMINARY CALL FOR PAPERS

                                   CLAT 2007
  Computer-aided Law and Advanced Technologies track
of ACM Symposium on Applied Computing, SAC 2007
                         http://www.clat.unibo.it
                         http://www.mfn.unipmn.it/~lavinia/clat2007

                        Seoul, Korea, March 11-15, 2007
===============================================

The 3rd Computer-aided Law and Advanced Technologies forum (CLAT
2007) will be held as part of the 22nd ACM Symposium on Applied
Computing (SAC 2007), March 11-15, 2007, Seoul, Korea (http://
www.acm.org/conferences/sac/sac2007/).

SAC 2007
For the past twenty years, the ACM Symposium on Applied Computing
(SAC) has been an essential forum for applied computer scientists,
computer engineers, software engineers, and application developers
from around the world.  SAC 2007 is sponsored by the ACM Special
Interest Group on Applied Computing, and hosted by the Seoul National
University in Seoul, and Suwon University in Gyeonggi-do.

CLAT 2007 Advances in computer applications and the social cyberspaces 
created by computing networks highlight the need for a revised legal 
framework to deal with emerging issues. Similarly, the legal domain can 
benefit from such technical advances. On the other hand, dematerialization 
of documents and documental flows call for appropriate technical tools that 
allow to design paradigms meeting the relevant legal requirements. A 
combined effort of the computer science and law communities would have 
benefical consequences in areas such as e-Business, 
e-Government,e-Commerce,... A track that focuses on the intersection of law 
and technology represents a broad and diverse forum for the discussion of 
research in computer-aided law and can provide synergies when aligned with 
other areas of SAC.

Of particular interest is the identification of a new technology-
aided paradigm, one which assures security and trust among its
practitioners.  This would entail the management of communications
and electronic "relationships", both private and public.
Topics to be addressed will cover the use of computer technologies
within public administration (e-Government) and the private sector (e-
Commerce), among several other key areas.

Topics of interest include, but are not limited to:

1) TECHNOLOGICAL SUPPORT FOR:
Agent-treatable legal issues
Civil liability
Codes of conduct
Contracts
Copyright protection
Counter-terrorism initiatives
Criminal liability
e-Business
e-Governance
e-Government
Electronic court proceedings
Electronic evidence
Intellectual property
Legal publicity
On-line dispute resolution
Privacy
Protection of consumer rights
Torts
Trust and reputation

2) LEGAL ASPECTS OF:
Agent-based paradigms
Artificial intelligence
Cybercrime
Databases
Dematerialization of documental flows
Digital signatures
Electronic documents
Electronic mail
Network security
Online creative industries
Privacy-preserving data-mining
Public key infrastructures
Security mechanisms (encryption, authentication, access control, etc.)
Simulation
Software protection
Traffic monitoring and logging
Trust and reputation models
Virtual communities
Watermarking and fingerprinting techniques

PROGRAMME
The workshop will include paper presentations and panel sessions over
the course of one day. The
programme will be available at the conference site and at the track
sites.

TRACK CHAIRS
Lavinia Egidi
University of Piemonte Orientale, Italy
Computer Science Department
lavinia.egidi@...

Giovanni Sartor
European University Institute of Florence, Italy
Department of Law
Giovanni.Sartor@...

Alessandra Villecco
University of Bologna, Italy
Department of Law - CICU
alessandra.villecco@...

PROGRAM COMMITTEE
Kevin Ashley, University of Pittsburgh, USA
Francesco Bergadano, University of Turin, Italy
Davide Cavagnino, University of Turin, Italy
Enrico Denti, University of Bologna, Italy
Maria Fasli, University of Essex, UK
Sang-Jo Jong, Seoul National University, Korea
Khalid Al-Kofahi, Thomson Legal & Regulatory, USA
Minsoo Lee, Ewha Womans University, Korea
Mario Losano, University of Piemonte Orientale, Italy
Rosa Meo, University of Turin, Italy
Tope Omitola, University of Cambridge, UK
Marinella Petrocchi, IIT, CNR, Italy
Henry Prakken, Universiteit Utrecht, Netherlands
Lorenza Saitta, University of Piemonte Orientale, Italy
Marek Sergot, Imperial College of London, UK
Emily Weitzenböck, University of Oslo, Norway

SUBMISSION GUIDELINES
We encourage submissions of  papers describing original research not
previously published. According to the conference policy, papers
cannot be submitted to multiple tracks of SAC 2007. Each paper will
be reviewed by at least three referees, both with legal and technical
competences. The review process will be blind.
The length of submitted papers should not exceed 8 pages in ACM
format (approximately 8000 words). However, notice that accepted
papers exceeding 5 pages (approximately 5000 words) will be charged a
fee for each extra page.
Submissions will be managed electronically. For further submission
guidelines, please see the track sites: http://www.clat.unibo.it and
http://www.mfn.unipmn.it/~lavinia/clat2007 .

PUBLICATIONS
The accepted papers will be published in their entirety in the ACM
SAC 2007 proceedings.

REGISTRATION
Detailed information on registration conditions and fees will be
available at SAC 2007 web-site,
http://www.acm.org/conferences/sac/sac2007.

============================
IMPORTANT DATES
Sept. 8, 2006: Paper submissions
Oct. 16, 2006: Author notification
Oct 30, 2006: Camera-Ready Copy
============================

CONTACTS
Alessandra Villecco
University of Bologna -
Department of Law - CICU
Italy
alessandra.villecco@...
Phone: +39 051 2099654
Fax: +39 051 2099624

Lavinia Egidi
University of Piemonte Orientale
Computer Science Department
Italy
lavinia.egidi@...
Phone: +39 0131 360187
Fax: +39 0131 360198

OTHER SAC 2007 TECHNICAL TRACKS

A.I., Computational Logic, Image Analysis
Advances in Spatial and Image-based Information Systems
Agents, Interactions, Mobility, and Systems
Autonomic Computing
Bioinformatics
Computer Applications in Health Care
Computer Ethics and Human Values
Computer Forensics
Computer Networks
Computer Security
Constraint Solving and Programming
Coordination Models, Languages and Architectures
Data Mining
Data Streams
Database Theory, Technology, and Applications
Dependable and Adaptive Distributed Systems
Document Engineering
E-Commerce Technologies
Embedded Systems: Applications, Solutions, and Techniques
Evolutionary Computation
Geoinformatics and Technology
Geometric Computing and Reasoning
Handheld Computing
Information Access and Retrieval
Mobile Computing and Applications
Model Transformation
Multimedia and Visualization
Object Oriented Programming Languages and Systems
Operating Systems and Adaptive Applications
Organizational Engineering
Programming for Separation of Concerns
Programming Languages
Reliable Computations and their Applications
Semantic Web and Application
Semantic-Based Resource Discovery, Retrieval and Composition
Software Engineering
Software Verification
System On Chip Design and Software Supports
Trust, Recommendations, Evidence, and other Collaborative Know-how
Ubiquitous Computing
Web Technologies

_________________________________________________________________________________
mozart-users mailing list                               mozart-users@...
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Call for papers - Workshop "Semantic Information Integration on Knowledge Discovery" - (SIIK 2006)

Apologies for multiple copies due to cross postings. Please send to
interested colleagues and students.

                             CALL FOR PAPERS
------------------------------------------------------------------------
--
The 1st International Workshop "Semantic Information Integration on
Knowledge Discovery" - (SIIK 2006)
------------------------------------------------------------------------
--
                      http://www.ares-conf.org/siik

in conjunction with the 8th International Conference on Information
Integration and Web Based Applications & Services
(iiWAS2006)-http://www.iiwas.org/conferences/iiwas2006/
                            4-6 December 2006, 
                         Yogyakarta, Indonesia.

Introduction
-------------

Knowledge Discovery has been widely accepted as a key technology for
enterprises and organizations to improve their abilities in data
analysis, decision support, and the automatic extraction of knowledge
from data. With the exponential growing amount of information to be
included in the decision making process, the data to be considered
becomes more and more complex in both structure and semantics, located
in heterogeneous and distributed systems. Furthermore, the explosive
growth and popularity of the world-wide web has resulted in a huge
number of information sources on the Internet. Consequently, the process
of retrieval and knowledge discovery from this huge amount of
heterogeneous complex data builds the litmus-test for the research in
the area.

Information Integration subsumes all technologies needed to provide form

manipulation of information scattered over many information systems
while supporting a single system image. Information integration has been
a long standing challenge for the database community in the last
decades. Although there are several distinct research and development
areas explicitly or implicitly addressing data integration, the
schematic and semantic heterogeneity is still one of the most
difficulties in the integration of heterogeneous knowledge and
information systems - one of the perquisite steps of knowledge discovery
process.

The purpose of this workshop is to bring together researchers,
developers, and practitioners to present their recent work, discuss and
identify problems, synergize different views of techniques and policies,
and brainstorm future research/development directions on semantic
information integration used in knowledge discovery. The research on
progress, draft idea, architecture submissions are also welcome.
Particularly, we strongly encourage submissions dealing with real world
applications such as information integration in science information
systems, health-care systems, e-government, e-commerce, workflow
management systems, web information systems, etc.

Topics of interests
-------------------

The topics of the workshop include, but are not limited to:

-  Standards based Information Integration 
-  Managing metadata for information integration
-  Semantic Integration
-  Information extraction
-  Information quality/data cleaning
-  Resolving inconsistency across sources
-  Ontologies for Information Integration
-  Ontology mapping and merging
-  Schema mapping/evaluating/integrating
-  On-the-fly Integration
-  Secure Information Integration 
-  Information Integration architectures
-  Reviews and evaluation of existing Integration approaches
-  Tools for supporting Information Integration
-  Data Integration in data warehousing/ data mining
-  Data integration in P2P/Grid systems
-  Data Integration in Health Care systems
-  Data Integration in e-Commerce applications
-  Data Integration in e-Government applications
-  Data Integration in e-Science applications
-  Data Integration Management for mobile applications
-  Workflow Information Integration
-  Data Integration across Institutional Borders

Submission Instructions
-----------------------

The SIIK workshop accepts full and short research papers.

For paper registration and electronic submission please use the
following
website:

http://www.ares-conf.org/siik/review

The length of the full paper should not exceed 10 pages and short paper
should not exist 5 pages. Papers must be formatted according to the
guidelines of the Austrian Computer Society (OCG). (to be found at
http://www.ocg.at/activities/books/Richtlinien.pdf).

Submitted papers will be blind reviewed and carefully evaluated based on

originality, significance, technical soundness, and clarity of
exposition.

Important Dates
---------------

September 15, 2006                Full Papers submission 
October 6, 2006                   Acceptance Notification 
October 15, 2006                  Camera-Ready Papers 
December 4-6,2006                 Workshop at iiWAS Conference

Publication
------------

All accepted workshop papers will be published in the Austrian Computer
Society book series. Distinguished papers, after further revisions, will
be published in special issues of :

[1] International Journal of Web Information Systems 
(http://www.troubador.co.uk/ijwis)

[2] International Journal of Web and Grid Services 
(https://www.inderscience.com/browse/index.php?journalID=47) 

[3] International Journal of Business Intelligence and Data Mining 
(https://www.inderscience.com/browse/index.php?journalID=143) 

[4] More are pending approval 

Workshop Organizers
-------------------

Nguyen Manh Tho, Ph.D. (main contact)
Institute of Software Technique and Interactive System,
Vienna University of Technology ,
Favoriten strasse 9-11/188
A1040 Vienna, Austria
tho <at> ifs.tuwien.ac.at

Benhard Sitohang, Ph.D. 
School of electrical engineering & Informatics,
Bandung Institute of Technology,
Indonesia
Benhard <at> informatika.org

Programme Committee
-------------------

Ahmad Ashari, Universitas Gadjah Mada, Indonesia 
Andrea Cali, Free University of Bozen-Bolzano, Italy
R. Scott Cost, The Johns Hopkins University, USA
Mohand-Said Hacid, University Lyon 1, France
Danile Herin, Montpellier II University. LIRMM, France
Ela Hunt, ETH Zurich, Switzland
Ralf-Detlef Kutsche, TU Berlin & Fraunhofer ISST, Germany Domenico
Lembo, University of Roma "La Sapienza", Italy Giansalvatore Mecca,
Universita' della Basilicata, Italy Marco Mesiti, DICO - University of
Milano, Italy Tho Manh Nguyen, Vienna University of Technology, Austria
Marta Sabou, KMi, The Open University, UK Benhard Sitohang, School of
electrical engineering & Informatics - ITB, Indonesia
Putri Saptawati, Institut Teknologi Bandung, Indonesia Laurentiu
Vasiliu, DERI, National Unversity of Ireland, Galway, Ireland Basuki
Widodo, Institut Teknologi Sepuluh November, Indonesia Huiyong Xiao,
University of Illinois at Chicago, USA Takahira Yamaguchi, Keio
University, Japan

CfP - ICSSEA 2006 International Conference Software & Systems Engineering and their Applications

-----------------------------------
CALL FOR PARTICIPATION

ICSSEA 2006, 19th International Conference

Software & Systems Engineering and their Applications

December 5-7, 2006

CNAM/CMSL, Paris, France

Web site : www.cnam.fr/CMSL

SERVICES & SYSTEMS GLOBALIZATION

Today, the current trend to globalization is 
undoubtedly one of the major factors influencing 
business processes and, consequently, computer 
systems. This very trend, which impacts software 
applications and systems at various levels, calls 
for a continuous growing need for adaptation to 
technical environments, but also to uses and 
contexts, be it at the level of enterprise or of 
the individual user. This trend also finds its 
expression by an increasing need for more and 
more distributed systems, for better quality of 
service as well as systems cooperation and interoperability.

If mastering software technology is necessary for 
project success, integrating smoothly systems in 
global business processes remains a key factor, 
be it for a relevant understanding of systems’ 
goal or for a smooth adaptation of system uses and evolution.

With regard to the above trend, software and 
systems processes, methods, and tools ineluctably 
require novel approaches adapted to a global 
environment. Assuredly, this concerns system 
global life cycle, particularly requirements 
engineering, designing as well as testing and validating software & systems.

Lastly, in such a context, economical issues are 
of major importance, concerning not only design 
and development cost, but also exploitation and 
appropriation cost in terms of project global cost and ROI.

Organized by the Center for Mastering Systems & 
Software (CMSL) of CNAM (Conservatoire National 
des Arts et Métiers), the 19th edition of the 
ICSSEA Conference (International Conference on 
Software & Systems Engineering and their 
Applications) will be held in Paris on December 
5-7, 2006. It aims at providing a critical survey 
of the current status of tools, methods, and 
processes for elaborating software & systems, in 
gathering actors from the enterprise and research 
worlds. However, lectures and discussions will be 
conducted with service and system globalization as a leitmotiv.

PROGRAM

SESSIONS

Tuesday, December 5
Session 1: Inaugural Lectures
Session 2: Systems of Systems
Session 3: Maturity and Metrics
Session 4: Development Processes

Wednesday, December
Session 5: Test and V&V
Session 6: Modeling
Session 7: Requirements Engineering

Thursday, December
Session 8: Business Processes
Session 9: Components & Systems Integration

TUTORIALS

Tutorial 1: Tuesday, December 5, 2:00-5:30 p.m.
Best Practices for Software Quality 
Specification, Testing and Certification of COTS and Bespoken Systems
Hans-Ludwig Hausen  Fraunhofer Gesellschaft (D)

Tutorial 2: Wednesday, December 6, 9:00-12:30 a.m.
Requirements Analysis & Acquisition
Larry Bernstein  Stevens Institute of Technology (USA)

Tutorial 3: Thursday, December 7, 9:00-16:00
Distributed Systems Design, Analysis, and V&V
MeFoSyLoMa Group (F)

Tutorial 4: Thursday, December 7, 2:00-5:30 p.m.
Business Process Management
Paul Harmon  Business Process Trends (USA)

Sponsorships:

IEEE France Section
CIGREF
AII
Möbius
CFTL
GASQ
AFSCET

INFORMATION

CNAM-CMSL
c/o Chaire d’Intégration de Systèmes
292, rue Saint-Martin
75141 Paris Cedex 3
France

Tel.: +(331) 40 27 23 83 or +(331) 40 27 22 58
Fax: +(331) 40 27 23 77

E-mail: rault <at> cnam.fr
Web site: www.cnam.fr/CMSL

REQUEST FOR INFORMATION
to be mailed to:
rault <at> cnam.fr

LAST 
NAME:.................................................................................
First 
Name:......................................................................................
Organization / 
Company:.................................................................
Adresses: 
.........................................................................................
e-mail: 
.............................................................................................

(  ) I am interested in ICSSEA 2006
(  ) I am planning to attend
(  ) Please send the printed program brochure
(  ) Please send the program brochure as an attached file

VL/HCC 06: Call for Participation

VL/HCC Call for Participation – Brighton, September 5-7, 2006

Early registration is now open for the IEEE Symposium on Visual 
Languages and Human-Centric Computing.

Co-located this year with Software Visualization (SoftVis 06) and the 
Psychology of Programming Interest Group (PPIG), VL/HCC promises to 
provide a stimulating forum for exchange and debate around a wide range 
of topics relating to visual languages and human centred computing in 
general.

Highlights of this year’s symposium include:

-	A conference dinner at Brighton’s world famous Royal Pavilion;
-	A joint VL/HCC – PPIG keynote by Thomas Green
-	A joint VL/HCC – SoftVis keynote by Ron Baecker
-	Tutorials on Meta Tools For Implementing Domain Specific Visual 
Languages (John Grundy and John Hoskins), and on Cognitive Dimensions 
of Notations (Thomas Green and Alan Blackwell)
-	The International Workshop on Graph and Model Transformation (GraMoT 
06)

There are big discounts of up to 30% available for registering at more 
than one of the co-located conferences.  Don’t delay: early 
registration closes on July 21st!

Further details, including online registration, programme information 
and accommodation details can be found on the VL/HCC website: 
http://www.cmis.brighton.ac.uk/vlhcc/

Hope to see you there!

SOS 2006 - Programme and Call for Participation

CALL FOR PARTICIPATION:

     Structural Operational Semantics 2006

     - a satellite workshop of CONCUR 2006

     26th August 2006, Bonn (Germany)

     http://www.cse.unsw.edu.au/~rvg/SOS2006/

     !!! Early registration until 18th July !!!

INVITED SPEAKERS:

     Bartek Klin (Warsaw, PL)

     Robin Milner (Cambridge, UK) - joint Express-Infinity-SOS talk

PROGRAMME:

     09:00 Registration
     09:15 Welcome
     09:30 Bartek Klin (invited talk):
           Bialgebraic methods in structural operational semantics
     10:30 break
     11:00 MohammadReza Mousavi, Michel A. Reniers:
           On well-foundedness and expressiveness of promoted tyft
     11:30 Christiano Braga, Alberto Verdejo:
           Modular SOS with strategies
     12:00 Adrian Pop, Peter Fritzson:
           An Eclipse-based integrated environment for developing
           executable structural operational semantics specifications
           (tool demonstration)
     12:30 lunch
     14:30 Robin Milner (joint invited Express-Infinity-SOS talk):
           Bigraphs, multi-local names and confluence
     15:30 break
     16:30 Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson:
           Active evaluation contexts for reaction semantics
     17:00 Simone Tini:
           Notes on probabilistic bisimulations
     17:30 Vincent Danos, Jean Krivine, Fabien Tarissan:
           Self-assembling trees
     18:00 Close

CONTACT:

     sos2006 <at> cs.stanford.edu

WORKSHOP ORGANISERS:

     Rob van Glabbeek
     National ICT Australia
     Locked Bag 6016
     University of New South Wales
     Sydney, NSW 1466
     Australia

     Peter D. Mosses
     Department of Computer Science
     Swansea University
     Singleton Park
     Swansea SA2 8PP
     United Kingdom

CFP: ACM WOSP 2007

<div>CALL FOR PAPERS
<div>&nbsp;</div>

<div>*************************************************************************<br>&nbsp;&nbsp; 
<br>6th ACM International Workshop on Software and Performance (WOSP 
2007)<br>Buenos Aires, Argentina, 5-8 February 2007</div>

<div>&nbsp;</div>

<div><a href="http://www.wosp-conference.org/" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.wosp-conference.org/</a></div>

<div>&nbsp;</div>

<div>Important Dates:<br>-&nbsp;July 24, 2006 - paper submission <br>-&nbsp;July 
24, 2006 - tutorial proposal submission<br>-&nbsp;October 14, 2006 - 
notification of acceptance<br>-&nbsp;November, 6, 2006 - camera ready due</div>

<div>&nbsp;</div>

<div>**************************************************************************≤/div>

<div>&nbsp;</div>

<div>Sponsored by ACM SIGMETRICS and SIGSOFT, <br>in cooperation with CMG, IFIP 
WG 6.3 and 7.3</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>ABOUT WOSP 2007<br>----------------<br>The complexity of modern software 
systems (autonomous, mobile, distributed) <br>often induces stringent 
quantitative behaviour requirements. Support is needed <br>at every stage of 
development and operation in order to ensure that such <br>requirements (e.g. 
efficiency and scalability) are met.<br>WOSP brings together software engineers, 
developers, performance analysts and <br>software/performance modellers who are 
addressing the challenges of: increasing <br>system complexity, rapidly evolving 
software technologies, short time to market, <br>incomplete documentation, and 
less-than-adequate methods, models and tools. The <br>focus of WOSP is therefore 
in the intersection of software and performance, and <br>not in any of these two 
disciplines in isolation. </div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>TOPICS<br>-------</div>

<div>&nbsp;</div>

<div>Topics of interest include (but are not limited to) the following 
areas:</div>

<div>&nbsp;</div>

<div>Performance modeling of software<br>&nbsp;languages and ontologies 
<br>&nbsp;methods and tools<br>&nbsp;composing models<br>&nbsp;capturing user 
behavior<br>Performance measurement and analysis<br>&nbsp;software performance 
testing<br>&nbsp;application performance measurement and 
monitoring<br>&nbsp;analysis of measured application performance 
data<br>Performance and other quality 
attributes<br>&nbsp;relationship/integration/tradeoffs with other QoS 
attributes<br>&nbsp;relationship/integration/tradeoffs with cost and 
schedule<br>Performance and development processes<br>&nbsp;software performance 
patterns and antipatterns<br>&nbsp;software/performance tool interoperability 
(models and data interchange formats)<br>&nbsp;performance oriented design, 
implementation and configuration management<br>&nbsp;Software Performance 
Engineering and Model-Driven Development<br>&nbsp;gathering, interpreting and 
exploiting software performance annotations and data<br>Performance evaluation 
in application domains (e.g. Web Services, Middleware, 
<br>Component-Based/Autonomous/Mobile/Intelligent/Adaptive/Embedded 
Systems)</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>
<br>SUBMISSION GUIDELINES<br>---------------------</div>

<div>&nbsp;</div>

<div>WOSP 2007 encourages contributions describing basic research, novel 
applications and <br>experience reports. Experience papers are particularly 
fostered, as they contribute <br>to fill the gap between theory and practice in 
the WOSP domain.<br>In all cases, papers should carefully articulate the 
relevance of their contributions <br>to software performance engineering.</div>

<div>&nbsp;</div>

<div>
<br>- Full papers with research results and advances to the state of the 
art (up to 12 <br>two-column proceedings pages, prepared using standard ACM 
format at <br><a href="http://www.acm.org/sigs/pubs/proceed/template.html" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.acm.org/sigs/pubs/proceed/template.html</a>)<br>- 
Experience papers on practical aspects (from 5 to 10 pages).<br>- Working 
session proposals, up to 2 pages explaining the issues to be discussed.<br>- 
Tutorial proposals, up to 2 pages outlining the coverage, syllabus of topics, 
names <br>and background of presenters, and including the intended duration (90 
minutes, three <br>hours, or six hours). </div>

<div>&nbsp;</div>

<div>
<br>JOURNAL SPECIAL ISSUE<br>---------------------</div>

<div>&nbsp;</div>

<div>The Journal of Systems and Software (Elsevier) has agreed to publish a 
special issue <br>with a selection of the WOSP 2007 best papers. </div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>&nbsp;</div>

<div>WOSP 2007 ORGANIZERS<br>--------------------</div>

<div>&nbsp;</div>

<div>General Chair<br>&nbsp;Shikharesh Majumdar, Carleton Univ. (CA)<br>Program 
Co-Chairs<br>&nbsp;Vittorio Cortellessa, Univ. L'Aquila (IT)<br>&nbsp;Sebastian 
Uchitel, Imperial College (UK)<br>&nbsp;Daniel Yankelevic, Pragma Consult. 
(ARG)<br>Finance Chair<br>&nbsp;Greg Franks, Carleton Univ. (CA)<br>Tutorial 
Chair<br>&nbsp;Virgilio Almeida, Univ. Minas Gerais (BR)<br>Publicity 
Co-Chairs<br>&nbsp;Jeremy Bradley, Imperial College (UK)<br>&nbsp;Pankaj Garg, 
Zee Source (USA)</div>

<div>&nbsp;</div>

<div>Programme Committee<br>&nbsp;Virgilio Almeida, Univ. Minas Gerais 
(BR)<br>&nbsp;Simonetta Balsamo, Univ. Venezia (IT)<br>&nbsp;Antonia Bertolino, 
CNR Pisa (IT)<br>&nbsp;Andre Bondi, Siemens Corp. Res. (USA)<br>&nbsp;Jeremy 
Bradley, Imperial College (UK)<br>&nbsp;Antonio Carzaniga, Univ. of Lugano 
(CH)<br>&nbsp;Paul Clements, Software Eng. Inst. (USA)<br>&nbsp;Bojan Cukic, 
West Virginia Univ. (USA)<br>&nbsp;Susanna Donatelli, Univ. Torino 
(IT)<br>&nbsp;Tony Field, Imperial College (UK)<br>&nbsp;Pankaj Garg, Zee Source 
(USA)&nbsp; <br>&nbsp;David Garlan, Carnegie Mellon Un. (USA)<br>&nbsp;Holger 
Giese, Univ. Paderborn (DE)<br>&nbsp;Ian Gorton, NICTA (AUS)<br>&nbsp;Vincenzo 
Grassi, Univ. TorVergata (IT)<br>&nbsp;G&uuml;nter Haring, Univ. Vienna 
(AU)<br>&nbsp;Peter Hughes, Norv. Univ. of S.&amp;T. (NO)<br>&nbsp;Paola 
Inverardi, Univ. L'Aquila (IT)<br>&nbsp;Valerie Issarny, INRIA 
(FR)<br>&nbsp;Carlos Juiz, Univ. Illes Baleares (ES)<br>&nbsp;Catalina Llado, 
Univ. Illes Baleares (ES)<br>&nbsp;Nenad Medvidovic, UCI (USA)<br>&nbsp;Daniel 
Menasce, George Mason Un. (USA)<br>&nbsp;Jose Merseguer, Univ. Zaragoza 
(ES)<br>&nbsp;Raffaela Mirandola, Politecnico Milano (IT)<br>&nbsp;Alfredo 
Olivero, Univ. Arg. Empresa (ARG)<br>&nbsp;Dorina Petriu, Carleton Univ. 
(CA)<br>&nbsp;Rob Pooley, Heriot-Watt Univ. (UK)<br>&nbsp;Jerry Rolia, HP Labs 
(USA)<br>&nbsp;David Rosenblum, UCL (UK)<br>&nbsp;Branislav Selic, IBM 
(USA)<br>&nbsp;Connie Smith, Performance Eng. Ser. (USA)<br>&nbsp;Kishor 
Trivedi, Duke Univ. (USA)<br>&nbsp;Inkeri Verkamo, Univ. Helsinki 
(FI)<br>&nbsp;Murray Woodside, Carleton Univ. (CA)</div>
<br clear="all"><br>-- <br>Dr. Jos&eacute; Merseguer<br>Dpto. de Inform&aacute;tica e Ingenier&iacute;a de Sistemas Universidad de Zaragoza<br>Mar&iacute;a de Luna 1, 50018 Zaragoza, Spain<br>mailto:<a href="mailto:jmerse <at> unizar.es" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">
jmerse <at> unizar.es
</a> <a href="http://www.cps.unizar.es/" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.cps.unizar.es/</a> ~jmerse/<br>phone: (+34) 976 762336 fax:(+34)976761914

</div>

ACL2 2006 Call For Participation

                        CALL FOR PARTICIPATION

                              ACL2 2006
International Workshop on the ACL2 Theorem Prover and its Applications
           In-cooperation with ACM SIGPLAN and ACM SIGSOFT
              http://www.cc.gatech.edu/~manolios/acl206

             August 15-16, 2006 in Seattle, Washington
     Part of FLoC 2006 (http://research.microsoft.com/floc06/)
                 Hosted by CAV 2006 and IJCAR 2006

          ------------------------------------------------
          Early Registration  Deadline:      July 10, 2006
          Regular Registration Deadline:    August 1, 2006
          Hotel Registraion Deadline:        July 21, 2006
          ------------------------------------------------

ACL2 2006 is the major technical forum for users of the ACL2 theorem
proving system and is the sixth in a series of workshops that occur
every 18 months. ACL2 is an industrial-strength automated reasoning
system that is part of the Boyer-Moore family of theorem provers,
winner of the 2005 ACM Software System Award.

Invited Talk
========================================================================
Tony Hoare (Microsoft Research)
The Ideal of Verified Software

Panel
========================================================================
David Hardin, Tony Hoare, Gerard Holzmann, J Strother Moore, ...
Grand Challenge Problems for the ACL2 Community

Program
========================================================================

Tuesday, August 15 
8:50-9:00 	Pete Manolios and Matt Wilding
                Welcome and Opening Remarks
 	
Session 1

9:00-9:30 	Lee Pike, Mark Shields, and John Matthews
                A Verifying Core for a Cryptographic Language Compiler

9:30-10:00 	David Hardin, Eric Smith, and William Young
                A Robust Machine Code Proof Framework for Highly Secure Applications

10:00-10:30 	Break

Session 2

10:30-11:00 	John Cowles and Ruben Gamboa
                Unique Factorization in ACL2: Part 1 Euclidean Domains

11:00-11:30 	David Greve
                Parameterized Congruences in ACL2

11:30-11:45 	Sol Swords and William Cook
                Soundness of the Simply Typed Lambda Calculus in ACL2

11:45-12:30 	Matt Kaufmann and J Strother Moore
                An Overview of Recent and Upcoming ACL2 Developments

12:30-14:00 	Lunch break

Session 3

14:00-14:30 	Erik Reeber and Warren A. Hunt, Jr.
                A SAT-Based Procedure for Verifying Finite State Machines in ACL2

14:30-15:00 	Julien Schmaltz and Dominique Borrione
                Towards a Formal Theory of On Chip Communications in the ACL2 Logic

15:00-15:15 	Jared Davis
                Memories: Array-like Records for ACL2

15:15-15:30 	ACM Software System Award Session

15:30-16:00 	Break

Session 4

16:00-16:45 	Invited Speaker: Tony Hoare
                The Ideal of Verified Software

16:45-18:15 	David Hardin, Tony Hoare, Gerard Holzmann, J Strother Moore, ...
                Panel: Grand Challenge Problems for the ACL2 Community

19:00-21:30 	Workshop Dinner

Wednesday, August 16

Session 5

9:00-9:30 	Erik Reeber and Jun Sawada
                Combining ACL2 and an Automated Verification Tool to Verify a Multiplier

9:30-10:00 	Ruben Gamboa and John Cowles
                Implementing a Cost-Aware Evaluator for ACL2 Expressions

10:00-10:30 	Robert S. Boyer and Warren A. Hunt, Jr.
                Function Memoization and Unique Object Representation for ACL2 Functions

10:30-11:00 	Break

Session 6

11:00-11:15 	David L. Rager
                Adding Parallelization Capabilities to ACL2

11:15-11:30 	Sandip Ray
                Quantification in Tail-recursive Function Definitions

11:30-11:45 	Warren A. Hunt, Jr. and Serita M. Nelesen
                Phylogenetic Trees in ACL2

11:45-12:00 	Matt Kaufmann and J Strother Moore
                Double Rewriting for Equivalential Reasoning in ACL2

12:00-12:30 	TBA
                Rump Session

12:30-14:00 	Lunch break

Session 7

14:00-14:30 	Dale Vaillancourt, Rex Page, and Matthias Felleisen
                ACL2 in DrScheme

14:30-15:00 	Jared Davis
                Reasoning about ACL2 File Input

15:00-15:30 	Mike Gordon, Warren A. Hunt, Jr., Matt Kaufmann, and James Reynolds
                An Embedding of the ACL2 Logic in HOL

15:30-16:00 	Break

Session 8

16:00-17:45 	Matt Kaufmann, J Strother Moore, and All
                Discussion on Possible Future Enhancements to ACL2

16:45-17:30 	Pete Manolios, Matt Wilding, and All
                Business Meeting

ORGANIZATION
========================================================================
Chairs:         Panagiotis Manolios, Georgia Institute of Technology
                Matthew Wilding, Rockwell Collins Inc.
Publications:   Ruben Gamboa, University of Wyoming
Webmasters:     Sudarshan Srinivasan, Georgia Tech
                Daron Vroon, Georgia Tech

PROGRAM COMMITTEE
========================================================================
Ruben Gamboa, University of Wyoming, USA
David Greve, Rockwell Collins Inc., USA
Warren Hunt, University of Texas at Austin, USA 
Deepak Kapur, University of New Mexico, USA 
Matt Kaufmann, University of Texas at Austin, USA 
Bill Legato, NSA, USA
Panagiotis Manolios, Georgia Institute of Technology, USA      
Jose Meseguer, University of Illinois at Urbana-Champaign, USA 
Paul Miner, NASA Langley Research Center, USA
J Strother Moore, University of Texas at Austin, USA 
Lawrence C. Paulson, University of Cambridge, UK
Jose Luis Ruiz-Reina, University of Seville, Spain
David M. Russinoff, Advanced Micro Devices, Inc., USA
Jun Sawada, IBM Austin Research Laboratory, USA
Mary Sheeran,  Chalmers University of Technology, Sweden 
Konrad Slind,  University of Utah, USA
Matthew Wilding, Rockwell Collins Inc., USA 

Final CFP: WOSP 2007 - paper deadline: 24th July

Final Call for Papers                 [apologies for multiple copies]

                     ***   WOSP 2007   ***
        6th International Workshop on Software and Performance

            Buenos Aires, Argentina, 5-8 February 2007
                 http://www.wosp-conference.org/

Sponsored by ACM SIGMETRICS and SIGSOFT,
in cooperation with CMG, IFIP WG 6.3 and 7.3 (approval pending)

Important Deadlines

July 24, 2006 - paper submission
July 24, 2006 - tutorial proposal submission
October 14, 2006 - notification of acceptance
November, 6, 2006 - camera ready due

Submissions

- Full papers with research results and advances to the state of the
    art (up to 12 two-column proceedings pages, prepared using standard
    ACM format at: http://www.acm.org/sigs/pubs/proceed/template.html)

- Experience papers on practical aspects (from 5 to 10 pages).

- Working session proposals, up to 2 pages explaining the issues to be
    discussed.

- Tutorial proposals, up to 2 pages outlining the coverage, syllabus
    of topics, names and background of presenters, and including the
    intended duration (90 minutes, three hours, or six hours).

The Journal of Systems and Software (Elsevier) has agreed to publish a
special issue with a selection of the WOSP 2007 best papers.

Submission Details

The complexity of modern software systems (autonomous, mobile,
distributed) often induces stringent quantitative behaviour
requirements. Support is needed at every stage of development and
operation in order to ensure that such requirements (e.g. efficiency
and scalability) are met.  WOSP brings together software engineers,
developers, performance analysts and software/performance modellers
who are addressing the challenges of: increasing system complexity,
rapidly evolving software technologies, short time to market,
incomplete documentation, and less-than-adequate methods, models and
tools. The focus of WOSP is therefore in the intersection of software
and performance, and not in any of these two disciplines in isolation.

Topics of interest include (but are not limited to) the following areas:

- Performance modelling of software
      + languages and ontologies
      + methods and tools
      + composing models
      + capturing user behaviour
- Performance measurement and analysis
      + software performance testing
      + application performance measurement and monitoring
      + analysis of measured application performance data
- Performance and other quality attributes
      + relationship/integration/tradeoffs with other QoS attributes
      + relationship/integration/tradeoffs with cost and schedule
- Performance and development processes
      + software performance patterns and antipatterns
      + software/performance tool interoperability (models and data interchange
        formats)
      + performance oriented design, implementation and configuration management
- Software Performance Engineering and Model-Driven Development
      + gathering, interpreting and exploiting software performance annotations
        and data
- Performance evaluation in application domains
      + (e.g. Web Services, Middleware,
        Component-Based/Autonomous/Mobile/Intelligent/Adaptive/Embedded
        Systems)

WOSP 2007 encourages contributions describing basic research, novel
applications and experience reports. Experience papers are
particularly fostered, as they contribute to fill the gap between
theory and practice in the WOSP domain.  In all cases, papers should
carefully articulate the relevance of their contributions to software
performance engineering.

WOSP 2007 Committees

General Chair:
Shikharesh Majumdar, Carleton Univ. (CA)

Program Co-Chairs:
Vittorio Cortellessa, Univ. L'Aquila (IT)
Sebastian Uchitel, Imperial College (UK)
Daniel Yankelevic, Pragma Consult. (ARG)

Finance Chair:
Greg Franks, Carleton Univ. (CA)

Tutorial Chair:
Virgilio Almeida, Univ. Minas Gerais (BR)

Publicity Co-Chairs:
Jeremy Bradley, Imperial College (UK)
Pankaj Garg, Zee Source (USA)

Programme Committee:
Virgilio Almeida, Univ. Minas Gerais (BR)
Simonetta Balsamo, Univ. Venezia (IT)
Antonia Bertolino, CNR Pisa (IT)
Andre Bondi, Siemens Corp. Res. (USA)
Jeremy Bradley, Imperial College (UK)
Antonio Carzaniga, Univ. of Lugano (CH)
Paul Clements, Software Eng. Inst. (USA)
Bojan Cukic, West Virginia Univ. (USA)
Susanna Donatelli, Univ. Torino (IT)
Tony Field, Imperial College (UK)
Pankaj Garg, Zee Source (USA)
David Garlan, Carnegie Mellon Un. (USA)
Holger Giese, Univ. Paderborn (DE)
Ian Gorton, NICTA (AUS)
Vincenzo Grassi, Univ. TorVergata (IT)
Günter Haring, Univ. Vienna (AU)
Peter Hughes, Norv. Univ. of S.&T. (NO)
Paola Inverardi, Univ. L'Aquila (IT)
Valerie Issarny, INRIA (FR)
Carlos Juiz, Univ. Illes Baleares (ES)
Catalina Llado, Univ. Illes Baleares (ES)
Nenad Medvidovic, UCI (USA)
Daniel Menasce, George Mason Un. (USA)
Jose Merseguer, Univ. Zaragoza (ES)
Raffaela Mirandola, Politecnico Milano (IT)
Alfredo Olivero, Univ. Arg. Empressa (ARG)
Dorina Petriu, Carleton Univ. (CA)
Rob Pooley, Heriot-Watt Univ. (UK)
Jerry Rolia, HP Labs (USA)
David Rosenblum, UCL (UK)
Branislav Selic, IBM (USA)
Connie Smith, Performance Eng. Ser. (USA)
Kishor Trivedi, Duke Univ. (USA)
Inkeri Verkamo, Univ. Helsinki (FI)
Murray Woodside, Carleton Univ. (CA)

Local Arrangement Committee:
Víctor Braberman, Univ. BA (Chair) (ARG)
Nicolás Kicillof, Univ. BA (ARG)
Fernando Schapachnik, Univ. BA (ARG)
Alfredo Olivero, Univ. Arg. Empressa (ARG)

Final Call for Papers                 [apologies for multiple copies]

                     ***   WOSP 2007   ***
        6th International Workshop on Software and Performance

            Buenos Aires, Argentina, 5-8 February 2007
                 http://www.wosp-conference.org/

Sponsored by ACM SIGMETRICS and SIGSOFT,
in cooperation with CMG, IFIP WG 6.3 and 7.3 (approval pending)

Important Deadlines

July 24, 2006 - paper submission
July 24, 2006 - tutorial proposal submission
October 14, 2006 - notification of acceptance
November, 6, 2006 - camera ready due

Submissions

- Full papers with research results and advances to the state of the
    art (up to 12 two-column proceedings pages, prepared using standard
    ACM format at: http://www.acm.org/sigs/pubs/proceed/template.html)

- Experience papers on practical aspects (from 5 to 10 pages).

- Working session proposals, up to 2 pages explaining the issues to be
    discussed.

- Tutorial proposals, up to 2 pages outlining the coverage, syllabus
    of topics, names and background of presenters, and including the
    intended duration (90 minutes, three hours, or six hours).

The Journal of Systems and Software (Elsevier) has agreed to publish a
special issue with a selection of the WOSP 2007 best papers.

Submission Details

The complexity of modern software systems (autonomous, mobile,
distributed) often induces stringent quantitative behaviour
requirements. Support is needed at every stage of development and
operation in order to ensure that such requirements (e.g. efficiency
and scalability) are met.  WOSP brings together software engineers,
developers, performance analysts and software/performance modellers
who are addressing the challenges of: increasing system complexity,
rapidly evolving software technologies, short time to market,
incomplete documentation, and less-than-adequate methods, models and
tools. The focus of WOSP is therefore in the intersection of software
and performance, and not in any of these two disciplines in isolation.

Topics of interest include (but are not limited to) the following areas:

- Performance modelling of software
      + languages and ontologies
      + methods and tools
      + composing models
      + capturing user behaviour
- Performance measurement and analysis
      + software performance testing
      + application performance measurement and monitoring
      + analysis of measured application performance data
- Performance and other quality attributes
      + relationship/integration/tradeoffs with other QoS attributes
      + relationship/integration/tradeoffs with cost and schedule
- Performance and development processes
      + software performance patterns and antipatterns
      + software/performance tool interoperability (models and data interchange
        formats)
      + performance oriented design, implementation and configuration management
- Software Performance Engineering and Model-Driven Development
      + gathering, interpreting and exploiting software performance annotations
        and data
- Performance evaluation in application domains
      + (e.g. Web Services, Middleware,
        Component-Based/Autonomous/Mobile/Intelligent/Adaptive/Embedded
        Systems)

WOSP 2007 encourages contributions describing basic research, novel
applications and experience reports. Experience papers are
particularly fostered, as they contribute to fill the gap between
theory and practice in the WOSP domain.  In all cases, papers should
carefully articulate the relevance of their contributions to software
performance engineering.

WOSP 2007 Committees

General Chair:
Shikharesh Majumdar, Carleton Univ. (CA)

Program Co-Chairs:
Vittorio Cortellessa, Univ. L'Aquila (IT)
Sebastian Uchitel, Imperial College (UK)
Daniel Yankelevic, Pragma Consult. (ARG)

Finance Chair:
Greg Franks, Carleton Univ. (CA)

Tutorial Chair:
Virgilio Almeida, Univ. Minas Gerais (BR)

Publicity Co-Chairs:
Jeremy Bradley, Imperial College (UK)
Pankaj Garg, Zee Source (USA)

Programme Committee:
Virgilio Almeida, Univ. Minas Gerais (BR)
Simonetta Balsamo, Univ. Venezia (IT)
Antonia Bertolino, CNR Pisa (IT)
Andre Bondi, Siemens Corp. Res. (USA)
Jeremy Bradley, Imperial College (UK)
Antonio Carzaniga, Univ. of Lugano (CH)
Paul Clements, Software Eng. Inst. (USA)
Bojan Cukic, West Virginia Univ. (USA)
Susanna Donatelli, Univ. Torino (IT)
Tony Field, Imperial College (UK)
Pankaj Garg, Zee Source (USA)
David Garlan, Carnegie Mellon Un. (USA)
Holger Giese, Univ. Paderborn (DE)
Ian Gorton, NICTA (AUS)
Vincenzo Grassi, Univ. TorVergata (IT)
Günter Haring, Univ. Vienna (AU)
Peter Hughes, Norv. Univ. of S.&T. (NO)
Paola Inverardi, Univ. L'Aquila (IT)
Valerie Issarny, INRIA (FR)
Carlos Juiz, Univ. Illes Baleares (ES)
Catalina Llado, Univ. Illes Baleares (ES)
Nenad Medvidovic, UCI (USA)
Daniel Menasce, George Mason Un. (USA)
Jose Merseguer, Univ. Zaragoza (ES)
Raffaela Mirandola, Politecnico Milano (IT)
Alfredo Olivero, Univ. Arg. Empressa (ARG)
Dorina Petriu, Carleton Univ. (CA)
Rob Pooley, Heriot-Watt Univ. (UK)
Jerry Rolia, HP Labs (USA)
David Rosenblum, UCL (UK)
Branislav Selic, IBM (USA)
Connie Smith, Performance Eng. Ser. (USA)
Kishor Trivedi, Duke Univ. (USA)
Inkeri Verkamo, Univ. Helsinki (FI)
Murray Woodside, Carleton Univ. (CA)

Local Arrangement Committee:
Víctor Braberman, Univ. BA (Chair) (ARG)
Nicolás Kicillof, Univ. BA (ARG)
Fernando Schapachnik, Univ. BA (ARG)
Alfredo Olivero, Univ. Arg. Empressa (ARG)