From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 C393F7FD26 for ; Sat, 7 Nov 2015 23:28:58 +0100 (CET) IronPort-PHdr: 9a23:SQhhpB0zjP7U9o5msmDT+DRfVm0co7zxezQtwd8ZsegQLfad9pjvdHbS+e9qxAeQG96LtrQY06GP6PqocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLrj6vroMebSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoX3pUYCOCiJux4FOEZX3waNDUOovatiV/6CymI4HQZW2MNuhFXAk7D6ELURJD05xDnsOU44ymbPoXUSrY7XD2k9O8/c1nTzhtBDngb92fYj8V2l4pQvxPnoRgpkN2cW52cKPcrJvCVRtgdX2cUB5tc Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=S.S.T.Q.Jongmans@cwi.nl; spf=None smtp.mailfrom=S.S.T.Q.Jongmans@cwi.nl; spf=None smtp.helo=postmaster@fester.cwi.nl Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of S.S.T.Q.Jongmans@cwi.nl) identity=pra; client-ip=192.16.191.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.S.T.Q.Jongmans@cwi.nl"; x-sender="S.S.T.Q.Jongmans@cwi.nl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of S.S.T.Q.Jongmans@cwi.nl) identity=mailfrom; client-ip=192.16.191.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.S.T.Q.Jongmans@cwi.nl"; x-sender="S.S.T.Q.Jongmans@cwi.nl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@fester.cwi.nl) identity=helo; client-ip=192.16.191.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="S.S.T.Q.Jongmans@cwi.nl"; x-sender="postmaster@fester.cwi.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DaAACDej5WnBu/EMBdhA5gAQENBr0wAYJjIYVvAoEiPBABAQEBAQEBARABAQEBAQgLCQkhLoIugggBAQQdBkgcAgIBIgINGQICGzwCF4guBAmwdZAiDCEEfY57EQGDOYFEBYYWkDKFHolkhECITIR7gREMhC2DFwI4glKBXnEBg1I6AYEGAQEB X-IPAS-Result: A0DaAACDej5WnBu/EMBdhA5gAQENBr0wAYJjIYVvAoEiPBABAQEBAQEBARABAQEBAQgLCQkhLoIugggBAQQdBkgcAgIBIgINGQICGzwCF4guBAmwdZAiDCEEfY57EQGDOYFEBYYWkDKFHolkhECITIR7gREMhC2DFwI4glKBXnEBg1I6AYEGAQEB X-IronPort-AV: E=Sophos;i="5.20,258,1444687200"; d="scan'208";a="153048894" Received: from fester.cwi.nl ([192.16.191.27]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Nov 2015 23:28:58 +0100 Received: from mail.cwi.nl (zwebmail.cwi.nl [194.187.76.178]) by fester.cwi.nl (8.14.4/8.12.3) with ESMTP id tA7MSv2f024400 for ; Sat, 7 Nov 2015 23:28:57 +0100 Received: from mail.cwi.nl (localhost [127.0.0.1]) by mail.cwi.nl (Postfix) with ESMTPS id 707BC3C03A3; Sat, 7 Nov 2015 23:28:52 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mail.cwi.nl (Postfix) with ESMTP id 632223C039A; Sat, 7 Nov 2015 23:28:52 +0100 (CET) Received: from mail.cwi.nl ([127.0.0.1]) by localhost (mail.cwi.nl [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id AN_0J7GuB5eJ; Sat, 7 Nov 2015 23:28:52 +0100 (CET) Received: from mail.cwi.nl (mail.cwi.nl [194.187.76.178]) by mail.cwi.nl (Postfix) with ESMTP id 4BD1F3C0113; Sat, 7 Nov 2015 23:28:52 +0100 (CET) Date: Sat, 7 Nov 2015 23:28:52 +0100 (CET) From: Sung-Shik Jongmans To: S.S.T.Q.Jongmans@cwi.nl Message-ID: <434163071.584362.1446935332288.JavaMail.zimbra@cwi.nl> In-Reply-To: <1634914925.584299.1446935083305.JavaMail.zimbra@cwi.nl> References: <1668288463.574891.1446932082051.JavaMail.zimbra@cwi.nl> <1723735753.576333.1446932411864.JavaMail.zimbra@cwi.nl> <1634914925.584299.1446935083305.JavaMail.zimbra@cwi.nl> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originating-IP: [77.250.105.148] X-Mailer: Zimbra 8.6.0_GA_1162 (ZimbraWebClient - SAF9 (Mac)/8.6.0_GA_1162) Thread-Topic: Winter School on Formal Methods Thread-Index: F1BCynbRsPPtR+ctI8SJP/lc3PUAYSl4SYVdzAr4+2xiIkQ1Tw== X-Validation-by: s.s.t.q.jongmans@cwi.nl Subject: [Caml-list] CFP: Winter School on Formal Methods **************************************************************** CALL FOR PARTICIPATION The First IPM Advanced School on Computing: Formal Methods for Design and Analysis of Computer Systems Tehran, Iran, 11-15 January 2016 http://cs.ipm.ac.ir/asoc2016 PRECEDED BY The First IPM Formal Methods Day Tehran, Iran, 10 January, 2016 http://cs.ipm.ac.ir/fmd2016 **************************************************************** ABSTRACT: This advanced school brings together experts from different areas of formal methods to present state of the art in formal methods and logical reasoning techniques in design and analysis of computer systems. The school will cover topics from Model Checking, Process Algebra, Logic, Concurrency Theory and Quantum Computing. Our goal is to demonstrate the importance of foundations and its connection to the design and rigorous analysis of computer systems. The level of lectures will be suitable for graduate students, young researchers and also experts from other fields of computer science who intend to establish interdisciplinary links with formal methods. This event proceeds by the IPM Formal Methods Day (http://cs.ipm.ac.ir/fmd2016). PROGRAM: * Joseph Sifakis: "Model-Based System Design" EPFL & Verimag/CNRS [Turing Award winner of 2007] * Wan Fokkink: "The Spirit of Multicore Computing" VU University Amsterdam * Jan Rutten: "Concrete coalgebra: an introduction by examples" Radboud University Nijmegen/CWI * Farhad Arbab: "Engineering of Highly Concurrent Systems" Leiden University/CWI * Elham Kashefi: "Measurement Calculus" The University of Edinburgh For a detailed program and information about the lecturers, please visit: * http://cs.ipm.ac.ir/asoc2016/Programme.aspx * http://cs.ipm.ac.ir/asoc2016/InvitedLecturers.aspx ACCOMMODATION: Participants can stay at the IPM guest house for the duration of the school. The IPM guest house is conveniently located in the same building as the lectures. * Single room (including breakfast): 60 EUR/night * Double room (including breakfast): 80 EUR/night All participants who stay at the IPM guest house can be picked up, by someone from IPM who speaks English, from Imam Khomeini International Airport (IKA) upon their arrival, by taxi. The taxi fee to the IPM guest house is roughly 40 EUR. Similarly, all participants can be dropped off at IKA after the school. FEE: * Regular: 400 EUR * Students: 200 EUR REGISTRATION: * http://cs.ipm.ac.ir/asoc2016/Registration.aspx * Registration deadline: 20 December, 2015. * The participation in the school is subject to success in the selection process of the IPM School of Computer Science, based on academic merits of the applicants. All selected applicants will be notified via email by 25 December. ORGANIZERS: * Farhad Arbab, Leiden University/CWI * Ebrahim Ardeshir-Larijani, IPM CONTACT: * E-mail: asc@ipm.ir * Phone: +98 21 24509404 * Fax: +98 21 22825454 * Address: IPM School of Computer Science Farmanieh Campus, No. 70, Lavasani Av. (next to Kouhe Nour Building) Tehran, Iran