Hamid R. Arabnia | 1 Feb 14:02 2007
Picon

WORLDCOMP'07: Call For Papers - joint conferences in computer science, computer engineering and applied computing; June 25-28, 2007, USA


Can you please share the announcement below with those who may be
interested?  I would be most grateful.

Thank you in advance,

Hamid R. Arabnia, PhD.
Professor, Computer Science
Editor-in-Chief, The Journal of Supercomputing (Springer)
University of Georgia, USA
-----

                  Call  For  Papers

     The 2007 World Congress in Computer Science,
     Computer Engineering, and Applied Computing
                    WORLDCOMP'07
 Date and Location: June 25-28, 2007, Las Vegas, USA

        Academic Sponsors: Research Labs at
  MIT, Harvard, Purdue, Univ. of Texas at Austin, ...

    Paper Submission Deadline: February 20, 2007

Dear Colleagues:

You are invited to submit a draft/full paper for consideration.
All accepted papers will be published in the conference proceedings.

The 2007 World Congress in Computer Science, Computer Engineering,
(Continue reading)

Ruy de Queiroz | 1 Feb 13:03 2007
Picon

WoLLIC'2007 - CfP

                    [** sincere apologies for duplicates **]

                                Call for Papers

          14th Workshop on Logic, Language, Information and Computation
                                (WoLLIC'2007)
                           Rio de Janeiro, Brazil
                               July 2-5, 2007

     WoLLIC is an annual international forum on inter-disciplinary research
     involving formal logic, computing and programming theory, and natural
     language and reasoning.  Each meeting includes invited talks and
     tutorials as well as contributed papers.

     The Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from
     July 2 to July 5, 2007, and sponsored by the Association for Symbolic
     Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL),
     the European Association for Logic, Language and Information
     (FoLLI), the European Association for Theoretical Computer Science
     (EATCS), the Sociedade Brasileira de Computacao (SBC), and the
     Sociedade Brasileira de Logica (SBL).

PAPER SUBMISSION
     Contributions are invited on all pertinent subjects, with particular
     interest in cross-disciplinary topics.  Typical but not exclusive
     areas of interest are: foundations of computing and programming;
     novel computation models and paradigms; broad notions of proof and belief;
     formal methods in software and hardware development; logical approach to
     natural language and reasoning; logics of programs, actions and resources;
     foundational aspects of information organization, search, flow, sharing,
(Continue reading)

Isaac Barjis | 1 Feb 15:33 2007

Second CFP-Petrinets in Biology, Medicine and Chemistry (Bioinformatics, Computational Biology)

Dear all

I would like to take this opportunity to personaly invite for
submission to the Bioinformatics Session at 2007 Summer Computer
Simulation Conference (SCSC'07), July 15 -18, 2007, San Diego Marriot,
San Diego, CA, USA

http://www.sce.carleton.ca/faculty/wainer/SCSC07/SCSC'07.htm  

Workshop/Session Title: Bioinformatics
http://www.sce.carleton.ca/faculty/wainer/SCSC07/SCSC'07-Tracks.htm  

submitting manuscripts: http://www.softconf.com/scs/SCSC07/ 

Important Dates:
Full Draft Paper/Extended Abstract: February 28, 2007
Preliminary Notification of Acceptance: April 15, 2007
Final Camera Ready Submission Due: May 15, 2007

This is the first international workshop to address application of
Petri nets in biological processes (molecular process modeling etc.).
Applications of Petrinets in any Biological, Molecular, Systems Biology
and other health related topic  are welcome.

Contact: Isaac Barjis (chair) ibarjis <at> citytech.cuny.edu 

Please, do not hesitate to ask me any further information you may
need.

Dr. I. Barjis
(Continue reading)

DevipSr | 5 Feb 21:42 2007
Picon

CFP; deadline extended

NOTE: The deadline for draft paper submission is extended until February 12 2007, due to requests from many authors.

 

www.PromoteResearch.org

 

The 2007 International Multi-Conference in Computer Science, Engineering, and Information Science will be held during 9-12 of July 2007 in Orlando, FL, USA. The multi-conference consists of four major events namely

International Conference on Artificial Intelligence and Pattern Recognition (AIPR-07)
International Conference on Enterprise Information Systems and Web Technologies (EISWT-07)

International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-07)
International Conference on Software Engineering Theory and Practice (SETP-07)

 

All these events will be held simultaneously at the same place. Click on www.PromoteResearch.org for more information.

 

 

Sincerely

 

John Edward

Publicity committee co-chair

 

<div>

<div class="Section1">

<p class="MsoNormal"><span>NOTE:</span> The deadline
for draft paper submission is extended until February 12 2007, due to requests from many authors.</p>

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

<p class="MsoNormal" align="center"><span><a href="http://www.promoteresearch.org/">www.PromoteResearch.org</a></span></p>

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

<p class="MsoNormal"><span>The 2007 International
Multi-Conference in Computer Science, Engineering, and Information Science will
be held during 9-12 of July 2007 in Orlando, FL, USA. The multi-conference
consists of four major events namely</span></p>

<p><span>International Conference on Artificial Intelligence and Pattern
Recognition (AIPR-07)<br>
International Conference on Enterprise Information Systems and Web Technologies
(EISWT-07)</span><span><br></span><span>International Conference on High Performance Computing, Networking and
Communication Systems (HPCNCS-07)</span><span><br></span><span>International Conference on Software Engineering Theory and Practice
(SETP-07)</span></p>

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

<p class="MsoNormal"><span>All these events will be
held simultaneously at the same place. Click on <a href="http://www.promoteresearch.org/">www.PromoteResearch.org</a> for more
information. </span></p>

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

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

<p class="MsoNormal"><span>Sincerely</span></p>

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

<p class="MsoNormal"><span>John Edward</span></p>

<p class="MsoNormal"><span>Publicity committee co-chair</span></p>

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

</div>

</div>
eduardo segura | 5 Feb 22:30 2007
Picon

CFP: SPAC 07 - Software Patterns: Addressing Challenges

My apologies for duplicates

   The First IEEE International Workshop on
 Software Patterns: Addressing Challenges

 SPAC 2007
 Call for Papers

 Beijing, China, July 24-27, 2007
 (in conjunction with COMPSAC 2007)

http://conferences.computer.org/compsac/2007/  (COMPSAC 2007 Link)

http://conferences.computer.org/compsac/2007/workshops/SPAC  (Workshop Link-1)

http://www.engr.sjsu.edu/~fayad/workshops/COMPSAC07  (Workshop Link-2)
 http://www.vrlsoft.com/workshops/SPAC07 (WorkshopLink-3)

THEME OF THE WORKSHOP

As software increases in size and becomes more complex and costly, the
need for techniques to ease software development is likewise
increasing. Over the last decade, pattern community has evolved and
received more interest in both academia and industry. Developing
software using patterns holds the promise to reduce the cost and
condensing the time of developing software systems, while
simultaneously maintaining the quality of these systems.

 However, the potential of using patterns in developing systems is not
fully realized and we need to address many challenges. For example,
developing pattern repositories and catalogs, from which patterns can
be retrieved and reused, still forms a challenge to software
engineering, knowledge engineering and information systems
communities. In addition, the need for (semi-) automated approaches
for patterns mining and integration poses several open research
questions to the software engineering community.  Many think these
challenges and others preclude the realization of the benefit of
patterns as a reuse approach.  This workshop aims at bringing together
researchers and practitioners who are interested in resolving research
challenges or who have practical experience with the different issues
of patterns reuse and integration to discuss and advance the
state-of-the-art and the state-of-the-practice in patterns reuse.

Patterns have emerged as a promising reuse technique for both
improving the quality and reducing the cost and time of software
development. However, there is an immense belief that patterns have
not fulfilled the expectations software developers wanted.
Nevertheless, this belief does not rebuff the fact that patterns, as a
concept, have the potential to play a key role in developing systems
in the near future.  This near future will never come unless there are
serious attempts from both developers and researchers to investigate
and provide creative solutions to current challenges that hinder
utilizing patterns in practice. Among these challenges, this workshop
focuses on investigating how to develop systems using patterns. We are
sure that this topic will attract many developers and researchers in
the field to participate in this workshop.

WORKSHOP CHALLENGES

The workshop will address software patterns challenges and debate
several issues related to the following questions.  We want
researchers, framework developers, and application developers to
discuss and debate the following questions related to:

I.                           Pattern Creation and Development

a.               Leaving experience claim on the side, can you show
how to create and develop patterns?

b.               What are the bases of creating patterns?

c.               Are there guidelines, methodologies, and/or processes
for pattern creations and developments?

d.               Would you show an example or two?

II.                        Patterns Selection Process:

a.               How does one select analysis and design patterns to
build any system?

b.               What is the basis for selecting these patterns?

c.               If someone would like to build a system from
patterns, how does she select patterns?

d.              What kind of patterns should one select to build a
system from patterns?

e.               Is there a guideline for the selection process?

III.                     Patterns Composition

a.               How does one integrate the selected patterns to build
any system? or How does one compose any system from patterns?

b.               What are the various claims related to patterns
composition? Are they true?

c.               Are there guidelines or techniques for patterns
composition? Would you illustrate how to use them?

IV.                      System of Patterns and General Reuse

a.               What do we mean when we say "systems of patterns"?

b.               Are the various claims related to building any system
from patterns reasonable?

c.               How to develop pattern repositories and catalogs,
from which patterns can be retrieved and reused?

d.               Are there automated approaches for patterns mining
and integration?

e.               What other concepts will help build any system from patterns?

.

V.                         Impacts

a.               What is the impact of software stability on the above issues?

Check any of the following websites for all columns and accepted
position papers:

http://conferences.computer.org/compsac/2007/workshops/SPAC  (Main Link)

www.engr.sjsu.edu/~fayad//workshops/COMPSAC07  (Workshop Link 2)

www.vrlsoft.com/workshops/SPAC07 (Workshop Link 3 -- Under Construction)

PAPER FORMAT AND SUBMISSIONS

Detailed instructions for electronic paper submission and review
process can be found at http://www.compsac.org/. People interested in
participating in the workshop are requested to submit a short position
paper (3-5 pages) or regular workshop paper (limited to 6 pages,
double spaced, including figures) representing views and experiences
relevant to the discussion topic. The title page should include a
maximum 150-word abstract, five keywords, full mailing address, e-mail
address, phone number, fax number, and a designated contact author.
Papers will be selected depending on the originality, quality and
relevance to the workshop.  All submitted papers will be evaluated
according to its originality, significance, correctness, presentation
and relevance. Papers should be submitted electronically at:

 http://compsac.cs.iastate.edu/2007/SPAC/ . Please follow the
instructions given by the web page. Camera Ready manuscripts must be
submitted following IEEE conference proceedings style and guidelines.
We encourage authors to present novel ideas, critique of existing
work, and practical studies.

Each accepted paper must be presented in person by the author or one
of the authors.  To foster lively discussions, each author is
encouraged to present open questions and one or two main statements
that will be discussed at the workshop.  Submissions must be either
MS-Word or RTF formats (please, DO NOT compress files).

Depending on the number and spread of contributions, the scope may be
narrowed to ensure effective communication and information sharing.
Accepted position papers will be distributed to the participants
before the workshop and made generally available through the WWW and
FTP.   Accepted papers will be published in the Workshop Proceedings
of the 31st IEEE Computer Software and Applications Conference
(COMPSAC 2007). At least one of the authors of each accepted paper
must register as a full participant in the workshop to have the paper
published in the COMPSAC 2007 Proceedings. The workshop selected best
papers will be published in online Journal of International Journal Of
Patterns (IJOP) – www.ijop.org

WORKSHOP PARTICIPATION

Interested in participating in the workshop without submission are
requested to fill out the participation form and e-mail to the
co-chair Haitham Hamza <hshamza <at> gmail.com>, Eduardo Segura
<esegura <at> vrlsoft.com>, or to the workshop chair M.E. Fayad
<m.fayad <at> sjsu.edu>.

-------------------------------------------------

PARTICIPATION FORM:

Name and Affiliation:

Position:

Address:

E-mail:

URL:

Areas of interest:

Why would you like to participate?

-------------------------------------------------

Please note that registration is required in order to participate in
the workshop.  An early registration discount is available.  An
overhead projector and a flipchart will be available.

For more information please visit any of the following websites:

http://conferences.computer.org/compsac/2007/workshops/SPAC  (Main Link)

www.engr.sjsu.edu/~fayad//workshops/COMPSAC07  (Workshop Link 2)

www.vrlsoft.com/workshops/SPAC07 (Workshop Link 3 -- Under Construction)

You may also contact the organizers.

PROPOSED AGENDA

1. Welcome and introduction of participants. The organizers will first
give a short overview of any open issues and of the main arguments
arising out of the position papers. (Estimated time: 20-30 minutes)

2. Selected authors (representing the main trends) will be given  20
minutes to explain how their position relates to other positions and
what each sees as the three major issues. We expect about 5-10
position papers.  (Estimated time: 120-130 minutes)

3. The organizers will propose an identification of the major issues,
and the participants will then discuss and select what they  think are
the hottest issues to be examined. (Estimated time: 10-15 minutes)

4. The participants will work for 70-95 minutes in small groups, with
a designated moderator in each group. The groups will each deal with
two different hot issues identified and will produce a summary in the
form of points and counterpoints, showing either how several views are
irreducibly opposed or how they are complementary.

The number of groups will depend on the number of participants and
number of issues selected; ideally there should be 3-5 p people in
each group. (Estimated time: 60-70 minutes)

5. Each group will be given 10-15 minutes to present its findings to
the workshop.   A closing discussion will follow. The workshop report
will be written on the basis of these findings and will include an
agenda for future exploration and cooperation; it will

be made available through the WWW and FTP. (Estimated time: 50-60
minutes for five teams)

(Total estimated time: 285-315 minutes, i.e. about five hours +/- 15
minutes; lunch and breaks are not included.)

IMPORTANT DATES

We will be updated based on acceptance process

Feb.  23, 2007: Full paper and short paper due
 Mar. 25, 2007: Decision notification (electronic)
 Apr. 30, 2007: Camera-ready copy and author registration due

July 24-27, 2007: The workshop Date

ORGANIZERS

Chair and Point of Contact:

Dr. M.E. Fayad

Professor of Computer Engineering

Computer Engineering Dept., College of Engineering

San José  State University

One Washington   Square, San José, CA 95192-0180

Ph: (408) 924-7364, Fax: (408) 924-4153

E-mail: m.fayad <at> sjsu.edu, me       fayad <at> gmail.com

http://www.engr.sjsu.edu/fayad

Co-Chairs:
Dr. H.S. Hamza (Co-Chair)

Faculty of Computers and Informatics,

Information Technology Department

Cairo University, Orman, Giza 12613 - Egypt

Ph: (02) 335-8355 (office)

E-mail: hshamza <at> gmail.com

Eduardo M. Segura

vrlSoft, Inc.

2065 Martin Ave., Suite 103

Santa Clara, CA 95050-2707

Phone/Fax: (408) 654-8972

E-mail: esegura <at> vrlsoft.com, eduardo.segura <at> sjsu.edu

http://www.vrlsoft.com

PROGRAM COMMITTEE

Leonor Barroca                      Open University, England

Sjaak Brinkkemper                Utrecht University, the Netherlands

Chia-Chu Chiang                    University of Arkansas at Little Rock, USA

Rogerio Atem de Carvalho    CEFET Campos,  Brazil

Andrea D'Ambrogio               University of Roma TorVergata, Italy

Issam Wajih Damaj                 Dhofar University, Salalah -
Sultanate of Oman

Khalil DRIRA                         LAAS-CNRS, France

Islam A. M. El-Maddah          Ain Shams University, Egypt

M.E. Fayad                             San Jose State University &
vrlSoft, Inc., USA

Joao M. Fernandes                Universidade do Minho, Portugal

IanGraham                               Trireme International Ltd,
London, England

Jiang Guo                                California State University
Los Angeles, USA

Wilhelm Hasselbring               University of Oldenburg, Germany

Tarek Helmy                          King Fahd Univ. of Petroleum and
Minerals, Saudi Arabia

H.S. Hamza                             Cairo University, Egypt  Pilar
Herrero                          Universidad Politécnica de Madrid
, Spain.

Hoda Hosny                            American University in Cairo, Egypt

Pao-Ann Hsiung                     National Chung Cheng University,
Chiayi, TAIWAN

Ali Jaoua                                              University of
Qatar, Qatar

Mohamed-Khireddine KHOLLADI   University of Constantine, France

Dae-Kyoo Kim                        Oakland University, MI,  USA

Seok-Won Lee                        The University of North Carolina
at Charlotte, USA

Jeff Lei                                    University of  Texas at
Arlington, USA

Ricardo J. Machado               Universidade do Minho,  Portugal

Ahmed Mahdy                        Texas A&M University - Corpus Christi, USA

Michael Oudshoorn                 Montana   State University, MT, USA

Srini Ramaswamy                    University of Arkansas at Little Rock, USA

Gustavo Rossi                        LIFIA, Facultad de Informatica,
UNLP, Argentina

Stuart Rubin                            SPAWAR, SSC-San Diego, USA

Kannamma Sampath               Coimbatore Institute of Technology, India

Sanchez, Arturo                      University of North Florida,  USA

Kassem A. Saleh                    American University of Sharjah, UAE

Arno Schmidmeier                               AspectSoft, Hersbruck, Germany

E.M. Segura                            San Jose State University &
vrlSoft, Inc., USA

Manolis Tzagarakis                 Research Academic Technology
Institute (RACTI), Greece

Laurence T. Yang                    St Francis Xavier University, Canada

I-Ling Yen                               University of Texas at Dallas, USA
Roubtsova, Ella | 6 Feb 10:46 2007
Picon

CFP - AOMD Workshop

============================================
                        CALL FOR PAPERS

                http://trese.cs.utwente.nl/AOMD-2007/

        The Third Workshop on Aspect-Oriented and
             Model-Driven Software Development (AOMD-2007)

                June 12, 2007 - Haifa, Israel

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

========
 SUMMARY
========

A fundamental principle in software development that is the driver and
trigger of different software development paradigms is the separation of
concerns principle. This principle states that a given problem involves
different kinds of concerns, which should be identified and separated to
cope with complexity, and to achieve the required engineering quality
factors such as robustness, adaptability, maintainability, and
reusability.

The last years the software engineering community is facing two
important approaches that apply the separation of concerns principle:
model-driven software development (MDSD) and aspect-oriented software
development (AOSD).

MDSD aims to tackle the problem of the loose, informal link between the
developed models and the executable code. Hereby, models do not
constitute merely documentation but are considered as executable
specifications. MDSD aims to utilize domain-specific languages to create
models that express application structure and behavior in a more
efficient way. The models are then (semi)automatically transformed into
executable code by model transformations. MDSD defines models and model
transformations as first-class abstractions. There are many variants of
MDSD approaches including   OMG MDA(tm), Microsoft Software factories,
Model Integrating Computing (MIC), Language-Oriented Programming,
Generative Programming, etc. All the variants have common focus on
techniques for explicitly defining models (and metamodels) and
(semi-)automatic transformations to enhance quality factors such as
reuse, portability and interoperability.

AOSD aims to tackle the problem of concerns that cannot be easily
captured in single modules but tend to crosscut several modules. AOSD
provides first class abstractions for these crosscutting concerns,
called aspects and composition techniques (weaving) for composing
aspects in base modules. Several aspect-oriented approaches have been
proposed to specify aspects at different phases in the software life
cycle. At the programming level it appears that almost for every popular
programming language there is now an aspect-oriented version in which
crosscutting concerns are represented using dedicated language
constructs. Aspect-oriented modeling has proposed several design
notations for representing aspects using for example, UML-based
approaches. Early aspects domain has focused on defining approaches for
modeling aspects at level of requirements engineering and architecture
design.

 It appears that MDSD and AOSD seem to be complementary and competing
solutions for the problem of separation and combination of concerns in
the area of software development and maintenance. All these areas are in
the scope of the present workshop. The identification of these areas of
competition and cooperation has currently also raised the interest of
researchers and practitioners in both fields.

========
 TOPICS
========

Topics of interest for the workshop will include, but will not be
limited to:

* Complementary techniques for solving common problems in AOSD and MDSD;
o Defining the common problem space;
o Defining the specific solution spaces of AOP and MDSD;
o Defining the overlap between the solution spaces;
o Defining areas of excellence for each solution;
o Combination of separated concerns in AOP and MDSD;
o Aspect-weaving vs. Model-weaving;

* Defining DSLs or UML extensions to support AOP;
o Graphical modelling of aspects;
o Use of Visual Languages;
o Classification of aspects from the point of view of graphical
modelling;
o Verification and validation of aspect-oriented models;

* Cooperation and competition between AOP and MDSD
o Generative techniques for transforming models into executable AOPbased
programs;
o Automatic or semi-automatic transformation of aspects into models;
o Other combined solutions

* Methodological issues

* Tool Support for combined AOP/MDSD;

* Common application areas of AOP and MDSD
o Aspects in software architecture and frameworks;
o Relations to design patterns;
o Platform dependence and independence
o Handling of functional and non-functional aspects;
o Other application areas;
o Case studies
* Applications of AOP/MDSD combined/coordinated with solutions in other
areas
(Data engineering, XML, Web engineering, Ontology engineering, etc);

* Verification aspects

==========
 ORGANISERS
==========

 Bedir Tekinerdogan, University of Twente, The Netherlands
 Ella Roubtsova, Open University of The Netherlands, The Netherlands
 Mehmet Aksit, University of Twente, The Netherlands
 Jeff Gray, University of Alabama at Birmingham, US
 Dominik Stein, University of Duisburg-Essen, Germany

===============
PROGRAM COMMITTEE
===============

 Mehmet Aksit, University of Twente, The Netherlands
 Lidia Fuentes, University of Malaga, Spain
 Jeff Gray, University of Alabama at Birmingham, US
 Jorg Kienzle, McGill University, Canada
 Anneke Kleppe, University of Twente, The Netherlands
 Ashley McNeile, Metamaxim Ltd. UK
 Tommi Mikkonen, Tampere University of Technology, Finland 
 Awais Rashid, Lancaster University Lancaster UK
 Ella Roubtsova, Open University of The Netherlands, The Netherlands
 Dominik Stein, University of Duisburg-Essen, Germany
 Bedir Tekinerdogan, University of Twente, The Netherlands
 Markus Voelter, Consultant for SW Tech, Germany
 Jos Warmer, Ordina SI&D, the Netherlands

=================
SUBMISSION GUIDELINES
=================

Prospective participants are invited to submit a 8-10 pages paper. All
submissions will be reviewed by members of the program committee for
quality and relevance. Authors of accepted papers will be invited to
provide a presentation at the workshop with the aim to foster
discussions.

Papers should use IEEE Proceedings format, as described at
http://www.computer.org/cspress/instruct.htm, and submitted in PDF
format to bedir <at> cs.utwente.nl.

===============
IMPORTANT DATES
===============

 Submission of papers: May 9, 2007
 Notification: May 21, 2007       
 Camera-ready copies of accepted  papers:  May 28, 2007    
 Workhop, Tuesday June 12, 2007  

Armin Heindl | 6 Feb 14:22 2007
Picon
Picon
Picon

CfP: ASMTA 2007 - deadline (13.2.) approaching!


                  [ Apologies for multiple copies ]

                          CALL FOR PAPERS

                            ASMTA 2007
            www.comp.glam.ac.uk/ASMTA2007/index.html

14th Int. Conf. on Analytical and Stochastic Modelling Techniques
                         and Applications

             Prague, Czech Republic, June 4-6, 2007

                       in conjunction with
      21st European Conference on Modelling and Simulation

===================================================================
                      DEADLINE APPROACHING:
           Please submit your paper until Tuesday, Feb 13!
===================================================================

                            OVERVIEW

Methods of analytical, numerical and stochastic modelling are
widely used in engineering to assess and design technical and
information systems, like computer and communcation networks,
software systems, and other often distributed systems. The ASMTA
conference is a main forum for advancing analytical and stochastic
modelling and its applications. Modelling techniques increasingly
take into account the complexity of such systems making their
application more and more popular. The ASMTA aims to brings together
researchers of academia and industry to discuss latest developments
in analytical, numerical and simulation algorithms for stochastic
models, like (semi-)Markov processes, queueing networks, stochastic
Petri nets, process algebras, etc. The conference is co-sponsored by
the European Council for Modelling and Simulation (ECMS), IEEE UKRI
Computer Chapter and EC IST COST Action 290.

                          SCOPE & TOPICS

TECHNIQUES AND ALGORITHMS:
- Stochastic Models, Markov Models
- Stochastic Petri Net Models
- Queueing Systems and Network Models
- Neural Networks
- Reliability and Maintenance Models
- Stochastic Optimal Control and Optimization
- Performance Modelling
- Stochastic Process Algebra
- Stochastic Precedence Graphs
- Stochastic Simulation
- Intensive Computer Methods of Statistics
- Statistical Analysis and Interference
- Analytical and Numerical Simulation

PERFORMANCE ANALYSIS TOOLS:
- Modelling and Specification Languages and Tools
- Graphical And Textual Modelling Tools
- Analytical Solvers, Graphical Presentation Tools

APPLICATION AND EVALUATION STUDIES:
- Computer Systems and Information Networks
- Workflow Management Systems
- Communication Systems and Networks (LANs and Distributed Systems,
                            Routers, Switches, High Speed Networks)
- Wireless and Mobile Systems and Networks (WLAN, 2G-3G-4G)
- Ad hoc Networking and Home Networking.
- Peer-to-Peer Applications and Services
- Embedded Systems and Sensor Networks
- Workload Modelling and Characterization
- Operating Systems
- Client-Server Systems
- Multimedia Systems
- Measurements and Hybrid Techniques
- Software Performance
- Software Reliability

                        PAPER SUBMISSION

Full papers reporting original and unpublished research results on
ASMTA topics are solicited.

FORMATTING:
Submissions should include, on the cover page, authors names,
affiliations, addresses, fax and phone numbers, and email addresses.
Please indicate clearly the corresponding author. Include up to
5 keywords from the above list and an abstract of no more than
300 words. Full manuscript must not exceed 10 double-spaced pages
including figures, tables, and references.

HOW TO SUBMIT:
The paper submission for ASMTA 2007 will only be accepted through
the EDAS Paper Submission System accessible from the link on the
website. Only papers in PDF will be accepted for reviewing.
Submissions as e-mail attachment will not be accepted.

REVIEWING:
Consistent with standard practice, each submitted paper will
receive rigorous peer reviewing. Papers will be selected based
on their originality, timeliness, significance, relevance, and
clarity of presentation. Selection will be based on full papers.
Submission implies the willingness of at least one of the authors
to register and present the paper, if accepted. All accepted papers
in the conference are expected to be presented and will be included
in the conference proceedings (both print and CD), which will be
copyrighted and widely disseminated.  Selected best papers from
the conference will be considered for publication in a special
issue of an international journal.

CAMERA READY MANUSCRIPT:
Accepted paper will need to be formatted according to the
publication guidelines of the conference (max. 6 pages, see
website). Camera ready papers must be submitted using the EDAS
Conference Management System. Only PDF files will be accepted.

BEST PAPER AWARD:
The ASMTA 2007 Committee will select the best paper of the
conference for which a certificate will be presented at the end
of the conference.

                          IMPORTANT DATES

Paper submission:                              February 13, 2007
Author notification:                              March 20, 2007
Camera ready copies:                              April 17, 2007
Conference date:                                  June 4-6, 2007

                         CONFERENCE CHAIR

         Khalid Al-Begain, University of Glamorgan, UK

                         HONORARY CO-CHAIR

    Gunter Bolch, University of Erlangen-Nuremberg, Germany

                         PROGRAM CO-CHAIRS

    Miklos Telek, Budapest University of Technology, Hungary
    Armin Heindl, University of Erlangen-Nuremberg, Germany

                         PROGRAM COMMITTEE

  Vladimir Anisimov           GlaxoSmithKline, UK
  Irfan Awan                  Univ. of Bradford, UK
  Amine Berqia                Univ. of Algarve, Portugal
  Srinivas Chakravarthy       Kettering Univ., USA
  Laurie Cuthbert             Queen Mary, Univ. of London, UK
  Hermann de Meer             Univ. of Passau, Germany
  Alexander Dudin             Belarusian State Univ., Belarus
  Antonis Economou            Univ. of Athens, Greece
  Rossano Gaeta               Univ. of Turin, Italy
  Reinhard German             Univ. of Erlangen-Nuremberg, Germany
  Guenter Haring              Univ. of Vienna, Austria
  Gabor Horvath               Budapest Univ. of Technology, Hungary
  Yeong Min Jang              Kookmin Univ., South Korea
  Tomas Kalibera              Univ. of Prague, Czech Republic
  Helen Karatza               Aristotle Univ. of Thessaloniki, Greece
  A. Krishnamoorthy           Cochin Univ. of Science & Techn., India
  Remco Litjens               TNO Inf. & Comm. Technology, Netherlands
  Maria Lopez-Herrero         Complutense Univ. of Madrid, Spain
  Don McNickle                Univ. of Canterbury, UK
  Bruno Mueller-Clostermann   Univ. of Duisburg-Essen, Germany
  Mohamed Ould-Khaoua         Univ. of Glasgow, UK
  Krzysztof Pawlikowski       Univ. of Canterbury, New Zealand
  Matteo Sereno               Univ. of Turin, Italy
  Bruno Sericola              IRISA/INRIA Rennes, France
  Janos Sztrik                Lajos Kossuth Univ., Hungary
  Baris Tan                   Koc Univ., Turkey
  Nigel Thomas                Univ. of Newcastle, UK
  Dietmar Tutsch              TU Berlin, Germany
  Kurt Tutschku               Univ. of Wuerzburg, Germany
  Xingang Wang                Univ. of Plymouth, UK

--

-- 
Dr.-Ing. Armin Heindl

Friedrich-Alexander-Universitaet Erlangen-Nuernberg
Informatik 7 - Prof. Dr.-Ing. R. German
(Computer Networks and Communication Systems)
Martensstr.3, 91058 Erlangen, Germany
____________________________________________________

Phone: (+49) 9131 85 27 099         Room: 06.125
Fax  : (+49) 9131 85 27 409
____________________________________________________

Email: Armin.Heindl <at> informatik.uni-erlangen.de
http:  //www7.informatik.uni-erlangen.de/~heindl
____________________________________________________

Michael (Eonsuk) Shin | 8 Feb 00:46 2007
Picon

SEKE2007 - Deadline extended to March 1, 2007

---------------------------------------------------
     Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and
Knowledge Engineering

SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html

Organized by Knowledge Systems Institute

CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007.
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and
knowledge engineering to discuss on relevant results in either software 
engineering
or knowledge engineering or both. Special emphasis will be put on the 
transference
of methods between both domains.

TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems

INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF,
or MS Word format) of the full paper should be submitted using the following
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet 
Explorer
as the browser. Manuscript must include a 200-word abstract and no more 
than 6 pages
of IEEE double column text (include figures and references). Workshop papers
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users
(webmaster, program chair, reviewers...) can login using the following
URL: http://conf.ksi.edu/seke07/review/pass.php.

If you have any questions or run into problems,
please send e-mail to: seke <at> ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke <at> ksi.edu

IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007

---------------------------------------------------
    Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering

SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html

Organized by Knowledge Systems Institute

CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside 
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007. 
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and 
knowledge engineering to discuss on relevant results in either software engineering 
or knowledge engineering or both. Special emphasis will be put on the transference 
of methods between both domains.

TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems

INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF, 
or MS Word format) of the full paper should be submitted using the following 
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet Explorer 
as the browser. Manuscript must include a 200-word abstract and no more than 6 pages 
of IEEE double column text (include figures and references). Workshop papers 
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users 
(webmaster, program chair, reviewers...) can login using the following 
URL: http://conf.ksi.edu/seke07/review/pass.php.

If you have any questions or run into problems, 
please send e-mail to: seke <at> ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke <at> ksi.edu

IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007 

---------------------------------------------------
    Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering

SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html

Organized by Knowledge Systems Institute

CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside 
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007. 
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and 
knowledge engineering to discuss on relevant results in either software engineering 
or knowledge engineering or both. Special emphasis will be put on the transference 
of methods between both domains.

TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems

INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF, 
or MS Word format) of the full paper should be submitted using the following 
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet Explorer 
as the browser. Manuscript must include a 200-word abstract and no more than 6 pages 
of IEEE double column text (include figures and references). Workshop papers 
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users 
(webmaster, program chair, reviewers...) can login using the following 
URL: http://conf.ksi.edu/seke07/review/pass.php.

If you have any questions or run into problems, 
please send e-mail to: seke <at> ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke <at> ksi.edu

IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007 

Manuel Silva | 6 Feb 11:58 2007
Picon

Control using Petri Nets, april 2007

PLEASE CAN YOU DISTRIBUTE THIS
===============================================

*Control using Petri Nets*
peaker:    Alessandro Giua
Date:        April 10-13, 2007
Location:  SUPELEC, Gif-sur-Yvette (Parigi)

The course is a module of 21 hours offered within the HYCON-EECI 
GRADUATE SCHOOL ON CONTROL. In total 10 modules will be offered from 
February 2007 to April 2007.

Registration fees:               150 euros per module
Deadline for registration:   2 weeks before the module starts.

For more details and registration  procedure see:
    http://www.ist-hycon.org/index.php?p=EECI
or contact Jamal.Daafouz <at> ensem.inpl-nancy.fr

*********

Programme: /The objective of this module is that of presenting Petri 
nets as a model for the analysis and control of discrete event and 
hybrid systems, with a particular emphasis on the use of linear 
algebraic and integer optimizations techniques. The basic model 
(place/transition nets) is presented and two classical analysis 
techniques (based on the coverability graph or on the incidence matrix) 
are presented. Two different approaches for the control of discrete 
event systems using Petri nets are reviewed. In the first approach, 
directly inspired by supervisory control theory, a Petri net is seen as 
a language generator that must be controlled to enforce a given language 
specification. In a second approach, a state specification is given and 
the net must be controlled to ensure that no forbidden state is reached. 
An interesting approach based on integer optimization can also be used 
to estimate the state of a net: this procedure can be used to design an 
observer to insert in the control loop, or to design a diagnoser for 
fault analysis. The last part of the course will briefly introduce 
hybrid Petri nets and the techniques that can be used to control these 
nets./

    * Introduction to place/transitions nets: analysis by coverability
      graph and by incidence matrix.
    * Supervisory control using Petri nets. Language specifications.
    * Control for Generalized Mutual Exclusion Constraints. Monitor places.
    * Discrete-event observers using Petri nets. Applications to
      diagnosis/control
    * Hybrid Petri nets

*********

Michael (Eonsuk) Shin | 8 Feb 00:46 2007
Picon

SEKE2007 - Deadline extended to March 1, 2007

---------------------------------------------------
     Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and
Knowledge Engineering

SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html

Organized by Knowledge Systems Institute

CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007.
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and
knowledge engineering to discuss on relevant results in either software 
engineering
or knowledge engineering or both. Special emphasis will be put on the 
transference
of methods between both domains.

TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems

INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF,
or MS Word format) of the full paper should be submitted using the following
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet 
Explorer
as the browser. Manuscript must include a 200-word abstract and no more 
than 6 pages
of IEEE double column text (include figures and references). Workshop papers
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users
(webmaster, program chair, reviewers...) can login using the following
URL: http://conf.ksi.edu/seke07/review/pass.php.

If you have any questions or run into problems,
please send e-mail to: seke <at> ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke <at> ksi.edu

IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007

---------------------------------------------------
    Deadline extended to March 1, 2007
---------------------------------------------------
The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering

SEKE'2007
Hyatt Harborside at Logan Int'l Airport, Boston, USA
July 9 - July 11, 2007
www.ksi.edu/seke/seke07.html

Organized by Knowledge Systems Institute

CALL FOR PAPERS

The Nineteenth International Conference on Software Engineering and 
Knowledge Engineering (SEKE'07) will be held in Hyatt Harborside 
at Boston's Logan Int'l Airport, Boston, USA, July 9-11, 2007. 
The hotel's website is at: http://harborside.hyatt.com/hyatt/hotels/index.jsp
The conference aims at bringing together experts in software engineering and 
knowledge engineering to discuss on relevant results in either software engineering 
or knowledge engineering or both. Special emphasis will be put on the transference 
of methods between both domains.

TOPICS

Solicited topics include, but are not limited to:
Active rules in database systems
Agent architectures, ontologies, languages and protocols
Agent-based distributed data mining
Agent-based grid computing
Agent-based learning and knowledge discovery
Agent-based software engineering
Autonomic computing
Agent-based auctions and marketplaces
Agents in games and Virtual environments
Adaptive Systems
Ambient intelligence
Artificial Intelligence Approaches to Software Engineering
Artificial life and societies
Automated Reasoning
Automated Software Design and Synthesis
Automated Software Specification
Autonomic systems
Believable, embodied, and physical agents
Component-Based Software Engineering
Computer-Supported Cooperative Work
Data cleansing and noise reduction
Data streams and incremental mining
Data visualization
E-Commerce Solutions and Applications
Embedded and Ubiquitous Software Engineering
Electronic Commerce
Enterprise Software, Middleware, and Tools
Formal Methods
Human-Computer Interaction
Industry System Experience and Report
Integrity, Security, and Fault Tolerance
Interface agents
Knowledge Acquisition
Knowledge-Based and Expert Systems
Knowledge Representation and Retrieval
Knowledge Engineering Tools and Techniques
Knowledge Visualization
Learning Software Organization
Measurement and Empirical Software Engineering
Middleware for service based systems
Mining graphs
Mobile agents
Mobile Commerce Technology and Application Systems
Mobile Systems
Multi-agent systems
Multimedia Applications, Frameworks, and Systems
Multimedia and Hypermedia Software Engineering
Ontologies and Methodologies
Patterns and Frameworks
Pervasive Computing
Process and Workflow Management
Programming Languages and Software Engineering
Program Understanding
Quality of services
Reflection and Metadata Approaches
Reliability
Requirements Engineering
Reverse Engineering
Runtime service management
Secure mobile and multi-agent systems
Semantic web
Service-centric software engineering
Service oriented requirements engineering
Service oriented architectures
Service discovery and composition
Service level agreements (drafting, negotiation, monitoring and management)
Smart Spaces
Soft Computing
Soft Media/Digital Media
Software Architecture
Software Assurance
Software Domain Modeling and Meta-Modeling
Software dependability
Software economics
Software Engineering Case Study and Experience Reports
Software Engineering Decision Support
Software Engineering Tools and Environments
Software Maintenance and Evolution
Software Process Modeling
Software product lines
Software Quality
Software Reuse
Software Safety
Software Security
Swarm intelligence
System Applications and Experience
Time and Knowledge Management Tools
Tutoring, Documentation Systems
Uncertainty Knowledge Management
Validation and Verification
Web and text mining
Web-Based Tools, Applications and Environment
Web-Based Knowledge Management
Web-Based Tools, Systems, and Environments
Web and Data Mining
Wireless-Based Applications and Systems

INFORMATION FOR AUTHORS

Papers must be written in English. An electronic version (Postscript, PDF, 
or MS Word format) of the full paper should be submitted using the following 
URL: http://conf.ksi.edu/seke07/submit/SubmitPaper.php. Please use Internet Explorer 
as the browser. Manuscript must include a 200-word abstract and no more than 6 pages 
of IEEE double column text (include figures and references). Workshop papers 
should be submitted to the workshops directly.

INFORMATION FOR REVIEWERS

Papers submitted to SEKE'07 will be reviewed electronically. The users 
(webmaster, program chair, reviewers...) can login using the following 
URL: http://conf.ksi.edu/seke07/review/pass.php.

If you have any questions or run into problems, 
please send e-mail to: seke <at> ksi.edu.

SEKE'2007 Conference Secretariat
Knowledge Systems Institute
3420 Main Street
Skokie, IL 60076 USA
Tel: 847-679-3135
Fax: 847-679-3166
E-mail: seke <at> ksi.edu

IMPORTANT DATES

Paper submission due: March 1, 2007 (extended deadline)
Notification of acceptance: April 1, 2007
Camera-ready copy: May 1, 2007 

_______________________________________________
Lprolog mailing list
Lprolog <at> cs.umn.edu
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Gmane