From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 70CC3BBAF for ; Fri, 25 Jul 2008 19:21:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAHCoiUjAXQIn/2dsb2JhbACwBg X-IronPort-AV: E=Sophos;i="4.31,253,1215381600"; d="scan'208";a="15499879" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Jul 2008 19:21:50 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6PHLnb7032509 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 25 Jul 2008 19:21:50 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAHCoiUiCP1oi/2dsb2JhbACwBg X-IronPort-AV: E=Sophos;i="4.31,253,1215381600"; d="scan'208";a="15458249" Received: from bronze.cs.yorku.ca ([130.63.90.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jul 2008 19:21:48 +0200 Received: from [130.63.92.157] (helo=indigo.cse.yorku.ca) by bronze.cs.yorku.ca with esmtps (TLSv1:AES256-SHA:256) (Exim 4.67) (envelope-from ) id 1KMQzD-00043o-LM for caml-list@inria.fr; Fri, 25 Jul 2008 13:21:47 -0400 Received: (from franck@localhost) by indigo.cse.yorku.ca (8.13.1/8.13.1/Submit) id m6PHLiR8000327; Fri, 25 Jul 2008 13:21:44 -0400 Date: Fri, 25 Jul 2008 13:21:44 -0400 Message-Id: <200807251721.m6PHLiR8000327@indigo.cse.yorku.ca> To: caml-list@inria.fr From: Franck van Breugel Subject: ABE 08: call for participation X-Miltered: at concorde with ID 488A0BAD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; smolka:01 model:01 salem:98 clara:98 implemented:02 equivalence:03 algorithms:03 algorithms:03 talks:03 concurrency:04 shiva:04 notions:06 notions:06 researchers:07 mcgill:08 Call For Participation Workshop on Approximate Behavioural Equivalences (ABE 08) Toronto, Canada, August 18, 2008 http://www.cse.yorku.ca/abe08/ ABE 08, the Workshop on Approximate Behavioural Equivalences, will take place at the University of Toronto on Monday August 18, 2008. The workshop is affiliated with the 19th International Conference on Concurrency Theory (CONCUR 08). The purpose of this workshop is to bring together researchers and students interested in approximate behavioural equivalences. The program of the workshop consist of talks by Salem Derisavi, IBM Shiva Nejati, University of Toronto Prakash Panangaden, McGill University Vishwanath Raman, University of California, Santa Clara Scott Smolka, State University of New York, Stony Brook David Thorsley, University of Washington Herbert Wiklicky, Imperial College Mingsheng Ying, Tsinghua University In the last few years, quantitative generalizations of equivalence relations have been developed for a variety of systems with quantitative features. Furthermore, several algorithms have been developed and implemented to approximate these quantitative notions. These notions and their approximation algorithms have been exploited in several areas, ranging from system biology to model fusion. The speakers will provide an overview of their work in the area and will provide their view on the future of this area.