victor khomenko | 1 Nov 2006 10:28
Picon
Picon
Favicon

CfP - UFO'07: Workshop on UnFOlding and partial order techniques

[Apologies for multiple copies due to cross postings]
[Please forward to interested colleagues and students]

------------------------------------------------------------------------
-------
		CALL FOR PAPERS

UFO'07: Workshop on UnFOlding and partial order techniques
	(a satellite event of Petri Nets 2007)
	Siedlce, Poland, June 25-26, 2007

http://homepages.cs.ncl.ac.uk/victor.khomenko/home.formal/UFO07/UFO-07.h
tm
------------------------------------------------------------------------
-------
		Tutorial		   

Javier Esparza		Unfolding-Based Model Checking	   
		   
		Invited talks		   

Claude Jard		Symbolic Unfoldings of Timed Models	   
Eric Fabre 		Modular Processing	   
Victor Khomenko	Merged Processes of Petri Nets	   
Maciej Koutny		Branching Processes of High-Level Petri Nets and

			Model Checking of Mobile Systems	   
Walter Vogler		Canonical Prefixes of Petri Net Unfoldings

Glynn Winskel		Event Types	 
(Continue reading)

Fabrice Kordon | 1 Nov 2006 10:55
Picon
Favicon

CPN-AMI 3.1 is out


	Dear Petri-netters

We are pleased to announce the release of CPN-AMI 3.1. This new version brings:

new:
* LTL model checking on the symbolic reachability graph (thanks to 
the GreatSPN firing module, jointly developped with the University of 
Torino),

updated:
* Better support of the PNML format (standard ISO/IEC 15909) with 
both export and import function for P/T nets (Colored nets should 
come soon),
* Bug fixed to the PetriScript interpretor
* Colored Petri Net unfolder (bug fixed),
* Much better performances when managing huge results from tools

... and all the usual features of CPN-AMI.

More information and distribution are available on http://www.lip6.fr/cpn-ami
--

-- 
--------------------------------------------------------------------------
Fabrice Kordon		Laboratoire d'Informatique de Paris 6/MoVe
Tel: +33 1 44 27 88 20	Université Pierre & Marie Curie
Fax: +33 1 44 27 87 71	4 place Jussieu, 75252 Paris Cedex 05
http://www-src.lip6.fr/~Fabrice.Kordon
Huibiao Zhu | 1 Nov 2006 14:14
Picon

CFP: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering

We apologise for multiple copies.
------------------------------------------------------------
 
                             TASE 2007
 
             1st IEEE & IFIP International Symposium on
            Theoretical Aspects of Software Engineering
 
                 June 6 - 8, 2007, Shanghai, China
                http://www.sei.ecnu.edu.cn/TASE2007/
 
                          Call For Papers
                Submission Deadline: January 5, 2007
        For more information e-mail: jifeng <at> sei.ecnu.edu.cn
 
The 1st IEEE & IFIP Theoretical Aspects of Software Engineering
Conference (TASE 2007), sponsored by IFIP and IEEE, will be held in
Shanghai, China June 2007.
 
Large scale software systems and Internet are of growing concern to
academia and industry. This poses new challenges to the various
aspects of software engineering, for instance, the reliability of
software development, Web-oriented software architecture and Aspect
& Object-orientation techniques. As a result, new concepts and
methodologies are required to enhance the development of software
engineering from theoretical aspects. TASE 2007 is a forum for
researchers from academia, industry and government to present ideas,
results, and ongoing research on theoretical advances in Software
Engineering.
 

Topics of Interest:
Authors are invited to submit manuscripts of original unpublished
research in all theoretical areas of software engineering
(Requirements, Specification, Testing, Workflows, Architectures,
Verification, Languages, and Logics). The topics of interest
include, but are not limited to:
* Requirements Engineering
* Specification and Validation
* Software Testing
* Component-based Development
* Model Checking for Software
* Software Processes and Workflows
* Software Frameworks and Middleware
* Software Architectures and Design
* Software safety and reliability
* Reverse Engineering and Software Maintenance
* Aspect and Objected
<div>
<div>We apologise for multiple copies.</div>
<div>------------------------------------------------------------</div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
TASE 2007</div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
1st IEEE &amp; IFIP International Symposium 
on<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Theoretical Aspects of Software Engineering</div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
June 6 - 8, 2007, Shanghai, 
China<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<a href="http://www.sei.ecnu.edu.cn/TASE2007/">http://www.sei.ecnu.edu.cn/TASE2007/</a>
</div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Call For 
Papers<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Submission Deadline: January 5, 
2007<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; For more information e-mail: 
<a href="mailto:jifeng <at> sei.ecnu.edu.cn">jifeng <at> sei.ecnu.edu.cn</a>
</div>
<div>&nbsp;</div>
<div>The 1st IEEE &amp; IFIP Theoretical Aspects of Software 
Engineering<br>Conference (TASE 2007), sponsored by IFIP and IEEE, will be held 
in<br>Shanghai, China June 2007.</div>
<div>&nbsp;</div>
<div>Large scale software systems and Internet are of growing 
concern to<br>academia and industry. This poses new challenges to the 
various<br>aspects of software engineering, for instance, the reliability 
of<br>software development, Web-oriented software architecture and 
Aspect<br>&amp; Object-orientation techniques. As a result, new concepts 
and<br>methodologies are required to enhance the development of 
software<br>engineering from theoretical aspects. TASE 2007 is a forum 
for<br>researchers from academia, industry and government to present 
ideas,<br>results, and ongoing research on theoretical advances in 
Software<br>Engineering.</div>
<div>&nbsp;</div>
<div>
<br>Topics of Interest:<br>Authors are invited to submit manuscripts of 
original unpublished<br>research in all theoretical areas of software 
engineering<br>(Requirements, Specification, Testing, Workflows, 
Architectures,<br>Verification, Languages, and Logics). The topics of 
interest<br>include, but are not limited to:<br>* Requirements Engineering<br>* 
Specification and Validation<br>* Software Testing<br>* Component-based 
Development<br>* Model Checking for Software<br>* Software Processes and 
Workflows<br>* Software Frameworks and Middleware<br>* Software Architectures 
and Design<br>* Software safety and reliability<br>* Reverse Engineering and 
Software Maintenance<br>* Aspect and Objected 
S B Cooper | 2 Nov 2006 14:12
Picon
Favicon

CiE 2007 - First Call for Papers


[apologies for multiple copies]
************************************************************

                                CiE 2007
               http://www.mat.unisi.it/newsito/cie07.html

  Computability in Europe 2007: Computation and Logic in the Real World
                          University of Siena
                         Siena, 18-23 June 2007

                            CALL FOR PAPERS

                       Deadline: JANUARY 12, 2007

CiE 2007 invites submissions from a broad range of basic and applied areas
of computability related research. While submissions close to the conference
theme of 'Computation and Logic in the Real World' are specially invited,
CiE also very much welcomes fundamental research papers in computability and
logic. Submissions in emergent areas, such as bioinformatics and natural
computation (including quantum, molecular, neural, and evolutionary
computation), where they have a basic connection with computability, are
particularly welcome. For a fuller list of conference topics see:

http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.descr.html#themes

IMPORTANT DATES:
Submission of papers: Jan. 12, 2007
Notification of authors:  Feb.  16, 2007
Deadline for final revisions: Mar. 9, 2007

The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF-format, max 10 pages) for presentation at CiE 2007: see the conference
website for the online submission procedure.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. There
will also be journal special issues: APAL, JLC, TCS-C, ToCS - to which full
versions of selected submissions to CiE 2007 will be invited, in
consultation with the Programme Committee and Special Session Organisers, to
submit.

INVITED SPEAKERS:

Pieter Adriaans (Amsterdam)
Kobi Benenson (Harvard)
Anne Condon (Vancouver)
Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon, tbc)
Robert I. Soare (Chicago)
Philip Welch (Bristol)

PROGRAMME COMMITTEE:

M. Agrawal (Kanpur)                      M. Arslanov (Kazan)
G. Ausiello (Roma)                       A. Bauer (Ljubljana)
A. Beckmann (Swansea)                    U. Berger (Swansea)
A. Cantini (Firenze)                     B. Cooper (Leeds, co-chair)
L. Crosilla (Firenze)                    J. Diaz (Barcelona)
C. Dimitracopoulos (Athens)              F. Ferreira (Lisbon)
S. Goncharov (Novosibirsk)               P. Gruenwald (Amsterdam)
D. Harel (Rehovot)                       A. Hodges (Oxford)
J. Kempe (Paris)                         G. Longo (Paris)
B. Loewe (Amsterdam)                     J. Makowsky (Haifa)
E. Mayordomo Camara (Zaragoza)           W. Merkle (Heidelberg)
F. Montagna (Siena)                      D. Normann (Oslo)
T. Pheidas (Heraklion)                   G. Rozenberg (Leiden)
G. Sambin (Padova)                       H. Schwichtenberg (Muenchen)
W. Sieg (Carnegie Mellon)                A. Sorbi (Siena, co-chair)
I. Soskov (Sofia)                        P. van Emde Boas (Amsterdam)

SPECIAL SESSIONS:

* Doing without Turing Machines: Constructivism and Formal Topology
* Approaches to Computational Learning
* Real Computation
* Computability and Mathematical Structure
* Complexity of Algorithms and Proofs
* Logic and New Paradigms of Computability
* Computational Foundations of Physics and Biology

CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer
Science), ASL (Association for Symbolic Logic), EACSL (European Association
for Computer Science Logic) and FoLLI (The Association of Logic, Language
and Information).

CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability and
Complexity in Analysis) Conference (Siena, College Santa Chiara, June 16-18,
2007):
                     http://cca-net.de/cca2007/

================================================================
Andrea Sorbi
Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari"
Pian dei Mantellini 44
53100 Siena, Italy
Phone: 0039-0577-233727
Fax: 0039-0577-233730

John Edward | 3 Nov 2006 22:22
Picon

CfP: The 2007 International Multi- Conference in Computer Science, Engineering, and Information Science

 

 

*Apologies for cross posting. Please forward to interested people*

 

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

 

PS: please send an email to the above address in case you are not interested on further emails on this event.

 

<div>

<div class="Section1">

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

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

<p class="MsoNormal" align="center"><span>*Apologies for cross
posting. Please forward to interested people*</span></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="MsoNormal"><span>&nbsp;</span></p>

<p class="MsoNormal"><span>PS: please send an email to the above address in case you are not
interested on further emails on this event.</span></p>

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

</div>

</div>
Hamid R. Arabnia | 5 Nov 2006 06:46
Picon

Worldcomp'07: Call For Papers/Sessions - multiple int'l conferences in computer science and engineering, USA


                  Call  For  Papers
                        and
              Call For Session Proposals

     The 2007 World Congress in Computer Science,
     Computer Engineering, and Applied Computing
                    WORLDCOMP'07
         (composed of 24 Joint Conferences)
          June 25-28, 2007, Las Vegas, USA

Dear Colleagues:

You are invited to submit a draft paper and/or a proposal to organize
a session/workshop.  All accepted papers will be published in the
respective conference proceedings.  The Academic Co-sponsors of
WORLDCOMP'07 include: MIT Media Lab, MIT; Harvard University's
Statistical Genomics and Computational Biology Lab; Texas Advanced
Computing Center, The University of Texas at Austin; Statistical and
Computational Intelligence Lab of Purdue University; and University of
Iowa's Medical Imaging HPC Lab.  A more complete list of sponsors can
be found below.

The 2007 World Congress in Computer Science, Computer Engineering,
and Applied Computing (WORLDCOMP'07) is composed of the following
24 conferences (all will be held simultaneously, same location
and dates: June 25-28, 2007, USA).

o The 2007 International Conference on Parallel and Distributed
  Processing Techniques and Applications (PDPTA'07)

o The 2007 International Conference on Grid Computing and
  Applications (GCA'07)

o The 2007 International Conference on Computer Design (CDES'07)

o The 2007 International Conference on Scientific Computing (CSC'07)

o The 2007 International Conference on Artificial Intelligence
  (ICAI'07)

o The 2007 International Conference on Genetic and Evolutionary
  Methods (GEM'07)

o The 2007 International Conference on Bioinformatics and
  Computational Biology (BIOCOMP'07)

o The 2007 International Conference on Software Engineering Research
  and Practice (SERP'07)

o The 2007 International Conference on Wireless Networks (ICWN'07)

o The 2007 International Conference on Image Processing, Computer
  Vision, and Pattern Recognition (IPCV'07)

o The 2007 International Conference on Modeling, Simulation and
  Visualization Methods (MSV'07)

o The 2007 International Conference on Computer Graphics and Virtual
  Reality (CGVR'07)

o The 2007 International Conference on Multimedia Systems and
  Applications (MSA'07)

o The 2007 International Conference on Internet Computing (ICOMP'07)

o The 2007 International Conference on Semantic Web and Web Services
  (SWWS'07)

o The 2007 International Conference on Security and Management (SAM'07)

o The 2007 International Conference on Data Mining (DMIN'07)

o The 2007 International Conference on Information and Knowledge
  Engineering (IKE'07)

o The 2007 International Conference on e-Learning, e-Business,
  Enterprise Information Systems, and e-Government (EEE'07)

o The 2007 International Conference on Embedded Systems and
  Applications (ESA'07)

o The 2007 International Conference on Frontiers in Education: Computer
  Science and Computer Engineering (FECS'07)

o The 2007 International Conference on Foundations of Computer
  Science (FCS'07)

o The 2007 International Conference on Engineering of Reconfigurable
  Systems and Algorithms (ERSA'07)

o The 2007 International Conference on Communications in Computing
  (CIC'7)

(a link to each conference's URL can be found at
http://www.worldacademyofscience.org/worldcomp07 - the site is currently
under construction.  See also: http://www.world-academy-of-science.org)

General Chair And Coordinator:

   H. R. Arabnia, PhD
   Professor, Computer Science
   Editor-in-Chief, The Journal of Supercomputing (Springer)
   The University of Georgia
   Department of Computer Science
   415 Graduate Studies Research Center
   Athens, Georgia 30602-7404, USA

   Tel: (706) 542-3480
   Fax: (706) 542-2966
   E-mail: hra <at> cs.uga.edu

Purpose / History:

   This set of joint conferences is the largest annual gathering
   of researchers in computer science, computer engineering and
   applied computing.  Many of the 24 joint conferences in
   WORLDCOMP are the premier conferences for presentation of
   advances in their respective fields.  We anticipate to have
   2000 or more attendees from over 75 countries participating in
   the 2007 joint conferences.

   The motivation is to assemble a spectrum of affiliated research
   conferences into a coordinated research meeting held in a
   common place at a common time.  The main goal is to provide a
   forum for exchange of ideas in a number of research areas that
   interact.  The model used to form these annual conferences
   facilitates communication among researchers from all over the world
   in different fields of computer science, computer engineering and
   applied computing.  Both inward research (core areas of computer
   science and engineering) and outward research (multi-disciplinary,
   inter-disciplinary, and applications) will be covered during the
   conferences.

Proposal for Organizing Sessions/Workshops:

   Each session will have at least 6 paper presentations from
   different authors (12 papers in the case of workshops).
   The session chairs will be responsible for all aspects of
   their sessions; including, soliciting papers, reviewing,
   selecting, ...  The names of session chairs will appear as
   Associate Editors in the conference proceedings and on the
   cover of the books.

   Proposals to organize sessions should include the following
   information: name and address (+ email) of proposer, title of
   session, a 100-word description of the topic of the session,
   the name of the conference the session is submitted for
   consideration, and a short description on how the session will
   be advertised (in most cases, session proposers solicit papers
   from colleagues and researchers whose work is known to the
   session proposer).  E-mail your proposal to H. R. Arabnia
   (address is given above).  We would like to receive the
   proposals by December 1, 2006.

Submission of Papers:

   Prospective authors are invited to submit their draft paper
   (about 5 to 8 pages - single space, font size of 10 to 12) to
   H. R. Arabnia by Feb. 20, 2007. E-mail submissions in MS
   document or PDF formats are preferable (Fax or postal
   submissions are also fine.)  All reasonable typesetting formats
   are acceptable (later, the authors of accepted papers will be
   asked to follow a particular typesetting format to prepare their
   papers for publication.)

   The length of the Camera-Ready papers (if accepted) will be
   limited to 7 (IEEE style) pages.  Papers must not have been
   previously published or currently submitted for publication
   elsewhere.  The first page of the draft paper should include:
   title of the paper, name, affiliation, postal address, email
   address, and telephone number for each author.  The first page
   should also identify the name of the author who will be presenting
   the paper (if accepted) and a maximum of 5 topical keywords that
   would best represent the content of the paper.  Finally, the name
   of the conference that the paper is being submitted to must be
   stated on the first page.

   Papers will be evaluated for originality, significance,
   clarity, impact, and soundness.  Each paper will be refereed by
   two experts in the field who are independent of the conference
   program committee.  The referees' evaluations will then be reviewed
   by two members of the program committee who will recommend a
   decision to the chair of the track that the paper has been
   submitted to.  The chair will make the final decision.  Lastly, the
   Camera-Ready papers will be reviewed by one member of the program
   committee.

Members of Program and Organizing Committees:

   The Program Committee includes members of chapters of World
   Academy of Science (chapters: supercomputing; scientific
   computing; artificial intelligence; imaging science; databases;
   simulation; software engineering; embedded systems; internet
   and web technologies; communications; computer security; and
   bioinformatics.) The Program Committee for individual
   conferences is currently being formed.  Those interested in
   joining the Program Committee should email H. R. Arabnia
   (hra <at> cs.uga.edu) the following information: Name, affiliation
   and position, complete mailing address, email address, tel/fax
   numbers, a short biography together with research interests and
   the name of the conference offering to help with.

Location of Conferences:

   The conferences will be held in the Monte Carlo Resort hotel,
   Las Vegas, Nevada, USA (with any overflows at other near-by
   hotels).  The Monte Carlo Resort is a mega hotel with excellent
   conference facilities and over 3,000 rooms.  The hotel is
   minutes from the airport with 24-hour shuttle service to and
   from the airport.  This hotel has many recreational attractions,
   including: waterfalls, spa, pools and kiddie pools, sunning
   decks, Easy River water ride, wave pool with cascades, lighted
   tennis courts, health spa (with workout equipment, whirlpool,
   sauna, ...), arcade game rooms, nightly shows, snack bars, a
   number of restaurants, shopping area, bars, ...  Many of these
   attractions are open 24 hours a day and most are suitable for
   families and children.  The negotiated room rate for conference
   attendees is very reasonable.  The hotel is within walking
   distance from most other attractions (major shopping areas,
   recreational destinations, fine dining and night clubs, free
   street shows, Golf courses...).

Co-Sponsors (this is a partial list):

   Academic Co-Sponsors of WORLDCOMP'07 include:
     - Massachusetts Institute of Technology (MIT) Media Laboratory,
       MIT (Cambridge, Massachusetts)
     - Statistical Genomics and Computational Biology Laboratory,
       Department of Statistics, Harvard University (Cambridge,
       Massachusetts)
     - Texas Advanced Computing Center, The University of Texas at
       Austin (Austin, Texas)
     - Statistical and Computational Intelligence Laboratory of
       Purdue University (West Lafayette, Indiana)
     - University of Iowa's Medical Imaging HPC Lab (Iowa City, Iowa)
   Other Co-sponsors include:
     - STEM Education Society
     - HPC Software Inc.
     - International Technology Institute (ITI)
     - H2cM - Hodges' Health, UK

Important Dates:

   Dec.   1, 2006:    Proposals for organizing/chairing sessions
   Feb.  20, 2007:    Submission of papers (about 5 to 8 pages)
   March 20, 2007:    Notification of acceptance
   April 20, 2007:    Camera-Ready papers and Registration due
   June 25-28, 2007:  The 2007 World Congress in Computer Science,
                      Computer Engineering, and Applied Computing
                      (WORLDCOMP'07 - 24 joint conferences)

Topical Scope for each Conference:

   To receive the complete list of topics for each of the
   24 conferences, send an email to hra <at> cs.uga.edu or
   wait for the conferences' url's to be constructed.

Future Announcements: If you do not wish to receive future announcements
about this event, please send an email to hra <at> cs.uga.edu.
Luis Gomes | 9 Nov 2006 16:32
Picon

TeaConc'2007 - 2nd Workshop on Teaching Concurrency at ATPN'2007

                     C A L L   F O R   P A P E R S
          TeaConc’2007 - 2nd Workshop on Teaching Concurrency
                   25 June 2007 - Siedlce, Poland
                http://www.uninova.pt/teaconc2007/
---------------------------------------------------------------------------
Satellite workshop of 
ATPN'2007 - 28th Int. Conf. on Applications and Theory of Petri nets 
and Other Models of Concurrency 

Conferences web site:  http://atpn2007.ap.siedlce.pl/    
---------------------------------------------------------------------------
MOTIVATION
---------------------------------------------------------------------------
The main goal of the workshop is to continue and consolidate the discussion 
started during the successfully TeaConc’2006, held in Turku, Finland,
on the ways that models of concurrency can be taught at
undergraduate/graduate levels.
On one hand, the workshop will focus on the application of models of 
concurrency to educational issues reporting on specific pedagogical 
experiences, and on the other hand will take advantage of
cross-fertilization 
between teaching experiences in different application domains.
As a post-workshop goal, we hope to set-up a web database of materials 
to be used in teaching activities (course syllabus, curricula, slides, 
exercises, lab structure, tool usage, experiences) tuned to specific 
teaching areas.
---------------------------------------------------------------------------
IMPORTANT DATES
---------------------------------------------------------------------------
Deadline for submissions:   March 10, 2007
Notification of acceptance: April 15, 2007
Deadline for final papers:    May 19, 2007
Deadline for registration:    May 19, 2007
Workshop:                    June 25, 2007
---------------------------------------------------------------------------
TOPICS OF INTEREST
---------------------------------------------------------------------------
Topics of interest include (but are not limited to): 
- How to teach concurrency (with Petri nets and other formalisms)
- Comparisons between different models of concurrency 
       (from a pedagogical perspective)
- Mappings between different concurrency models with pedagogical purposes
- Selection and evaluation of related tools for pedagogical purposes
- Experiences on how to use models of concurrency within several 
  disciplines and application areas:
  > Distributed Systems
  > Software engineering
  > Programming languages
  > Protocol specification and verification
  > Embedded Systems
  > Hardware design
  > Synchronous and asynchronous circuit design
  > Manufacturing systems
  > Automation systems
  > Workflow systems
---------------------------------------------------------------------------
SUBMISSION OF PAPERS
---------------------------------------------------------------------------
Two types of submissions are foreseen:
- regular papers, not exceeding 15 pages 
     (for oral presentation 20-30min, t.b.d.)
- short papers, reporting on experiences and work-in-progress 
     (for oral presentation 5-15 min, t.b.d.)
Papers should be submitted in electronic form (PDF) using the 
Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html).
Submissions should include title, author's address and email, and an
abstract.
Accepted papers will be included in the workshop proceedings which will be 
available at the workshop.
It is the intention to publish selected papers from the workshop in a new 
subseries of LNCS entitled "Transactions on Petri Nets and other models of 
Concurrency" (ToPNoC).
---------------------------------------------------------------------------
ORGANIZERS
Luis Gomes, Univ. Nova de Lisboa/UNINOVA, Portugal, lugo <at> uninova.pt
Søren Christensen, DAIMI, Univ. Aarhus, Denmark, schristensen <at> daimi.au.dk
---------------------------------------------------------------------------
PROGRAM COMMITTEE
João-Paulo Barros, Portugal
Howard Bowman, UK
Søren Christensen, (co-chair), Denmark
Jordi Cortadella, Spain
Joerg Desel, Germany
Joao Miguel Fernandes, Portugal
Luis Gomes, (co-chair), Portugal
Holger Hermanns, Germany
Jens Jørgensen, Denmark
Lars Kristensen, Denmark
Sadatoshi Kumagai, Japan
Charles Lakos, Australia
José Lastra, Finland
Alexander H. Levis, USA
Daniel Moldt, Germany
Angelo Perkusich, Brasil
Laure Petrucci, France
Marta Pietkiewicz-Koutny, UK
Lucia Pomello, Italy
Antti Valmari, Finland 
Wil van der Aalst, The Netherlands
Alex Yakovlev, UK
Bernardo Wagner, Germany
Abbas K. Zaidi, USA

Nguyen Manh Tho | 7 Nov 2006 21:19
Picon

Call for papers - CISIS 2007: First International Conference on Complex, Intelligent and Software Intensive Systems

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

Call for Papers

#####################################################################
 First International Conference on Complex, Intelligent and Software 
                   Intensive Systems (CISIS-2007)

                   http://www.cisis-conference.eu/

                    April 10 - April 13, 2007
                        Vienna, Austria

#####################################################################

To be held in conjunction with: ARES-2007 International Conference
                http://www.ares-conference.eu/

Aim
======
The aim of the conference is to deliver a platform of scientific
interaction between the three interwoven challenging areas of
research and development of future ICT-enabled applications:

- Software Intensive Systems

- Complex systems

- Intelligent Systems 

Software Intensive Systems are systems which heavily deal with other
systems, sensors, actuators, devices, other software systems and
users. More and more domains are involved with software intensive
systems, i.e. automotive, telecommunication systems, embedded systems
in general, industrial automation systems, business applications. The
outcome of web services delivers a new platform for enabling software
intensive systems. 

The conference will focus on tools, practically relevant and
heoretical foundations for engineering software intensive systems.

Complex Systems Research is focused on the overall understanding of
systems rather than its components. The ICT-enabling aspect of
Complex Systems is the focus of the contributions to be presented at
CISIS 2007. Complex Systems are very much characterised by the
changing environments in which they act and by their multiple
internal and external interactions. They evolve and adapt through
internal and external dynamic interactions.

The development of Intelligent Systems and agents which is more and
more characterised by the use of ontologies and their logical
foundations build a fruitful impulse for both Software intensive
Systems and Complex Systems.

Recent research in the field of intelligent systems –robotics, 
neuroscience, artificial intelligence, and cognitive sciences- builds
an important factor for the future development and innovation of
software intensive and complex systems.

CISIS 2007 is aiming at delivering a forum for in-depth scientific
discussions amongst the three communities leading to significant
contributions in areas such as:

- Monitoring and Control of Large Systems or Environments.
- Managing the hetrogeneity of knowledge by means of ontologies
- Use of Sevice Oriented Architectures for complex applications in
  business and industries
- The consideration of Software Intensive Systems as Complex Systems
- Enabling of Systems Biology concepts as software intensive conmplex
  systems
- Knowledge management of complex IT-systems etc. 

Scope
=========
Networks of today are going through a rapid evolution. Different
kinds of systems with different characteristics are emerging and they
are integrating in heterogeneous networks. For these reasons, there
are many interconnection problems which may occur at different levels
in the hardware and software design of communicating entities and
communication networks. These kinds of networks need to manage an
increasing usage demand, provide support for a significant number of
services, guarantee their QoS, and optimize the utilization
of network resources. Therefore, architectures and algorithms in
these networks become very complex and it seems imperative to focus
on new models and methods as well as mechanisms, which can enable the
network to perform adaptive behaviors. Many new computing
technologies have emerged as new paradigms for solving complex
problems by enabling large-scale aggregation and sharing of
computational, data and other geographically distributed resources.

Rapid advances are being reported by many researchers and forums as
regards understanding numerous issues in such paradigms, from
theoretic to application aspects. Moreover, the continuous
development of Internet and the construction of new infrastructures
are making possible the development of large scale applications
from many fields of science and engineering.

To deal with complexity, we should construct physically instantiated
systems that can perceive, understand, and interact with their
environment – but also evolve in order to achieve human-like
performance in activities requiring context-specific knowledge. This
is far beyond the current state of the art and will remain so for
many years to come. Therefore, many research efforts are required to
make headway towards this vision. The strategic challenges are
motivated by recent research in the field of intelligent systems – 
robotics, neuroscience, artificial intelligence, and cognitive
sciences.

In recent years, a large community of researchers has begun to 
realize the importance of brain-body interaction for understanding
intelligence and its central role in a wide range of processes
including perception, object manipulation, movement, and high-level
cognition.

The research challenges include theoretical frameworks based on the
notions of embodiment, the dynamical systems metaphor, complete
agents rather than individual components, self-reconfiguration and
self-repair, morphology and development. Progress in the theoretical
underpinnings of embodied intelligence will have strong technological
implications in areas including robotics, actuator technology,
materials, self-assembling systems. Research in intelligent
and cognitive systems is an interdisciplinary field requiring the
cooperation of researchers from artificial intelligence, neuroscience
(including cognitive and computational), psychology (cognitive and
developmental), linguistics, developmental biology, robotics (and 
engineering in general), biomechanics, and dynamical systems.

Software has become a central part of a rapidly growing range of 
applications, products and services from all sectors of economic
activity. Systems in which software interacts with other software, 
systems, devices, sensors and with people are called software-
intensive systems. Examples include large-scale heterogeneous 
systems, embedded systems for automotive and avionics applications,
telecommunications, wireless ad hoc systems, business applications
with an emphasis on web services. Our daily activities increasingly
depend on complex software-intensive systems that are becoming ever
more distributed, heterogeneous, decentralized and inter-dependent,
and that are operating more and more in dynamic and often
unpredictable environments.

There exist different kinds of complexity in the development of
software. Software systems grew larger, the focus shifted from the
complexity of developing algorithms to the complexity structuring
large systems, and then to the additional complexities in building
distributed, concurrent systems. In the next ten to fifteen years we
will have to face another level of complexity arising from the
fact that systems have to operate in large, open and non-
deterministic environments: the complexity of knowledge, interaction
and adaptation. Instead of developing computer-oriented systems where
people have to adapt to the computer we have to develop human-
oriented systems into which computers integrate seamlessly. Also,
the requirements for software quality will dramatically increase. But
our current methods are not sufficient to deal with adaptive software
in a dynamic environment, especially not for large systems with
complex interactions. We need to develop practically useful and
theoretically well founded principles, methods and tools for
engineering future software-intensive systems.

All the complex systems depend on software that controls the behavior
of individual components and the interaction between components, and
on software which interacts with other software, systems, devices,
sensors and with people. In other words: they depend on software-
intensive systems.

The CISIS-2007 seeks original contributions in all relevant areas,
including but not limited to the following topics.

Topics of interest
======================
•    Agent Technology
•    Human-Oriented Systems
•    Evolving Systems
•    Intelligent and Cognitive Systems and Applications
•    Genetic Programming and Algorithms
•    Fuzzy Logic and Fuzzy Systems
•    Neuro-computing and Applications
•    Knowledge-based Systems
•    Dynamic Systems
•    Parallel and Distributed Algorithms
•    Databases and Data Mining
•    Grid and P2P Infrastructures 
•    Data Intensive and Computing Intensive Applications
•    Scheduling, Resource Discovery and Allocation
•    JXTA-based Applications
•    Large-scale Collaborative Problem Solving Environments
•    Methodology and Practice of Semantic Grid and Web
•    Web and Grid Service-based Applications
•    Ubiquitous Computing Applications
•    Pervasive Computing and Applications
•    Multimedia Systems and Applications
•    Human-Robots
•    Embedded Systems
•    Overlay Networks for P2P Systems
•    Autonomous Systems
•    Autonomic Computing
•    Bio-inspired Systems and Applications
•    Fault-Tolerant Systems
•    Heterogeneous Networks
•    Heterogeneous Wireless Networks
•    Sensor Networks
•    Ad Hoc Networks
•    Sensor and Actor Networks
•    High-Speed Networks
•    Routing Algorithms
•    Software QoS
•    Adaptive Software-Intensive Systems
•    Self-Modifying Software Systems
•    Self-Designing and Self-Maintaining software

Important Dates
==================
•    Submission Deadline: November 30, 2006
•    Author Notification: January 10, 2007
•    Author Registration: January 21, 2007
•    Proceedings Version: January 21, 2007
•    Workshop Dates: April 10-April13, 2007

Submission Guidelines
=========================
Authors are invited to submit research and application papers
following the IEEE Computer Society Proceedings Manuscripts style:
two columns, single-spaced, including figures and references, using
10 fonts, and number each page. You can confirm the IEEE Computer
Society Proceedings Author Guidelines at one of the following web
pages:

* http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html
* or http://www.tinmith.net/tabletop2006/IEEE/Format/instruct.htm

Submission papers are classified into 3 categorizes (1) full paper 
(8 pages), (2) short paper (5 pages), and (3) poster (2 pages)
representing original, previously unpublished work. Submitted papers
will be carefully evaluated based on originality, significance,
technical soundness, and clarity of exposition.

Contact author must provide the following information at the CISIS-
2007 web site: paper title, authors' names, affiliations, postal
address, phone, fax, and e-mail address of the author(s), about 200-
250 word abstract, and about five keywords.

Submission of a paper implies that should the paper be accepted, at
least one of the authors will register and present the paper in the
conference.

Accepted papers will be given guidelines in preparing and submitting
the final manuscript(s) together with the notification of acceptance.

Proceedings of the CISIS-2007 conference will be published by IEEE 
Computer Society Press. Based on quality and referee reviews, some
papers not suitable for acceptance as full paper will be accepted for
presentation at CISIS-2007 in Poster category and will be also
included in the IEEE Proceedings. The best papers selected by CISIS-
2007 program committee out of papers accepted for presentation at
CISIS-2007 will be further published in some International Journals.

The submission site for CISIS-2007 paper is available at 
http://www.ares-conf.org/confdriver/?q=confdriver/papers/add

If you have any difficluty in submitting the papers, please do not
hesitate to send them to tho <at> ifs.tuwien.ac.at. 

Conference Chairpersons
============================
Leonard Barolli, Fukuoka Institute of Technology, Japan
A Min Tjoa, Vienna University of Technology, Austria  

International Liaison Co-Chairs
=================================
Makoto Takizawa, Tokyo Denki University, Japan
Arjan Durresi, Louisiana State University, USA

Publicity Chairs
=====================
Nguyen Manh Tho, Vienna University of Technology, Austria 
Fatos Xhafa, Polytechnic University of Catalonia, Spain

Publication Co-Chairs
========================
Yoshitaka Shibata, Iwate Prefectural University, Japan
Roland Wagner, University of Linz, Austria

Local Organizing Chairs
==========================
Maria Schweikert, Vienna University of Technology, Austria
Markus Klemen, Vienna University of Technology, Austria

Program Committee
=====================
•    Chandra Krintz, University of California, USA
•    Andrew Rau-Chaplin, Dalhousie University, Canada
•    Mukesh Mohania, IBM India Research Laboratory, India
•    Tomoya Enokido, Risho University, Japan
•    Joan Manel Marquès, Open University of Catalonia, Spain
•    Akio Koyama, Yamagata University, Japan
•    Nguyen Manh Tho, Vienna University of Technology, Austria 
•    Fatos Xhafa, Polytechnic University of Catalonia, Spain
•    Arjan Durresi, Louisiana State University, USA
•    Naohiro Hayashibara, Tokyo Denki University, Japan
•    Claudi Paniagua Maci, IBM GTS, Virtualization and Grid Computing
     EBO, Spain
•    Irfan Awan, University of Bradford, UK
•    Hui-huang Hsu, Tamkang University, Taiwan
•    Jin Hwan Park, State University of New York New Paltz, USA
•    Kuo-Ming Chao, Coventry University, UK
•    Muhammed Younas, Oxford Brookes University, UK
•    Bhed Bahadur Bista, Iwate Prefectural University, Japan
•    Minoru Uehara, Toyo University, Japan
•    Elhadi Shakshuki, Acadia Univiversity, Canada
•    David Taniar, Monash University, Australia
•    Nobuyoshi Sato, Toyo University, Japan
•    Hiroaki Kikuchi, Tokai University, Japan
•    Sajid Hussain, Acadia University, Canada
•    Fumiaki Sato, Toho University, Japan
•    Kaoru Sugita, Fukuoka Institute of Technology, Japan
•    Timothy K. Shih, Tamkang University, Taiwan
•    Markus Aleksy, University of Mannheim, Germany
•    Takahiro Hara, Osaka University, Japan
•    Takuo Suganuma, Tohoku University, Japan
•    Wenny Rahayu, La Trobe University, Australia
•    Ismail Khalil Ibrahim, Johannes Kepler University Linz, Austria
•    Giuseppe De Marco, Fukuoka Institute of Technology, Japan 
•    Günther Pernul, University of Regensburg, Germany
•    Andrei Doncesku, University Paul Sabatier, France
•    Lin Guan, Loughborough University, UK  
•    Frank Ball, Bournemouth University, UK  
•    Ahmed Al-Dubai, Napier University, UK  
•    Qiang Ni, Brunel University, UK  
•    Juan Jose Alcaraz Espin, Polytechnic University of Cartagena,
     Spain
•    Winston Seah, Institute for Infocomm Research, Singapore
•    Antonio Pescape, University of Napoli, Italy  
•    Leonid Kalinichenko, Russian Academy of Science, Russia
•    Lawrence Y. Deng, St. John's and St.Mary's Institute of
     Technology, Taiwan
•    Xiangen Hu, University of Memphis, USA
•    Ching-Sheng Wang, Aletheia University, Taiwan    
•    Kuei-Ping Shih    Tamkang University, Taiwan
•    Been-Chian Chien, National University of Tainan, Taiwan
•    Wen-Yang Lin, National University of Kaohsiung, Taiwan
•    Vincent Lee, Monash University, Australia
•    Michael Sheng, CSIRO ICT Centre, Australia 
•    Soraya Kouadri M., Oxford Brookes University, UK
•    S.C. Cheung, Hong Kong University of Science and Technology
     (HKUST), Hong Kong
•    Karl R.P.H. Leung, Hong Kong Institute of Vocational Education
     (Tsing Yi) HKIVE, Hong Kong
•    Victor C.S. Lee, City University of Hong Kong, Hong Kong
•    Henry Chan, Hong Kong Polytechnic University, Hong Kong
•    Hon-Va Leong, Hong Kong Polytechnic University, Hong Kong
•    Qing Lu, Hong Kong Polytechnic University, Hong Kong
•    Thomas Grill, University of Linz, Austria
•    Fabio Postiglione, University of Salerno, Italy
•    Said Mirza, Advanced Institute of Science and Technology, Japan
•    Ajith Abraham, Yonsei University, Korea
•    Takuo Nakashima, Kyushu Tokai University, Japan
•    Helen Karatza, Aristotle University of Thessaloniki, Greece
•    Paul G. Spirakis, Research and Academic Computer Technology  
     Institute (RACTI) and Patras University , Greece
•    Yijun Yu, The Open University, UK
•    Robin Laney, Open University, UK
•    Matthias Hölzl, Ludwig-Maximilians-Universität München, Germany
•    John Mylopoulos, University of Toronto, Canada
•    Stefan Jaehnichen, Technical University Berlin, Fraunhofer
     FIRST, Germany
•    Bosiljka Tadic, J. Stefan Institute, Ljubljana, Slovenia 
•    Albert Diaz-Guilera,Universitat de Barcelona, Spain
•    David H. Wolpert, NASA Ames Research Center, USA
•    Mohand-Said Hacid, Universite Claude Bernard Lyon 1, France
•    Andrea Cali, Free University of Bozen-Bolzano, Italy 

For any further questions or inquiries please contact Conference Organizers:

Conference Organizers:
=========================
Leonard Barolli
Department of Information and Communication Engineering
Faculty of Information Engineering
Fukuoka Institute of technology (FIT)
3-30-1 Wajiro-Higashi, Higashi-ku, Fukuoka 811-0295 Japan
Email: barolli at fit.ac.jp

A Min Tjoa
Institute for Software Technology and Interactive Systems
Vienna University of Technology, Austria
Favoritenstrasse 9-11/188
A-1040 Vienna, Austria
E-mail: tjoa <at> ifs.tuwien.ac.at

Nguyen Manh Tho
Institute for Software Technology and Interactive Systems
Vienna University of Technology, Austria
Favoritenstrasse 9-11/188
A-1040 Vienna, Austria
E-mail: tho <at> ifs.tuwien.ac.at

Picon

CfP: Special issue I&C on SOS


                           Call for Papers:

                            Special Issue
                                  of
                      Information & Computation
                                  on
                   Structural Operational Semantics

Aim: Structural operational semantics (SOS) provides a framework
for giving operational semantics to programming and specification
languages. A growing number of programming languages from
commercial and academic spheres have been given usable semantic
descriptions by means of structural operational semantics. Because
of its intuitive appeal and flexibility, structural operational
semantics has found considerable application in the study of the
semantics of concurrent processes. Moreover, it is becoming a
viable alternative to denotational semantics in the static analysis
of programs, and in proving compiler correctness.

Recently, structural operational semantics has been successfully
applied as a formal tool to establish results that hold for classes
of process description languages. This has allowed for the
generalisation of well-known results in the field of process
algebra, and for the development of a meta-theory for process
calculi based on the realization that many of the results in this
field only depend upon general semantic properties of language
constructs.

This special issue aims at documenting state-of-the-art research, new
developments and directions for future investigation in the field of
structural operational semantics. Specific topics of interest include
(but are not limited to):

  * programming languages
  * process algebras
  * higher-order formalisms
  * rule formats for operational specifications
  * meaning of operational specifications
  * comparisons between denotational, axiomatic and operational semantics
  * compositionality of modal logics with respect to
    operational specifications
  * congruence with respect to behavioural equivalences
  * conservative extensions
  * derivation of proof rules from operational specifications
  * software tools that automate, or are based on, SOS.

Papers reporting on applications of SOS to software engineering and
other areas of computer science are welcome.

This special issue is an outgrowth of the series of SOS workshops,
which started in 2004, and serves in part as a opportunity to publish
the full versions of the best papers presented at SOS 2006. However,
papers that were not presented at SOS 2006 are equally welcome, and
all submissions will be refereed and subjected to the same quality
criteria, meeting the standards of Information and Computation.

Papers submitted to the special issue must contain original material
that has not previously been published, and parallel submission for
publication elsewhere is not allowed. However, an extended abstract or
short version of the paper may be submitted for presentation at the
SOS 2007 workshop, which will take place before the publication of the
special issue.

PAPER SUBMISSION:

We solicit unpublished papers reporting on original research on the
general theme of SOS.  Papers should take the form of a dvi, postscript or
pdf file. We recommend following Elsevier's instructions at
     http://authors.elsevier.com/JournalDetail.html?PubID=622844
and using LaTeX2e with documentclass elsart.

IMPORTANT DATES:

  * Submission of tentative title and abstract: 15 December 2006
  * Submission of full paper: 15 February 2006

CONTACT and submission address:

    sos2006 <at> cs.stanford.edu

EDITORS of this special issue:

     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
Dr. Hassan Reza | 10 Nov 2006 21:44
Favicon

FW: SERP'07: Call for papers

Call for Papers

The 2007 International Conference on Software Engineering Research and Practice (SERP’07)

June 25-28, 2007

Monte Carlo Resort, Las Vegas, Nevada, USA

reza <at> cs.und.edu

http://www.cs.und.edu/~reza/SERP07.html

The 2007 International Conference on Software Engineering Research and Practice (SERP'07) will be held in Las Vegas, Nevada, June 25-28, 2007. The SERP'07 Conference will be held simultaneously (i.e., same location and dates) with a number of other international Conferences and workshops (PDPTA'06, CISST'06, IC-AI'06, IC'06, METMBS'06, CIC'06, ...).

The goal of SERP'07 is to bring together researchers and practitioners from both academia and industry. Software engineering methods play an important role in the development of today's complex software systems. Furthermore, our ability to model and reason about the system properties built from existing components is of great concern to modern system developers.

You are invited to submit a paper of (6-8) pages. Papers will be evaluated for originality, significance, clarity, and soundness by at least two referees. Researchers in the topical area will referee each paper. Some selected papers will also be published in Journal. All accepted papers will be published by CSREA Press (ISBN) in hard copy.

Topics covering industrial and academic research are invited. Including, but not limited to:

 

Formal methods in software engineering

End User software engineering

Value-based software engineering

Aspect oriented Software engineering

Service oriented Software engineering

Agent oriented Software engineering

Component based software engineering

Model oriented software engineering

Object oriented software engineering

Quality oriented software engineering

Software engineering and high assurance systems

Software architecture and architectural patterns

Software design and design patterns

Software process

Human Computer Interaction and usability Engineering

Pervasive software engineering

Requirement engineering and processes

Real-time software engineering

Automated software design

Critical and embedded software design

Software Verification & validation

Software testing, debugging, and maintenance

Software cost estimation techniques

Configuration management

Quality management

UML/MDA

Social implications of computing

Service Oriented Software Architecture

Software Architecture and Usability Engineering

Case studies

 

http://www.cs.und.edu/~reza/SERP07.html

http://www.worldacademyofscience.org/worldcomp07/ws

 

IMPORTANT DATES

February 20, 2007: Deadline for submission of papers

March 20, 2007: Notification of acceptance

April 20, 2007: Camera-Ready papers and Pre-registration

June 25 – 28.2007: SERP’07 International Conference

ORGANIZERS

GENERAL CHAIR:

Hamid Arabnia, Ph.D.

University of Georgia, USA

hra <at> cs.uga.edu

PROGRAM CHAIR:

Hassan Reza, Ph.D.

University of North Dakota, USA

reza <at> cs.und.edu

ORGANIZERS/SPONSORS

A number of university faculty members and their staff in cooperation with the Monte Carlo Resort (Conference Division, Las Vegas), will be organizing the conference. The conference will be sponsored by World Academy of Sciences (WAS) and co-sponsored by Computer Science Research, Education, & Applications Press (CSREA: USA Federal EIN # 58-2171953) together with research centers, international associations, international research groups, and developers of high-performance machines and systems. The complete list of sponsors and co-sponsors will be available at a later time. (Previous conferences' sponsors included: CSREA, the National Supercomputing Center for Energy and the Environment - DOE, The International Association for Mathematics and Computers in Simulation, The International Technology Institute (ITI), The Java High Performance Computing research group, World Scientific and Engineering Society, Sundance Digital Signal Processing Inc., the Computer Vision Research and Applications Tech., HP, a number of publishers of books and journals,…)

<div>

<div class="Section1">

<p><span>Call
for <span>Papers</span></span><p></p></p>

<p><span>The
2007 International Conference on Software Engineering Research and Practice
(SERP&rsquo;07)</span><p></p></p>

<p><span>June
25-28, 2007</span><p></p></p>

<p><span>Monte
Carlo Resort, Las Vegas, Nevada, USA</span><p></p></p>

<p><span>reza <at> cs.und.edu</span><p></p></p>

<p><span><a href="http://www.cs.und.edu/~reza/SERP07.html">http://www.cs.und.edu/~reza/SERP07.html</a></span><p></p></p>

<p><span>The
2007 International Conference on Software Engineering Research and Practice
(SERP'07) will be held in Las Vegas,
 Nevada, June 25-28, 2007. The
SERP'07 Conference will be held simultaneously (i.e., same location and dates)
with a number of other international Conferences and workshops (PDPTA'06,
CISST'06, IC-AI'06, IC'06, METMBS'06, CIC'06, ...).</span><p></p></p>

<p><span>The
goal of SERP'07&nbsp;is to bring together researchers and practitioners
from&nbsp;both academia and industry. Software engineering methods play an
important role in the development of today's complex software systems.
Furthermore, our ability to model and reason about the system properties built
from existing components is of great concern to modern system developers. </span><p></p></p>

<p><span>You
are invited to submit a paper of (6-8) pages. Papers will be evaluated for
originality, significance, clarity, and soundness by at least two referees.
Researchers in the topical area will referee each paper. Some
selected&nbsp;papers will also be published in Journal. All accepted papers
will be published by CSREA Press (ISBN) in hard copy. </span><p></p></p>

<p><span>Topics
covering industrial and academic research are invited. Including, but not
limited to: </span><p></p></p>

<p><span>&nbsp;
</span><p></p></p>

<p><span>Formal
methods in software engineering</span><p></p></p>

<p><span>End
User software engineering</span><p></p></p>

<p><span>Value-based
software engineering</span><p></p></p>

<p><span>Aspect
oriented Software engineering</span><p></p></p>

<p><span>Service
oriented Software engineering</span><p></p></p>

<p><span>Agent
oriented Software engineering</span><p></p></p>

<p><span>Component
based software engineering</span><p></p></p>

<p><span>Model
oriented software engineering</span><p></p></p>

<p><span>Object
oriented software engineering</span><p></p></p>

<p><span>Quality
oriented software engineering</span><p></p></p>

<p><span>Software
engineering and high assurance systems</span><p></p></p>

<p><span>Software
architecture and architectural patterns</span><p></p></p>

<p><span>Software
design and design patterns</span><p></p></p>

<p><span>Software
process</span><p></p></p>

<p><span>Human
Computer Interaction and usability Engineering</span><p></p></p>

<p><span>Pervasive
software engineering</span><p></p></p>

<p><span>Requirement
engineering and processes</span><p></p></p>

<p><span>Real-time
software engineering</span><p></p></p>

<p><span>Automated
software design</span><p></p></p>

<p><span>Critical
and embedded software design</span><p></p></p>

<p><span>Software
Verification &amp; validation</span><p></p></p>

<p><span>Software
testing, debugging, and maintenance</span><p></p></p>

<p><span>Software
cost estimation techniques</span><p></p></p>

<p><span>Configuration
management</span><p></p></p>

<p><span>Quality
management</span><p></p></p>

<p><span>UML/MDA</span><p></p></p>

<p><span>Social
implications of computing</span><p></p></p>

<p><span>Service
Oriented Software Architecture</span><p></p></p>

<p><span>Software
Architecture and&nbsp;Usability Engineering</span><p></p></p>

<p><span>Case
studies</span><p></p></p>

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

<p><span><a href="http://www.cs.und.edu/~reza/SERP07.html">http://www.cs.und.edu/~reza/SERP07.html</a></span><p></p></p>

<p><span><a href="http://www.worldacademyofscience.org/worldcomp07/ws">http://www.worldacademyofscience.org/worldcomp07/ws</a></span><p></p></p>

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

<p><span>IMPORTANT
DATES</span><p></p></p>

<p><span>February
20, 2007: Deadline for submission of papers</span><p></p></p>

<p><span>March
20, 2007: Notification of acceptance</span><p></p></p>

<p><span>April
20, 2007: Camera-Ready papers and Pre-registration</span><p></p></p>

<p><span>June
25 &ndash; 28.2007: SERP&rsquo;07 International Conference</span><p></p></p>

<p><span>ORGANIZERS</span><p></p></p>

<p><span>GENERAL
CHAIR:</span><p></p></p>

<p><span>Hamid
Arabnia, Ph.D.</span><p></p></p>

<p><span>University of Georgia</span><span>, USA</span><p></p></p>

<p><span>hra <at> cs.uga.edu</span><p></p></p>

<p><span>PROGRAM
CHAIR: </span><p></p></p>

<p><span>Hassan
Reza, Ph.D. </span><p></p></p>

<p><span>University of North Dakota</span><span>, USA</span><p></p></p>

<p><span>reza <at> cs.und.edu</span><p></p></p>

<p><span>ORGANIZERS/SPONSORS</span><p></p></p>

<p><span>A
number of university faculty members and their staff in cooperation with the
Monte Carlo Resort (Conference Division, Las
  Vegas), will be organizing the conference. The
conference will be sponsored by World Academy of Sciences (WAS) and
co-sponsored by Computer Science Research, Education, &amp; Applications Press
(CSREA: USA Federal EIN # 58-2171953) together with research centers,
international associations, international research groups, and developers of
high-performance machines and systems. The complete list of sponsors and co-sponsors
will be available at a later time. (Previous conferences' sponsors included:
CSREA, the National Supercomputing Center for Energy and the Environment - DOE,
The International Association for Mathematics and Computers in Simulation, The
International Technology Institute (ITI), The Java High Performance Computing
research group, World Scientific and Engineering Society, Sundance Digital
Signal Processing Inc., the Computer Vision Research and Applications Tech.,
HP, a number of publishers of books and journals,&hellip;)</span><p></p></p>

</div>

</div>

Gmane