From: Jacques Carette <carette@mcmaster.ca>
To: Caml List <caml-list@inria.fr>
Subject: [Caml-list] AMMCS-2017 call for submissions
Date: Sun, 19 Feb 2017 14:31:00 -0500 [thread overview]
Message-ID: <19ca110e-1f6a-9b73-4e2a-221304cb80a2@mcmaster.ca> (raw)
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.
reply other threads:[~2017-02-19 19:32 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=19ca110e-1f6a-9b73-4e2a-221304cb80a2@mcmaster.ca \
--to=carette@mcmaster.ca \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox