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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D283A800BE for ; Sun, 19 Feb 2017 20:32:17 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=carette@mcmaster.ca; spf=None smtp.mailfrom=carette@mcmaster.ca; spf=None smtp.helo=postmaster@FHSHC4H16-1.csu.mcmaster.ca Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=pra; client-ip=130.113.22.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=mailfrom; client-ip=130.113.22.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@FHSHC4H16-1.csu.mcmaster.ca) identity=helo; client-ip=130.113.22.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="postmaster@FHSHC4H16-1.csu.mcmaster.ca"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHMCa7R1juaJES/6hsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segUKPad9pjvdHbS+e9qxAeQG96KtrQd06GP6fyoGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?dazdU7TfhMWv1u2054abI0AR3GL8MoVbd0rt6F2N/olL2coxYpo2nzDAp38AX+?= =?us-ascii?q?VN2Ss8LluWm1P459ys1J9l6SVZ/fw7oZ1uS6L/KoYxRqVFAS9uGGkv6dH3uFGX?= =?us-ascii?q?RgKV62cAX00TmR9BGBTI9lfxV8Gi4WPBquNh1XzCboXNRrcuVGHnsv9m?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJBQCc8alYbwMWcYJeHQYMGAEBBAEBC?= =?us-ascii?q?gEBhAcqYAaDVK9BhBsqiB9DFAEBAQEBAQEBAQEBEgEMCwkKCxIvgjMEAR0Fgjo?= =?us-ascii?q?GFS4CA0MCJgJJFg0IAQEQiVsOniKQBYImi3cJAYEBh0aCOoFsAYE5hCoMLoJfB?= =?us-ascii?q?ZBGiz6cXIZLixyIBjaBISAUCCyFFYIPiXhCAYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0AJBQCc8alYbwMWcYJeHQYMGAEBBAEBCgEBhAcqYAaDVK9?= =?us-ascii?q?BhBsqiB9DFAEBAQEBAQEBAQEBEgEMCwkKCxIvgjMEAR0FgjoGFS4CA0MCJgJJF?= =?us-ascii?q?g0IAQEQiVsOniKQBYImi3cJAYEBh0aCOoFsAYE5hCoMLoJfBZBGiz6cXIZLixy?= =?us-ascii?q?IBjaBISAUCCyFFYIPiXhCAYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.35,182,1484002800"; d="scan'208";a="261184601" Received: from fhshc4h16-1.csu.mcmaster.ca ([130.113.22.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 Feb 2017 20:31:03 +0100 Received: from [130.113.169.159] (130.113.22.232) by fhshc.csu.mcmaster.ca (130.113.22.3) with Microsoft SMTP Server (TLS) id 14.3.319.2; Sun, 19 Feb 2017 14:31:00 -0500 To: Caml List From: Jacques Carette Message-ID: <19ca110e-1f6a-9b73-4e2a-221304cb80a2@mcmaster.ca> Date: Sun, 19 Feb 2017 14:31:00 -0500 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [130.113.22.232] X-TM-AS-Product-Ver: SMEX-11.0.0.1191-8.100.1062-22894.005 X-TM-AS-Result: No--8.583400-8.000000-31 X-TM-AS-User-Approved-Sender: No X-TM-AS-User-Blocked-Sender: No Subject: [Caml-list] AMMCS-2017 call for submissions Applied Mathematics, Modeling and Computational Science (AMMCS-2017) Waterloo, Ontario, Canada August 20-25, 2017 Minisymposium: Symbolic Methods in Code Generation and Programming Languages (ID: SS-SMCGPL; http://www.ammcs2017.wlu.ca/special-sessions/smcgpl/) Symbolic Methods in Code Generation and Programming Languages Symbolic methods are increasingly finding a wide variety of applications in and around programming languages. Starting from their immensely successful use in generation of numerical codes, their applicability is widening to both code analysis (often through abstract interpretation) and even in certain phases of compilers themselves, as exemplified in recent probabilistic programming languages. This session will bring together experts in symbolic computation along with programming languages experts to exchange ideas on the state of the art in this domain. Abstracts are being accepted for special sessions, contributed sessions, and poster presentations. All participants should submit their abstracts online via the AMMCS-2017 Management System at http://www.ammcs2017.wlu.ca/submit-abstracts/ Due: March 15, 2017 SS-SMCGPL Organizers: Jacques Carette (McMaster University), Eugene Zima (Wilfrid Laurier University) About AMMCS =========== AMMCS-2017 is an interdisciplinary international conference in a series of AMMCS meetings held in Waterloo, Ontario, Canada. The AMMCS Conference Series aims at promoting interdisciplinary research and collaboration involving mathematical and computational sciences within a larger international community, and highlighting recent advances in Applied Mathematics, Modeling and Computational Science (AMMCS). In 2017 the conference will be held in August (August 20-25, 2017). From its inception this conference series has been organized in cooperation with AIMS and SIAM. The conference provides a unique opportunity for in-depth technical discussions and exchange of ideas in all areas involving mathematical and computational sciences, modeling and simulation, as well as their applications in natural and social sciences, engineering and technology, industry and finance. It offers to researchers, industrialists, engineers and students to present their latest research, to interact with the experts in the field, and to foster interdisciplinary collaborations required to meet the challenges of modern science, technology, and society.