Christine Paulin | 2 Jun 08:36 2008
Picon

MPC 2008: SECOND CALL FOR PARTICIPATION

SECOND CALL FOR PARTICIPATION

9th International Conference on Mathematics of Program Construction (MPC'08)

Marseille (Luminy), France, July 15-18th 2008 

http://mpc08.lri.fr

IMPORTANT : accomodation at CIRM should be booked before June 10
PLEASE REGISTER NOW!

We hereby invite you to participate to the MPC (Mathematics of Program
Construction) conference held from July 15th to July 18th 2008 at the 
International Center for Mathematical Meetings (CIRM, 
http://www.cirm.univ-mrs.fr/web.ang).

Online registration is opened on conference web site.
Dealine registration is June 8th.

INVITED SPEAKERS

    * Ralf Hinze, University of Oxford, UK.
    * Greg Morrisett, Harvard University, USA
    * Simon Peyton-Jones, Microsoft Research Cambridge, UK

PROGRAMME

The preliminary programme is available on the conference web site.

VENUE
(Continue reading)

Paolo Baldan | 3 Jun 07:29 2008
Picon

PNGT 2008 - Extended Deadline June 9 (Third 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)

Frank Valencia | 3 Jun 15:48 2008
Picon
Picon

SOFSEM'09 Call for Papers

[Apologies for multiple copies of this message]

Dear colleague,

Please find below the call for papers and other relevant information
for SOFSEM'09, the 35th International Conference on Current Trends in
Theory and Practice of  Computer Science. January 24-30, 2009 Hotel
Arnika, Spindleruv mlyn, Czech Republic,

Best wishes,
  Catuscia Palamidessi and Frank D. Valencia
  (Chairs for the Foundations of Computer Science Track of SOFSEM'09).

SOFSEM'09
------------------
- URL
http://www.ksi.mff.cuni.cz/sofsem09/index.php

- CfP
http://www.ksi.mff.cuni.cz/sofsem09/cfp.php

Marc Denecker | 3 Jun 22:58 2008
Picon

LaSh08 Call for Papers


              LaSh08 - WORKSHOP ON LOGIC AND SEARCH
     Computation of structures from declarative descriptions

                        Second Call For Papers

              Leuven, Belgium, November 6-7, 2008

             http://www.cs.kuleuven.be/~dtai/LaSh08

................................................................

IMPORTANT DATES:

Submission: August 15, 2008
Notification: September 15, 2008
Workshop: November 6-7, 2008

SCOPE:

In many real-life problems, we search for objects of complex nature --
plans, schedules, assignments. Such objects are often represented as
(finite) structures, which are implicitly specified by means of
theories in some logic. Thus, languages are needed to describe
structures, and algorithms to extract them from these implicit
descriptions. Propositional Satisfiability (SAT), Constraint
Programming (CP), and Answer Set Programming (ASP) are arguably the
three most prominent areas that develop such languages and techniques.

Each of these areas has been proposed as a declarative programming
(Continue reading)

Frank Heitmann | 4 Jun 10:19 2008
Picon

Job Announcement: One PhD position at TGI, University of Hamburg, Germany

The Theoretical Foundations of Informatics (TGI) group
at the University of Hamburg, Department of Informatics,
has one open PhD position.
The half-time position is paid according to group 13 of the salary  
system TVL that is generally used in German public sector.

The full job description (German only, sorry) can be found at
http://www.verwaltung.uni-hamburg.de/stellenangebote/wissmit/08-05-22_tgi.pdf

The position lasts for three years, starting 01.10.2008.
The applicant must have a solid background in informatics, theory,  
Petri nets, software engineering, and multi-agent systems.
Beside the usual tasks of teaching and research support the special  
treatment of the Renew tool has to be covered.
New verification and validation concepts for Object Petri nets
and object-oriented Petri nets have to be developed and implemented
as a prototype in the Renew context. For this multi-agent concepts  
shall be used.

Applications have to be send to

University of Hamburg, Department of Informatics, TGI,
Prof. Dr. R. Valk

until the 9th June 2008.

For further information contact Prof. Dr. R. Valk
mailto:   valk at informatik.uni-hamburg.de
or have a look at
      http://www.informatik.uni-hamburg.de/TGI/index_eng.html
(Continue reading)

Massimo Merro | 4 Jun 13:02 2008
Picon

FMWS'08 Deadline extension

Apologies for multiple copies....

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

FMWS 2008
First Workshop on Formal Methods for Wireless Systems
23 August, 2008, Toronto, Canada
Satelite workshop of CONCUR 2008
http://www.itu.dk/events/FMWS08/

Scope
-----

The FMWS workshop aims at bringing together researchers interested in
formal methods for wireless systems. More specifically, it puts 
focus on theories for semantics,logics, and verification techniques 
for wireless systems. Wireless systems are rapidly increasing their 
success in real-world applications while formal methods for modelling,
analysing, and verifying the systems are lacking behind. Recently
however much attention has been carried out to model, analyse and 
verify Sensor Networks and, more generally, Ad Hoc Networks.

Submissions are solicited in all areas of semantics, logics, and
verification techniques for concurrent wireless systems. The 
principal topics include (but are not limited to):

- Algebraic models
- Behavioural semantics
- Probabilistic models
- Broadcast communication
(Continue reading)

tase08 | 8 Jun 18:09 2008
Picon

HASE 2008 - Extended Deadline June 17

***We apologise if you have received multiple copies of this call for papers.***
 
Please circulate to colleagues who might be interested.
 
                      HASE 2008
11th High Assurance Systems Engineering Symposium
 
                      Nanjing, China
                      December 3-5, 2008
                http://cs.nju.edu.cn/hase08/main.html
 
Call for Papers
 
The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.
 
Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of high assurance systems engineering.
Topics of interests for the symposium include, but are not limited to:
 
*Design and development of highly reliable, survivable, secure, safe, and time-assured systems
*Integrated system reliability, availability, security, safety, and timing analysis and evaluation  methods
*Policies for reliability, safety, security, integrity, privacy, and confidentiality of high  assurance systems
*Formal specification, specification validation, testing, and model checking for high assurance  systems
*High assurance software architecture and design
*Transformation-based and evolutionary-based system development
*Reconfigurable system design for evolving high assurance requirements
*Dynamic monitoring and adaptation for run-time assurance
*High assurance web services
*High assurance information/knowledge systems and data grids
*High assurance embedded systems, ubiquitous systems and sensor networks
*Extending web service specifications for reliability, safety, security, privacy, trust, and other   QoS properties
*Assurance techniques for service-oriented systems
 

CALL FOR FAST ABSTRACTS
 
Contributions for the Fast Abstract track of HASE 2008 are solicited.
The fast abstracts aim to serve as a rapid and flexible mechanism to
o Discuss industrial experiences and achievements
o Report on research work in progress
o Introduce new ideas to the community
o State positions on controversial issues or open problems
Works related to high assurance systems engineering fitting the
categories described above are welcome. Authors from industry,
government, and academia are encouraged to submit Fast Abstracts.
Fast Abstracts will not be formally refereed. Instead, the HASE'08 Fast
Abstracts Committee will screen the submissions. The criteria for
acceptance will be i) relevance and interest to the community and ii)
timeliness of the material.
 
 
 
Submission Guidelines:
 
Research Papers: Original, previously unpublished papers are
solicited. Maximum 10 pages, standard IEEE double-column format.
 
Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard IEEE
double-column format. Authors of accepted Fast Abstracts will present
a short talk approximately 10-15 min) at HASE 2008 Fast Abstract
sessions.
 

Important Dates:
 
* June     17,  2008: Paper submission deadline (extended)
* July     10,  2008: Fast Abstract submission deadline
* August   1,   2008: Acceptance/rejection notification
* August   29,  2008: Camera-ready version due
* December 3-5, 2008: HASE 2008
 

Organization:
 
General Chairs:       Jian Lu, Nanjing University (China)
Program Co-chairs:    Xuandong Li, Nanjing University (China)
        Carol S. Smidts, Ohio State University US (North/South America)
                      Jie Xu, University of Leeds (Europe)
 
Finance Chair:   Xin Chen, Nanjing University (China)
 
Publicity Chair: Jing Dong, University of Texas at Dallas (US)
 
Registration Chair:   JianHua Zhao, Nanjing University (China)
           
Local Organization Chair:  Linzhang Wang, Nanjing University, (China)
 
Program Committee:
Farooq Ahmad (National University of Sciences and technology, Pakistan)
Masaki Aida (Tokyo Metropolitan University, Japan)
Farokh Bastani (University of Texas at Dallas, USA)
Andrea Bondavali(University of Florence, Italy)
Guillaume Brat (USRA-RIACS, USA)
Michel Cukier  (University of Maryland at College Park, USA)
John Davies(BAE Systems, UK)
JinSong Dong (National University of Singapore,Singapore)
Felicita Di Giandomenico(CNR, Italy)
Arif Ghafoor  (Purdue University, USA)
Swapna Gokhale (University of Connecticut, USA)
Katerina Goseva-Popstojanova (West Virginia University, USA)
Mats Heimdahl (University of Minnesota, USA)
Mike Henshaw(Loughborough University, UK)
Ravi  Iyer (University of Illinois at Urbana-Champaign, USA)
Phil John(Cranfield University, UK)
Yoshiaki Kakuda (Hiroshima City University, Japan)
Shaoying Liu (Hosei University, Japan)
Zhiming Liu (UNU/IIST, Macau, China)
Xiaodong Lu (Tokyo Institute of Technology, Japan
Michael Lyu (Chinese University of Hong Kong, China)
Miroslaw Malek( Humboldt University, Germany)
Hong Mei (Peking University, China)
Graham Morgen(University of Newcastle, UK)
Kinji Mori (Tokyo Institute of Technology, Japan)
Hiroaki Morino (Shibaura Institue of Technology, Japan)
Gilles Muller(EMN, France)
Edgar Nett(University of Magdeburg. Germany)
Jun Pang (University of Luxembourg, Luxembourg)
Steven Roach (University of Texas at El Paso, USA)
Manuel Rodriguez (Ohio State University, USA)
Luigi Romano(University of Napoli, Italy)
Eugene Santos (Dartmouth College, USA)
Man-Tak Shing (Naval Postgraduate School, USA)
Zhendong Su (University of California at Davis, USA)
Yongdong Tan (Southwest Jiaotong University, China)
Paul Townend(University of Leeds, UK)
Helene Waeselynck(LAAS-CNRS, France)
Farn Wang (National Taiwan University Taiwan, China)
Ji Wang (Changsha Institute of Technology, China)
Linzhang Wang (Nanjing University, China)
Victor Winter (University of Nebraska at Omaha, USA)
Eric Wong (University of Texas at Dallas, USA)
Dianxiang Xu (North Dakota State University, USA)
Jian Zhang (Institute of Software, China)
Jianhua Zhao (Nanjing University, China)
Jianjun Zhao (Shanghai Jiao Tong University, China)
Hong Zhu (Oxford Brooks University, UK)
Huibiao Zhu (East China Normal University, China)
 
Steering Program Committee
Taghi M. Khoshgoftaar, Florida Atlantic University
Kinji Mori, Tokyo Institute of Technology
Raymond Paul, Department of Defense Chair)
Wei-Tek Tsai, Arizona State University
Victor Winter, University of Nebraska,Omaha
I-Ling Yen, University of Texas at Dallas
 

Keynote Speakers
TBD
 

 
<div>
<div>
<div>
<span class="046340408-19042008">***</span>We apologise if you 
have received multiple copies of this call for p<span class="046340408-19042008">apers</span>.<span class="046340408-19042008">***</span>
</div>
<div>
<span class="046340408-19042008"></span>&nbsp;</div>
<div>Please circulate to colleagues who might be interested. </div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
HASE 2008<br>11th High Assurance Systems Engineering Symposium</div>
<div>&nbsp;</div>
<div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
Nanjing, 
China<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
December 3-5, 
2008<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<a href="http://cs.nju.edu.cn/hase08/main.html">http://cs.nju.edu.cn/hase08/main.html</a>
</div>
<div>&nbsp;</div>
<div>Call for Papers</div>
<div>&nbsp;</div>
<div>The IEEE International Symposium on High Assurance Systems Engineering is a 
forum for discussion of systems and software engineering issues to achieve high 
assurance systems. The focus is on integrated approaches for assuring 
reliability, availability, integrity, privacy, confidentiality, safety, and 
real-time of complex systems and the methods for assessing the assurance levels 
of the systems to a high degree of confidence. Technical and experience papers 
on algorithms, policies, middleware, tools, and models for high assurance 
systems development, verification and validation, and assessment are 
welcome.</div>
<div>&nbsp;</div>
<div>Authors are invited to submit high quality technical papers describing 
original and unpublished work in all aspects of high assurance systems 
engineering.<br>Topics of interests for the symposium include, but are not 
limited to: </div>
<div>&nbsp;</div>
<div>*Design and development of highly reliable, survivable, secure, safe, and 
time-assured systems <br>*Integrated system reliability, availability, security, 
safety, and timing analysis and evaluation&nbsp; methods <br>*Policies for 
reliability, safety, security, integrity, privacy, and confidentiality of 
high&nbsp; assurance systems <br>*Formal specification, specification 
validation, testing, and model checking for high assurance&nbsp; systems 
<br>*High assurance software architecture and design <br>*Transformation-based 
and evolutionary-based system development <br>*Reconfigurable system design for 
evolving high assurance requirements <br>*Dynamic monitoring and adaptation for 
run-time assurance <br>*High assurance web services <br>*High assurance 
information/knowledge systems and data grids <br>*High assurance embedded 
systems, ubiquitous systems and sensor networks <br>*Extending web service 
specifications for reliability, safety, security, privacy, trust, and 
other&nbsp;&nbsp; QoS properties <br>*Assurance techniques for service-oriented 
systems </div>
<div>&nbsp;</div>
<div>
<br>CALL FOR FAST ABSTRACTS</div>
<div>&nbsp;</div>
<div>Contributions for the Fast Abstract track of HASE 2008 are 
solicited.<br>The fast abstracts aim to serve as a rapid and flexible mechanism 
to<br>o Discuss industrial experiences and achievements<br>o Report on research 
work in progress<br>o Introduce new ideas to the community<br>o State positions 
on controversial issues or open problems<br>Works related to high assurance 
systems engineering fitting the<br>categories described above are welcome. 
Authors from industry,<br>government, and academia are encouraged to submit Fast 
Abstracts.<br>Fast Abstracts will not be formally refereed. Instead, the HASE'08 
Fast<br>Abstracts Committee will screen the submissions. The criteria 
for<br>acceptance will be i) relevance and interest to the community and 
ii)<br>timeliness of the material.</div>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div>Submission Guidelines:</div>
<div>&nbsp;</div>
<div>Research Papers: Original, previously unpublished papers are<br>solicited. 
Maximum 10 pages, standard IEEE double-column format.</div>
<div>&nbsp;</div>
<div>Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard 
IEEE<br>double-column format. Authors of accepted Fast Abstracts will 
present<br>a short talk approximately 10-15 min) at HASE 2008 Fast 
Abstract<br>sessions.</div>
<div>&nbsp;</div>
<div>
<br>Important Dates: </div>
<div>&nbsp;</div>
<div>* June&nbsp;&nbsp;&nbsp;&nbsp; 17,&nbsp; 2008: Paper submission deadline 
(extended)<br>* July&nbsp;&nbsp;&nbsp;&nbsp; 10,&nbsp; 2008: Fast Abstract 
submission deadline<br>* August&nbsp;&nbsp; 1,&nbsp;&nbsp; 2008: 
Acceptance/rejection notification<br>* August&nbsp;&nbsp; 29,&nbsp; 2008: 
Camera-ready version due<br>* December 3-5, 2008: HASE 2008</div>
<div>&nbsp;</div>
<div>
<br>Organization:</div>
<div>&nbsp;</div>
<div>General Chairs:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;Jian Lu, Nanjing 
University (China)<br>Program Co-chairs:&nbsp;&nbsp; &nbsp;Xuandong Li, Nanjing 
University (China)<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;Carol S. 
Smidts, Ohio State University US (North/South America) 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;Jie Xu, University of Leeds (Europe)</div>
<div>&nbsp;</div>
<div>Finance Chair: &nbsp; Xin Chen, Nanjing University (China)</div>
<div>&nbsp;</div>
<div>Publicity Chair:&nbsp;Jing Dong, University of Texas at Dallas (US)</div>
<div>&nbsp;</div>
<div>Registration Chair:&nbsp; &nbsp;JianHua Zhao, Nanjing University 
(China)<br>&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&#12288;&nbsp;&nbsp; <br>Local Organization Chair:&nbsp; Linzhang 
Wang, Nanjing University, (China)</div>
<div>&nbsp;</div>
<div>Program Committee:<br>Farooq Ahmad (National University of Sciences and 
technology, Pakistan)<br>Masaki Aida (Tokyo Metropolitan University, 
Japan)<br>Farokh Bastani (University of Texas at Dallas, USA)<br>Andrea 
Bondavali(University of Florence, Italy)<br>Guillaume Brat (USRA-RIACS, 
USA)<br>Michel Cukier&nbsp; (University of Maryland at College Park, 
USA)<br>John Davies(BAE Systems, UK)<br>JinSong Dong (National University of 
Singapore,Singapore)<br>Felicita Di Giandomenico(CNR, Italy)<br>Arif 
Ghafoor&nbsp; (Purdue University, USA)<br>Swapna Gokhale (University of 
Connecticut, USA)<br>Katerina Goseva-Popstojanova (West Virginia University, 
USA)<br>Mats Heimdahl (University of Minnesota, USA)<br>Mike 
Henshaw(Loughborough University, UK)<br>Ravi&nbsp; Iyer (University of Illinois 
at Urbana-Champaign, USA)<br>Phil John(Cranfield University, UK)<br>Yoshiaki 
Kakuda (Hiroshima City University, Japan)<br>Shaoying Liu (Hosei University, 
Japan)<br>Zhiming Liu (UNU/IIST, Macau, China)<br>Xiaodong Lu (Tokyo Institute 
of Technology, Japan <br>Michael Lyu (Chinese University of Hong Kong, 
China)<br>Miroslaw Malek( Humboldt University, Germany)<br>Hong Mei (Peking 
University, China) <br>Graham Morgen(University of Newcastle, UK)<br>Kinji Mori 
(Tokyo Institute of Technology, Japan)<br>Hiroaki Morino (Shibaura Institue of 
Technology, Japan)<br>Gilles Muller(EMN, France)<br>Edgar Nett(University of 
Magdeburg. Germany)<br>Jun Pang (University of Luxembourg, Luxembourg)<br>Steven 
Roach (University of Texas at El Paso, USA)<br>Manuel Rodriguez (Ohio State 
University, USA)<br>Luigi Romano(University of Napoli, Italy)<br>Eugene Santos 
(Dartmouth College, USA)<br>Man-Tak Shing (Naval Postgraduate School, 
USA)<br>Zhendong Su (University of California at Davis, USA) <br>Yongdong Tan 
(Southwest Jiaotong University, China)<br>Paul Townend(University of Leeds, 
UK)<br>Helene Waeselynck(LAAS-CNRS, France)<br>Farn Wang (National Taiwan 
University Taiwan, China) <br>Ji Wang (Changsha Institute of Technology, 
China)<br>Linzhang Wang (Nanjing University, China)<br>Victor Winter (University 
of Nebraska at Omaha, USA)<br>Eric Wong (University of Texas at Dallas, 
USA)<br>Dianxiang Xu (North Dakota State University, USA)<br>Jian Zhang 
(Institute of Software, China)<br>Jianhua Zhao (Nanjing University, 
China)<br>Jianjun Zhao (Shanghai Jiao Tong University, China)<br>Hong Zhu 
(Oxford Brooks University, UK)<br>Huibiao Zhu (East China Normal University, 
China) </div>
<div>&nbsp;</div>
<div>Steering Program Committee<br>Taghi M. Khoshgoftaar, Florida Atlantic 
University <br>Kinji Mori, Tokyo Institute of Technology <br>Raymond Paul, 
Department of Defense Chair) <br>Wei-Tek Tsai, Arizona State University 
<br>Victor Winter, University of Nebraska,Omaha <br>I-Ling Yen, University of 
Texas at Dallas</div>
<div>&nbsp;</div>
<div>
<br>Keynote Speakers<br>TBD</div>
<div>&nbsp;</div>
<div>
<br>&nbsp;</div>
</div>
</div>
Basten, A.A. | 9 Jun 11:17 2008
Picon
Picon

[CfP] ACM TECS Special issue on Model-driven Embedded System Design


ACM Transactions on Embedded Computing Systems (ACM TECS)

Special issue on Model-driven Embedded System Design

Call for papers

Embedded systems are omnipresent in modern society, and society
crucially depends on their proper functioning. The complexity of
embedded system design however is increasing rapidly, through the use of
multiprocessor cores, through the integration of embedded systems in
ubiquitous networks, and through the increasing interaction between
embedded systems and their users and environments. To obtain a reliable
operation of embedded systems while maintaining resource efficiency, the
embedded system design process needs to be based on a solid basis of
computational models.

Prospective authors are invited to submit novel and unpublished work on
model-driven embedded system design. The special issue focuses on the
following question in particular:

How can computational models be used to drive embedded system design
such that performance, quality and resource constraints are met?

Contributions may cover the whole range of computational models
(including dataflow models, statebased models, discrete-event models,
process algebras, stochastic and probabilistic models), all modern
embedded platforms (including multiprocessor systems-on-chip,
distributed and networked systems, sensor networks), and all application
domains (including multimedia and gaming, automotive, high-tech
industrial systems, telecommunication, care and assisted living).

Topics of interest include:
- QoS, resource, and power management
- Operating systems, middleware, distributed control, network management
- Synthesis, analysis and verification (especially focusing on
non-functional properties)
- Software synthesis and model-driven software engineering
- Real-time computing, scheduling, execution time analysis
- Fault tolerance, dependability, security

This special issue is planned as a follow up of the Artist Models of
Computation and Communication (MoCC) 2008 workshop to be held in
Eindhoven, 3-4 July 2008. Submission to the special issue is open for
everyone. Participants of the MoCC workshop are especially invited to
submit. Submissions will undergo the usual ACM TECS review process and
should be submitted to mc.manuscriptcentral.com/acm/tecs. Authors should
clearly indicate on the first page of their submission below the title
in bold letters 'Submitted to the Special issue on Model-driven Embedded
System Design'.

Guest editors:

Twan Basten, Eindhoven University of Technology, Netherlands,
a.a.basten <at> tue.nl
Rolf Ernst, Technische Universitaet Braunschweig, Germany,
ernst <at> ida.ing.tu-bs.de

Important dates:

15 September 2008: submission deadline
15 December 2008: notification
15 February 2009: final version due
Summer 2009: tentative publication

--
Twan Basten, dr.ir. A.A. - http://www.es.ele.tue.nl/~tbasten - Associate
Professor, Design Methodology for Electronic Systems - Eindhoven
University of Technology, Dept of Electrical Engineering - PO Box 513,
NL-5600 MB Eindhoven, Netherlands, +31 40 247 5782
Gabriel Ciobanu | 9 Jun 16:32 2008
Picon

MeCBIC 2008 - Call for Papers


                         MeCBIC 2008
            2nd Meeting on Membrane Computing and
            Biologically Inspired Process Calculi
              3-4 September 2008, Iasi, Romania
               http://www.info.uaic.ro/~mecbic

          *** Submission Deadline: 29 June 2008 ***

Biological membranes play a fundamental role in the complex reactions which 
take place in cells of living organisms. The importance of this role has been 
considered in two different types of formalisms recently introduced: membrane 
computing (P systems) and mobile ambients (brane calculi).

The MeCBIC aim is to bring together researchers working in membrane computing 
and in biologically inspired process calculi (ambients, brane calculus, etc.) 
to present recent research works and to discuss new ideas concerning such 
formalisms, their properties and relationships. We also celebrate 10 years of 
ambients and membrane systems.

Original research papers (including significant work-in-progress), as well as 
surveys of current research on the relations between membrane systems and 
biologically inspired process calculi are particularly welcome. Original 
contributions on either membrane systems or biologically inspired process 
calculi are also welcome.

Topics of interest include (but are not limited to):
       * Biologically inspired models and calculi
       * Biologically inspired language and behaviour equivalences
       * Analysis of properties of biologically inspired models and languages
       * Theoretical links and comparison between different models

Important Dates:
         Deadline for submissions       June 29, 2008
         Notification of acceptance     August 2, 2008
         Revised version                August 16, 2008
         Workshop                       Sept. 3-4, 2008

Submission Guidelines

Authors are invited to submit a PDF version of their papers (about 14 pages) 
using the web page
 	http://www.easychair.org/conferences/?conf=mecbic2008.
The submissions have to be prepared using LaTeX with ENTCS style and the
macros for MeCBIC located at http://www.entcs.org/table.html.
The proceedings of the first MeCBIC workshop have been also published in the 
Elsevier ENTCS series (vol.171).
After the conference, it is planned to publish selected (and additionally 
referred) papers in a special issue of a journal dedicated to MeCBIC 2008.

Past Events: The first edition of MeCBIC was held in Venice in 2006. One of the 
organizers of the first MeCBIC was Nadia Busi. We are continuing the series 
after the tragic loss of Nadia. The proceedings of the 1st MeCBIC have been 
published as ENTCS vol.171(2).
     -------------------------------------------------------

Invited Speakers: Gheorghe Paun
         Romanian Academy, Bucharest, Romania
         ...
Program Committee:
       * Michele Bugliesi - Universit Ca' Foscari, Venice, Italy
       * Luca Cardelli - Microsoft Research, Cambridge, UK
       * Matteo Cavaliere - CoSBi, Trento, Italy
       * Gabriel Ciobanu (chair) - Iasi, Romania
       * Mariangiola Dezani - Universita' di Torino, Italy
       * Rudolf Freund - Vienna University of Technology, Austria
       * Marian Gheorghe - University of Sheffield, UK
       * Maciej Koutny - Newcastle University, UK
       * Gheorghe Paun - Romanian Academy, Bucharest, Romania
       * Maria Vigliotti - Imperial College, London, UK
       * Claudio Zandron - University of Milano-Bicocca, Italy
...
Sanja Lazarova-Molnar | 9 Jun 11:01 2008
Picon

CFP - Innovations 2008

[Please distribute to your colleagues, apologies for multiple copies]

 

 

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

                            CALL FOR PAPERS

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

                            Innovations'2008

  5th International Conference on Innovations in Information Technology

                          December 16-18, 2008

                       Al Ain, United Arab Emirates

 

*IEEE pending upon Approval

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

          Conference web site:  http://www.it-innovations.ae/          

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

                 

BACKGROUND

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

Innovations in Information Technology (Innovations'08), is a premier Forum for the presentation and discussion of technology advances and research results in the field of Information Technology (IT). Held for the first time in the oasis city of Al Ain, the fourth largest city in the United Arab Emirates (UAE), Innovations '08 is the fifth in the series that has been held in Dubai since 2004.

 

The latest research advances in fields ranging from traditional computer science to evolving web technologies, bioinformatics and healthcare informatics are explored in Innovations' technical sessions.

 

KEYNOTE SPEAKERS

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

Mike S. Zafirovski, President and CEO, Nortel

Dharma P. Agrawal, OBR Distinguished Professor of Computer Science

 

SOCIAL PROGRAM

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

Dubai City Tour and Dhow Cruise

Desert Safari

 

AUTHOR'S SCHEDULE (Deadlines):

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

Tutorial & special-session proposals due:       June 16, 2008

Paper and poster submissions due:               September 1, 2008

Notification of acceptance:                     October 3, 2008

Final camera ready paper due:                   November 2, 2008

 

TOPICS OF INTEREST

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

Topics within the following Tracks:

 

COMMUNICATION NETWORKS & SECURITY     

INFORMATION SYSTEMS & SERVICES

BIOINFORMATICS AND HEALTHCARE INFORMATICS

COMPUTING SYSTEMS

 

CONTACT:

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

Contact: Innovations08 <at> uaeu.ac.ae

 

<div>

<div class="Section1">

<p class="MsoNormal"><span>[Please distribute to your
colleagues, apologies for multiple copies]<p></p></span></p>

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

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

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
CALL FOR PAPERS</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Innovations'2008</span><span><p></p></span></p>

<p><span>&nbsp; 5th International
Conference on Innovations in Information Technology</span><span><p></p></span></p>

<p><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
December 16-18, 2008</span><span><p></p></span></p>

<p><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Al Ain, United Arab Emirates<p></p></span></p>

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

<p><span>*IEEE pending upon Approval</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Conference
web site:&nbsp; <span><a href="http://www.it-innovations.ae/">http://www.it-innovations.ae/</a></span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

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

<p><span>BACKGROUND</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>Innovations in Information
Technology (Innovations'08), is a premier Forum for the presentation and
discussion of technology advances and research results in the field of
Information Technology (IT). Held for the first time in the oasis city of Al Ain, the fourth largest city in the United Arab
Emirates (UAE), Innovations '08 is the fifth in the series that has been held
in Dubai since
2004.<p></p></span></p>

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

<p><span>The latest research advances
in fields ranging from traditional computer science to evolving web
technologies, bioinformatics and healthcare informatics are explored in
Innovations' technical sessions.</span><span><p></p></span></p>

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

<p><span>KEYNOTE
SPEAKERS</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span><a href="http://www.nortel.com/corporate/exec/zafirovski.html">Mike S. Zafirovski</a></span><span>,
President and CEO, Nortel</span><span><p></p></span></p>

<p><span><a href="http://www.ececs.uc.edu/~dpa/">Dharma P. Agrawal</a></span><span>,&nbsp;OBR
Distinguished Professor of Computer Science<p></p></span></p>

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

<p><span>SOCIAL
PROGRAM</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>Dubai</span><span> City</span><span>
Tour and Dhow Cruise</span><span><p></p></span></p>

<p><span>Desert Safari</span><span><p></p></span></p>

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

<p><span>AUTHOR'S
SCHEDULE (Deadlines):</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>Tutorial &amp;
special-session proposals due:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; June 16,
2008</span><span><p></p></span></p>

<p><span>Paper and poster submissions
due:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
September 1, 2008</span><span><p></p></span></p>

<p><span>Notification of
acceptance:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
October 3, 2008</span><span><p></p></span></p>

<p><span>Final camera ready paper
due:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
November 2, 2008</span><span><p></p></span></p>

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

<p><span>TOPICS OF
INTEREST</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>Topics within the following
Tracks: <p></p></span></p>

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

<p><span>COMMUNICATION NETWORKS &amp;
SECURITY&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span><p></p></span></p>

<p><span>INFORMATION SYSTEMS &amp;
SERVICES</span><span><p></p></span></p>

<p><span>BIOINFORMATICS AND
HEALTHCARE INFORMATICS</span><span><p></p></span></p>

<p><span>COMPUTING SYSTEMS</span><span><p></p></span></p>

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

<p><span>CONTACT:</span><span><p></p></span></p>

<p><span>-----------------------------------------------------------------------</span><span><p></p></span></p>

<p><span>Contact: <span><a href="mailto:Innovations08 <at> uaeu.ac.ae">Innovations08 <at> uaeu.ac.ae</a></span>
<p></p></span></p>

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

</div>

</div>

Gmane