From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 5C81C5D4 for ; Tue, 15 May 2018 16:14:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,403,1520895600"; d="scan'208,217";a="326998683" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2018 18:14:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 374B282443; Tue, 15 May 2018 18:14:16 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DBDD68240C for ; Tue, 15 May 2018 18:14:09 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=umair.hvg@gmail.com; spf=Pass smtp.mailfrom=umair.hvg@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A25NmthCCcMgeO7R+/BtQUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPvzpsbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJNzA3/mLKhMJukK1WuwiuqwBlzoPOfI2ZKPhzc6XAdt0aX2pBWcNRWjRPDYO5?= =?us-ascii?q?dYQPDvABNvtFoYn8ulQBsBq+BRCxBOzx1zRFgWL23agg3OQgCwHKxgwgH8wBsH?= =?us-ascii?q?nPo9X1Mb0dUeGxzKXS0TrDaPZW1C775YPVfB4hpvSMUqhxccrX0UQgCRnKjk6Q?= =?us-ascii?q?qIP5PzOazOUNs3KB4+pnT+KvhHYrpB1wojezw8cgk5XGhoUTylDK6yp52pg6Jd?= =?us-ascii?q?ukR0Fle9KkF4FQty6cOoBrQc0iW3lltDgmxrACo5K2fygHxI45yxLCavGLaZWE?= =?us-ascii?q?7xbsWeuXPDx2nmhqeKiliBa36UWgyvPzVs2z0FtSqypKiNjMtnQU2xzK9siLVu?= =?us-ascii?q?Jx/km81TuL2A3f8O5EIUczlarUL54u3KQ8mYYUsUTGBiP2mUP2g7GKdkg85OSk?= =?us-ascii?q?9+Dqbq/lq5KcLYN4lBzyP6U0lsCiBek1PRACX22B9uS90L3j81f5QLJPjvAuj6?= =?us-ascii?q?nZtYrVJcUBpqKjAw9VzIkj5g2wDzejytsYnH0HIEhZdxKAiojlI0vOL+zgDfej?= =?us-ascii?q?n1Ssly9myOzcMb3kBpXBN3zDkLb6fbZh8ENc0woyzdVH551OEL0BIfTzWlXwtN?= =?us-ascii?q?PCFBM5PRa0kK7bD4B234YaHGaOGbOxMaXIsFbO6Ph8DfOLYdoovT/8MbAe5vLi?= =?us-ascii?q?jGYklBdJYKyg3IFRaG63NvtjKkSdJ3Hrh4FSQi8xogMiQbmy2xW5WjlJaiPqBv?= =?us-ascii?q?Nu1nQAEIujSLz7aMWoib2F0j28G8QPNG9DA1GIV3zvctfdAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZ4jEOhsQb7z/xsKe+GonRF56Km78B84qjorT939TFwCJ7DgWSETmUxh3?= =?us-ascii?q?9QAjFvjfw5rkt6xVOOl6N/hq4AGA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdBgBRBvtaf8LYVdFCGh0BAQYMBQaDC?= =?us-ascii?q?YEQfCgKg2qBHYJQkQqDCIdki04UgWQLI4RJgxMHGQcBBDAYAQIBAQEBAQEBAQE?= =?us-ascii?q?TAQEJCwsIJiUMgjUignUGHQEbCgISAxIDDTcCJAERAQUBg1qBZgEDFQ8wj0WMY?= =?us-ascii?q?4MdPIsFgX8FAReCcAWDVAoZJg1UV4IfAgEFEogTghOBDgGCXYFvgTkXA4EjFQE?= =?us-ascii?q?KSYJTglQChhMGgSCRAAcChWeIa4xxhRuEPIZ/DwMegQQcgXQOCE0jgQGCEoFwJ?= =?us-ascii?q?AwMC4NFhRSFWiMwjQQBASQHghkBAQ?= X-IPAS-Result: =?us-ascii?q?A0BdBgBRBvtaf8LYVdFCGh0BAQYMBQaDCYEQfCgKg2qBHYJ?= =?us-ascii?q?QkQqDCIdki04UgWQLI4RJgxMHGQcBBDAYAQIBAQEBAQEBAQETAQEJCwsIJiUMg?= =?us-ascii?q?jUignUGHQEbCgISAxIDDTcCJAERAQUBg1qBZgEDFQ8wj0WMY4MdPIsFgX8FARe?= =?us-ascii?q?CcAWDVAoZJg1UV4IfAgEFEogTghOBDgGCXYFvgTkXA4EjFQEKSYJTglQChhMGg?= =?us-ascii?q?SCRAAcChWeIa4xxhRuEPIZ/DwMegQQcgXQOCE0jgQGCEoFwJAwMC4NFhRSFWiM?= =?us-ascii?q?wjQQBASQHghkBAQ?= X-IronPort-AV: E=Sophos;i="5.49,403,1520895600"; d="scan'208,217";a="265316903" Received: from mail-qt0-f194.google.com ([209.85.216.194]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 May 2018 18:14:08 +0200 Received: by mail-qt0-f194.google.com with SMTP id q6-v6so1000312qtn.3 for ; Tue, 15 May 2018 09:14:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=xKMlk1QVMSkI6x6rxZVLzPCLyR47lC+ufn/jh8QDdi4=; b=TVBxa6rPwCpWJHaTdBK2zyV+FY3fGal8M8BGpv5tlWaivccz1e5KBCmB5A21lutIKr pPdJEiupsuHvyIdRBKOYGnP/vOeph0YZv3VjfZF2wmRW1sT8F66QfbPokdlQTHrr5pDy npixaDi2Hp+Lfdeztcm2Xyt75YAQBeZyff9ncejBGgx5Dxn4SM0sv4F6l+N6Qnxy6bNJ JTpEcUav3sUx8QrEfFixoVTDBA4bPQF6CfmP4MQGLDhGyOFQ+NYXbY4PSPwFywngyx9V HrBgoYQHnfv1Lfhl+mg60Z4Z9o5QA5njiPRYBc+3wROTFJcCNVAyDqKIt3LdXkpQ9Wpo +uEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=xKMlk1QVMSkI6x6rxZVLzPCLyR47lC+ufn/jh8QDdi4=; b=YWb9/KU4uazxRoT8kq3pMyNedaK2pihcc+78m1ECEt6gJdhvHk0kOaBWfeAK4AO0Xe UZI2ijaEmybxoRH5hbU+CDrJP5NAE3TXqnJ1VxQJG7UCzF8j9psbwy7Y0l6wfFJGfYpe DLsrVMdAzhHWGxetNPCAa73cSClwCSv6w3NPNj8jcOV1EG7CO9JfxlZlJoYYNxvDZt45 IipzdONT/bRUh1tZwCDkX2pg3dlq5S6ciPVk6MPeRcH7uCimHSUO04HFgg/w9D57opcA cVCN0Fb3iGUYiOmhCNFLQOipu1QvyCx9oyrGrD2yJZl8OZ2qg4S5zDT8LUU9x1A9QMfu Kdtw== X-Gm-Message-State: ALKqPwcrPMBDTkxeF4q2A463kr8OPeJo9MJv7SRmW4izGqOv0yPEQ+/n m7dot1Yn6J7CMoeHE6I9KwvWmbTjz1xoUlr+Fzg= X-Google-Smtp-Source: AB8JxZqDgwGrt5Kt2C25TMCVsyEqqcMbqpTjYRevv9Fp1yDe16+2mLxiCUx/DpZlu9vTZ/zWO18eqxYGeDl3fIYzJC0= X-Received: by 2002:a0c:bdac:: with SMTP id n44-v6mr13606572qvg.165.1526400846913; Tue, 15 May 2018 09:14:06 -0700 (PDT) MIME-Version: 1.0 Received: by 10.237.49.3 with HTTP; Tue, 15 May 2018 09:14:06 -0700 (PDT) From: Umair Siddique Date: Tue, 15 May 2018 12:14:06 -0400 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000043e635056c40e47f" Subject: [Caml-list] [Call for Papers] Formal Verification of Physical Systems (FVPS 2018) Reply-To: Umair Siddique X-Loop: caml-list@inria.fr X-Sequence: 16893 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000043e635056c40e47f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Workshop on Formal Verification of Physical Systems (FVPS 2018) August 17, 2018 RISC, Hagenberg, Austria Co-located with CICM 2018 https://easychair.org/cfp/FVPS-2018 https://cicm-conference.org/2018/cicm.php =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Theme =3D=3D=3D=3D=3D One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. For example, control and communication protocols are usually modeled using automata theory, and thus analyzed using model checking techniques, while the modeling of physical aspects often requires multivariate calculus foundations, which are in turn analyzed using paper-and-pencil based analytical proofs, simulation or theorem proving. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-healthcare, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. For example, we are moving towards Quantum Computers to meet the high-performance needs. Similarly, phonic components are increasingly being advocated and used in aerospace applications due to their lightweight and temperature independency compared to traditional electronics-based components. Finally, the impact of physical components is relevant to both safety and security of the overall system. For example, malfunction in sensor measurement may lead to safety issues whereas sophisticated physics-based side-channel (e.g., power and acoustic measurements) attacks lead to the security violation of the underlying system. The focus of the workshop will be on formal verification techniques for the modeling, analysis and verification of safety and security critical physical systems. We encourage submissions on interdisciplinary approaches that bring together formal methods and techniques from other knowledge areas such as quantum computing, control theory, biology, optimization theory and artificial intelligence. Topics of Interest =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Topics of interest include (but are not limited to): General Topics -------------------- - Formalization of mathematics and physics theories - Interactive and automated theorem proving for physical systems - Model Checking algorithms and tools for physical systems - Formalization of security and safety of physical systems - Runtime verification of safety and security properties - Combination of formal, semiformal and infromal approaches - Formal verification of numerical algorithms - Refinement based verification of physical systems - Formalization of probability, reliability and statistical metrics - Hybrid systems - Benchmarks for physical systems - Formal requirement specification and validation Application Domain -------------------------- - Aerospace and avionic systems - Automotive cyber physical systems - Robotics - Smartgrids - Smart transportation - Human factor modeling and analysis - Biolgical and healthcare systems Submission =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Authors should prepare their papers in one column style of CEUR-WS. There are two categories of submissions: - Regular papers describing developed work with theoretical results (up to 15 pages) - Short papers on experience reports, tools or work in progress with preliminary results (up to 6 pages) Electronic submission is done through EasyChair. The submissions will be reviewed by at least three PC members. At least one author of each accepted paper is expected to attend FVPS and presents her/his paper. The authors of the best papers will be invited to submit extended versions to a special issue of a Formal Methods/CPS Journal. Important Dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Full Paper Submission: June 8, 2018 - Notification: July 6, 2018 - Camera Ready: July 13, 2018 - Workshop: August 17, 2018 Program Chairs =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Sofiene Tahar , Concordia University, Montreal, QC, Canada - Osman Hasan, National University of Sciences and Technology (NUST), Pakistan - Umair Siddique, Waterloo Technical Center (WTC), BorgWarner, Canada Program Committee (TBC) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Aaron Dutle, NASA Langley Research Center, U.S.A. - Jacques Fleuriot, University of Edinburgh, U.K. - Hubert Garavel, INRIA Grenoble, France - Atif Mashkoor, SCCH and JKU, Austria - Sergio Mover, University of Colorado Boulder, U.S.A. - Julien Narboux, University of Strasbourg, France - Peter Csaba =C3=96lveczky, University of Oslo, Norway - Shinichi Shiraishi, Toyota InfoTechnology Center, U.S.A. --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --00000000000043e635056c40e47f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Workshop on Formal Verification of= Physical Systems (FVPS 2018)
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0August 17= , 2018
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 RISC, Hagenberg, Austria

=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Co-located with CICM= 2018
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 ht= tps://easychair.org/cfp/FVPS-2018
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0https://cicm-conference.org/2018/cicm.php<= br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D



Theme
=3D=3D=3D=3D=3D
One of the= main issues behind many failing systems is the ad-hoc verification approac= h that involves a variety of formalism and techniques for the modeling and = analysis of various components of the present-age (cyber)-physical systems.= For example, control and communication protocols are usually modeled using= automata theory, and thus analyzed using model checking techniques, while = the modeling of physical aspects often requires multivariate calculus found= ations, which are in turn analyzed using paper-and-pencil based analytical = proofs, simulation or theorem proving. The fundamental differences between = these modeling and analysis techniques limit us to analyze the whole system= as one unit and thus miss many corner cases, which arise due to the operat= ion of all the sub-components of the system together. One of the major conc= erns is that, despite the above-mentioned evident limitation in the analysi= s methods, many safety-critical systems, such as aerospace, smart-transport= ation, smart-grid and e-healthcare, are increasingly involving physical ele= ments. Moreover, we are moving towards integrating more complex physical el= ements in our engineering systems.=C2=A0 For example, we are moving towards= Quantum Computers to meet the high-performance needs. Similarly, phonic co= mponents are increasingly being advocated and used in aerospace application= s due to their lightweight and temperature independency compared to traditi= onal electronics-based components.=C2=A0 Finally, the impact of physical co= mponents is relevant to both safety and security of the overall system.=C2= =A0 For example, malfunction in sensor measurement may lead to safety issue= s whereas sophisticated physics-based side-channel (e.g., power and acousti= c measurements) attacks lead to the security violation of the underlying sy= stem.

The focus of the workshop will be on formal verification techn= iques for the modeling, analysis and verification of safety and security cr= itical physical systems. We encourage submissions on interdisciplinary appr= oaches that bring together formal methods and techniques from other knowled= ge areas such as quantum computing, control theory, biology, optimization t= heory and artificial intelligence.

Topics of Interest
=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Topics of interest include= (but are not limited to):

General Topics
--------------------- Formalization of mathematics and physics theories
- Interactive and a= utomated theorem proving for physical systems
- Model Checking algorithm= s and tools for physical systems
- Formalization of security and safety = of physical systems
- Runtime verification of safety and security proper= ties
- Combination of formal, semiformal and infromal approaches
- Fo= rmal verification of numerical algorithms
- Refinement based verificatio= n of physical systems
- Formalization of probability, reliability and st= atistical metrics
- Hybrid systems
- Benchmarks for physical systems<= br>- Formal requirement specification and validation

Application Dom= ain
--------------------------
- Aerospace and avionic systems
- A= utomotive cyber physical systems
- Robotics
- Smartgrids
- Smart t= ransportation
- Human factor modeling and analysis
- Biolgical and he= althcare systems

Submission
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Aut= hors should prepare their papers in one column =C2=A0style of CEUR-WS. Ther= e are two categories of submissions:

- Regular papers describing dev= eloped work with theoretical results (up to 15 pages)
- Short papers on = experience reports, tools or work in progress with preliminary results (up = to 6 pages)

Electronic submission is done through EasyChair.=C2=A0Th= e submissions will be reviewed by at least three PC members.=C2=A0=C2=A0At = least one author of each accepted paper is expected to attend FVPS and pres= ents her/his paper.

The authors of the best papers will be invited t= o submit extended versions to a special issue of a Formal Methods/CPS Journ= al.

Important Dates
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

- Full Paper Submission: June 8, 2018
- Notification: July 6, 20= 18
- Camera Ready: July 13, 2018
- Workshop: August 17, 2018

P= rogram Chairs
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
- Sofiene Ta= har , Concordia University, Montreal, QC, Canada
- Osman Hasan, National= University of Sciences and Technology (NUST), Pakistan
- Umair Siddique= , Waterloo Technical Center (WTC), BorgWarner, Canada

Program Commit= tee (TBC)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D
- Aaron Dutle, NASA Langley Research Center, U.S.A.
- Jacques = Fleuriot, University of Edinburgh, U.K.
- Hubert Garavel, INRIA Grenoble= , France
- Atif Mashkoor, SCCH and JKU, Austria
- Sergio Mover, Unive= rsity of Colorado Boulder, U.S.A.
- Julien Narboux, University of Strasb= ourg, France
- Peter Csaba =C3=96lveczky, University of Oslo, Norway
= - Shinichi Shiraishi, Toyota InfoTechnology Center, U.S.A.

--00000000000043e635056c40e47f--