posted by user: cristian_g || 2184 views || tracked by 3 users: [display]

APLAS 2014 : Asian Symposium on Programming Languages and Systems (Posters and Demos)

FacebookTwitterLinkedInGoogle

Link: http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
 
When Nov 17, 2014 - Nov 19, 2014
Where Singapore
Submission Deadline Sep 15, 2014
Notification Due Sep 22, 2014
 

Call For Papers

Call for Posters and Demos: APLAS 2014

12th Asian Symposium on Programming Languages and Systems
November 17-19, 2014
Singapore
http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/

Submission due: 15 September 2014 (Monday), 23:59 GMT
Notification: 22 September 2014 (Monday)

==========
BACKGROUND
==========

APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.

APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. Past APLAS symposiums were successfully held
in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul
('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05),
Taipei ('04) and Beijing ('03) after three informal workshops.
Proceedings of the past symposiums were published in Springer's LNCS.

APLAS 2014 will include a poster and demo session during the
conference. The poster session aims to give students, researchers and
professionals an opportunity to present technical materials to the research
community, and to get responses from other students, researchers and
professionals in the field.

=====
SCOPE
=====

Poster and demo contributions are sought in all areas of programming
languages and systems, including the following topics:

- semantics, logics, foundational theory;
- design of languages, type systems and foundational calculi;
- domain-specific languages;
- compilers, interpreters, abstract machines;
- program derivation, synthesis and transformation;
- program analysis, verification, model-checking;
- logic, constraint, probabilistic and quantum programming;
- software security;
- concurrency and parallelism;
- tools and environments for programming and implementation.

==========
SUBMISSION
==========

Each presenter should submit a 1-2 page abstract in PDF via the submission
web page, https://easychair.org/conferences/?conf=aplas2014ps , by 15 September
2014 (Monday), 23:59 GMT.

The abstract should include the title, style of the presentation (poster only
or poster plus demo), author(s), affiliation(s) and summary of the work.
Abstracts must be written in English using the Springer LNCS format.
We will announce the accepted presentations on 22 September 2014. We hope to
accommodate every presentation, but may restrict them (based on relevance and
interest to the community) due to space constraints. The format of the poster
will be announced later.


===============
IMPORTANT DATES
===============

Submission due: 15 September 2014 (Monday), 23:59 GMT
Notification: 22 September 2014 (Monday)
Conference: 17-19 November 2014 (Monday-Wednesday)

=======
CONTACT
=======
Poster chair: Cristian Gherghina (SUTD, Singapore)
Email: cristian_gherghina@sutd.edu.sg

Related Resources

APLAS 2024   The 22nd Asian Symposium on Programming Languages and Systems
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
SNAM-Special Issue 2024   Datasets, Language Resources and Algorithmic Approaches on Online Wellbeing and Social Order in Asian Languages
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming