posted by organizer: JacquesCarette || 2231 views || tracked by 2 users: [display]

AMMCS - SMCGPL 2017 : Symbolic Methods in Code Generation and Programming Languages

FacebookTwitterLinkedInGoogle

Link: http://www.ammcs2017.wlu.ca/submit-abstracts/
 
When Aug 20, 2017 - Aug 25, 2017
Where Waterloo, Ontario, Canada
Submission Deadline Mar 25, 2017
Categories    computer science   symbolic computation   programming languages
 

Call For Papers

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.

Related Resources

iccq 2023   The Third International Conference on Code Quality
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
CGO 2023   ACM/IEEE International Symposium on Code Generation and Optimization
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
TFP 2023   Trends in Functional Programming
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex
CGO 2022   IEEE/ACM International Symposium on Code Generation and Optimization
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems
CloudCom 2022   The 13th IEEE International Conference on Cloud Computing Technology and Science