QAPL 2008 Second Call for Papers

             [Apologies for multiple copies]

********************************************************************************
SECOND CALL FOR PAPERS Sixth Workshop on Quantitative Aspects of Programming 
Languages (QAPL 2008) Affiliated with ETAPS 2008 March 29-30, 2008, Budapest,
Hungary 
http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/
********************************************************************************

SCOPE:

Quantitative aspects of computation are important and sometimes essential in
characterising the behaviour and determining the properties of systems. They are
related to the use of physical quantities (storage space, time, bandwidth, etc.)
as well as mathematical quantities (e.g. probability and measures for
reliability, security and trust). Such quantities play a central role in
defining both the model of systems (architecture, language design, semantics)
and the methodologies and tools for the analysis and verification of system
properties. The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probabilities either directly in the
model or as a tool for the analysis of systems. In particular, the workshop
focuses on:

  * the design of probabilistic, real-time, quantum languages and the
    definition of semantical models for such languages
  * the discussion of methodologies for the analysis of probabilistic and timing
    properties (e.g. security, safety, schedulability) and of other quantifiable
    properties such as reliability (for hardware components), trustworthiness (in
    information security) and resource usage (e.g., worst-case memory/stack/cache
    requirements)

Petri net conference 2008 [ATPN'08]

<div>
<div>Dear member of the Petri net community,</div>
<div><br></div>
<div>the deadline for submitting papers to the Petri net conference 2008 is approaching.</div>
<div><br></div>
<div>The deadline January 5,2008, &nbsp;for submission of papers is STRICT.</div>
<div>However, if you submit the title page by Jan. 5</div>
<div>it is sufficient to submit the full paper by Jan. 10.</div>
<div><br></div>
<div>For more details see</div>
<div><br></div>
<div><a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2008/">http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2008/</a></div>
<div><br></div>
<div>There you also find the url of the online system. Please register and submit your contribution.</div>
<div><br></div>
<div>Best regards</div>
<div><br></div>
<div>Ruediger Valk</div>
<div>Kees &nbsp;van Hee</div>
<div><br class="webkit-block-placeholder"></div>
</div>

TASE2008 Call for papers

                      TASE 2008
2nd IEEE&IFIP Symposium on Theoretical Aspects of Software Engineering

                      Nanjing, China
                      June 17-19, 2008
                http://seg.nju.edu.cn/tase08/

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 2008 is a forum for researchers from academia, industry and government
to present ideas, results, and ongoing research on theoretical advances in
software engineering.

TASE 2008 is the second in a series of conference, sponsored by IEEE CS and
IFIP. The first TASE conference was held in Shanghai, China, in June 2007.  

Topics of Interest: 

Authors are invited to submit high quality technical papers describing
original and unpublished work in all theoretical aspects of software
engineering. 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 ¨Corientation Techniques 
* Embedded and Real-time Software 
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction 
* Parallel and Distributed Computing 
* Logics of Programs
* Program Analysis 
* Semantics and Design of Programming Languages 
* Type Theory

Submission Guidelines:

Authors should submit and register their paper through our web-interface at:
http://seg.nju.edu.cn/tase08/submit by January 28, 2008. 
Submissions must not have been published or be concurrently considered for
publication elsewhere. All submissions will be reviewed by at least three
members of the program committee. They will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
and relevance to the conference. The proceedings of the conference will be
published by the IEEE Computer Society Press. Papers must be written in
English and not exceed 8 pages in IEEE format. Instructions for authors are
available at http://computer.org/cspress/instruct.htm. Latex document
classes can be downloaded from the website at 
ftp://pubftp.computer.org/Press/Outgoing/proceedings/.

Important Dates: 

* January 21, 2008: Title and abstract submission deadline
* January 28, 2008: Paper submission deadline
* March 10, 2008: Acceptance/rejection notification
* March 23, 2008: Camera-ready version due
* June 17-19, 2008: TASE 2008

Organization:

General Co-Chairs:   Jifeng He, East China Normal University, China
                     Jian Lu, Nanjing University, China
Program Co-chairs:   Jim Davies, Oxford University, UK
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡   Xuandong Li, Nanjing University, China

Local Organization Chair:  Linzhang Wang, Nanjing University, China

Program Committee:

Bernhard Aichernig (Graz University of Technology, Austria)
Keijiro Araki  (Kyzushu University, Japan)
Farhad Arbab (CWI and Leiden University, The Netherlands)
Jonathan Bowen (King's College London, UK)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Jim Davies (Oxford University, UK)
Geoff Dromey (Griffith University, Australia)
Jin Song Dong (National University of Singapore, Singapore)
Zhenhua Duan (Xi¡¯dian University, China)
Colin Fidge (Queensland University of Technology, Australia)
Dieter Gollmann (Hamburg University of Technology, Germany)
Kung-Kiu  Lau (Manchester University, UK)
Jing Liu (East China Normal University, China)
Shaoying Liu  (Hosei University, Japan)
Zhiming Liu (UNU/IIST, Macau, China)
Annabelle Mclver (Macquarie University, Australia)
Hong Mei (Peking University, China) 
Huaikou Miao (Shanghai University, China)
Masoud Mohammadian(University of Canberra, Australia)
Shankar Natarajan (SRI International, USA)
Nimal  Nissanke (London South Bank University, UK)
Geguang Pu(East China Normal University, China)
Shengchao Qin (Durham University, UK)
Zongyan Qiu (Peking University, China)
Zhong Shao (Yale University, USA)
Joseph Sifakis (Verimag, France)
Zhengdong Su (University of California at Davis, USA)
Margus Veanes (Microsoft, USA)
Sergiy Vilkomir (University of Limerick, Ireland)
Farn Wang (National Taiwan University, Taiwan)
Ji Wang (Changsha Institute of Technology, China)
Linzhang Wang(Nanjing University, China)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)
Dianxiang Xu(North Dakota State University, USA)
Wang Yi (Uppsala University, Sweden)
Gianluigi Zavattaro (University of Bologna, Italy)
Jian Zhang (Institute of Software, China)
Jianhua Zhao (Nanjing University, China)
Huibiao Zhu (East China Normal University, China) 

Steering Program Committee

Michael Hinchey(Chair), USA 
Keijiro Araki,          Japan                               
Jifeng He,              China                              
Zhiming Liu,            Macau
Mike Reed,              Macau                               
Huibiao Zhu,            China

Keynote Speakers

Edmund M. Clarke (Carnegie Mellon University)
Joost-Pieter Katoen (RWTH Aachen University)

                      TASE 2008
2nd IEEE&IFIP Symposium on Theoretical Aspects of Software Engineering

                      Nanjing, China
                      June 17-19, 2008
                http://seg.nju.edu.cn/tase08/

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 2008 is a forum for researchers from academia, industry and government to
present ideas, results, and ongoing research on theoretical advances in software engineering.

TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference
was held in Shanghai, China, in June 2007.  

Topics of Interest: 

Authors are invited to submit high quality technical papers describing original and unpublished work in
all theoretical aspects of software engineering. 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 ¨Corientation Techniques 
* Embedded and Real-time Software 
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction 
* Parallel and Distributed Computing 
* Logics of Programs
* Program Analysis 
* Semantics and Design of Programming Languages 
* Type Theory

Submission Guidelines:

Authors should submit and register their paper through our web-interface at:
http://seg.nju.edu.cn/tase08/submit by January 28, 2008. 
Submissions must not have been published or be concurrently considered for publication elsewhere. All
submissions will be reviewed by at least three members of the program committee. They will be judged on the
basis of originality, contribution to the field, technical and presentation quality, and relevance to
the conference. The proceedings of the conference will be published by the IEEE Computer Society Press.
Papers must be written in English and not exceed 8 pages in IEEE format. Instructions for authors are
available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded
from the website at 
ftp://pubftp.computer.org/Press/Outgoing/proceedings/.

Important Dates: 

* January 21, 2008: Title and abstract submission deadline
* January 28, 2008: Paper submission deadline
* March 10, 2008: Acceptance/rejection notification
* March 23, 2008: Camera-ready version due
* June 17-19, 2008: TASE 2008

Organization:

General Co-Chairs:   Jifeng He, East China Normal University, China
                     Jian Lu, Nanjing University, China
Program Co-chairs:   Jim Davies, Oxford University, UK
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡   Xuandong Li, Nanjing University, China

Local Organization Chair:  Linzhang Wang, Nanjing University, China

Program Committee:

Bernhard Aichernig (Graz University of Technology, Austria)
Keijiro Araki  (Kyzushu University, Japan)
Farhad Arbab (CWI and Leiden University, The Netherlands)
Jonathan Bowen (King's College London, UK)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Jim Davies (Oxford University, UK)
Geoff Dromey (Griffith University, Australia)
Jin Song Dong (National University of Singapore, Singapore)
Zhenhua Duan (Xi¡¯dian University, China)
Colin Fidge (Queensland University of Technology, Australia)
Dieter Gollmann (Hamburg University of Technology, Germany)
Kung-Kiu  Lau (Manchester University, UK)
Jing Liu (East China Normal University, China)
Shaoying Liu  (Hosei University, Japan)
Zhiming Liu (UNU/IIST, Macau, China)
Annabelle Mclver (Macquarie University, Australia)
Hong Mei (Peking University, China) 
Huaikou Miao (Shanghai University, China)
Masoud Mohammadian(University of Canberra, Australia)
Shankar Natarajan (SRI International, USA)
Nimal  Nissanke (London South Bank University, UK)
Geguang Pu(East China Normal University, China)
Shengchao Qin (Durham University, UK)
Zongyan Qiu (Peking University, China)
Zhong Shao (Yale University, USA)
Joseph Sifakis (Verimag, France)
Zhengdong Su (University of California at Davis, USA)
Margus Veanes (Microsoft, USA)
Sergiy Vilkomir (University of Limerick, Ireland)
Farn Wang (National Taiwan University, Taiwan)
Ji Wang (Changsha Institute of Technology, China)
Linzhang Wang(Nanjing University, China)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)
Dianxiang Xu(North Dakota State University, USA)
Wang Yi (Uppsala University, Sweden)
Gianluigi Zavattaro (University of Bologna, Italy)
Jian Zhang (Institute of Software, China)
Jianhua Zhao (Nanjing University, China)
Huibiao Zhu (East China Normal University, China) 

Steering Program Committee

Michael Hinchey(Chair), USA 
Keijiro Araki,          Japan                               
Jifeng He,              China                              
Zhiming Liu,            Macau
Mike Reed,              Macau                               
Huibiao Zhu,            China

Keynote Speakers

Edmund M. Clarke (Carnegie Mellon University)
Joost-Pieter Katoen (RWTH Aachen University)

                      TASE 2008
2nd IEEE&IFIP Symposium on Theoretical Aspects of Software Engineering

                      Nanjing, China
                      June 17-19, 2008
                http://seg.nju.edu.cn/tase08/

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 2008 is a forum for researchers from academia, industry and government to
present ideas, results, and ongoing research on theoretical advances in software engineering.

TASE 2008 is the second in a series of conference, sponsored by IEEE CS and IFIP. The first TASE conference
was held in Shanghai, China, in June 2007.  

Topics of Interest: 

Authors are invited to submit high quality technical papers describing original and unpublished work in
all theoretical aspects of software engineering. 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 ¨Corientation Techniques 
* Embedded and Real-time Software 
* Service-oriented Computing and Web Services
* Model-driven Development
* Coordination and Feature Interaction 
* Parallel and Distributed Computing 
* Logics of Programs
* Program Analysis 
* Semantics and Design of Programming Languages 
* Type Theory

Submission Guidelines:

Authors should submit and register their paper through our web-interface at:
http://seg.nju.edu.cn/tase08/submit by January 28, 2008. 
Submissions must not have been published or be concurrently considered for publication elsewhere. All
submissions will be reviewed by at least three members of the program committee. They will be judged on the
basis of originality, contribution to the field, technical and presentation quality, and relevance to
the conference. The proceedings of the conference will be published by the IEEE Computer Society Press.
Papers must be written in English and not exceed 8 pages in IEEE format. Instructions for authors are
available at http://computer.org/cspress/instruct.htm. Latex document classes can be downloaded
from the website at 
ftp://pubftp.computer.org/Press/Outgoing/proceedings/.

Important Dates: 

* January 21, 2008: Title and abstract submission deadline
* January 28, 2008: Paper submission deadline
* March 10, 2008: Acceptance/rejection notification
* March 23, 2008: Camera-ready version due
* June 17-19, 2008: TASE 2008

Organization:

General Co-Chairs:   Jifeng He, East China Normal University, China
                     Jian Lu, Nanjing University, China
Program Co-chairs:   Jim Davies, Oxford University, UK
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡   Xuandong Li, Nanjing University, China

Local Organization Chair:  Linzhang Wang, Nanjing University, China

Program Committee:

Bernhard Aichernig (Graz University of Technology, Austria)
Keijiro Araki  (Kyzushu University, Japan)
Farhad Arbab (CWI and Leiden University, The Netherlands)
Jonathan Bowen (King's College London, UK)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Jim Davies (Oxford University, UK)
Geoff Dromey (Griffith University, Australia)
Jin Song Dong (National University of Singapore, Singapore)
Zhenhua Duan (Xi¡¯dian University, China)
Colin Fidge (Queensland University of Technology, Australia)
Dieter Gollmann (Hamburg University of Technology, Germany)
Kung-Kiu  Lau (Manchester University, UK)
Jing Liu (East China Normal University, China)
Shaoying Liu  (Hosei University, Japan)
Zhiming Liu (UNU/IIST, Macau, China)
Annabelle Mclver (Macquarie University, Australia)
Hong Mei (Peking University, China) 
Huaikou Miao (Shanghai University, China)
Masoud Mohammadian(University of Canberra, Australia)
Shankar Natarajan (SRI International, USA)
Nimal  Nissanke (London South Bank University, UK)
Geguang Pu(East China Normal University, China)
Shengchao Qin (Durham University, UK)
Zongyan Qiu (Peking University, China)
Zhong Shao (Yale University, USA)
Joseph Sifakis (Verimag, France)
Zhengdong Su (University of California at Davis, USA)
Margus Veanes (Microsoft, USA)
Sergiy Vilkomir (University of Limerick, Ireland)
Farn Wang (National Taiwan University, Taiwan)
Ji Wang (Changsha Institute of Technology, China)
Linzhang Wang(Nanjing University, China)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)
Dianxiang Xu(North Dakota State University, USA)
Wang Yi (Uppsala University, Sweden)
Gianluigi Zavattaro (University of Bologna, Italy)
Jian Zhang (Institute of Software, China)
Jianhua Zhao (Nanjing University, China)
Huibiao Zhu (East China Normal University, China) 

Steering Program Committee

Michael Hinchey(Chair), USA 
Keijiro Araki,          Japan                               
Jifeng He,              China                              
Zhiming Liu,            Macau
Mike Reed,              Macau                               
Huibiao Zhu,            China

Keynote Speakers

Edmund M. Clarke (Carnegie Mellon University)
Joost-Pieter Katoen (RWTH Aachen University)

need help in Renew petri net tool

<div><p>Hi all,<br>i need to use the Renew petri net tool &amp; i has some problems in it,<br>please if anyone use it, he can try to send to me a mail &amp; i will send to him my problems<br clear="all"><br>-- <br>Eman Hossny,<br>
Teacher Assistant,<br>Computer Science Department,<br>Faculty of Computers and Information<br>Cairo University, Egypt<br><br>&#1610;&#1575;&#1585;&#1576; &#1575;&#1604;&#1593;&#1578;&#1602; &#1605;&#1606; &#1575;&#1604;&#1606;&#1575;&#1585; &#1604;&#1609; &#1608;&#1604;&#1608;&#1575;&#1604;&#1583;&#1610;&#1575;
</p></div>

GT-VMT'08: Final Call for Papers

We apologize if you receive multiple copies of this email

****************  FINAL CALL FOR PAPERS ***************************

                              GT-VMT 2008

      7th International Workshop on Graph Transformation
                   and Visual Modeling Techniques

                  http://tfs.cs.tu-berlin.de/GTVMT08/

                  Satellite Event of ETAPS 2008
                        http://etaps08.mit.bme.hu/

           Budapest, Hungary,  March 29 - 30, 2008

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

GT-VMT 2008 is the seventh workshop of a series that serves as a forum 
for all researchers and practitioners interested in the use of 
graph-based notation, techniques and tools for the specification, 
modeling, validation, manipulation and verification of complex systems. 
Due to the variety of languages and methods used in different domains, 
the aim of the workshop is to promote engineering approaches that 
starting from high-level specifications and robust formalizations allow 
for the design and the implementation of such visual modeling 
techniques, hence providing effective tool support at the semantic level 
(e.g., for model analysis, transformation, and consistency management).
Contributions are welcome from communities working on popular visual  
modeling notations like UML, Petri nets, Graph Transformation, Business 
Process/Workflow Models.

This year's workshop will have a special focus on visualisation, 
simulation and animation of models as means of providing an intuitive 
representation of  both their static semantics and for the validation of 
model behaviour.

TOPICS:

Suggested areas of interest include but are not limited to following 
topics:

* visual language definition (incl. meta-modeling, grammars, graphical 
parsing)

* static semantics of visual languages (incl. OCL, graph patterns, etc.)

* dynamic semantics of visual languages (incl. simulation, animation, 
compilation, etc.)

* model transformations (within and) between languages

* visual language analysis (incl. verification & validation, static 
analysis techniques)

* model / graph-based approaches to novel architectural paradigms like 
service oriented, GRID, and P2P computing, context-aware and adaptive 
applications etc.

* application of graph transformations and visual modeling techniques 
in  engineering,  biology, and medicine

* case studies and novel application areas

* tool support and efficient algorithms

INVITED SPEAKERS:

Dr. Juha-Pekka Tolvanen, MetaCase, Finland
   Subject: Domain-Specific Modelling in Practice
Prof. Dr. Hans Vangheluwe, Modelling, Simulation and Design Lab, McGill 
University, Canada
   Subject: Model-based Simulation

IMPORTANT DATES:

December    9,  2007           Abstract Submission
December  14,  2007           Paper Submission Deadline
January      14,  2008            Notification of Acceptance
January      28,  2008            Camera Ready Version
March 29 - 30,  2008            Time of the Workshop

SUBMISSIONS:

The proceedings of this workshop will be published in the journal 
Electronic Communications of the EASST.
A preliminary version of the proceedings will be available at the 
workshop. Papers should not exceed 12 pages.
For preparing your manuscript, the EASST templates can be downloaded at 
http://eceasst.cs.tu-berlin.de/template/.
The online submission and review system is available at 
http://www.easychair.org/conferences/?conf=GTVMT2008.

ORGANIZERS:

Claudia Ermel, Tecnische Universität Berlin, lieske <at> cs.tu-berlin.de
Juan de Lara, University of Madrid, jdelara <at> uam.es
Reiko Heckel, University of Leicester, reiko <at> mcs.le.ac.uk

PROGRAM COMMITTEE:

Paolo Baldan (University of Venice, Italy)
Paolo Bottoni (University of Rome, Italy)
Andrea Corradini (University of Pisa, Italy)
Karsten Ehrig (University of Leicester, UK)
Gregor Engels (Universität Paderborn, Germany)
Holger Giese (Universität Paderborn, Germany)
Gabor Karsai (Vanderbilt University, US)
Jochen Küster(IBM Zürich Research)
Mark Minas (Universität der Bundeswehr München, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (Univ. of Twente, Netherlands)
Andy Schürr (TU Darmstadt, Germany)
Gabi Taentzer (Universität Marburg, Germany)
Daniel Varró (TU Budapest, Hungary)
Martin Wirsing (LMU München, Germany)
Albert Zündorf (Univ. of Kassel, Germany)

For more information, please contact  gtvmt08-org <at> tfs.cs.tu-berlin.de

ICALP 2008: Second Call for Papers

*** We apologize for multiple postings ****

HTML version of the CFP: http://www.ru.is/icalp08/cfp.html

___________________________________________________________________

                    CALL FOR PAPERS - ICALP'08

                 35th International Colloquium on
               Automata,  Languages and Programming

                July 6-13, 2008, Reykjavik, Iceland

                    http://www.ru.is/icalp08

___________________________________________________________________

The 35th International Colloquium on Automata, Languages and
Programming, the main conference and annual meeting of the European
Association for Theoretical Computer Science EATCS will take place
from the 6th to the 13th of July 2008 in Reykjavik, Iceland. The main
conference will take place from the 7th till the 11th of July, and
will be preceded and followed by 13 co-located events. (See
http://www.ru.is/icalp08/workshops.html for the list of events
affiliated with ICALP 2008.) In addition, the ETACS award 2008 and the
Goedel prize 2008 will be awarded at the conference.

Following the successful experience of the last three editions, ICALP
2008 will complement the established structure of the scientific
program based on Track A on Algorithms, Automata, Complexity and
Games, and Track B on Logic, Semantics, and Theory of Programming,
corresponding to the two main streams of the journal Theoretical
Computer Science, with a special Track C on Security and Cryptography
Foundations The aim of Track C is to allow a deeper coverage of a
particular topic, to be specifically selected for each year's edition
of ICALP on the basis of its timeliness and relevance for the
theoretical computer science community.

Papers presenting original research on all aspects of theoretical
computer science are sought. Typical but not exclusive topics of
interest are:

Track A - Algorithms, Automata, Complexity and Games:

    * Algorithmic Aspects of Networks
    * Algorithmic Game Theory
    * Approximation Algorithms
    * Automata Theory
    * Combinatorics in Computer Science
    * Computational Biology
    * Computational Complexity
    * Computational Geometry
    * Data Structures
    * Design and Analysis of Algorithms
    * Internet Algorithmics
    * Machine Learning
    * Parallel, Distributed and External Memory Computing
    * Randomness in Computation
    * Quantum Computing

Track B - Logic, Semantics, and Theory of Programming:

    * Algebraic and Categorical Models
    * Automata and Formal Languages
    * Emerging and Non-standard Models of Computation
    * Databases, Semi-Structured Data and Finite Model Theory
    * Principles of Programming Languages
    * Logics, Formal Methods and Model Checking
    * Models of Concurrent, Distributed, and Mobile Systems
    * Models of Reactive, Hybrid and Stochastic Systems
    * Program Analysis and Transformation
    * Specification, Refinement and Verification
    * Type Systems and Theory, Typed Calculi

Track C - Security and Cryptography Foundations:

    * Cryptographic Notions, Mechanisms, Systems and Protocols
    * Cryptographic Proof Techniques, Lower bounds, Impossibilities
    * Foundations of Secure Systems and Architectures
    * Logic and Semantics of Security Protocols
    * Number Theory and Algebraic Algorithms (Primarily in Cryptography)
    * Pseudorandomness, Randomness, and Complexity Issues
    * Secure Data Structures, Storage, Databases and Content
    * Security Modeling: Combinatorics, Graphs, Games, Economics
    * Specifications, Verifications and Secure Programming
    * Theory of Privacy and Anonymity
    * Theory of Security in Networks and Distributed Computing
    * Quantum Cryptography and Information Theory

SUBMISSION GUIDELINES

Authors are invited to submit an extended abstract of no more than 12
pages in LNCS style presenting original research on the theory of
Computer Science. Submissions should indicate to which track (A, B, or
C) the paper is submitted. No simultaneous submission to other
publication outlets (either a conference or a journal) is allowed. The
proceedings will be published in the Lecture Notes in Computer Science
Series by Springer-Verlag.

It is recommended that submissions adhere to the specified format and
length. Submissions that are clearly too long may be rejected
immediately. Additional material intended for the referee but not for
publication in the final version - for example details of proofs - may
be placed in a clearly marked appendix that is not included in the
page limit.

Submissions to ICALP 2008 are now open. To submit a paper to the
conference, please visit the URL
http://www.ru.is/icalp08/submissions.html.

INVITED SPEAKERS (Preliminary list)

    * Ran Canetti (IBM T.J. Watson Research Center and MIT, USA)
    * Bruno Courcelle (Labri, Universite Bordeaux, France)
    * Javier Esparza (Technische Universitaet Muenchen, Germany)
    * Muthu Muthukrishnan (Google, USA)
    * Peter Winkler (Dartmouth, USA)

IMPORTANT DATES

    * Submission: 23:59 GMT, February 10, 2008.
    * Notification: April 9, 2008
    * Final version due: April 30, 2008

PROGRAM COMMITTEE

Track A

    * Michael Bender (State Univ of New York at Stony Brook, USA)
    * Magnus Bordewich (Durham University, UK)
    * Peter Bro Miltersen (Aarhus University, Denmark)
    * Lenore Cowen (Tufts University, USA)
    * Pierluigi Crescenzi (Universita' di Firenze, Italy)
    * Artur Czumaj (University of Warwick, UK)
    * Edith Elkind (University of Southampton, UK)
    * David Eppstein (University of California at Irvine, USA)
    * Leslie Ann Goldberg (University of Liverpool, UK) (chair)
    * Martin Grohe (Humboldt-Universitaet zu Berlin, Germany)
    * Giuseppe Italiano (Universita' di Roma "Tor Vergata", Italy)
    * Christos Kaklamanis (University of Patras, Greece)
    * Michael Mitzenmacher (Harvard University, USA)
    * Ian Munro (University of Waterloo, Canada)
    * Ryan O'Donnell (Carnegie Mellon University, USA)
    * Dana Ron (Tel-Aviv University, Israel)
    * Tim Roughgarden (Stanford University, US)
    * Christian Scheideler (Technische Universitaet Muenchen, Germany)
    * Christian Sohler (University of Paderborn, Germany)
    * Luca Trevisan (University of California at Berkeley, USA)
    * Berthold Vocking (RWTH Aachen University, Germany)
    * Gerhard Woeginger  (Eindhoven University of Technology, the Netherlands)

Track B

    * Parosh Abdulla (Uppsala University, Sweden)
    * Luca de Alfaro (University of California, Santa Cruz, USA
    * Christel Baier (Technische Universitaet Dresden, Germany)
    * Giuseppe Castagna (Universite Paris 7, France)
    * Rocco de Nicola (Universita' di Firenze, Italy)
    * Javier Esparza (Technische Universitaet Muenchen, Germany)
    * Marcelo Fiore (University of Cambridge, UK)
    * Erich Graedel (RWTH Aachen, Germany)
    * Jason Hickey (California Institute of Technology, USA)
    * Martin Hofmann (Ludwig-Maximilians-Universitdt M|nchen, Germany)
    * Hendrik Jan Hoogeboom (Leiden University, NL)
    * Radha Jagadeesen (DePaul University, USA)
    * Madhavan Mukund (Chennai Mathematical Institute, India)
    * Luke Ong (Oxford University, UK)
    * Dave Schmidt (Kansas State University, USA)
    * Philippe Schnoebelen (ENS Cachan, France)
    * Igor Walukiewicz  (Labri, Universite Bordeaux, France) (chair)
    * Mihalis Yannakakis (Columbia University, USA)
    * Wieslaw Zielonka (Universite Paris 7, France)

Track C

    * Christian Cachin (IBM Research Zurich, CH)
    * Jan Camenisch (IBM Research Zurich, CH)
    * Ivan Damgaard, (Aarhus University, Denmark) (chair)
    * Stefan Dziembowski ((Universita' di Roma "La Sapienza", Italy)
    * Dennis Hofheinz (CWI Amsterdam, the Netherlands)
    * Susan Hohenberger (Johns Hopkins University, USA)
    * Yuval Ishai (Technion Haifa, Israel)
    * Lars Knudsen (DTU Copenhagen, Denmark)
    * Arjen Lenstra (EPFL Lausanne, CH)
    * Anna Lysyanskaya (Brown University, USA)
    * Rafael Pass (Cornell University, USA)
    * David Pointcheval (ENS Paris, France)
    * Dominique Unruh (Saarland University, Germany)
    * Serge Vaudenay (EPFL Lausanne, CH)
    * Bogdan Warinschi (Bristol University, UK)
    * Douglas Wikstroem (KTH Stockholm, Sweden)
    * Stefan Wolf (ETH Zurich, CH)

ORGANIZING COMMITTEE:
*********************

Luca Aceto
Magnus M. Halldorsson
Anna Ingolfsdottir

CONTACT ADDRESSES:
******************

For further information see: http://www.ru.is/icalp08/

CFP: ISC 2008, June 9-11, 2008, Universite de Lyon I, Lyon, France

<div>
<div></div>
<div>&nbsp;<div class="content">
    <p>                              ISC2008<br>
                            Lyon, France<br>
                          June 9-11, 2008<br>
                        FIRST CALL FOR PAPERS<br>
                             6th Annual<br>
                INDUSTRIAL SIMULATION CONFERENCE 2008</p>
<p>                            Organised by<br>
                 The European Technology Institute<br>
                          and Sponsored by<br>
                              EUROSIS</p>
<p>                              Hosted by<br>
                         Universite de Lyon I<br>
                       http://www.univ-lyon1.fr/</p>
<p>                           Co-Sponsored by<br>
                CESH, The Laboratoire Marcel M&eacute;rieux<br>
                    WHO antenna of Lyon and Geneva<br>
                     CRIS Laboratory, SPORALTEC<br>
                         Antycip-Simulation<br>
                   ENSAIT-UPV-Fern Universitaet Hagen<br>
                         KFKI-Ghent University<br>
                    Delft University of Technology<br>
                             MOBIUS-CREAX</p>
<p>                       For latest information see:<br>
              http://www.eurosis.org/cms/?q=taxonomy/term/103</p>
<p>AIM OF ISC'2008</p>
<p>The aim of the 6th annual Industrial Simulation Conference
(ISC'2008), is to give a complete overview of this year's industrial
simulation related research and to provide an annual status report on
present day industrial simulation research within the European
Community and the rest of the world in line with European industrial
research projects.</p>
<p>With the integration of artificial intelligence, agents and other
modelling techniques, simulation has become an effective and
appropriate decision support tool in industry. The exchange of
techniques and ideas among universities and industry, which support the
integration of simulation in the everyday workplace, is the basic
premise at the heart of ISC'2008 conference. The ISC'2008 conference
consists of four major parts; the first part concerns itself with
discrete event simulation methodology, the second and biggest part with
industrial simulation applications, a third one with industrial themed
workshops, and last but not least the fourth part, namely the poster
sessions for students. The whole is then illustrated by an exhibition.<br>
This year's conference will feature also for the first time a special
workshop on simulation and modelling in sports engineering.</p>
<p>The methodologies section covers: Modelling and Analysis
Methodologies, Languages and Tools, Artificial Intelligence, Knowledge
Based Simulation, Virtual Reality, Synthetic Environments, Petri Nets
and Performance Analysis related to industrial applications</p>
<p>MODELLING METHODOLOGY</p>
<p>Web Based Simulation, Optimization and Response Surfaces, Parallel
and Distributed Systems, Virtual Worlds, Methods for Special
Applications, Practice, Extensions, XML, Open Source, Model
Development, Network Modelling, Distributed Simulation and Industry,
Modelling Very Large Scale Systems, Aerospace Operations, Revising
Simulations Components</p>
<p>ANALYSIS METHODOLOGY</p>
<p>Advanced Input Modelling, Simulation Optimization, Cross Entropy,
Output Analysis, Input Modelling, Simulation Optimization, Input
Analysis, Difficult Queering Problems, New Output Analysis</p>
<p>DISCRETE SIMULATION LANGUAGES AND TOOLS</p>
<p>Discrete simulation languages; Object oriented modelling languages;
UML and simulation; Model libraries and modularity; Component-oriented
simulation; Special simulation tools and environments; Meta-models and
automatic model generation; Graphical simulation environments and
simulation software tools; Intelligent simulation environments;
Database management of models and results; Java and Web enabled
simulations, UML and OO Simulation.</p>
<p>The application section covers: Automation, CAD/CAM/CAE, Defence
Electronics, Design Automation, Simulation in industrial Design,
Industrial Engineering, Industrial and Process Simulation,
Manufacturing, Simulations, Logistics and Transport, Power Plants,
Multibody Systems, Aerospace, etc...</p>
<p>SIMULATION IN MANUFACTURING</p>
<p>The goal of this track is to exchange ideas, experiences, and
research results between practitioners and researchers. It shall offer
the opportunity not only for presenting work done but also for
discussing new challenges emerging in this area. It focuses on
innovative applications of simulation in the field of production and
operation management. State-of-the-art applications covering any part
of the value adding chain and any aggregation level are encouraged.
This track will show the efficient utilization of simulation techniques
and hybrid approaches for the optimization of manufacturing processes. </p>
<p>This session covers: Computer Assisted Learning and Simulation
Trainers, Customizing of ERP Systems using Simulation, Distributed
Simulation Approaches, Hierarchical Simulation, Integrating Process
Mapping and Simulation, Manufacturing Consulting, Manufacturing
Controls, Model Integration Standards Optimization and Evaluation,
Simulation Frameworks, Simulation of (Manufacturing) Processes in
Virtual Enterprises, Virtual Factories, and Virtual Manufacturing
Simulation Support Tools , Web-Based Workflow Modelling and Simulation
, MRP systems; CAD; CAM; CIM; Process design; Process control; Embedded
intelligent control systems; Scheduling; Automotive simulation;
Robotics and automation. Manufacturing Applications Transportation and
Material Handling, Best Modelling Methods, Integrating Simulation and
Design, Manufacturing Modelling Architectures, Manufacturing Modelling
Methods, Simulation of Manufacturing Operations</p>
<p>Steel Manufacturing Simulation<br>
Steel manufacturing production validation, steel production planning,
abrasive surface modelling, surface grinding, profiling and turning
processes.</p>
<p>SIMULATION IN AUTOMOTIVE SYSTEMS</p>
<p>Automotive simulation of Car Design, car behaviour, vehicle driver
interaction, collision tests, on board diagnostics, vision enhancement
and collision warning systems, vehicle dynamics and simulation,
off-road vehicle design and modelling, engineering propulsion controls
simulation, power train and fluid systems simulation, hydrogen and
electric engine simulation, homogeneous charge compression ignition,
emissions control, brake simulation</p>
<p>Race Car Simulation<br>
Aerodynamics simulation, Atmosphere simulation, Lift-Drag Simulation,
Wind Tunnel Simulation, Flow Visualization, Computational Fluid
Dynamics, </p>
<p>SIMULATION IN ROBOTICS</p>
<p>Robot Systems<br>
Application of Industrial Robots, Service Robots, Control Technology,
Development of Mechatronic Products, Innovation Management. Sensor
Simulation , Simulation of Natural Environments Simulation of
Agent-Environment Interaction /Intelligent Agents, Neural Networks and
Simulation , Simulation of Collective Behaviour and Emergent Phenomena
, Simulation of Learning and Adaptation Processes , Assessment Criteria
and Assessment Methods for Simulators , Quantitative and Qualitative
Comparisons between Originals and their Simulations , Simulation of
User-System Interaction </p>
<p>Robots in Assembly Systems<br>
Assembly Systems and Components, Processes Product Development and Design, Wiring Technology</p>
<p>Robots in Technical Production Planning<br>
Technical Production Planning, Device and Equipment Technology, Production processes and Sequences, Information Technology</p>
<p>SIMULATION IN ELECTRONICS, COMPUTERS AND TELECOMMUNICATIONS</p>
<p>Modeling and simulation of analogue circuits; Modeling and
simulation of digital circuits at switch and/or at logic level;
Hardware accelerators for circuit-level simulation; Hardware
accelerators for logic simulation; Distributed simulation of circuits,
components, and systems; Modeling and simulation of computer systems;
Fault simulation; Parallel and distributed systems; High-speed
networks; Network simulation software; Computer and telecommunication
systems; Telecommunication devices and systems; Intelligent
telecommunication networks; ISDN; ATM communications. </p>
<p>SIMULATION IN ELECTRONICS MANUFACTURING</p>
<p>Semiconductor Manufacturing Simulation<br>
Recently, the electronics industry has become the largest industry in
the world. One important area of this industry is the manufacturing of
integrated circuits (IC) on silicon wafers. Semiconductor wafer
fabrication facilities (wafer fabs) are complex manufacturing systems
that contain hundreds of machines and thousands of lots. Currently, it
seems that the improvement of operational processes creates the best
opportunity to realize necessary cost reductions. Therefore, the
development of efficient planning and control strategies is highly
desirable in the semiconductor domain.<br>
In order to create, implement and test the required novel strategies,
it is necessary to take new opportunities of information technology
into account. Modelling and Simulation are widely accepted tools in
planning and production control in wafer fabs because they are able to
deal with the huge complexity of modern wafer fabs.<br>
The aim of the session consists in collecting papers from both industry
and academia that deal with interesting applications and new
methodologies in modelling and simulation of manufacturing systems in
the electronics industry.</p>
<p>Cleanroom Manufacturing<br>
(Cleanroom suitability test, microsystem technology, cleaning
technology, manufacturing technology for clean environments,
information systems)<br>
Manufacturing Technologies, Information Technology<br>
(Information Processing, Metrology and Testing Technology, Production Methods, Rapid Prototyping)</p>
<p>Surface Engineering<br>
(Development, optimisation and modelling of coating processes,
integrated process development and management, production-orientated
equipment, development, integration of coating processes into
production, quality concepts for complex coating processes, surface
characterization)</p>
<p>Coating Technology<br>
Simulation Based Scheduling, (Supply Chain Planning Semiconductor
Manufacturing, Maintenance and Repair, Scheduling and Control and
Schedule Evaluation)</p>
<p>SIMULATION IN LOGISTICS, TRAFFIC, TRANSPORT, PORT, AIRPORT AND HOSPITAL LOGISTICS SIMULATION</p>
<p>Factory and Logistics Planning<br>
Strategies and Concepts for Production and Logistics, Technical and
Organizations Planning of Production and Logistics Systems, Value
Stream Mapping, Integrated Factory and Logistics Planning, Innovative
Planning Methods, tools and systems</p>
<p>Logistics: logistics supply chains, inbound logistics, materials
management, Manufacturing Supply Chain Management, physical
distribution, production planning and control, outbound and inbound
logistics, Simulation of regional logistic systems, distribution
centres, inventory management, warehousing decisions, materials
management, handling and packaging, logistics information systems,
information management in logistics systems, logistics network design
and facility location, cost modelling, information systems (networked
Manufacturing, Enterprise design and Control, etc&hellip;)</p>
<p>Traffic: traffic flows, multi-modal systems, transit, transportation
modes, urban city transport, transportation in logistics,
transportation management, traffic demand, traffic control, traffic
telematics, traffic performance, safety, macroscopic, mesoscopic and
microscopic simulations; </p>
<p>Port Simulation (Bulk Terminals, Container Terminals, Harbour
Services, Industrial Facilities, Navigation Lines, Multimodal
Transports, Oil Terminals, Passenger Terminals, Railways, Ro-Ro
Terminals, Ships and Platforms, Supply Chains and Warehouses, Harbour
Management, Safety in Maritime Environments, Vessel Traffic Systems)</p>
<p>Airport Simulation: Airport logistics simulation, passenger traffic
throughput simulation, Aircraft traffic and airport capacity
optimization.</p>
<p>Hospital Logistics<br>
Patient waiting time simulation, Emergency evacuation simulation, Brancardage, hospital occupation simulation and optimization </p>
<p>Call Centre and Supermarket Logistics</p>
<p>COMPLEX SYSTEMS MODELLING</p>
<p>(- Design and Simulation, - Process Control and Optimisation, -
Information Technology Systems, - Space and Airborne Systems -
Communication Networks, - Cybernetics and Control, - Building
Engineering and Urban Infrastructures - Nonlinear Systems) Integration
of AI Techniques and Simulation, Knowledge Elicitation and
Representation for Complex Models, Drawing Understanding and Pattern
Recognition, Machine Learning, Neural Networks and Genetic Algorithms,
Simulation in Robotics and Automation, Continuous Simulation of
Technical Processes, Fuzzy Models in Simulation, Wireless
Communication, Mobile Communication Networks, Satellite Communication,
LAN and WAN Protocols, Simulation of Switching Equipment, Design and
Coding of Communication Handling Software</p>
<p>SIMULATION IN AEROSPACE</p>
<p>Low Costs Simulation Environments, Rapid Simulation Prototyping,
Simulation Based Design, Simulation of Satellite Navigation, systems
(space segment and terrestrial applications) simulation of satellite
constellations, real-time hardware-in-the-loop nab-in-the-loop
simulation, flight simulation, distributed interactive simulation and
HLA standards, Graphical simulation (virtual environments and virtual
reality) applied to aerospace. Modelling and Simulation standards,
rationalisation efforts, repositories and reuse. Simulation in support
of system specification and design, simulation in support of system
assembly, integration and testing. Simulation in support of flight
software validation, structural dynamics of Pylon Store Coupling,
Flutter Prediction, volterra kernels to model nonlinear aeroelasticity</p>
<p>Aircraft Simulation: Air Systems Simulation Modelling and Design
(Airframe, Wing, Lift Coefficient, Parasitic Drag, Aircraft
Stabilization, Impact Dynamics, Flight Controls, Avionics, Fit Control,
Landing Gear), Control Surface Shaping, Active wing Morphing Control
and Self-repair, Structures technology for future aerospace systems,
Aerospace Vehicle Systems Technology (AVST), Aviation Safety Analysis
Software within the Intelligent Synthesis Environment, Aviation Systems
Capacity, Bio-nanotechnology simulation, Aerospace Propulsion and Power
(Ultra Efficient Engine Technology, Hypersonic Craft Simulation, Ramjet
Simulation, Aerothermoelastic Effects in Hypersonic Vehicles, Micro Air
Vehicles Simulation, Small Aircraft Transportation Systems, Quiet
Aircraft and Noise Reduction Technology, CICT Simulation, Vision-Based
Autonomous Flight, Aircraft-UAV-UCAV networked flight simulation ,
Stealth and radar evasion technology, Thrust vectorization simulation.</p>
<p>Space flight Simulation: next generation launchers (f.ex future
X-Pathfinder), reusable launch vehicles (RLV), Aerospace Vehicle
Systems, Technology, Payload Launch Simulation, Aerospace Autonomous
Operations, System studies for future space transport architectures,
Rocket propulsion simulation, Space materials and structures,
Aerothermodynamics, launcher health management systems, avionics and
in-flight experimentation. Space Cryo Electronics, Innovative Concepts
and Technologies for lunar exploration (in-situ resource utilization,
nuclear propulsion, habitation, nano-technology, modular architecture </p>
<p>MARINE SIMULATION</p>
<p>Simulation in Ship design, ship propulsion unit simulation,
simulation for high speed design, water turbulence simulation,
submarine simulation, control of supercavitating underwater vehicles.
Underwater detection systems simulation, Ship Handling Simulation,
Navigation and Radar Simulation, Bridge Team Management Simulation,
Engine Room Simulation, Liquid Cargo Handling Simulation, Crane
Simulation. Maritime Simulator Standards</p>
<p>SIMULATION IN INDUSTRIAL PRODUCT DESIGN</p>
<p>Simulation of product design; Planning and control; Reconfigurable
responsive computing and process re-engineering; Integrated product and
process modelling; Modelling and simulation in virtual global
enterprises; Simulation based design; Qualitative and fuzzy modelling
and simulation in engineering design; Modal logistics in systems
design; Simulation in support of system specification and design.</p>
<p>SIMULATION IN ENGINEERING PROCESSES</p>
<p>The Modelling in Engineering Processes track focuses on the
application of simulation in mechanical and structural engineering.
Oscilations and Waves, Stability and Control, Computational Mechanics,
Numerical Analysis, Mathematical Methods in Engineering Sciences,
Optimization Advanced simulation of dynamic systems, Simulation-based
design, Qualitative modelling and simulation in engineering, Fuzzy
modelling and simulation, Evolutionary synthesis and evolutionary
methods in design, Rapid prototyping, CASE systems in engineering
design, Modal Logic systems in design, Simulation in support of system
specification and design, Construction Engineering and Project
Management</p>
<p>SIMULATION IN ENERGY AND POWER SYSTEMS</p>
<p>Simulators: Real-Time simulation methods, GUI, Advanced modelling
tools, Trainees' performance evaluation, Simulator Projects Simulation
Studies: Simulation during design, Safety and environmental hazard
estimation, Production optimisation. Methodology: Real-time simulation
and visualisation tools, Parallel and distributed simulation, Fossil
Fuel and Nuclear Energy Simulation, Solar Power Simulation, Wind
turbine simulation, Wave Energy Simulation</p>
<p>SIMULATION IN MULTIBODY SYSTEMS</p>
<p>General: FE-Methods and Modelling of Flexible Bodies, Non-holonomic
Systems and Geometrical Concepts in Multibody Dynamics, Numerical
Aspects of Multibody Dynamics , Optimization and Control of Mechanisms
, Articulated and Telescopic Multibody Systems, Air, Land and Sea
Multibody Systems Applications </p>
<p>Special Sessions on: Multibody Systems in Space: Flexible Body
Systems, Orbital Injection, Satellite Injection, Rendezvous and Docking
of Spacecraft, Simulation of Space Station Construction and Assembly </p>
<p>SIMULATION IN CHEMICAL AND PETROLEUM ENGINEERING AND THE MINING INDUSTRY</p>
<p>Simulation of Chemical Plants, Flow simulation, Plant control
systems, network simulation, geological simulations, drilling
simulations, oil transport simulations.</p>
<p>SIMULATION IN MILITARY AND DEFENSE</p>
<p>Physical Modelling and Effects (Lethality, vulnerability and
survivability, impact and penetration modelling, computational fluid
and molecular dynamics, structural and solid mechanics modelling,
ballistics and propellant simulation) Simulation and Visualization (2D
and 3D visualization of simulations), Terrain Recognition and Analysis
Simulation Software, Image Analysis and Image Recognition Entity and
System Modelling and Behaviours (human performance modelling, entity
behaviours, computer generated forces, agent-based combat
modelling)Advanced Concepts and Requirements (simulation of new
concepts, requirements development, predicted impacts of technology
integration, intelligent systems simulation)Research, Development and
Acquisition (Design, development and acquisition for new weapons
systems and equipment, Simulation and Modeling for acquisition,
requirements, and training (SMART), Simulation-based
acquisition)Training, Excercises and Military Operations (simulation in
training, simulator/exercise Integration and Management, Mission
Planning and Rehearsal, Embedded Training, Assessment Domains (sea,
Land, Air and Space (synthetic environments (f ex.DAWARS, JWARS),
virtual realities, surface and sub-surface warfare, unmanned robotic
land, sea and aerial vehicle simulation (UAV, UCAV), avionics, flight
control, flight simulation, simulation and control for
spacecraft)Operations, Command and Control and Interoprability(battle
field, battle theatre simulation, simulation during operations, CAI
simulation, counterforce operations, airspace management, campaign
analysis)Military Networking(network modelling and simulation, network
centric warfare, information assurance modelling and simulation,
simulations and the Global Information Grid),Military Entertainment
Convergence (wargaming, serious games)</p>
<p>VERIFICATION, VALIDATION AND ACCREDITATION</p>
<p>The term validation is applied to those processes, which seek to
determine whether or not a simulation is correct with respect to the
"real" system. More prosaically, validation is concerned with the
question "Are we building the right system?". Verification, on the
other hand, seeks to answer the question "Are we building the system
right?"<br>
This track is interested in simulation validation methodologies:
methodologies to support the process of constructing a simulation model
and then aiding the validation of this model to the "real" system.
These system models can be discrete, continuous or hybrid. Application
areas range from information systems to engineering and scientific
systems. Relevant parameters include performance, properties given by
formal or informal requirements, exception handling etc. In this
conference track, contributions from all areas of simulation and
validation are solicited. Topics include, but are not limited to those
given below.<br>
VV&amp;A methodology (effective VV&amp;A, VV&amp;A planning, confidence
levels, risk estimation, organisation, documentation, standards, cost
estimation, technique application, result presentation, subject matter
expert (SME) selection, formal model specification, fidelity,
automation potential), VV&amp;A technology (documentation, CASE-tools,
cross checking, requirements specification, knowledge based systems,
configuration management, tool overview, simulation environments)</p>
<p>SIMULATION AND TRAINING</p>
<p>Highly skilled staff is an essential prerequisite for the safe and
effective operation of industrial production systems. Simulation-based
training plays an increasingly important role in qualification of plant
personnel. In specific sectors such as aerospace or power stations,
training simulators have already been successfully employed for many
years. Latest developments in industrial information technology as well
as the introduction of virtual product and process engineering provide
a new technological basis for the cost-effective implementation of
training simulators. Therefore, in near future the general spread of
these technology in a variety of industrial sectors and applications is
expected. Today &acute;s best practice, latest developments, and future
concepts of simulation-based training in industry will be presented.<br>
 Topics<br>
-  Training simulator technology<br>
-  Scenarios and procedures for operator training<br>
-  Modelling approaches, tools and virtual environments for training<br>
-  e-Training in distributed environments<br>
-  HMI and cognitive performance<br>
-  Certification and standardisation issues<br>
-  Industrial applications and best practice<br>
-  Requirements on R&amp;D</p>
<p>VIRTUAL REALITY AND GRAPHICAL SIMULATIONS IN INDUSTRIAL APPLICATIONS</p>
<p>Virtual reality and computer graphics simulations applied to industrial applications.</p>
<p>THE FUTURE OF INDUSTRIAL SIMULATION ROUNDTABLE</p>
<p>Simulation Standards, Future of Simulation Software, What's
Virtually Possible, Real-Time Control, Equipment Interface, Supply
Chain Opportunities, Customer Focus, Making Simulation relevant</p>
<p>WORKSHOPS</p>
<p>WORKSHOP ON MODELLING AND SIMULATION IN THE TEXTILE INDUSTRY</p>
<p>Textile process simulation : Modelling and simulation in clothing,
dyeing and finishing process simulation, production units simulation,
textile logistics, supply chain modelling, spinning mill, spinning
simulation, sales forecasting, weaving and knitting simulation&hellip;<br>
Textile products and materials simulations : Textile products
simulation and textile chemistry : composite materials, dynamical
behaviour of textile structures, fireproofing simulation, flame
retardant products, body morphology, new textiles properties evaluation
by simulation, smart and communicating clothes, chemical processes
simulation in textile, virtual clothing,&hellip;</p>
<p>SIMULATION AND MODELLING IN SPORTS ENGINEERING</p>
<p>In accordance with the guidelines set out by the European White<br>
Book on Sports, the ISC 2008 conference will for the first time
organise a workshop on simulation and modelling in sports engineering.</p>
<p>The workshop will cover simulation and modelling in:<br>
* Behaviour, ergonomics, biomechanics<br>
* Physical Activity and Well-Being<br>
* Performance Enhancement and Sports Engineering<br>
* Sports Dynamics<br>
* Applications such as:<br>
     o Wearables (intelligent clothes, bioshirts and footwear)<br>
     o Mobile Motion Tracking Services<br>
     o Sensor Networks<br>
     o Training Equipment (instruments for prestation monitoring and<br>
            improvement)<br>
     o Sport stimulation (technological innovations)<br>
     o Bicycle, Racing Car and Sailing Yacht Design</p>
<p>WORKSHOP ON INTELLIGENT TRANSPORT SYSTEMS</p>
<p>A broad range of diverse technologies, known collectively as
intelligent transportation systems (ITS), holds the answer to many of
our transportation problems. ITS is comprised of a number of
technologies, including information processing, communications,
control, and electronics. Joining these technologies to our
transportation system will save lives, time and money. ITS enables
people and goods to move more safely and efficiently through a
state-of-the-art, intermodal transportation system. Simulating this
aspect of transportation is one of the major challenges of our time.</p>
<p>WORKSHOP NANOSIM</p>
<p>Simulation in long-term interdisciplinary research, simulation of
supramolecular and macromolecular architectures, simulation in
nanobiotechnologies, simulation of nanometric scale engineering
techniques for creating materials and components, simulation of
manipulator devices, simulation in nano applications related to
chemicals and energy. Simulation of knowledge based multifunctional
Materials. Simulation of nano production processes and methods.</p>
<p>AUGMENTED REALITY AND PERVASIVE SYSTEMS IN FACTORIES</p>
<p>"Pervasive systems are likely to become the next programming
paradigm for the information society. They will allow us to implement
the augmented reality and the ubiquitous computing ideas. Pervasive
systems in factories enable operators and machines to interact on a
common virtual level which is also capable of simulating the real part.
Among other related topics, this track includes: ubiquitous computing,
augmented reality, mixed reality, wireless networks, hybrid systems,
simulation models, human-computer interaction, artificial intelligence,
security, scalability, fault tolerance, smart devices, and pervasive
services"</p>
<p>SIMULATION IN LEAN MANUFACTURING</p>
<p>Simulation has become a powerful tool to help manufacturers
streamline their production and output in order to more rapidly react
and play to the everchanging market place while reducing costs at every
step. Presentations are solicited that cover part or the whole of this
lean production process such as simulation in: Work Standardization, 5S
Workplace Organization, Visual Controls, Batch Size Reduction, Points
of Use Storage, Quality at the Source, Workflow Practice, Improved
Information and Product Flow, Cellular Manufacturing, Pull &amp;
Synchronous Scheduling, Six Sigma &amp; Total Quality, Rapid Setup,
Work Teams for Cell Management &amp; Process Improvement, Simplified
scheduling and Kanban inventory management</p>
<p>CONFERENCE KEYNOTE<br>
The keynote for the ISC2008 will be announced later</p>
<p>TUTORIALS<br>
Tutorials can be proposed in the following three categories:<br>
    T1- Introductory tutorials<br>
    T2- State of the Art Tutorials<br>
    T3- Software and Modelware Tutorials<br>
Tutorial proposals should be emailed to Philippe.Geril <at> eurosis.org</p>
<p>POSTER SESSION<br>
The poster session only features work in progress. Next to the actual
poster presentation, these submissions also feature as short papers in
the Proceedings. </p>
<p>STUDENTS SESSION<br>
This session is for students who want to present their work in progress
or part of their doctoral thesis as a paper. Student papers are denoted
by the fact that only the name of the student appears on the paper as
an author. They are published as short papers in the Proceedings.</p>
<p>DIVERSE ACTIVITIES<br>
For demonstrations or video sessions, please contact Philippe Geril.
Special session will be set up for vendor presentations in
co-ordination with the scientific program. User Group meetings for
simulation languages and tools can be organised during the conference.</p>
<p>If you would like to arrange a meeting, please contact the
Conference Chairs. We will be happy to provide a meeting room and other
necessary equipment.<br>
Partners for projects session(s) will be organised by EUROSIS to give
potential project teams or individuals the opportunity to present their
research in order to link up with fellow researchers for future
research projects. Those wishing to participate in this session need to
send a proposal to Philippe Geril.</p>
<p>EXHIBITION<br>
A special software exhibition will be held during the conference
focused on industrial simulation tools. For more information please
contact EUROSIS for further details. Email: Philippe.Geril <at> eurosis.org</p>
<p>DEADLINES AND REQUIREMENTS<br>
Send all submissions in an ELECTRONIC FORM ONLY in Microsoft Word
format, PDF or Postscript format indicating the designated track and
type of submission (full paper or an extended abstract) to EUROSIS
(Philippe.Geril <at> eurosis.org).<br>
Please provide your name, affiliation, full mailing address, telephone
/ fax number and Email address on all submissions as well. For
submissions please put in the subject of your Email the following
indications: ISC2008 and designated track or USE THE ABSTRACT
SUBMISSION SITE!!<br>
Only original papers, which have not been published elsewhere, will be accepted for publication</p>
<p>REGISTRATION FEES</p>
<p>Registration Fees<br>
                     Author                EUROSIS          Other<br>
                                           Members             Participants<br>
Pre-reg before      485 EURO              485 EURO         555 EURO<br>
May.15th 2008</p>
<p>Registration after    Pre-Reg               535 EURO       555 EURO<br>
May 15th 2008        required </p>
<p>The registration fee includes one copy of the Conference
Proceedings, coffee and tea during the breaks, all lunches, a welcome
cocktail, a conference dinner and a company visit</p>
<p>PAPER SUBMISSION TYPES</p>
<p>FULL PAPER (including abstract, conclusions, diagrams, references)
During review,the submitted full papers can be accepted as a regular 5
page paper. If excellent,full papers can be accepted by the program
committee as an extended (8-page) paper.<br>
Each submission will be reviewed by at least three members of the International Program Committee.</p>
<p>EXTENDED ABSTRACT (at least five pages)<br>
Participants may also submit a 5 page extended abstract for a regular
(5 pages) or short (3 pages) paper or poster, which will be reviewed by
the International Program Committee. All accepted papers will be
published in the ISC'2008 Conference Proceedings.</p>
<p>SHORT ABSTRACT (at least three pages)<br>
Participants may also submit a 3 page abstract for a short paper or
poster, which will be reviewed by the International Program Committee.
All accepted papers will be published in the ISC'2008 Conference
Proceedings.<br>
ONE PAGE ABSTRACTS ARE NOT ACCEPTED.</p>
<p>CORRESPONDENCE ADDRESS<br>
Philippe Geril<br>
EUROSIS<br>
Ghent University<br>
Faculty of Industrial Management<br>
Technologiepark 903<br>
B-9052 Ghent-Zwijmaarde, Belgium<br>
Tel: +32 9 264.55.09<br>
Fax: + 32 9 264.58.25<br>
Email: philippe.geril <at> eurosis.org</p>
<p>OUTSTANDING PAPER AWARD<br>
The 2008 Industrial Simulation Conference Committee will select the
Outstanding Paper of the Conference. The author of this paper will be
awarded a free registration for a EUROSIS conference. Only papers
SUBMITTED AS FULL papers will be eligible for the Outstanding Paper
Award. </p>
<p>LANGUAGE<br>
The official conference language for all papers and presentations is English.</p>
<p>IMPORTANT DEADLINES</p>
<p> EARLY SUBMISSION DEADLINE JANUARY 15TH 2008</p>
<p> SUBMISSION DEADLINE FEBRUARY 15TH, 2008</p>
<p> February 15, 2008:<br>
Submit contributed full-papers<br>
(5 to 8 proceedings pages) not previously published. These submissions,
when accepted will be published as regular or extended papers,
depending on their quality.</p>
<p>Submit extended abstracts (5 abstract pages) or short papers (3
abstract pages), reports of industrial projects and summaries of
posters. These submissions, when accepted, will be published as
regular, of up to 5 proceedings page papers.</p>
<p>Submit one -to -three page proposals to present tutorials, to
organise and chair panel sessions, to organise user meetings, vendor
sessions or to exhibit software</p>
<p>February 15, 2008:<br>
 Submit abstracts for student and poster session</p>
<p>LATE PAPER SUBMISSION MARCH 15TH, 2008</p>
<p>April 1, 2008:<br>
 Notification of Acceptance or Rejection</p>
<p>May 10, 2008:<br>
 Authors provide camera-ready manuscript</p>
<p>June 9-11, 2008:<br>
 Conference</p>
<p>VENUE: Universite de Lyon I, Lyon, France<br>
http://www.univ-lyon1.fr/</p>
<p>REPLY CARD<br>
First Name:<br>
Surname:<br>
Occupation and/or Title:<br>
Affiliation:<br>
Mailing Address 	</p>
<p>Zip code:	City: 	Country.<br>
Telephone:	Fax:<br>
E-Mail:	</p>
<p>Yes, I intend to attend the ISC'2008:<br>
[ ] Presenting a paper, by submitting a full paper<br>
[ ] Presenting a short paper (by submitting an extended abstract)<br>
[ ] Participating in the industrial program<br>
[ ] Organizing a vendor session<br>
[ ] Proposing a panel discussion (please mention names of panelists)<br>
[ ] Contributing to the exhibition<br>
[ ] Without presenting a paper<br>
The provisional title of my paper / exhibited tool is:</p>
<p>With the following highlights:</p>
<p>The paper belongs to the category (please tick only one):<br>
[ ] Modelling Methodology<br>
[ ] Analysis Methodology<br>
[ ] Discrete Simulation Languages and Tools<br>
[ ] Simulation in Manufacturing<br>
[ ] Simulation in Steel Manufacturing<br>
[ ] Simulation in Automotive Systems<br>
[ ] Simulation in Robotics<br>
[ ] Simulation in Electronics, Computers and Telecommunications<br>
[ ] Simulation in Electronics Manufacturing<br>
[ ] Simulation in Logistics, Traffic and Transport Simulation<br>
[ ] Hospital Logistics and Health Care Simulation<br>
[ ] Call Centre Simulation<br>
[ ] Complex Systems Modelling<br>
[ ] Simulation in Aerospace<br>
[ ] Marine Simulation<br>
[ ] Simulation in Industrial and Product Design<br>
[ ] Simulation in Engineering Processes<br>
[ ] Simulation in Energy and Power Systems<br>
[ ] Simulation in Multibody Systems<br>
[ ] Simulation in Chemical and Petroleum Engineering<br>
[ ] Simulation in Military and Defense<br>
[ ] Verification, Validation and Accreditation<br>
[ ] Simulation and Training<br>
[ ] Virtual Reality and Graphical Simulations in Industrial Applications<br>
[ ] The Future of Simulation Roudtable<br>
[ ] Workshop on Modelling and Simulation in the Textile Industry<br>
[ ] Simulation and Modelling in Sports Engineering<br>
[ ] Workshop on Intelligent Transport Systems<br>
[ ] Workshop NANOSIM<br>
[ ] Augmented reality and Pervasive Systems in Factories<br>
[ ] Lean Manufacturing Simulation<br>
[ ] Tutorials<br>
[ ] Exhibition<br>
[ ] Poster session<br>
[ ] Student Session</p>
<p>Other colleague(s) interested in the topics of the conference is/are:<br>
Name:<br>
Address:<br>
Name:<br>
Address:<br><br></p>
</div>
</div>
-- 
<br>
Philippe Geril               Tel: +32.9.264.55.09
<br>
EUROSIS -ETI                 Fax: +32.9.264.58.25
<br>
Ghent University             E-mail: philippe.geril <at> eurosis.org
<br>
Dept.of Industrial Mgmt.     E-mail: pgeril <at> yahoo.co.uk
<br>
Technologiepark 903          URL: http://www.eurosis.org
<br>
Campus Ardoyen               
<br>
B-9052 Ghent-Zwijnaarde      
<br>
Belgium                      
<br><br><br>
</div>

CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)

             -- We apologize for multiple copies --

*******************************************************************
******************    Call for participation    *******************
*******************************************************************

             3rd International Workshop on Automated
                  Specification and Verification
                      of Web Sites (WWV'07)

          December 14, 2007, San Servolo, Venice (Italy)

                    http://wwv07.dimi.uniud.it

           EARLY REGISTRATION DEADLINE: DECEMBER 11th
*******************************************************************

WWV'07 will  be held in Venice (Italy) in the  convention centre of 
the island of San Servolo.

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

The program contains papers on formal methods and techniques applied 
to Web sites, Web services or Web-based applications, such as:

 * rule-based approaches to Web site analysis, certification,
   specification, verification, and optimization
 * formal models for describing and reasoning about Web sites
 * model-checking, synthesis and debugging of Web sites

 
WWV'07 provides a forum for researchers from the communities of Rule-
based programming,  Automated Software  Engineering, and Web-oriented  
research to facilitate the cross-fertilization and the advancement of 
hybrid methods that combine the three areas.

REGISTRATION

Registration is web-based via the following link:

     http://wwv07.dimi.uniud.it/registration.html

The deadline for early registration is DECEMBER 11th.

ACCOMODATION

The  organization of  the workshop  has blocked single rooms in the 
research centre  of the island of San Servolo at a very special rate 
for the nights of Dec. 13th and 14th (so, you can arrive on the 13th 
and depart on the 15th). Some rooms are still available.

For further information, follow the link:

      http://wwv07.dimi.uniud.it/#accomodation

INVITED SPEAKERS

Paolo Traverso       ITC-IRST, Italy
Joost Visser         Software Improvement Group, The Netherlands

PROGRAM CO-CHAIRS

Santiago Escobar     Technical University of Valencia, Spain
Massimo Marchiori    University of Padova, Italy

WORKSHOP CHAIR

Demis Ballis         University of Udine, Italy

PROGRAM COMMITTEE

Jesus Almendros      University of Almeria, Spain
Maria Alpuente       Technical University of Valencia, Spain
Uwe Assmann          Technische Universtität Dresden, Germany
Demis Ballis         University of Udine, Italy
Gilles Barthe        INRIA Sophia-Antipolis, France
Tevfik Bultan        University of California, Santa Barbara, USA
Santiago Escobar     Technical University of Valencia, Spain
Moreno Falaschi      University of Siena, Italy
Nora Koch            Ludwig Maximilians Universität München, Germany
Temur Kutsia         RISC, Linz, Austria
Massimo Marchiori    University of Padova, Italy
Tiziana Margaria     University of Potsdam, Germany
Catherine Meadows    Naval Research Laboratory, USA
Sebastian Schaffert  Salzburg Research, Austria	

ACCEPTED PAPERS

- Musab AlTurki and Jose Meseguer.
  Reduction Semantics and Formal Analysis of Orc Programs

- Peter Hofner and Florian Lautenbacher.
  Algebraic Structure of Web Services

- Jesus M. Almendros-Jimenez.
  A RDF Query Language Based on Logic Programming

- Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina.
  From a generic framework for the ALC description logic to formally verified reasoners

- Faisal Abouzaid and John Mullins.
  A Calculus for Generation, Verification and Refinement of BPEL Specifications

- Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi.
  Service discovery and negotiation with COWS

- Robin Message and Alan Mycroft.
  Controlling control flow in web applications

- Nawal Guermouche, Olivier Perrin and Christophe Ringeissen.
  Timed Specification For Web Services Compatibility Analysis

- Sonia Flores, Salvador Lucas and Alicia Villanueva.
  Formal Verification of Websites

             -- We apologize for multiple copies --

*******************************************************************
******************    Call for participation    *******************
*******************************************************************

             3rd International Workshop on Automated
                  Specification and Verification
                      of Web Sites (WWV'07)

          December 14, 2007, San Servolo, Venice (Italy)

                    http://wwv07.dimi.uniud.it

           EARLY REGISTRATION DEADLINE: DECEMBER 11th
*******************************************************************

WWV'07 will  be held in Venice (Italy) in the  convention centre of 
the island of San Servolo.

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

The program contains papers on formal methods and techniques applied 
to Web sites, Web services or Web-based applications, such as:

 * rule-based approaches to Web site analysis, certification,
   specification, verification, and optimization
 * formal models for describing and reasoning about Web sites
 * model-checking, synthesis and debugging of Web sites

 
WWV'07 provides a forum for researchers from the communities of Rule-
based programming,  Automated Software  Engineering, and Web-oriented  
research to facilitate the cross-fertilization and the advancement of 
hybrid methods that combine the three areas.

REGISTRATION

Registration is web-based via the following link:

     http://wwv07.dimi.uniud.it/registration.html

The deadline for early registration is DECEMBER 11th.

ACCOMODATION

The  organization of  the workshop  has blocked single rooms in the 
research centre  of the island of San Servolo at a very special rate 
for the nights of Dec. 13th and 14th (so, you can arrive on the 13th 
and depart on the 15th). Some rooms are still available.

For further information, follow the link:

      http://wwv07.dimi.uniud.it/#accomodation

INVITED SPEAKERS

Paolo Traverso       ITC-IRST, Italy
Joost Visser         Software Improvement Group, The Netherlands

PROGRAM CO-CHAIRS

Santiago Escobar     Technical University of Valencia, Spain
Massimo Marchiori    University of Padova, Italy

WORKSHOP CHAIR

Demis Ballis         University of Udine, Italy

PROGRAM COMMITTEE

Jesus Almendros      University of Almeria, Spain
Maria Alpuente       Technical University of Valencia, Spain
Uwe Assmann          Technische Universtität Dresden, Germany
Demis Ballis         University of Udine, Italy
Gilles Barthe        INRIA Sophia-Antipolis, France
Tevfik Bultan        University of California, Santa Barbara, USA
Santiago Escobar     Technical University of Valencia, Spain
Moreno Falaschi      University of Siena, Italy
Nora Koch            Ludwig Maximilians Universität München, Germany
Temur Kutsia         RISC, Linz, Austria
Massimo Marchiori    University of Padova, Italy
Tiziana Margaria     University of Potsdam, Germany
Catherine Meadows    Naval Research Laboratory, USA
Sebastian Schaffert  Salzburg Research, Austria	

ACCEPTED PAPERS

- Musab AlTurki and Jose Meseguer.
  Reduction Semantics and Formal Analysis of Orc Programs

- Peter Hofner and Florian Lautenbacher.
  Algebraic Structure of Web Services

- Jesus M. Almendros-Jimenez.
  A RDF Query Language Based on Logic Programming

- Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina.
  From a generic framework for the ALC description logic to formally verified reasoners

- Faisal Abouzaid and John Mullins.
  A Calculus for Generation, Verification and Refinement of BPEL Specifications

- Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi.
  Service discovery and negotiation with COWS

- Robin Message and Alan Mycroft.
  Controlling control flow in web applications

- Nawal Guermouche, Olivier Perrin and Christophe Ringeissen.
  Timed Specification For Web Services Compatibility Analysis

- Sonia Flores, Salvador Lucas and Alicia Villanueva.
  Formal Verification of Websites

[CfP] 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'08)

[Apologies if you receive multiple copies]

CALL FOR PAPERS

2008 IEEE Symposium on Visual Languages and Human-Centric Computing  
(VL/HCC'08)

Herrsching am Ammersee, Germany, 16-20 September 2008

http://vlhcc08.cs.unibw.de/

 From the beginning of the computer age, researchers and computing  
practitioners
have sought ways to make interactions with computers more human- 
oriented. For
example, visual languages have long been used to provide effective  
communication
between humans and computers. Visual languages have been successfully  
employed
for end-user programming, modeling, and rapid prototyping; they have  
supported
design activities by people of many disciplines and backgrounds  
including
architects, artists, children, engineers, and scientists. In  
addition, visual
languages and technologies are increasingly being used to facilitate  
human-human
communication through Internet/Web technology and electronic mobile  
devices.

The IEEE Symposium on Visual Languages and Human-Centric Computing  
(VL/HCC) is
the premier international forum for researchers and industrial  
practitioners to
discuss the theory, applications and evaluation of technologies,  
visual and
otherwise, that enhance the role of humans in the computing process.

Established in 1984, the mission of the IEEE Symposium on Visual   
Languages and
Human-Centric Computing ("VL/HCC") is to support the  design,  
formalization,
implementation, and evaluation of computing  languages that are  
easier to learn,
easier to use, and easier to  understand by a broader group of people.

This includes all research aimed at the above mission, regardless of   
whether it
uses entirely visual technology, text, or instead uses  sound, taste,  
virtual
reality, the web, or any other technologies.  Examples of research  
addressing
this problem include, but are not  limited to, language/environmental  
design
aspects, theory that  supports the many media used toward this goal,
implementation  aspects, empirical work, software comprehension aspects
(including  software visualization), and software modeling and/or  
software
engineering aspects.

------------------------------------------------------------------------ 
--------
SCOPE AND TOPICS
------------------------------------------------------------------------ 
--------

We solicit original, unpublished research papers that focus on one or  
more
aspects of human-centric computing technology, for instance visual  
programming
or interaction, text, sound, virtual reality, the Web, or other  
multimedia
technologies.

Research papers may address cognitive and design aspects, underlying  
theories,
formal methods, taxonomies, implementation efforts, tool support, and  
empirical
studies. We also solicit short papers that present work in progress or
demonstrations of tools. Areas of interest include, but are not  
limited to, the
following:
- Design, theory, and application of visual languages for  
programming, modeling,
   and communication
- Domain-specific languages (DSL)
- Computer-mediated human-human communication
- Empirical studies of human-centric software technologies
- Languages and tools for end-user software development
- Languages and tools for domain-specific software development
- Model-driven development of interactive systems
- Multimedia systems
- Multi-modal interaction
- Software visualization and algorithm animation
- Visual or multidimensional model-driven development

------------------------------------------------------------------------ 
--------
PAPER SUBMISSION
------------------------------------------------------------------------ 
--------

We invite two different types of paper submissions:

      Full-length papers reporting on research or experience,
      Short papers describing work in progress or tool demonstrations.

Standard papers may be up to eight pages in IEEE double-column  
format; short
papers may be up to four pages in IEEE double-column format. Papers  
must be
submitted electronically. All submissions will be reviewed by members  
of the
international Program Committee.

Accepted papers will appear in the Proceedings of VL/HCC'08,  
published by the
IEEE Computer Society. The paper submission deadline is March 6,  
2008; to aid in
reviewer assignments, we also request that prospective authors submit  
abstracts
and titles by February 21, 2008.

Note that the conference is also inviting submissions for workshops and
tutorials to be held in conjunction with the symposium; more  
information about
these submission types can be found on the VL/HCC’08 web site.

Authors of the best papers accepted for the conference will be asked  
to submit
revised versions of their work for a special issue of the Journal of  
Visual
Languages and Computing.

------------------------------------------------------------------------ 
--------
IMPORTANT DATES
------------------------------------------------------------------------ 
--------

Workshop/Tutorial proposals: 17 February 2008
Workshop/Tutorial decision: 3 March 2008

Paper abstracts: 21 February 2008
Paper submission: 6 March 2008
Notification of decision: 16 May 2008
Camera-ready copy: 12 June 2008
------------------------------------------------------------------------ 
--------
SYMPOSIUM ORGANIZERS
------------------------------------------------------------------------ 
--------

GENERAL CHAIR
Mark Minas, Universität München, Germany

PROGRAM CO-CHAIRS
Paolo Bottoni, University of Rome, Italy
Mary Beth Rosson, Pennsylvania State University, USA

PUBLICITY CHAIR
Emmanuel Pietriga, INRIA, France

WORKSHOP/TUTORIAL CHAIR
Alan Blackwell, Cambridge University, UK

STEERING COMMITTEE
Paolo Bottoni, University of Rome, Italy
Margaret Burnett, Oregon State University, USA
Maria Francesca Costabile, University of Bari, Italy
Gregor Engels, University of Paderborn, Germany
Martin Erwig, Oregon State University, USA
Mark Minas, Universität München, Germany
Mary Beth Rosson, Pennsylvania State University, USA
Andy Schürr, University of Darmstadt, Germany
Steve Tanimoto, University of Washington, USA

PROGRAM COMMITTEE
Laura Beckwith, Microsoft, USA
Robert Biddle, Carleton University, Ottawa, Canada
Maria Francesca Costabile, University of Bari, Italy
Gennaro Costagliola University of Salerno, Italy
Phil Cox, Dalhousie University, Canada
Juan de Lara, Universidad Autonoma of Madrid, Spain
Rob De Line, Microsoft Research, USA
Jin Song Dong, National University of Singapore, Singapore
Peter Eades, University of Sydney, Australia
Martin Erwig, Oregon State University, USA
Jeff Gray, University of Alabama at Birmingham, USA
John Grundy, University of Auckland, New Zealand
Reiko Heckel, University of Leicester, UK
John Hosking, University of Auckland, New Zealand
John Howse, University of Brighton, UK
Chris Hundhausen, Washington State University, USA
Kim Marriott, Monash University, Melbourne, Australia
Bernd Meyer, Monash University, Melbourne, Australia
Nikolay Mirenkov, University of Aizu, Japan
Paul Mulholland, The Open University, UK
James Noble, Victoria University of Wellington, New Zealand
Marian Petre, The Open University, UK
Emmanuel Pietriga, INRIA, France
David Redmiles, University of California, Irvine, USA
Alex Repenning ,University of Colorado, USA
Pablo Romero, University of Sussex, UK
Stefan Sauer, University of Paderborn, Germany
Margaret-Anne Storey, University of Victoria, Canada
Gabriele Taentzer Philipps-Universität Marburg, Germany
Shin Takahashi University of Tsukuba, Japan
Juha Pekka Tolvanen U. of Jyväskylä / MetaCase, Finland
Kang Zhang The University of Texas at Dallas, USA

--
Emmanuel Pietriga
INRIA Futurs - Projet In Situ    tel : +33 1 69 15 34 66
Bat 490, Université Paris-Sud    fax : +33 1 69 15 65 86
91405 ORSAY Cedex FRANCE     http://www.lri.fr/~pietriga

CiE 2008 - Student Support

[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/

STUDENT SUPPORT:

* The Association for Symbolic Logic (ASL) is sponsoring CiE
  2008.  This means that students who are members of the ASL may
  apply for ASL travel funds.

* We are currently working on establishing funds to offer
  students
    1. fee waivers and free accommodation (at a student hall)
    2. partial travel support

Preference for funding will be given to students who have a paper 
at our conference.  See
   http://www.cs.swan.ac.uk/cie08/grants.php
for more informations on student support.

IMPORTANT DATES:
Submission of papers:  January 4, 2008
See
   http://www.cs.swan.ac.uk/cie08/submission.php
for more informations on submissions.

The CONFERENCE PROCEEDINGS will be published in LNCS, 
Springer-Verlag. There will also be journal special issues, 
collecting invited contributions related to the conference. 
Special issues will be published in the journals "Theory of 
Computing Systems", the "Archive for Mathematical Logic", and the 
"Journal of Algorithms". See
   http://www.cs.swan.ac.uk/cie08/publications.php
for more informations on publications.