SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject: APLAS 19 in Bali -- Call for Participation
From: SEWORLD Moderator <[log in to unmask]>
Reply-To:SEWORLD Moderator <[log in to unmask]>
Date:Fri, 18 Oct 2019 14:17:46 -0000
Content-Type:text/plain

Apologies for cross-posting ! 

Dear colleagues,

The 17th Asian Symposium on Programming Languages and Systems (APLAS19) aims to stimulate programming language research by providing a forum for the presentation of the 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 languages community. APLAS 2019 will be held in Bali, Indonesia on 2 - 4 December 2019.

APLAS 2019 includes a poster 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 researchers in the field.

Poster 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

Early registration ends on 20 October !

We hope to see you soon in Bali ! 

Kind regards, Jens Dietrich on behalf of the APLAS’19 organisation committee

============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]

http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================

ATOM RSS1 RSS2