Paolo Baldan | 3 Mar 11:41 2008
Picon

CFP: PNGT 2008 (Workshop on Petri Nets and Graph Transformation)

[ We apologise for the reception of multiple copies. ]

***************************************************************************

CALL FOR PAPERS PNGT 2008

Third Workshop on Petri Nets and Graph Transformation
September 12-13, 2008, Leicester, UK
http://www.math.unipd.it/~baldan/PNGT08

Satellite event of ICGT 2008 September 7 - 12, 2008, Leicester UK
http://www.cs.le.ac.uk/events/icgt2008

***************************************************************************

* AIMS AND SCOPE

The aim of the workshop is to encourage an exchange of ideas, notions,
techniques between the fields of Petri nets and graph transformation
systems, two prominent specification formalisms of concurrency and
distribution. For instance, several approaches to the concurrent
semantics of graph transformation systems as well as techniques for
their analysis and verification are strongly influenced by the
corresponding theories and constructions for Petri nets. Classical
Petri net models have been integrated with graph transformation
systems, e.g., in order to define rule-based changes in the net
structure. This serves both for a stepwise refinement of Petri net
models or for the specification of dynamically reconfiguring
nets. Interesting connections exist with extensions of Petri net
models with dynamic topologies, or with notions of Petri net module or
(Continue reading)

Kurt Jensen | 4 Mar 08:56 2008
Picon
Picon

Reminder: Invitation to potential organisers of the Petri Net

INVITATION TO SUBMIT PROPOSALS FOR ORGANISING THE INTERNATIONAL
CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND OTHER MODELS
OF CONCURRENCY in 2010-2012
-------------------------------

The 2008 conference will take place in Xi'an China, while the
2009-conference will take place in Paris, France.

By this mail, we invite candidates for the organisation of the Petri Net
conference in 2010-2012. Earlier the conference was outside Europe each
third year. This rule has been relaxed, and hence there is no longer any
fixed rule determining when we will be inside/outside Europe.

Each candidate will be expected to make a detailed description of the
facilities and conditions which they are able offer. A document
specifying the kind of information which we want to obtain can be
downloaded from the Petri Nets World web-pages:

    http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/

The deadline for applications is April 1, 2008, and we expect a decision
for 2010 and 2011 (and perhaps also 2012) to be made at the SC meeting
in Xi'an, June 2008.

Kurt Jensen
SC chair

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

Kurt Jensen, Professor, Head of Department
Department of Computer Science,  Faculty of Science, University of Aarhus
IT-parken,  Aabogade 34,  DK-8200 Aarhus N,  Denmark
Direct:  +45 8942 5612,  Private: +45 2990 5612
Secr: +45 8942 5600,  Fax: +45 8942 5601,
kjensen <at> daimi.au.dk,  www.daimi.au.dk/~kjensen
-------------------------------------------------------------------------
<div>
<div>INVITATION TO SUBMIT PROPOSALS FOR ORGANISING THE 
INTERNATIONAL<br>CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND OTHER 
MODELS<br>OF CONCURRENCY in 
2010-2012<br>-------------------------------<br><br>The 2008 conference will 
take place in Xi'an China, while the<br>2009-conference will take place in 
Paris, France.<br><br>By this mail, we invite candidates for the organisation of 
the Petri Net<br>conference in 2010-2012. Earlier the conference was outside 
Europe each<br>third year. This rule has been relaxed, and hence there is no 
longer any<br>fixed rule determining when we will be inside/outside 
Europe.<br><br>Each candidate will be expected to make a detailed description of 
the<br>facilities and conditions which they are able offer. A 
document<br>specifying the kind of information which we want to obtain can 
be<br>downloaded from the Petri Nets World web-pages:<br><br>&nbsp;&nbsp;&nbsp; 
http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/<br><br>The deadline 
for applications is April 1, 2008, and we expect a decision<br>for 2010 and 2011 
(and perhaps also 2012) to be made at the SC meeting<br>in Xi'an, June 
2008.<br><br>Kurt Jensen<br>SC 
chair<br><br>-------------------------------------------------------------------------<br><br>Kurt 
Jensen, Professor, Head of Department<br>Department of Computer Science,&nbsp; 
Faculty of Science, University of Aarhus<br>IT-parken,&nbsp; Aabogade 34,&nbsp; 
DK-8200 Aarhus N,&nbsp; Denmark<br>Direct:&nbsp; +45 8942 5612,&nbsp; Private: 
+45 2990 5612<br>Secr: +45 8942 5600,&nbsp; Fax: +45 8942 
5601,<br>kjensen <at> daimi.au.dk,&nbsp; 
www.daimi.au.dk/~kjensen<br>-------------------------------------------------------------------------<br>
</div>
</div>
Boudewijn van Dongen | 4 Mar 09:59 2008
Picon
Picon

CALL FOR PAPERS (Submission 20th of March)

CALL FOR PAPERS

Process Mining and Petri net Synthesis
23 June 2008 - Xi'an, China

Satellite workshop of 

ATPN'2008 - 29th Int. Conf. on Applications and Theory of Petri nets and
Other Models of Concurrency, and

ACSD'2008 - 8th Int. Conf. on Application of Concurrency to System Design 

Conferences web site: 	http://ictt.xidian.edu.cn/atpn-acsd2008 

Workshop web site: 	http://wwwis.win.tue.nl/~pmpns/ 

Important dates

   Submission of papers:          	20 March 2008
   Author notification:          	 1 May 2008
   Camera ready version:          	 1 June 2008
   Workshop:                   	23 June 2008

Scope

During the last two decades, the research areas of process mining and Petri
net synthesis have developed seemingly independently of each other.

The area of Petri net synthesis (or the Theory of Regions) is concerned with
the construction of Petri nets that compactly describe behavior, where this
behavior is provided in terms of a state based model, such as a Transition
System, or in terms of a formal language. The goal is to construct a Petri
net that exactly mimics the behavior of the input model; hence the
assumption is that input model contains complete information and indeed
correctly described whatever system is modeled. If such a Petri net does not
exist, synthesis algorithms typically produce the best estimation, i.e. a
Petri net representing minimal behavior including the input model.

The area of process mining is concerned with the analysis of business
processes in general, where the basis of this analysis is formed by the
recorded behavior of an information system in the form of an eventlog.
Within the process mining context, process model discovery is concerned with
the construction of Petri nets (or other models, such as EPCs) that give an
abstract representation of the recorded behavior.

As process mining is an emerging technique in industry, such event logs are
usually taken from information systems, where each event occurs in the
context of a case. In Petri net terms, such case is a possible execution of
a Petri net, but in general, a case is considered to be a uniquely
identifiable execution of a process, for example “insurance claim 2043” in
an insurance claim handling process. 
It is rarely known whether the information shown in the event log is
complete and therefore, the goal of process mining is to analyze these event
logs under the assumption that the information is incomplete.

The goal of this workshop is to combine the two research areas of process
mining and Petri net synthesis to benefit from ideas and concepts developed
in both areas. Examples of possible ideas and concepts are:

-	the way that incomplete information is handled (e.g. relaxing the
assumption that the complete behavior is known, or extending the information
to make it complete);

-	the usability of the resulting Petri net model, i.e. when a Petri
net is small and compact, but only represents 80% of the behavior, this is
often a good result in Process Mining, but not desirable in Synthesis;

-	the identification of states in a process log, i.e. by identifying
states, synthesis algorithms based on transition systems become applicable
in the context of process mining. Furthermore, by identifying a regular
language from the log (e.g. identifying recurring patterns of events),
language-based synthesis algorithms become applicable; and

-	synthesizing Petri nets with minimal net behavior including the
given log (see also above).

Furthermore, a main objective is to integrate existing tools in these areas,
such as ProM, VipTool and Petrify. 

Topics

Recently, there have been several attempts to use ideas and algorithms from
Petri net synthesis for process discovery and vice versa. However, many
problems still stand today and therefore we invite people to submit papers,
addressing both theory and practice on the following topics:

-	Process Mining
o	Discovering formal models from event logs
o	Quality measures for a process model when compared to the input
model
o	Analyzing process logs for the purpose of finding state information

-	Petri net Synthesis
o	Synthesis algorithms based on logs
o	Completeness assumptions on the input
o	Synthesis of usable Petri nets
o	Synthesis of Workflow nets

-	Implementations
o	Tools for process mining
o	Tools for synthesis
o	Efficient implementations of existing theoretical results
o	Case studies or practical applications

Submission of Papers

Papers must be written in English, and be no longer than 15 pages, including
references, appendices and figures. The paper must describe original work
that has not been published before, nor submitted for publication elsewhere.
Papers should be submitted by 20 March 2008 and follow the format of
Springer’s Lecture Notes in Computer Science available at
http://www.springer.de/comp/lncs/authors.html. The best papers will be
invited for submission to a special issue of the Transactions on Petri Nets
and Other Models of Concurrency (ToPNoC) published by Springer.

Program Committee chairs

Boudewijn van Dongen 	(b.f.v.dongen <at> tue.nl)
		Department of Mathematics and Computer Science
		Eindhoven University of Technology
		5600MB Eindhoven, The Netherlands

Robert Lorenz 		(Robert.lorenz <at> ku-eichstaett.de)
Department of Applied Computer Science
Catholic University Eichstätt-Ingolstadt
85072 Eichstätt, Germany

Philippe Darondeau		(Philippe.Darondeau <at> inria.fr)
IRISA
Campus de Beaulieu
F-35042 Rennes cedex, France 

Jianmin Wang			 (jimwang <at> tsinghua.edu.cn)
School of Software,
Tsinghua University,
100084 Beijing, China

PC members (tentative)
Boudewijn van Dongen 	(The Netherlands)
Robert Lorenz 	(Germany)
Jordi Cortadella 	(Spain)
Vladimir Rubin 	(Germany)
Michele Pinna 	(Italy)
Philippe Darondeau 	(France)
Jan Mendling	(Australia)
Kristian Bisgaard Lassen	(Denmark)
Wil van der Aalst	(The Netherlands)
Luciano Lavagno	(Italy)
Alex Yakovlev	(UK)
Akhil Kumar	(USA)
Karsten Wolf (geb. Schmidt)	(Germany)
Alessandro Giua	(Italy)
Carla Seatzu	(Italy)
Gabriel Juhás	(Slovakia)
Jörg Desel	(Germany)
Ana Karla Alves de Medeiros	(The Netherlands)
Peter van den Brand	(The Netherlands)
Christian Gunther	(The Netherlands)
Anne Rozinat	(The Netherlands)
Eric Verbeek	(The Netherlands)
Christian Koelbl	(Germany)
Ronnie Mans	(The Netherlands)
Minseok Song	(The Netherlands)
Antonella Guzzo	(Italy)
Stefanie Rinderle	(Germany)
Sebastian Mauser	(Germany)
Robin Bergenthum	(Germany)

Marco Bernardo | 4 Mar 14:20 2008
Picon

SFM-08:Bio -- last call for participation

*************************************************
*                                               *
*          8th INTERNATIONAL SCHOOL ON          *
*        FORMAL METHODS FOR THE DESIGN OF       *
* COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: *
*         COMPUTATIONAL SYSTEMS BIOLOGY         *
*                  (SFM-08:Bio)                 *
*                                               *
*            IN MEMORY OF NADIA BUSI            *
*                                               *
*                 2-7 June 2008                 *
*                                               *
*  Bertinoro Univ. Residential Center - Italy   *
*                                               *
*===============================================*
*   http://www.sti.uniurb.it/events/sfm08bio/   *
*===============================================*
*             Call for Participation            *
*            (deadline: 17 March 2008)          *
*************************************************

GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to computational systems biology and
covers computational models, calculi and logics for biological
systems, and verification and simulation methods.

COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following ten regular lectures:

* "Quantitative Methods in Systems Biology"
     by Stephen Gilmore
     (University of Edinburgh, UK)

* "Pathway Logic"
     by Carolyn Talcott
     (SRI, USA)

* "Automated Verification of Biological Systems"
     by Francois Fages
     (INRIA Paris Rocquencourt, France)

* "Hierarchical Specification of Biological Systems"
     by Adelinde Uhrmacher
     (University of Rostock, Germany)

* "Simulation Methods in Systems Biology"
     by Daniel Gillespie
     (Gillespie Consulting, USA)

* "Membrane Computing"
     by Gheorghe Paun
     (Romanian Academy, Romania)

* "Petri Nets for Systems and Synthetic Biology"
     by Monika Heiner
     (Brandenburg University of Technology, Germany)

* "Calculi for Biological Systems"
     by Jane Hillston
     (University of Edinburgh, UK)

* "Using Beta-Binders for Systems Biology"
     by Corrado Priami
     (University of Trento and CoSBi, Italy)

* "Self-Assembly of DNA Structures"
     by Natasha Jonoska
     (University of South Florida, USA)

and the following six talks from the BISCA project:

* "ViCe: A Virtual Prokaryote"
     by Pierpaolo Degano
     (University of Pisa, Italy)

* "The Calculus of Looping Sequences"
     by Roberto Barbuti
     (University of Pisa, Italy)

* "Bisimulations for Biological Calculi"
     by Paola Quaglia
     (University of Trento, Italy)

* "Hybrid Systems and Biology"
     by Alberto Policriti
     (University of Udine, Italy)

* "A pi-Based Process Calculus for the Implementation
   of Compartimentized Bio-Inspired Calculi"
     by Cristian Versari
     (University of Bologna, Italy)

* "Expressiveness Issues in Calculi for Artificial Biochemistry"
     by Gianluigi Zavattaro
     (University of Bologna, Italy)

All the participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.

LOCATION
^^^^^^^^

SFM-08:Bio will be held in the medieval hilltop town of Bertinoro.

This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus (from the railway station to Bertinoro).
The closest airport is the "L. Ridolfi" airport of Forli`, which
is 13 km away.

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.

Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Ravenna, Ferrara, Venezia,
Padova, Verona, Firenze, Pisa, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted by the University of Bologna into
a modern conference center with computing facilities and Internet
access. From the fortress it is possible to enjoy a beautiful vista
stretching from the Apennines to the Adriatic coast and the Alps
over the Po Valley.

ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (University of Urbino - Italy)
* Pierpaolo Degano (University of Pisa - Italy)
* Gianluigi Zavattaro (University of Bologna - Italy)

Secretary:
* Monica Michelacci (CRU Bertinoro - Italy)

Webmaster:
* Alessandro Aldini (University of Urbino - Italy)

APPLICATION
^^^^^^^^^^^

Prospective participants should send by 17 March 2008
the application form, available on the school web site,
to the two e-mail addresses below:

  Marco Bernardo
  bernardo AT sti.uniurb.it

  Monica Michelacci
  mmichelacci AT ceub.it

by specifying in the form whether a grant is requested to cover
part of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

The registration fee is 550 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 1-8
(7 nights) in double room (to share with another participant),
half board (breakfast and lunch, dinner of June 1 included,
lunch of June 8 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 2-7
(6 lunches).

Notification of accepted/rejected applications and grant requests
will be communicated by March 18.

Registration to the school is due by March 31.

No refund is possible for cancellation after April 30.

SPONSORSHIPS
^^^^^^^^^^^^

Sponsorship for this event was kindly provided by the University
of Bologna under the International Summer School Programme.

Isaac Barjis | 4 Mar 17:07 2008

CFP-Petri Nets In Biological and Medical Sciences

Dear All
This is the second international workshop within the Summer Computer Simulation Conference to address
application of Petri
nets in biological processes (molecular process modeling etc.).
Applications of Petri nets in any Biological, Molecular, Systems Biology
and other health related topic  are welcome.

Workshop/Session Title: Bioinformatics
Call for Paper to the Workshop: see attachment
Contact: Isaac Barjis (chair) ibarjis <at> citytech.cuny.edu 

Conference CFP:  www.scs.org/confernc/summersim/summersim08/cfp/SCSC08.pdf 
Conference Site: http://www.scs.org/confernc/summersim/summersim08/summersim08.htm 

Important Dates:

Full Draft Paper/Extended Abstract: 	March 28, 2008
Preliminary Notification of Acceptance: 	April 30, 2008
Final Camera Ready Submission Due: 	May 30, 2008

Dr. I. Barjis
Assistant Professor
Summer and Evening Coordinator
Department of  Biological Sciences
Room P313
300 Jay Street
Brooklyn, NY 11201

Phone: (718)2605285
Fax: (718)2548680
Fax: (718) 254-8595 Department Office
http://websupport1.citytech.cuny.edu/Faculty/ibarjis

Attachment (SCSC08Bio.pdf): application/pdf, 22 KiB
BEGIN:VCARD
VERSION:2.1
X-GWTYPE:USER
FN:Isaac Barjis
ORG:;Physical & Biological Sciences
EMAIL;WORK;PREF;NGW:IBarjis <at> CityTech.Cuny.Edu
N:Barjis;Isaac
TITLE:Assistant Professor
END:VCARD

BEGIN:VCARD
VERSION:2.1
X-GWTYPE:USER
FN:Isaac Barjis
ORG:;Physical & Biological Sciences
EMAIL;WORK;PREF;NGW:IBarjis <at> CityTech.Cuny.Edu
N:Barjis;Isaac
TITLE:Assistant Professor
END:VCARD

BEGIN:VCARD
VERSION:2.1
X-GWTYPE:USER
FN:Isaac Barjis
ORG:;Physical & Biological Sciences
EMAIL;WORK;PREF;NGW:IBarjis <at> CityTech.Cuny.Edu
N:Barjis;Isaac
TITLE:Assistant Professor
END:VCARD

BEGIN:VCARD
VERSION:2.1
X-GWTYPE:USER
FN:Isaac Barjis
ORG:;Physical & Biological Sciences
EMAIL;WORK;PREF;NGW:IBarjis <at> CityTech.Cuny.Edu
N:Barjis;Isaac
TITLE:Assistant Professor
END:VCARD

Falko Bause | 6 Mar 11:17 2008
Picon

MMB 2008 -- CALL FOR PARTICIPATION


                   CALL FOR PARTICIPATION

                          MMB 2008
                      www.mmb2008.org

    14th GI/ITG Conference on Measurement, Modelling and Evaluation of
                Computer and Communication Systems

                Dortmund, Germany, March 31 - April 2, 2008

The MMB is the main forum in Germany covering all aspects of
performance evaluation of systems including networks, computer
architectures, distributed systems, software, workflow and logistics
systems. The MMB is accompanied by a workshop on "Modelling of Large
Logistics Networks".

Please visit http://www.mmb2008.org for information on
program and registration.

CONFERENCE CHAIR
Peter Buchholz, TU Dortmund
Arnold Beckmann | 6 Mar 12:17 2008
Picon
Picon

CiE 2008 - accepted papers, informal presentations, participation

[Apologies for multiple copies]

****************************************************************

    Computability in Europe 2008: Logic and Theory of Algorithms
                  University of Athens, June 15-20 2008
                     http://www.cs.swan.ac.uk/cie08/

CONTENTS:
1) List of accepted papers
2) Call for informal presentations
3) Call for participation

1) Accepted papers

The list of accepted papers can be found at
      http://www.cs.swan.ac.uk/cie08/give-page.php?18

2) Informal Presentations

There is a remarkable difference in conference style between
computer science and mathematics conferences. Mathematics
conferences allow for informal presentations that are prepared
very shortly before the conference and inform the participants
about current research and work in progress. The format of
computer science conferences with pre-produced proceedings
volumes is not able to accommodate this form of scientific
communication.

Continuing the tradition of past CiE conferences, also this 
year's CiE conference endeavours to get the best of both worlds. 
In addition to the formal presentations based on our LNCS 
proceedings volume, we invite researchers to present informal 
presentations. For this, please send us a brief description of 
your talk (between one paragraph and half a page) before

                         30 April 2008.

Please submit your abstract via our Submission Form, now online
at:
    http://www.cs.swansea.ac.uk/cie08/abstract-submission.php
You will be notified whether your informal presentation has been
accepted before 15 May 2008.

Let us remind you that there will be three post-conference 
publications of CiE 2008, see
    http://www.cs.swansea.ac.uk/cie08/publications.php
All speakers, including the speakers of informal presentations, 
are eligible to be invited to submit a full journal version of 
their talk to one of the post-conference publications.

3) Registration for CiE 2008 is now open:
    http://www.cs.swan.ac.uk/cie08/registration.php
The early registration deadline is

                         4 May 2008.

You can also use the registration process to book accommodation.
Please note that the current prices as listed on our website
    http://www.cs.swan.ac.uk/cie08/accommodation.php
are only guaranteed until 31 March 2008.

Samuel Kounev | 6 Mar 12:52 2008
Picon
Picon

Submission deadline for SIPEW 2008 extended to March 24


[Please accept our apologies if you receive multiple copies]

  
                  CALL FOR PAPERS

                     SIPEW 2008
             http://www.sipew2008.org/

SPEC International Performance Evaluation Workshop 2008
       Darmstadt, Germany, June 27-28, 2008

In cooperation with
       IEEE, IEEE CS, VDE/ITG, GI and MMB.

Keynote talks by
       Prof. Mor Harchol-Balter
       Prof. Murray Woodside

Sponsored by
      SAP, Deutsche Telekom and Sun Microsystems.

Proceedings published by Springer as LNCS volume.
___________________________________________________________________

IMPORTANT DATES

Paper Submission:      EXTENDED TO - March 24, 2008
Author Notification:   April 17, 2008
Final Manuscript:      April 29, 2008
___________________________________________________________________

SCOPE AND TOPICS
________________

The goal of the SPEC International Performance Evaluation Workshop 2008
is to bridge the gap between theory and practice in the field of system
performance evaluation by providing a forum for sharing ideas and
experiences between industry and academia. The workshop will bring
together researchers and industry practitioners to share and present
their experiences, discuss challenges, and report state-of-the-art and
in-progress research in all aspects of performance evaluation. The
workshop is co-located with and will take place immediately after a SPEC
meeting which will be attended by numerous representatives from
across the hardware and software industry. This will provide a unique
opportunity for researchers to meet with industry practitioners.

Topics of interest include, but are not limited to:

Performance Modeling and Analysis
 * Modeling formalisms
 * Analytical, simulation and statistical modeling methodologies
 * Model validation and calibration techniques
 * Use of models for online performance prediction
 * Modeling and analysis tools

Performance-Oriented Design and Development
 * Software performance engineering
 * Performance patterns and anti-patterns
 * Early cycle performance prediction
 * Quantitative extensions of design-oriented models
 * Component-based software performance engineering
 * System sizing and capacity planning techniques

Benchmarking
 * Performance metrics and benchmark suites
 * Benchmarking methodologies
 * Development of parameterizable, flexible benchmarks
 * Evaluating energy efficiency
 * Use of benchmarks in industry and academia

Workload Characterization and Experimental Performance Evaluation
 * Performance measurement and monitoring techniques
 * Workload characterization techniques
 * Application tracing and profiling
 * Performance tuning and optimization techniques
 * Experimental design
 * Tools for performance testing, measurement, profiling and tuning

Performance Case Studies in the Areas of
 * Parallel and distributed systems
 * Service-oriented architectures (SOA)
 * Web services
 * Enterprise middleware (Java EE, .NET)
 * Message-oriented middleware
 * Event-based systems
 * Web-based systems, e-business
 * Cluster and grid computing environments
 * High-performance computing
 * Virtualization platforms
 * Communication networks
 * Peer-to-peer systems
 * Mobile and wireless systems
 * (Wireless) sensor networks
 * Real-time and multimedia systems
 * Embedded systems

PAPER SUBMISSION
________________

All papers must represent original and unpublished work that is not
currently under review. Each paper will be reviewed by at least three
independent referees. Papers will be evaluated according to their
significance, originality, technical content, style, clarity, and
relevance to the workshop. At least one author of each accepted paper
is expected to attend the workshop.

Two types of paper submissions will be accepted: full research papers
of up to 20 pages and short research/industry papers of up to 10 pages
formatted according to the LNCS format (see author's instructions
given on http://www.springer.de/comp/lncs/authors.html). Submissions
must be original and should not have been published previously or be
under consideration for publication while being evaluated for this
workshop. Papers must be submitted electronically in PDF format
through EasyChair (http://www.easychair.org/conferences/?conf=sipew2008).

The proceedings of the workshop will be published by Springer as a
volume in the Lecture Notes in Computer Science series.

ORGANIZATION
____________

General Chair
 * Alejandro Buchmann - TU Darmstadt, Germany
 * John Henning - Sun Microsystems, USA

PC Co-Chairs
 * Ian Gorton - Pacific Northwest National Laboratory, USA
 * Samuel Kounev - University of Cambridge, UK

Organizing Chair
 * Kai Sachs - TU Darmstadt, Germany

Keynote Speakers
 * Murray Woodside - Carleton University, Canada
 * Mor Harchol-Balter - Carnegie Mellon University Pittsburgh

Program Committee
 * Alan Adamson - IBM, Canada
 * Virgilio Almeida - Federal University of Minas Gerais, Brazil
 * Simonetta Balsamo - Universita Ca' Foscari di Venezia, Italy
 * Falko Bause - TU Dortmund, Germany
 * Umesh Bellur - Indian Institute of Technology Bombay, India
 * Jeremy Bradley - Imperial College London, UK
 * Gaurav Caprihan - Oracle, India
 * Shiping Chen - CSIRO ICT Centre, Australia
 * Vittorio Cortellessa - Universita' dell'Aquila, Italy
 * Andrea D'Ambrogio - University of Roma "Tor Vergata", Italy
 * Lieven Eeckhout - Ghent University, Belgium
 * Rudolf Eigenmann - Purdue University, USA
 * Stephen Gilmore - University of Edinburgh, UK
 * Mor Harchol-Balter - Carnegie Mellon University Pittsburgh
 * John Henning - Sun Microsystems, USA
 * Helen Karatza - Aristotle University of Thessaloniki, Greece
 * David Lilja - University of Minnesota in Minneapolis, USA
 * Christoph Lindemann - University of Leipzig, Germany
 * Daniel Menasce - George Mason University, USA
 * Jose Merseguer - Universidad de Zaragoza, Spain
 * John Murphy - University College Dublin, Ireland
 * Harald Mueller - SAP, Germany
 * Dorina Petriu - Carleton University, Canada
 * Steve Realmuto - BEA, USA
 * Jeff Reilly - Intel, USA
 * Kai Sachs - TU Darmstadt, Germany
 * Gary Sevitsky - IBM TJ Watson Research Center, USA
 * George Tharakan - Sun Microsystems, USA
 * Nigel Thomas - University of Newcastle, UK
 * Petr Tuma - Charles University in Prague, Czech Republic
 * Reinhold Weicker - formerly Fujitsu Siemens, Germany
 * Katinka Wolter - Humboldt Univ. zu Berlin, Germany
 * Murray Woodside - Carleton University, Canada

CONTACT
_______

General Information:          info <at> sipew2008.org
Submission Information:       submission <at> sipew2008.org
Registration Information:     registration <at> sipew2008.org

Andrew.Fish | 6 Mar 12:51 2008
Picon
Picon

Final Call for Papers: Diagrams 2008


[Apologies if you receive multiple copies of this email]

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

Final Call for Papers: Diagrams 2008 

Germany
September 19 - 21, 2008

www.cmis.brighton.ac.uk/diagrams2008

Abstract deadline: 20th March 2008
Paper/Tutorial deadline: 1st April 2008
Poster deadline: 11th April 2008

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

Diagrams 2008: 5th International Conference on the Theory and Application of Diagrams

Diagrams is an international and interdisciplinary conference series, covering all aspects of research
on the theory and application of diagrams.

Recent technological advances have enabled the large-scale adoption of diagrams in a diverse range of
areas. Increasingly sophisticated visual representations are emerging and, to enable effective
communication, insight is required into how diagrams are used and when they are appropriate for use. The
pervasive, everyday use of diagrams for communicating information and ideas serves to illustrate the
importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the
field of diagrams aims to improve our understanding of the role of diagrams, sketches and other
visualisations in communication, computation, cognition, creative thought, and problem solving.
These concerns have triggered a surge of interest in the study of diagrams.

The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour.
Diagrams 2008 is the fifth event in this conference series, which was launched in Edinburgh during
September 2000. Diagrams attracts a large number of researchers from virtually all related fields,
placing the conference as a major international event in the area.

Diagrams is the only conference that provides a united forum for all areas that are concerned with the study
of diagrams: for example, architecture, artificial intelligence, cartography, cognitive science,
computer science, education, graphic design, history of science, human-computer interaction,
linguistics, logic, mathematics, philosophy, psychology, and software modelling.

For the first time in its history, Diagrams will be co-located, running in conjunction with the IEEE
Symposium on Visual Languages and Human-Centric Computing and the ACM Symposium on Software
Visualization as part of Visual Week. This co-location will provide a lively and stimulating
environment, enabling researchers from related communities to exchange ideas and more widely
disseminate research results. Cross-conference participation is encouraged and the program will
include joint keynote speakers.

Diagrams 2008 will consist of sessions including presentations of refereed papers, posters and tutorial
sessions. We invite submissions of
	
long research papers (15 pages)
short research papers (7 pages)
posters (3 pages)
tutorial proposals (1 page; see the conference web page for full details)

that focus on any aspect of diagrams research. Long papers should present original research results.
Short papers and posters should present original research contributions, position or problem
statements, summarise software to support the use of diagrams, or integrate results published
elsewhere which are of interest to the Diagrams community. 

All submissions will be fully peer reviewed. The proceedings will be published by Springer in their
Lecture Notes in Computer Science series, www.springer.com/lncs. 

Full details on the preparation of submissions can be found on the conference web site
www.cmis.brighton.ac.uk/diagrams2008. 

Topics of interest include, but are not limited to:

applications of diagrams

computational models of reasoning with, and interpretation of, diagram

design of diagrammatic notations

diagram understanding by humans or machines

diagram aesthetics and layout

educational uses of diagrams

graphical communication

heterogeneous notations involving diagrams

history of diagrammatic notations

information visualization using diagrams

novel uses of diagrams

psychological issues pertaining to perception, comprehension or production of diagrams

reasoning with diagrams

software to support the use of diagrams

theoretical aspects of diagrams including, for example, classification and formalization

usability issues concerning diagrams

Important Dates

Abstract submission 20th March 2008

Paper and tutorial submission 1st April 2008

Poster submission 11th April 2008

Notification for papers/tutorials 16th May 2008

Notification for posters 23rd May 2008

Camera ready copies due	13th June 2008

Visual Week 15th - 21st September 2008

Diagrams conference 19th - 21st September 2008	

Organisation

General Chair
Gem Stapleton, University of Brighton, UK

Program Chairs
John Howse, University of Brighton, UK
John Lee, University of Edinburgh, UK

Local Chair
Mark Minas, Universität der Bundeswehr, Germany 

Publicity Chair
Andrew Fish, University of Brighton, UK

Web Site
Aidan Delaney, University of Brighton, UK

Program Committee

 
Gerard Allwein (Naval Research Laboratory, USA)

Michael Anderson (University of Hartford, USA)

Dave Barker-Plummer (Stanford University, USA)

Alan Blackwell (Cambridge University, UK) 

Dorothea Blostein (Queen's University, Canada) 

B. Chandrasekaran (Ohio State University, USA)

Peter Cheng (University of Sussex, UK) 

Phil Cox (Dalhousie University, Canada) 

Richard Cox (University of Sussex, UK) 

Frithjof Dau (University of Wollongong, Australia)

Max J. Egenhofer (University of Maine, USA) 

Stephanie Elzer (Millersville University, USA)

Yuri Engelhardt (University of Amsterdam)

Jacques Fleuriot (University of Edinburgh, UK)

Jean Flower (Autodesk, UK) David Gooding (Bath University)

Corin Gurr (University of Reading, UK) 

Mary Hegarty (University of California, Santa Barbara, USA) 

Mateja Jamnik (Cambridge University, UK) 

Yasuhiro Katagiri (Future University, Japan) 

Hans Kestler (University of Ulm, Germany) 

Zenon Kulpa (Institute of Fundamental Technological Research, Poland) 

Oliver Lemon (University of Edinburgh, UK) 

Stefano Levialdi (University of Rome - "La Sapienza", Italy)

Richard Lowe (Curtin University of Technology, Australia) 

Grant Malcolm (University of Liverpool) 

Kim Marriott (Monash University, Australia) 

Bernd Meyer (Monash University, Australia) 

Nathaniel Miller (University of Northern Colerado, USA) 

N. Hari Narayanan (Auburn University, USA) 

James Noble (Victoria University of Wellington, NZ)

Jesse Norman (University College London, UK)

Jon Oberlander (University of Edinburgh) 

Luis Pineda (Universidad Nacional Autónoma de México, Mexico City) 

Helen Purchase (Glasgow University, UK) 

Thomas Rist (Fachhochschule Augsburg) 

Peter Rodgers (University of Kent, UK) 

Frank Ruskey (University of Victoria, Canada) 

Atsushi Shimojima (Doshisha University, Japan) 

Sun-Joo Shin (Yale University, USA) 

John Sowa (VivoMind Intelligence Inc.) 

Keith Stenning (University of Edinburgh, UK) 

Nik Swoboda (Universidad Politécnica de Madrid, Spain)

Gabi Taentzer (Technical University of Berlin)

Susan Trickett (Naval Research Laboratory, USA) 

Barbara Tversky (Stanford University, USA)

Arnold Beckmann | 6 Mar 13:13 2008
Picon
Picon

CiE 2008 - grants

[Apologies for multiple copies]

****************************************************************

    Computability in Europe 2008: Logic and Theory of Algorithms
                  University of Athens, June 15-20 2008
                     http://www.cs.swan.ac.uk/cie08/

                    Call for Grant Applications

                     Deadline: 15 APRIL, 2008

A number of grants are available for attenting CiE 2008.  They 
are intended for students, post-docs and persons with limited 
means.  Also, student members of the ASL may apply for travel 
funds.  For more details see our website
   http://www.cs.swansea.ac.uk/cie08/grants.php


Gmane