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 sympa.inria.fr (Postfix) with ESMTPS id 63D08820A1 for ; Wed, 11 Sep 2013 16:45:31 +0200 (CEST) Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of Etienne.Andre@univ-paris13.fr does not assert whether or not 194.254.164.7 is permitted sender) identity=pra; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="Etienne.Andre@univ-paris13.fr"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Etienne.Andre@univ-paris13.fr designates 194.254.164.7 as permitted sender) identity=mailfrom; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="Etienne.Andre@univ-paris13.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@upn.univ-paris13.fr) identity=helo; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="postmaster@upn.univ-paris13.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsIBAM6AMFLC/qQHnGdsb2JhbABRCoM/g3y/NoEcFg4BAQEBAQgUCTyCSQYVMBE1AgUWCwILAwIBAgFLDQEHAQGIAgiyBpFlgSmMfgQBgT6CcIE0A5kohGwUjmeBZgEf X-IPAS-Result: AsIBAM6AMFLC/qQHnGdsb2JhbABRCoM/g3y/NoEcFg4BAQEBAQgUCTyCSQYVMBE1AgUWCwILAwIBAgFLDQEHAQGIAgiyBpFlgSmMfgQBgT6CcIE0A5kohGwUjmeBZgEf X-IronPort-AV: E=Sophos;i="4.90,884,1371074400"; d="scan'208";a="32452760" Received: from upn.univ-paris13.fr ([194.254.164.7]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2013 16:45:30 +0200 Received: from smtp.univ-paris13.fr (smtp.univ-paris13.fr [192.168.0.72]) by upn.univ-paris13.fr (Mail Server) with ESMTP id EF83F288177; Wed, 11 Sep 2013 16:45:30 +0200 (CEST) Received: from [192.168.0.1] (jem75-5-82-244-55-231.fbx.proxad.net [82.244.55.231]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) (Authenticated user : hidden) by smtp.univ-paris13.fr (Postfix) with ESMTPSA id C561A3EA0C5; Wed, 11 Sep 2013 16:45:30 +0200 (CEST) Message-ID: <52308207.5050601@univ-paris13.fr> Date: Wed, 11 Sep 2013 16:45:27 +0200 From: =?UTF-8?B?w4l0aWVubmUgQW5kcsOp?= Organization: =?UTF-8?B?VW5pdmVyc2l0w6kgUGFyaXMgMTM=?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130623 Thunderbird/17.0.7 MIME-Version: 1.0 To: N@univ-paris13.fr: CC: Goran Frehse Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] SynCoP 2014: 1st Call for Papers ==================================================================== Call for papers SynCoP 2014 1st International Workshop on the SYNthesis of COntinuous Parameters http://lipn.univ-paris13.fr/SynCoP2014/ ==================================================================== SynCoP aims at bringing together researchers working on parameter synthesis for systems with continuous variables, where the parameters consist of a (usually dense) set of constant values. Such problems arise for real-time, hybrid or probabilistic systems where the goal is to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values. A parameter could be, e.g., a delay in a real-time system, or a reaction rate in a biological cell model. The workshop will take place on Saturday the 5th of April 2014, in Grenoble, France, as a satellite of ETAPS 2014. ================= IMPORTANT DATES ================= Abstract: January 13th, 2014 Full papers: January 20th, 2014 Notification: February 20th, 2014 Camera ready: March 15th, 2014 Workshop: April 5th, 2014 ================= TOPICS OF THE WORKSHOP ================= The scientific subject of the workshop covers (but is not limited to) the following areas: * parameter synthesis, * parametric model checking, * robustness analysis, * formalisms such as parametric timed and hybrid automata, parametric time(d) Petri nets, parametric probabilistic automata, * applications to major areas of computer science and control engineering. ================= SUBMISSION AND PUBLICATION ================= The content of papers should be original and not submitted elsewhere. All papers will be submitted to at least three reviews. The page limit is 15 pages in the EPTCS format (http://style.eptcs.org/). All accepted papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, that are free and open access online proceedings. The papers will be referenced in major databases such as DBLP, and published under the Creative Commons CC-BY license. Hereby, the authors retain their copyright. (Substantial revisions may later be published elsewhere.) Submission will be made in English in PDF format through Easychair: https://www.easychair.org/conferences/?conf=syncop2014 ================= INVITED SPEAKERS ================= * Alexandre Donze, Faculty of Electrical Engineering and Computer Science, UC Berkeley, USA * Didier Lime, IRCCyN / Ecole Centrale de Nantes, France (to be completed) ================= CHAIRS ================= - Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France) - Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France) ================= PROGRAM COMMITTEE ================= * Eugene Asarin, Paris, France * Alessandro Cimatti, Trento, Italy * Alexandre Donze, Berkeley, USA * Georgios Fainekos, Arizona, USA * Laurent Fribourg, Cachan, France * Antoine Girard, Grenoble, France * Kim Larsen, Aalborg, Denmark * Yang Liu, Singapore * Olivier H. Roux, Nantes, France * Sriram Sankaranarayanan, Boulder, USA * Ashish Tiwari, USA * Farn Wang, Taipei, Taiwan (to be completed)